Skip to main content Accessibility help
×
Home
  • Print publication year: 2018
  • Online publication date: October 2020

Bibliography

Ackermann, , see Hilbert, .
Behmann, Heinrich. “Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem”. Mathematische Annalen, volume 86 (1922), pp. l63229.
Berkeley, E. C.Boolean algebra and applications to insurance”. Record (American Institute of Actuaries), vol. 26 (1937), Part III, pp. 373414.
Bernays, , see Hilbert, .
Boole, George. The Mathematical Analysis of Logic. London and Cambridge, England, 1847. Reprinted in Collected Logical Works, Chicago and London, 1916.
Boole, George. An Investigation of the Laws of Thought. London, 1854. Reprinted ibidem.
Cantor, Georg. Gesammelte Abhandlungen mathematischen und philosophischen Inhalts, edited by Zermelo, Ernst. Berlin, 1932.
Carnap, Rudolf. The Logical Syntax of Language. London and New York, 1937.
Carnap, Rudolf. “Testability and meaning”. Philosophy of Science, vol. 3 (1936), pp. 419471, vol. 4 (1937), pp. l40.
Church, Alonzo. A Bibliography of Symbolic Logic. Providence, 1938. Reprinted from Journal of Symbolic Logic (1936, 1938).
Church, Alonzo. “A note on the Entscheidungsproblem”, Journal of Symbolic Logic, vol. 1 (1936), pp. 4041, 101102.
Cooley, J. C. A Primer of Formal Logic. New York: forthcoming.
Curry, H. B.Grundlagen der kombinatorischen Logik”. American Journal of Mathematics, vol. 52 (1930), p. 509536, 789834.
De Morgan, Augustus. Formal Logic: or, the Calculus of Inference, Necessary and Probable. London, 1847.
De Morgan, Augustus. “On the syllogism and on the calculus of relations”. Transactions of the Cambridge Philosophical Society, vol. 10 (1864), pp. 331358. (1860).
Ferreira da Silva, Vicente. Elementos de Lógica Matemática. S. Paulo, 1940.
Frege, Gottlob. Begriffsschrift. Halle, 1879.
Frege, Gottlob. Die Grundlagen der Arithmetik. Breslau, 1884. Reprinted 1934.
Frege, Gottlob. Grundgesetze der Arithmetik. VoI. 1, 1893; vol. 2, 1903. Jena.
Frege, Gottlob. “Ueber Sinn und Bedeutung”. Zeitschrift der Philosophie und philosophischer Kritik, n.s. vol. 100 (1892), pp. 2550.
Gödel, Kurt. On Undecidable Propositions of Formal Mathematical Systems. Mimeograph. Princeton, 1934.
Gödel, Kurt. The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Princeton, 1940.
Gödel, Kurt. “Die Vollständigkeit der Axiome des logischen Funktionenkalkuls”. Monatshefte für Mathematik und Physik, vol. 37 (1930), pp. 349360.
Gödel, Kurt. “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter System I”. Ibidem, vol. 38 (1931), pp. 173198.
Grelling, Kurt and Nelson, Leonard. “Bemerkungen zu den Paradoxien von Russell und Burali-Forti. Bemerkungen zur Vorstehenden Abhandlung von Gerhard Hessenberg”. Abhandlungen der Frieschen Schule, n.s. vol. 2 (1907–8), pp. 300334.
Hilbert, David and Ackermann, Wilhelm. Grundzüge der theoretischen Logik. Berlin, 1928. 2nd edition, 1938.
Hilbert, David and Ackermann, Wilhelm. and Bernays, Paul, Grundlagen der Mathematik, 2 vols. Berlin, 1934 and 1941.
Huntington, E. V. The Continuum. Cambridge, Mass., 1917.
Kuratowski, Casimir. “Sur la notion de l’ordre dans la théorie des ensembles”. Fundamenta Mathemeticae, vol. 2 (1921), pp. l61171.
Langford, , see Lewis, .
Lewis, C. I. A Survey of Symbolic Logic. Berkeley, 1918.
Lewis, C. I. and Langford, C. H.. Symbolic Logic. New York, 1932.
Löwenheim, Leopold. “Über Möglichkeiten im Relativkalkul”. Mathematische Annalen, vol. 76 (1915), pp. 447470.
Łukasiewicz, Jan. “O logice trojwartosciowej”. Ruch Filozoficznej, vol. 5 (1920), pp. l69171.
Łukasiewicz, Jan. “Uwagi o aksyomacie Nicod’a i o ‘dedukcyi uogólniajacej’”. Ksiega Pamiatkowa Polskiego Towarzystwa Filozoficznego we Lwowie, Lwów 1931.
Neumann, J. V.Eine Axiomatisierung der Mengenlehre”. Journal für die reine und angewandte Mathematik, vol. 154 (1925), pp. 219240. Correction in vol. 155, p. l28.
Nicod, Jean. “A reduction in the number of primitive propositions of logic”. Proceedings of the Cambridge Philosophical Society, vol. 19 (1917–20), pp. 3241.
Peano, Giuseppe. Formulaire de Mathématiques. Introduction, 1894; vol. 1, 1895; vol. 2, 1897–9. Torino. Vol. 3, 1901, Paris. Vol. 4, 1902–3; vol. 5 (s. v. Formulario Mathematico), 1905–8. Torino.
Peirce, C. S. Collected Papers. Edited by Hartshorne, C. and Weiss, P.. 6 vols. Cambridge, Mass., 1931–5.
Post, E. L.Introduction to a general theory of elementary propositions”. American Journal of Mathematics, vol. 43 (1921), pp. 163185.
Quine, W. V. A System of Logistic. Cambridge, Mass., 1934.
Quine, W. V. Mathematical Logic. New York, 1940.
Quine, W. V. Elementary Logic. Boston, 1941.
Quine, W. V.Truth by convention”. Philosophical Essays for A. N Whitehead (New York, 1936), pp. 90124.
Quine, W. V.Relations and reason”. Technology Review, vol. 41 (1939), pp. 299301, 324327.
Quine, W. V.Designation and existence”. Journal of Philosophy, vol. 36 (1939), pp. 701709.
Quine, W. V.Completeness of the propositional calculus”. Journal of Symbolic Logic, vol. 3 (1938), pp. 3740.
Quine, W. V. “Element and number”. Ibidem, vol. 6 (1941), pp. 135149.
Quine, W. V. “On existence conditions for elements and classes”. Ibidem; forthcoming.
Quine, W. V.Whitehead and the rise of modern logic”. The Philosophy of A. N. Whitehead, Evanston, Illinois, 1941. pp. 127163.
Reichenbach, Hans. Wahrscheinlichkeitslehre. Leyden, 1935.
Rosser, Barkley. “The independence of Quine’s axioms *200 and *201”. Journal of Symbolic Logic, vol. 6 (1941), pp. 9697.
Rosser, Barkley. “An informal exposition of proofs of Gödel’s theorems and Church’s theorem”. Ibidem, vol. 4 (1939), pp. 5360.
Russell, Bertrand (also see Whitehead, ). The Principles of Mathematics. Cambridge, England, 1903. second edition, New York, 1938.
Russell, Bertrand Introduction to Mathematical Philosophy. London, 1919 and 1920.
Russell, BertrandOn denoting”. Mind, vol. 14 (1905), pp. 479493.
Russell, BertrandMathematical logic as based on the theory of types”. American Journal of Mathematics, vol. 30 (1908), pp. 222262.
Schröder, Ernst. Vorlesungen über die Algebra der Logik. Vol. 1, 1890; vol. 2, 1891–1905; vol. 3, 1895. Leipzig.
Shannon, C. E.A symbolic anaIysis of relay and switching circuits”. Transactions of the American Institute of Electrical Engineers, vol. 57 (1938), pp. 713723.
Sheffer, H. M.A set of five independent postulates for Boolean algebras”. Transactions of the American Mathematical Society, vol. 14 (1913), pp. 481488.
Skolem, ThoralfUeber einige Grundlagenfragen der Mathematik”. Skrifter utgitt av Det Norske Videnskaps-Akademi i Oslo, I. klasse, 1929, N.º 4.
Tarski, Alfred. Introduction to Logic. New York, 1941.
Whitehead, A. N. Universal Algebra. Cambridge, England, 1898.
Whitehead, A. N.On cardinal numbers”. American Journal of Mathematics, vol. 24 (1902), pp. 367394.
Whitehead, A. N. and Russel, Bertrandl. Principia Mathematica. 3 vols. Cambridge, England, 1910–1913. second edition, 1925–1927.
Wiener, Norbert. “A simplification of the logic of relations”. Proceedings of the Cambridge Philosophical Society, vol. 17 (1912–14), pp. 387390.
Wittgenstein, Ludwig. Tractatus Logico-Philosophicus. New York and London, 1922.
Zermelo, Ernst. “Untersuchungen über die Grundlagen der Mengenlehre I”. Mathematische Annalen, vol. 65 (1908), pp. 261281.