Abstract
I use van Heijenoort’s published writings and manuscript materials to provide a comprehensive overview of his conception of modern logic as a first-order functional calculus and of the historical developments which led to this conception of mathematical logic, its defining characteristics, and in particular to provide an integral account, from his most important publications as well as his unpublished notes and scattered shorter historico-philosophical articles, of how and why the mathematical logic, whose he traced to Frege and the culmination of its formative period in the incompleteness results of Gödel, became modern logic, as distinct from the traditional logic of Aristotle, and why and how the logistic tradition that led from Frege through Russell, rather than the algebraic tradition that led from De Morgan and Boole through Peirce and Schröder, came, in his view, to define modern logic.
Similar content being viewed by others
References
Anellis, I.H.: Ontological commitment in ideal languages: semantic interpretations for logical positivism. Ph.D. thesis, Brandeis University (1977)
Anellis I.H.: Russell’s earliest reactions to Cantorian set theory, 1896–1900. In: Baumgartner, J.E., Martin, D.A., Shelah, S. (eds) Axiomatic Set Theory, Contemporary Mathematics, vol 31, pp. 1–11. American Mathematical Society, Providence (1984)
Anellis, I.H.: Russell’s problems with the calculus. In: Binder, C. (ed.) Proceedings of the Austrian Symposium on History of Mathematics, Neuhofen an der Ybbes, pp. 124–128. Österreichische Gesellschaft der Geschichte der Wissenschaften, Vienna, 9–15 November 1986
Anellis I.H.: Bibliografía de Jean van Heijenoort. Mathesis 3, 85–88 (1987)
Anellis, I.H.: Russell’s problems with the calculus. In: Rabinovich, V.L. (ed.) Abstracts, LMPS ’87, Moscow, USSR, Eighth International Congress of Logic, Methodology and Philosophy of Science, vol. 3, §13, pp. 16–19. Academy of Sciences of the USSR, Moscow, 17–22 August 1987 (Revised version of [4])
Anellis I.H.: Russell’s earliest interpretation of Cantorian set theory, 1896–1900. Philos. Math, (2) 2, 1–31 (1987)
Anellis I.H.: Bertrand Russell’s theory of numbers, 1896–1898. Epistemologia 10, 303–322 (1987)
Anellis I.H.: Russell and Engels: two approaches to a Hegelian philosophy of mathematics. Philos. Math. (2) 3, 151–179 (1987)
Anellis I.H.: Some unpublished papers of Jean van Heijenoort. Hist. Math. 15, 270–274 (1988)
Anellis, I.H.: La obra de Jean van Heijenoort en el campo de la lógica: sus aporttaciones a la teoría de la demonstración. Mathesis 5, 353–370 (1989) (English translation: [14])
Anellis, I.H.: The Löwenheim–Skolem theorem, theories of quantification, and proof theory. In: Drucker, T. (ed.) Perspectives on the History of Mathematical Logic, pp. 71–83. Birkhäuser, Boston/Basel/Berlin (1991)
Anellis I.H.: Forty years of “unnatural” natural deduction and quantification: a history of first-order systems of natural deduction, from Gentzen to Copi. Modern Logic 2, 113–152 (1991)
Anellis I.H.: Review of [334]. Hist. Math. 19, 228–229 (1992)
Anellis I.H.: A sketch of Jean van Heijenoort’s view of the history of modern logic: introduction to an unpublished paper. Modern Logic 2, 239–241 (1992)
Anellis I.H.: Jean van Heijenoort’s contributions to proof theory and its history. Modern Logic 2, 312–335 (1992)
Anellis I.H.: Review of [van Heijenoort 1976]. Modern Logic 2, 338–341 (1992)
Anellis, I.H.: Van Heijenoort: Logic and Its History in the Work and Writings of Jean van Heijenoort. Modern Logic Publishing, Ames (1994)
Anellis, I.H.: Peirce Rustled, Russell Pierced: how Charles Peirce and Bertrand Russell viewed each other’s work in logic, and an assessment of Russell’s accuracy and role in the historiography of logic. Modern Logic 5, 270–328 (1995); electronic version at: http://www.cspeirce.com/menu/library/aboutcsp/anellis/csp&br.htm
Anellis, I.H.: Tarski’s development of Peirce’s logic of relations. In: [153]. pp. 271–303 (1997)
Anellis, I.H.: Some views of Russell and Russell’s logic by his contemporaries. Rev. Modern Logic 10, 67–97 (2004–2005); electronic version: Some views of Russell and Russell’s logic by his contemporaries, with particular reference to Peirce, http://www.cspeirce.com/menu/library/aboutcsp/anellis/views.pdf
Anellis, I.H.: Van Heijenoort, Jean (1912–1986). In: Shook, J.R. (ed.) Dictionary of Modern American Philosophers, 1860–1960, vol. 4: R-Z, p. 2476, col. 1–p. 2479, col. 1. Thoemmes Press, Bristol (2005)
Anellis, I.H.: Evaluating Bertrand Russell: The Logician and His Work. Peirce Publishing, Fort Dodge (2006); 2nd, revised ed. Docent Press Chestnut Hill, forthcoming
Anellis I.H.: Russell and his sources for non-classical logics. Logica Universalis 3, 153–218 (2009)
Anellis, I.H.: Did the principia mathematica precipitate a “Fregean revolution”?, Russell J. Bertrand Russell Stud. 31, 131–150 (2011); simultaneous published in: Griffin, N., Linsky, B., Blackwell, K. (eds.) Principia Mathematica at 100. The Bertrand Russell Research Centre, McMaster University, Hamilton, Ont. P. 131–150 (2011)
Anellis, I.H.: How Peircean was the “Fregean” revolution in logic?, Logicheskie issledovaniya 18, in press (2012); an expanded version is available online at: http://www.cspeirce.com/menu/library/aboutcsp/anellis/csp-frege-revolu.pdf
Anellis, I.H., Houser, N.: The nineteenth century roots of universal algebra and algebraic logic: a critical-bibliographical guide for the contemporary logician. In: Andréka, H., Monk, J, D., Németi, I. (eds.) Colloquia Mathematica Societatis János Bolyai, vol. 54, pp. 1–36. Algebraic Logic, Budapest (Hungary), 1988 Elsevier Science/North-Holland, Amsterdam/London/New York (1991)
Angelelli, I. Studies on Gottlob Frege and Traditional Philosophy. D. Reidel Publishing Co., Dordrecht/Humanities Press, New York (1967)
Angelelli I.: Aristotle: Aristoteles Ars disserendi. Ex thypographia T. Brumennius, Pariis (1567)
Aspray, W., Kitcher, P. (eds): History and Philosophy of Modern Mathematics. University of Minnesota Press, Minneapolis (1988)
Avicenna: (Maḥmūd al-H̠aḍīrī; ‘Abd-al-Ḥalīm Muntas̠ir; Ibrāhīm Madkūr, eds.) aš- Šifā’ 1,3 al- Manṭiq: al-‘Ibāra = De l’interpretation (al-ibara). Al-Hai’a al-‘Āmma li-Šu’ūn al-Maṭābi‘ al-Amīrīya, Al-Qāhira (1970)
Avicenna: The Propositional Logic of Avicenna; A Translation from al-Shifa: al-Qiyas, with Introduction, Commentary and Glossary, by Nabil Shehaby. D. Reidel Publishing Co., Dordrecht (1973)
Badesa, C.: El teorema de Löwenheim en el marco de la teoría de relativos. Ph.D. thesis, University of Barcelona; published: Barcelona: Publicacións, Universitat de Barcelona. Barcelona (1991)
Badesa, C.: (Maudsley, M. trans.), The Birth of Model Theory: Löwenheim’s Theorem in the Frame of the Theory of Relatives. Princeton University Press, Princeton/Oxford (2004)
Baldwin, J.M. (ed): Dictionary of Philosophy and Psychology, vol. 2. Macmillan, New York (1902)
Barker J.: A Digest of Deductive Logic for the Use of Student. Metheuen & Co., London (1897)
Barnes, J.: A third sort of syllogism: Galen and the logic of relation. In: Sharples, R. W. (ed.) Modern Thinkers and Ancient Thinkers: The Stanley Victor Keeling Memorial Lectures at University College, London, 1981–1991, pp. 172–194. Westview Press, Boulder/UCL Press, London (1993)
Baynes T.S.: Who discovered the principle of quantification of the predicate?. Contemp. Rev. 22, 318–323 (1873)
Baynes T.S.: Mr. Herbert Spencer on Sir Wm. Hamilton and the quantification of the predicate. Contemp. Rev. 22, 796–798 (1873)
Bazhanov V.A.: C. S. Peirce’s influence on the logical work of N. A. Vasiliev. Modern Logic 3, 45–51 (1992)
Beatty R.: Peirce’s development of quantifiers and of predicate logic. Notre Dame J. Formal Logic 10, 64–76 (1969)
Bednarowski W.: Hamilton’s quantification of the predicate. Proc. Aristot. Soc. 56, 217–240 (1956)
Beneke F.E.: Syllogismorum analyticorum origines et ordo naturalis. Mittler, Berlin (1839)
Beneke F.E.: System der Logik als Kunstlehre des Denkens I–II. Ferdinand Dümmler, Berlin (1842)
Bentham, E.: An Introduction to Logick, Scholastick and Rational. W. Jackson and J. Lester, Oxford (1773)
Bentham, G.: Outline of a New System of Logic with a Critical Examination of Dr. Whately’s ‘Elements of Logic’. Hunt and Clarke, London: (1827); reprinted: Thoemmes, Bristol (1990)
Bergmann G.: Pure semantics, sentences, and propositions. Mind 53, 238–257 (1944)
Berry, G.D.W.: Peirce’s contributions to the logic of statements and quantifiers. In: Wiener, P.P., Young, F.H. (eds.) Studies in the Philosophy of Charles Sanders Peirce, pp. 153–165. Harvard University Press, Cambridge (1952)
Béziau J.-Y.: Review of [56]. Rev. Modern Logic 11, 155–161 (2007)
Bocheński J.M.: Notiones historiae logicae formalis. Angelicum 13, 109–123 (1936)
Bocheński, J.M.: Spitzfindigkeit. In: Festgabe an die Schweitzerkatholiken, pp. 334–352. Universitätsverlag, Freiberg (1954)
Boehner, P.: Medieval Logic: An Outline of Its Development from 1250 to c. 1400. Hyperion Press, Westport (1952)
Boole, G. An Investigation of the Laws of Thought, on which are founded the Mathematical Theories of Logic and Probabilities. Walton & Maberly, London (1854); reprinted: Dover Publishing Co., New York (1951)
Borga M., Palladino D.: Logic and foundations of mathematics in Peano’s school. Modern Logic 3, 18–44 (1992)
Bowen, F.: A Treatise on Logic, or the Laws of Pure Thought, comprising both the Aristotelian and Hamiltonian Analysis of Logical Forms, and Some Chapters of Applied Logic, 8th edn. John Ally, Boston (1874)
Bowne, G.D.: 1966. The Philosophy of Logic, 1880–1908. The Hague, Mouton (1966)
Brady, G. From Peirce to Skolem: A Neglected Chapter in the History of Logic. North-Holland/Elsevier Science, Amsterdam/New York (2000)
Brown, S.F.: Walter Burleigh’s Treatise De suppositionibus and Its Influence on William of Ockham. St. Bonaventure University, The Franciscan Institute, St. Bonaventure (1972)
Burks, A.W.: Peirce’s conception of logic as a normative science. Philos. Rev. 52, 187–193 (1943); electronic version at: http://www.jstor.org/stable/2180584
Burleigh, W. (Spade, P. V., transl.), Walter Burley: from the beginning of his Treatise on the Kinds of Supposition (De suppositionibus). Topoi 16, 95–102 (1977)
Buzzetti D.: La teoria della quantificazione del predicato di William Hamilton e la rinascita della logica. Rivista di Filosofia 64, 295–337 (1973)
Byrnes J.: Peirce’s first-order logic of 1885. Transactions of the Charles S. Peirce Society 34, 949–976 (1988)
Carnap. R.: Abriß der Logistik. Springer, Vienna (1929)
Carnap R.: Logische Syntax der Sprache. Julius Springer, Berlin (1934)
Carnap, R.: (Smeaton, A., trans.), The Logical Syntax of Language. Routledge & Kegan Paul, London (1937)
Carus P.C.: Nature of logical and mathematical thought. The Monist 20, 33–75 (1910)
Carus P.C.: Non-Aristotelian logic. The Monist 20, 158–159 (1910)
Cocchiarella N.B.: Predication versus membership in the distinction between logic as language and logic as calculus. Synthèse 77, 37–72 (1988)
Copi I.M.: The “intentionality” of formal logic. Philosophy and Phenomenological Research 11, 366–372 (1951)
Copi, I.M.: Introduction to Logic. Macmillan, New York (1953; 2nd edn., 1961; 3rd edn., 1968; 4th edn., 1972)
Copi, I.M.: Symbolic Logic. Macmillan, New York (1954; 2nd printing, 1956; 3rd printing, 1958; 6th printing, 1961; 2nd edn., 1965; 3rd edn., 1967; reprinted 1970; 4th edn., 1973; 5th edn., 1969)
Copi I.M.: The Burali-Forti paradox. Philos Sci 25, 281–286 (1958)
Copi I.M.: Artificial language. In: Henle, P. (ed) Language Thought and Culture, pp. 96–120. University of Michigan Press, Ann Arbor (1958)
Copi, I.M.: The Theory of Logical Types. London: Routledge & Kegan Paul, London (1971)
Copi I.M.: Logic versus illogic. Int. Logic Rev. 19(20), 111–113 (1979)
Copi, I.M., Gould, J.A. (eds.): Readings on Logic. NMacmillan, New York (1964; 2nd ed., 1971)
Copi, I.M., Gould, J.A. (eds): Contemporary Readings in Logical Theory. Macmillan, New York (1969)
Dedekind, R. 1888. Was sind und was sollen die Zahlen? F. Vieweg Braunschweig (1888; 2te Aufl., 1893); reprinted: (Fricke, R., Nöther, E., Ore, Ø., Hsg.), Richard Dedekind, Gesammelte mathematische Werke, Bd. III, pp. 335–390. Braunschweig, Vieweg (1930–1932)
De Morgan, A.: On the syllogism, I: on the structure of the syllogism. Trans. Cambridge Philos. Soc. 8, 379–408 (1846); reprinted: [79], 1–21
De Morgan, A.: (Heath, P., ed.) On the Syllogism and Other Logical Writings. Yale University Press, New Haven (1966)
Dipert, R.: Individuals and extensional logic in Schröder’s Vorlesungen über die Algebra der Logik. Modern Logic 1, 140–159 (1990/91)
Dipert, R.: Peirce’s deductive logic: its development, influence, and philosophical significance. In: Misak, C.J. (ed.) The Cambridge Companion to Peirce. Cambridge University Press, Cambridge. pp. 287–324 (2004)
Dreben, B., Denton, J.: 1970. Herbrand-style consistency proofs. In: Myhill, J.R., Kino, A., Vesley, R.E. (eds.) Intuitionism and Proof Theory. Proceedings of the International Conference Intuitionism and Proof Theory, Buffalo, 1968, pp. 419–433. Elsevier North-Holland, Amsterdam (1970)
Dreben, B., van Heijenoort, J.: Introductory notes to: [115,116,117,118]. In: [119], pp. 44–59 (1986)
Dürr, K.: Beleuchtung von Anwendungen der Logistik in Werken von Rudolf Carnap. In: Kazemier, B.H., Vuysje, D. (eds.) Logic and Language: Studies Dedicated to Professor Rudolf Carnap on the Occasion of His Seventieth Birthday, pp. 195–205. D. Reidel Publishing Co., Dordrecht (1962)
Edwards, P. (ed): Encyclopedia of Philosophy. Macmillan, New York (1963)
Enea, M.R., Saeli, D. Sistemi numerici: un’introduzione. ARCANE editrice S.r.l., Rome (2009)
Fang J.: The illogical in the logical, Int. Logic Rev. 17-18, 111–120 (1978)
Fang J.: Logic Today—Basics and Beyond. Paedeia Press, Memphis (1979)
Feferman, A.B.: Politics, Logic, and Love: The Life of Jean van Heijenoort. A K Peters, Wellesley (1993); reissued in paperback as: From Trotsky to Gödel: The Life of Jean van Heijenoort. A K Peters, Natick (2001)
Feferman S.: Transfinite recursive progressions of axiomatic theories. J. Symbolic Logic 27, 259–316 (1962)
Feferman, S.: Systems of predicative analysis. J. Symbolic Logic 29 (1964), 1–30, 33 (1968), 193–220 (1964-68)
Feferman, S.: Letter to Irving H. Anellis, October 15, 1986 (1986)
Feferman, S.: Appendix: Jean van Heijenoort’s scholarly work, 1948–1986. In: [89], 371–390 (1993)
Fenyö S.: Alle origini dell’estensionalismo contemporaneo: la logica delle classi di Schröder. Rivista di Filosofia 64, 123–173 (1973)
Fisch, M.H., Turquette, A.R.: Peirce’s triadic logic. Trans. Charles S. Peirce Soc. 2, 71–85 (1966); reprinted: Ketner, K.L., Kloesel, C.J.W. (eds.) Peirce, Semeiotic, and Pragmatism: Essays by Max H. Fisch. Indiana University Press, Bloomington. pp. 171–183 (1986)
Fiske, T.S. The beginnings of the American Mathematical Society. In: Peter Duren, P., Askey, R.A., Merzbach, U.C. (eds.) A Century of Mathematics in America, Part I, pp. 13–17. American Mathematical Society, Providence (1988)
Floyd, J.: Frege, semantics, and the double definition stroke. In: Biletzki, A., Matar, A. (eds.) The Story of Analytic Philosophy: Plot and Heroes, pp. 141–166. Routledge, London/New York (1988)
Fogelin R.J.: Hamilton’s quantification of the predicate. Philos. Quart. 26, 217–228 (1976)
Frege, G.: Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Verlag von Louis Nebert Halle (1879); English translation by S. Bauer-Mengelberg in [289], pp. 5–82
Frege, G.: Booles rechnende Logik und die Begriffsschrift (1880/1881); published: [110], 9–52
Frege, G.: Booles logische Formelsprache und die Begriffsschrift (1882); published: [110], 53–59
Frege, G.: Über den Zweck der Begriffsschrift. Jenaischer Zeitschrift für Naturwissenschften 16, Suppl.-Heft II, 1–10 (1883)
Frege G.: Grundlagen der Arithmetik. Verlag von Wilhelm Koebner, Breslau (1884)
Frege G.: Über Sinn und Bedeutung. Zeitschrift für Philosophie und philosophische Kritik (N.F.) 100, 25–50 (1892)
Frege G.: Über Begriff und Gegenstand. Vierteljahrsschrift für wissenschaftliche Philosophie 16, 192–205 (1892)
Frege, G.: Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet, Bd. I. H. Pohle, Jena (1893)
Frege G.: Kritische Beleuchtung einiger Punkte in E. Schröders Vorlesungen über die Algebra der Logik. Archiv für systematische Philosophie 1, 433–456 (1895)
Frege G.: Über die Begriffsschrift des Herrn Peano und meine einige, Verhandlungen der Königliche Sächsische Gesellschaft der Wissenschaften zu Leipzig. Math. Phys. Klasse 48, 362–368 (1896)
Frege, G.: Letter to Bertrand Russell, 22 June 1902 (1902). English translation by Beverly Woodward, with introduction by J. van Heijenoort, in [289], 126–128.
Frege, G.: (Hermes, H., Kambartel, F., Kaulbach, F., Hsg.), Nachgelassene Schriften. F. Meiner Verlag, Hamburg (1969; 2nd enlarged ed., 1983)
Freudenthal, H.: David Hilbert. In: Gillispie, C.C. (ed.) Dictionary of Scientific Biography, vol. 6, pp. 388–395. Scribner, New York (1973)
Gana F.: Peirce e Dedekind: la definizione di insiemi finito. Hist. Math. 12, 203–218 (1985)
Gentzen, G.: Untersuchungen über das logische Schließen. Mathematische Zeitschrift 39, 170–210, 405–431 (1934)
Gersonides. (Manekin, C. H., trans. & ed.) The Logic of Gersonides: A Translation of Sefer ha-Heqqesh ha-yashar (The Book of the Correct Syllogism) of Rabbi Levi ben Gershom. Kluwer, Dordrecht (1992)
Gödel, K.: Über die Vollständigkeit des Logikkalküls. Ph.D. thesis, University of Vienna (1929); reprinted, with English translation, in: [119], pp. 60–101.
Gödel, K.: Die Vollständigkeit der Axiome des logischen Kalküls. Monatsheft für Mathematik und Physik 37, 349–360 (1930); English translations by Stefan Bauer-Mengelberg in [289], 582–591; reprinted, with an English translation, in: [119], pp. 102–123.
Gödel, K.: Über die Vollständigkeit des Logikkalküls. Die Naturwissenschaften 18, 1068 (1930) German, with English translation, in: [119], pp. 124–125
Gödel, K.: Über die formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme, I, Monatshefte für Mathematik und Physik 38, 173–198 (1931); English translation: [289], 596–616; reprinted, with English translation, in: [119], pp. 144–195
Gödel, K.: (Feferman, S., Dawson, Jr., J.W., Kleene, S.C., Moore, G.H., Solovay, R.M., van Heijenoort, J., eds.) Collected Works, vol. I. Publications 1929–1936. Oxford University Press, Oxford/New York (1986)
Gödel, K.: (Feferman, S., Dawson, J.W., Kleene, S.C., Moore, G. H., Solovay, R. M., van Heijenoort, J., eds.) Collected Works, vol. II. Publications 1938–1974. Oxford University Press, Oxford/New York (1990)
Gödel, K.: (Feferman, S., Dawson, J.W., Goldfarb, W.D., Parsons, C., Solovay, R.M., eds.) Collected Works, vol. III. Unpublished Essays and Lectures. Oxford University Press Oxford/New York (1995)
Gödel, K.: (Feferman, S., Dawson, J.W., Goldfarb, W.D., Parsons, C., Sieg, W., eds.) Collected Works, vol. IV. Selected Correspondence, A-G. Oxford University Press, Oxford/New York (2003)
Gödel, K.: (Feferman, S., Dawson, J.W., Goldfarb, W.D., Parsons, C., Sieg, W., eds.) Collected Works, vol. V. Selected Correspondence, H-Z. Oxford University Press, Oxford/New York (2003)
Goldfarb W.D.: Logic in the twenties: the nature of the quantifier. J. Symbol. Logic 44, 351–368 (1979)
Grattan-Guinness I.: Bertrand Russell on his paradox and the multiplicative axiom. An unpublished letter to Philip Jourdain. J. Philos Logic. 1, 103–110 (1972)
Grattan-Guinness I.: Wiener on the logics of Russell and Schröder: an account of his doctoral thesis, and of his discussion of it with Russell. Ann. Sci. 32, 103–132 (1975)
Grattan-Guinness, I.: Russell—Dear Jourdain: A Commentary on Russell’s Logic, Based on his Correspondence with Philip Jourdain. Duckworth, London (1977)
Griffin N.: Russell on the nature of logic (1903–1913). Synthèse 45, 117–188 (1980)
Haack, S., Lane, R. (eds): Pragmatism, Old and New: Selected Writings. Prometheus, Amherst (2006)
Hacker E.A.: Number system for immediate inferences and the syllogism in Aristotelian logic. Notre Dame J. Formal Logic 8, 318–320 (1967)
Hacker E.A., Parry W.T.: Pure numerical Boolean syllogisms. Notre Dame J. Formal Logic 8, 321–324 (1967)
Halsted G.B.: Boole’s logical method. J. Specul. Philos. 12, 81–91 (1878)
Hamilton, W.S.: Prospectus on a new analytic of logical forms. Privately printed (1846); published as Appendix V, in: [134], pp. 509–559
Hamilton, W.S.: (Mansel, H.M., Veitch, J. eds.) Lectures on Logic, vol. 2 of Lectures on Metaphysics and Logic. Blackwood and Sons, London/Gould and Lincoln, Boston/Sheldon (1860)
Harley, R.: Additional remarks appended to [191], 36–40 (1884)
Hartimo, M.: 2006. Logic as a universal medium or logic as a calculus? Husserl and the presuppositions of “the ultimate presupposition of twentieth century philosophy”. South. J. Philos. 44, 569–580 (2006)
Hasnawi, A.: 2008. Avicenna on the quantification of the predicate (with an appendix on [Ibn Zur‘a]). In: Rahman, S., Street, T., Tahiri, H. (eds.) The Unity of Science in the Arabic Tradition: Logic, Epistemology, and the Unity of Science, pp. 295–328. Springer Netherlands, Dordrecht (2008)
Hawkins, B.S.: Frege and Peirce on Properties of Sentences in Classical Deductive Systems. Ph.D. thesis, University of Miami (1971)
Hawkins B.S.: A compendium of C. S. Peirce’s 1866–1885 work. Notre Dame J. Formal Logic 16, 109–115 (1975)
Hawkins, B.S.: Peirce’s and Frege’s systems of notation. In: Ketner, K.L., Ransdell, J.M., Eisele, C., Fisch, M.H., Hardwick, C.S. (eds.) Proceedings of the C.S. Peirce Bicentennial International Congress, 1976, pp. 381–389. Texas Tech Press, Lubbock (1981)
Hawkins B.S.: Peirce and Frege: a question unanswered. Modern Logic 3, 376–383 (1993)
Hawkins, B.S.: Peirce and Russell: the history of a neglected ‘controversy’. In: [153]. pp. 111–146 (1997)
Henry D.P.: Ockham, ‘suppositio’, and modern logic. Notre Dame J. Formal Logic 5, 290–292 (1964)
Herbrand, Jacques. 1930. Recherches sur la théorie de la démonstration. Ph.D. thesis, University of Paris (1930), reprinted: Prace Towarzystwa Naukowego Warszawskiego, Wydział III, 33 (1930); reprinted: [145], 35–153; English translations: [146], 46–202; translation of Chapt. 5 in [289], 529–581.
Herbrand, J.: (van Heijenoort, J., éd.), Écrits logiques. Presses Universitaires de France, Paris (1968)
Herbrand, J.: (Goldfarb, W.D., trans. & ed.) Logical Writings. Harvard University Press, Cambridge (1971)
Hilbert, D., Ackermann, W.: Grundzüge der theoretischen Logik. Springer-Verlag, Berlin (1928); 2te Aufl., 1938); reprinted: Dover Publications, New York (1946)
Hilbert, D., Bernays, P.: Grundlagen der Mathematik. Springer Verlag, Berlin, Bd. I, 1934; Bd. II, 1939 (1934–1939)
Hintikka, J.: On the development of the model-theoretic viewpoint in logical theory, Synthèse 77, 1–36 (1988); reprinted in: [150], pp. 104–139.
Hintikka, J.: Lingua Universalis vs. Calculus Ratiocinator: An Ultimate Presupposition of Twentieth-Century Philosophy. Kluwer Academic Publishers, Dordrecht (1997)
Hintikka M.B., Hintikka J.: Investigating Wittgenstein. Basil Blackwell, Oxford (1986)
Hoffmann, F.: Grundzüge einer Geschichte des Begriffs der Logik in Deutschland von Kant bis Baader. Hermann Bethmann, Leipzig (1851)
Houser, N., Roberts, D.D., Van Evra, J.W. (eds.) Studies in the Logic of Charles Sanders Peirce. Indiana University Press, Bloomington/Indianapolis (1997)
Husserl E.: Der Folgerungscalcul ind die Inhaltslogik. Vierteljahrsschrift für wissenschaftliche Philosophie 15, 168–189 (1891)
Husserl E.: Antwort auf die vorstehende. Erwiderung‘ der Herrn Voigt, Vierteljahrsschrift für wissenschaftliche Philosophie 17, 508–511 (1893)
Husserl, E.: Logische Untersuchungen, Bd. I. Max Niemeyer Verlag, Halle a. S. (1900), Bd. II. Max Niemeyer Verlag, Tübingen (1901) (1900–1901)
Jevons W.S.: Who discovered the quantification of the predicate?. Contemp. Rev. 21(May), 821–824 (1873)
Jungius, J.: Logica Hamburgensis: hoc est Institutiones logicae in usum schol. Hamburg. conscriptæ & sex libri comprehensæ autore Joachimo Jungio. Sumptibus Bartholdi Offermans literis Rebenlinianis, Hamburg (1638; editio II 1681); (Rudolf W. Meyer, Hsg.), J. J. Augustin, Hamburg (1957)
Kant, I.: Die falsche Spitzfindigkeit der vier syllogistischen Figuren erweisen. J. J. Kanter, Königsberg (1763)
Kant, I.: (Jäsche, G. B., Hsg.), Immanuel Kants Logik. Ein Handbuch zu Vorlesungen. Friedrich Nicolovius (1800)
Kant, I.: (Heidemann, I., Hsg.) Kritik der reinen Vernunft. Reclam, Stuttgart (1966) [Combines the first and second editions: Critik der reinen Vernunft]. Johann Friedrich Hartknoch, Riga (1781; Zweyte hin und wieder verbesserte Auflage. 1787)
Kennedy H.C.: Nine letters from Giuseppe Peano to Bertrand Russell. Hist. Philos. Logic 13, 205–220 (1975)
Kitcher, P., Aspray, W.: An opinionated introduction. In: [29], pp. 3–57 (1988)
Köhnke, K.C.: 1986. Entstehung und Aufstieg des Neukantianismus. Surhkamp, Frankfurt am Main: (1986); English translation: (Hollingdale, R. J., trans.), The Rise of Neo-Kantianism: German Academic Philosophy between Idealism and Positivism. Cambridge University Press, Cambridge/Port Chester/Melbourne/Sydney (1991)
Kolmogorov, A.N.: O printsipi ‘tertium non datur’, Matematicheskii sbornik 32, 646–667 (1925); English translation: On the principle of excluded middle, by J. van Heijenoort, in: [289a], 414–437
Kolmogorov, A.N.: Letter to John van Heijenoort, 12 November 1963; ts., 1p. [in Russian]. Van Heijenoort Archives, Box 3.8/86-33/12 (previously labeled Box 12); copy in Anellis private archives
Korte T.: Frege’s Begriffsschrift as a lingua characteristica. Synthèse 174, 283–294 (2010)
Kusch, M.: Language as Calculus vs. Language as Universal Medium: A Study in Husserl, Heidegger, Gadamer. Kluwer Academic Publishers, Dordrecht (1989)
Ladd-Franklin, C. Methods of. . . ”; unidentified ms., 1p., n.d. ca. 1913, re: Whitehead & Russell in Principia on Peirce & Schröder, from the Ladd-Frankin Papers of Rare Book and Manuscript Library, Columbia University (ca. 1913)
Laita L.M.: Influences on Boole’s logic: the controversy between William Hamilton and Augustus De Morgan. Ann. Sci. 36, 45–65 (1979)
Lane R.: Peirce’s triadic logic revisited. Trans. Charles S. Peirce Soc. 35, 284–311 (1999)
Leibniz, G.W.: (Parkinson, G. H. R., ed. & trans.), Leibniz, Logic Papers. Clarendon Press, Oxford (1966)
Linsky, B.: Was the axiom of reducibility a principle of logic?. Russell J. Bertrand Russell Stud. 10, 125–140 (1990–1991)
Löwenheim, L.: Über Möglichkeiten im Relativkalkul, Mathematische Annalen 76, 447–470 (1915); English translation by S. Bauer-Mengelberg in [289], 228–251
Łukasiewicz, J.: Z historii logiki zdań, Przegląd filozofi 37, 417–437 (1934)
Łukasiewicz, J.: Zur Geschichte der Aussagenlogik, Erkenntnis 5, 111–131 (1935); German of [175]; English translation: in [177], 197–217
Łukasiewicz, J.: (Borkowski, L., ed., trans.), Selected Works. North-Holland, Amsterdam (1970)
Mahnke, D.: Von Hilbert zu Husserl: Erste Einführung in die Phänomenologie, besonders des formalen Mathematik, Unterrichtsblätter 29 (3/4), sekt. Forschung und Schule, 34–37 (1923); English translation: (D.L. Boyer, with a preface by J.C. Webb), Studies in History and Philosophy of Science 8, 71–84 (1976)
Martin, R.M. 1976. On individuality and quantification in Peirce’s published logic papers, 1867–1885, Transactions of the Charles S. Peirce Society 12, 231–245 (1976); reprinted as: Individuality and quantification in Peirce’s published logic papers, 1867–1885. In: Martin, R.M. (eds.) Peirce’s Logic of Relations and Other Studies, pp. 24–45. Foris Publications, Dordrecht/Cinnaninson (1980)
Matthews G.B.: Suppositio and Quantification in Ockham. Noûs 7, 13–24 (1973)
McKinley, R.: A sequent calculus demonstration of Herbrand’s theorem, Computational Interpretation of Proofs. Paris (2007); preprint (corrected, 2010), http://arxiv.org/abs/1007.3414 .
McOuat, G.H., & Varma, C.S.: Bentham’s logic. In: Gabbay, D.M., Woods, J. (eds.) British Logic in the Nineteenth Century, Handbook of the History of Logic, vol. 4, pp. 1–32. Elsevier North-Holland, Amsterdam (2000)
Mitchell, O.H.: On a new algebra of logic. In: [216], pp. 72–106 (1883)
Moore G.H.: Review of second printing of [289]. Hist. Math. 4, 468–471 (1977)
Moore, G.H.: A house divided against itself: the emergence of first-order logic as the basis for mathematics. In: Phillips, E.R. (ed.) Studies in the History of Mathematics, pp. 98–136. Mathematics Association of America, Washington (1987)
Moore, G.H.: The emergence of first-order logic. In: [29], pp. 95–138 (1988)
Moore G.H.: Reflections on the interplay between mathematics and logic. Modern Logic 2, 281–311 (1992)
Moore G.H.: Hilbert and the emergence of modern mathematical logic. Theoria (Segunda Épocha) 12, 65–90 (1997)
Mosselmans B.: Aristotle’s logic and the quest for the quantification of the predicate. Foundations of Science 13, 195–198 (2008)
Mostowski A.: Review of [289]. Synthèse 18, 302–305 (1968)
Murphy J.J.: On the quantification of predicates and on the interpretation of Boole’s logical symbols. Proc. Literary Philos. Soc. Manchester 23, 33–36 (1884)
Nasim, O.W. Bertrand Russell and the Edwardian Philosophers: Constructing the World. Palgrave Macmillan, Basingstoke (2008)
Nidditch P.H.: Peano and the recognition of Frege. Mind 72, 103–110 (1963)
Padoa, A.: La logique déductive dans la dernière phase de développement, Revue de Métaphysique et de Morale 19 (1911), 828–883, 20 (1912), 48–67, 207–231 et de Morale 19 (1911), 828–883, 20 (1912), 48–67, 207–231 (1911–1912); reprinted: Padoa, A. La logique déductive dans la dernière phase de développement, with a preface by G. Peano. Gauthier-Villars, Paris (1912)
Parkinson, G.H.R.: (ed. & trans.), Introduction. In: [172]. pp. ix–lxv (1966)
Parsons, T.: Supposition as quantification versus supposition as global quantificational effect, ts., 95pp. (1995); published in part: Topoi 16 (1997) 41–63
Peano, G.: Arithmetices principia, nova methodo exposita. Bocca, Torino (1889); English translations in: [289], 83–97
Peano G.: Principii di logica matematica. Rivista i Matematica 1, 1–10 (1891)
Peano, G.: Formole di logica matematica. Rivista di Matematica 1, 24–31, 182–184 (1891)
Peano, G.: Notations de la logique mathématique (Introduction au formulaire de mathématiques). Guadagnini, Torino (1894)
Peano G.: Studii di logica matematica. Atti della Reale Accademia delle Scienze di Torino 32, 565–583 (1897)
Peano, G.: Formulaire de mathématiques, t. 2, §1: Logique mathématique. Bocca, Torino (1897)
Peano, G.: Formulaire de Mathématiques, t. 2, §2. Bocca, Torino (1898)
Peckhaus, V.: Friedrich Eduard Beneke und die Quantifikation des Prädikats, Arbeitsberichte, Institut für Philosophie der Universität Erlangen-Nürnberg nr. 14, 3–10 (1987)
Peckhaus, V.: Hermann Ulrici und die Aufnahme der englischen Algebra der Logik in Deutschland”. Arbeitsberichte nr. 42 (Juli), 3–45 (1989)
Peckhaus, V.: Ernst Schröder und die “pasigraphischen Systeme” von Peano und Peirce. Modern Logic 1, 174–205 (1990/91)
Peckhaus, V.: Hermann Ulrici (1806–1884). Der Hallesche Philosoph und die englische Algebra der Logik. Hallescher Verlag, Halle/Saale (1995)
Peckhaus, V.: Calculus ratiocinator vs. characteristica universalis? The two traditions in logic, revisited. Hist. Philos. Logic 25, 3–14 (2004); available online: http://kw.uni-paderborn.de/fileadmin/kw/institute/Philosophie/Per-sonal/Peckhaus/Texte_zum_Download/twotraditions.pdf
Peckhaus, V.: Algebra of logic, quantification theory, and the square of opposition; http://kw.uni.paderborn.de/fileadmin/kw/institute/Philosophie/Personal/Peckhaus/Texte_zum_Download/alquant.pdf (2010)
Peirce, C.S.: The Charles S. Peirce Papers. Manuscript collection in the Houghton Library, Harvard University (1849–1914). (Unpublished items designated “RC”, with manuscript number (designated “MS #”) according to [245] as reorganized by the Peirce Edition Project.)
Peirce, C.S.: On an improvement in Boole’s calculus of logic (Paper read on 12 March 1867). Proc. Am. Acad. Arts Sci. 7, 250–261 (1868)
Peirce, C.S.: Educational Text-Books, II, The Nation 14 (April 11), 244–246 (1872); reprinted: [225], pp. 46–51.
Peirce C.S.: On the algebra of logic. Am. J. Math. 3, 15–57 (1880)
Peirce C.S.: On the logic of number. Am. J. Math. 4, 85–95 (1881)
Peirce, C.S.: The logic of relatives. In: [216], pp. 187–203 (1883)
Peirce, C.S. (ed.): Studies in Logic by the Members of the Johns Hopkins University. Little, Brown & Co., Boston (1883; reprinted, with an introduction by Max Harold Fisch and a preface by A. Eschbach. Amsterdam: John Benjamins Publishing Co., 1983)
Peirce C.S.: On the algebra of logic: a contribution to the philosophy of notation. Am. J. Math. 7, 180–202 (1885)
Peirce, C.S. (attributed): Review of Schröder‘s Vorlesungen über die Algebra der Logik, I, The Nation (August 13 1891), 12 (1891); reprinted: [Peirce 1975], 110–112
Peirce, C.S. (attributed): Review of Schröder’s Algebra und Logik der Relative (1895), Vorlesungen über die Algebra der Logik, The Nation 62, 330–331 (1896); reprinted: [227], pp. 132–133.
Peirce, C.S.: Modality. In: [34], pp. 89–93 (1902)
Peirce, C.S.: Necessary and Necessity. In: [34], pp. 143–145 (1902)
Peirce, C.S.: Vague. In: [34], pp. 748 (1902)
Peirce, C.S.: Review of [322] and [249], The Nation 77 (15 October), 308–309 (1903); reprinted: [226], pp. 157–159
Peirce, C.S.: On the system of existential graphs considered as an instrument for the investigation of logic; RC MS #499 (1906); in: [210]
Peirce, C.S.: (Ketner, K.L., Cook, J.E., compilers and annotators), Charles Sanders Peirce: Contributions to ‘The Nation’, Part One: 1869–1893. Texas Tech Press, Lubbock (1975)
Peirce, C.S.: (Hardwick, C.S., ed.) Semiotic and significs: the correspondence between Charles S. Peirce and Victoria Lady Welby. Indiana University Press, Bloomington (1977)
Peirce, C.S.: (Ketner, K.L., Cook, J.E., compilers and annotators), Charles Sanders Peirce: Contributions to ‘The Nation’, Part Two: 1894–1900. Texas Tech Pres, Lubbock (1978)
Petrus Hispanus. (Bocheński, I.M., ed.) Summulae logicales magistri Petri Hispani quas e codice manuscripto Reg. Lat. 1205. Marietti, Turin (1947)
Prantl, C.: Geschichte der Logik im Abendlande. Bd. I. Leipzig: S. Hirzel, Leipzig (1855); reprinted: Akademische Druck- und Verlagsanstalt, Graz (1955)
Pulkkinen, J.: The Threat of Logical Mathematism: A Study on the Critique of Mathematical Logic in Germany at the Turn of the 20th Century. Peter Lang, Frankfurt/Berlin/Bern/New York/Paris/Vienna (1994)
Pulkkinen, J.: Thought and Logic: The Debates between German-Speaking Philosophers and Symbolic Logicians at the Turn of the 20th Century. Peter Lang, Frankfurt/Berlin/Bern/Bruxelles/Oxford/New York/Paris/Vienna (2005)
Putnam H.: Peirce the logician. Hist. Math. 9, 290–301 (1982)
Quine, W.V.: Truth by convention. In: Lee, O.H. (ed.) Philosophical Essays for A. N. Whitehead, pp. 90–124. Longmans, New York (1936)
Quine W.V.: On the axiom of reducibility. Mind 45, 498–500 (1936)
Quine W.V.: On the logic of quantification. J. Symbol. Logic 10, 1–12 (1945)
Quine, W.V.: Methods of Logic. Holt. Rhinehardt & Winston, New York (1950; rev. ed., 1959; 3rd edn., 1972; Harvard University Press, Cambridge, 4th edn., 1982)
Quine, W.V.: In the logical vestibule, Times Literary Supplement, July 12, p. 767 (1985); reprinted as: MacHale on Boole, in: [240], 251–257
Quine, W.V.: Peirce’s logic. In: Ketner, K.L. (ed.) Peirce and Contemporary Thought: Philosophical Inquiries. Fordham University Press, New York. pp. 23–31 (1995)
Quine, W.V.: Peirce’s logic. In: [240], pp. 258–265 (1995). (An abbreviated version of [238].)
Quine, W.V.: Selected Logic Papers. Harvard University Press, Cambridge, enlarged ed. (1995)
Ramsey, F.P.: The foundations of mathematics. Proc. London Math. Soc (2nd ser.), 25, 338–384 (1926)
Reck, E.H.: From Frege to Russell and Carnap: logic and logicism in the 1920s. In: Awodey, S., Klein, C. (eds.) Carnap Brought Home: The View from Jena, pp. 151–180. Open Court, Chicago (2004)
Reck, E.H., Awodey, S.: Frege’s lectures on logic and their influenc. In: Reck, E.H., Awodey, S. (transl. and eds.) Frege’s Lectures on Logic: Carnap’s Student Notes, 1910–1914, pp. 17–42. Open Court, Chicago/LaSalle (2004)
Riehl, A. 1877. Die englische Logik der Gegenwart, Vierteljahrsschrift für wissenschaftliche Philosophie 1, 50–80 (1877); reprinted: Aloys Riehl, Philosophische Studien aus vier Jahrzehnten. Quelle & Meyer, Leipzig. pp. 175–201 (1925)
Robin, R.S. Annotated Catalogue of the Papers of Charles S. Peirce. University of Massachusetts Press, Amherst (1967)
Rorty, R.: Introduction: metaphilosophical difficulties of linguistic philosophy. In: Rorty, R. (ed.) The Linguistic Turn: Recent Studies in Philosophical Methods, pp. 1–39. University of Chicago Press, Chicago (1970)
Russell B.: Sur la logique des relations avec des applications à à la théorie des séries. Revue de mathématiques/Ri-vista di Matematiche 7, 115–148 (1901)
Russell, B.: Letter to Gottlob Frege, 22 June 1902 (1902); English translation by B. Woodward, with introduction by Jean van Heijenoort, in [289], 124–125.
Russell B.: The Principles of Mathematics. Cambridge University Press, London (1903)
Russell, B.: Vaugueness, Australasian Journal of Psychology and Philosophy 1, 84–92 (1923); reprinted: Slater, J.G. (ed.) Essays on Language, Mind and Matter, 1919-26, vol. 9 of The Collected Papers of Bertrand Russell, pp. 147–154. Unwin Hyman, London/Boston/Sydney/Wellington (1988)
Russell, B.: My mental development. In: Schilpp, P.A. (ed.) The Philosophy of Bertrand Russell, pp. 3–20. Northwestern University Press, Evanston/Chicago (1944)
Russell, B.: Autobiography of Bertrand Russell, vol. 2, pp. 1914–1944. George Allen & Unwin, London (1968)
Ryle, G.: Introduction. In: Ayer, A.J. et al. (eds.) The Revolution in Philosophy, pp. 1–11. Macmillan & Co., London/St. Martin’s Press, New York (1957)
Salisbury, J.: Ioannis Saresberiensis Episcopi Carnotensis Metalogicon (1159); printed as: Ioannis Saresberiensis Policraticus, sive De nugis curialium, & vestigiis philosophorum, libri octo. Accedit huic editioni eiusdem Metalogicus. Cum indice copiosissimo. Ex officina Ioannis Maire, Lugduni Batavorum (1639)
Salisbury, J.: (McGarry, D.D., trans. & ed.) The Metalogicon of John of Salisbury: A Twelfth-century Defense of the Verbal and Logical Arts of the Trivium. University of California Press, Berkeley (1955); reprinted: Peter Smith, Gloucester (1971)
Schröder, E.: Review of [99], Zeitschrift für Mathematik und Physik, Historisch-literaturische Abteilung 25, 81–93 (1880)
Schröder, E.: Vorlesungen über die Algebra der Logik (Exakte Logik), 3 Bände. B. G. Teubner, Leipzig (1890–1905). (See also appendices 1–7 of [56, pp. 207–427], for partial English translation of Bd. III.)
Schröder, E.: Über Pasigraphie, ihren gegenwärtigen Stand und die pasigraphische Bewegung in Italien. In: Rudio, F. (ed.) Verhandlungen des Ersten Internazionalen Mathematiker-Kongressses in Zurich von 9. bis 11. August 1897, pp. 147–162. B.G. Teubner, Leipzig (1898)
Schröder, E.: On pasigraphy: its present state and the pasigraphic movement in Italy. The Monist 9, 44–62, 320 (1898)
Shearman, A.T.: The Development of Symbolic Logic: A Critical-historical Study of the Logical Calculus. London: Williams and Norgate, London (1906); reprinted: Wm. C. Brown Reprint Library, Dubuque, Iowa (1988)
Shearman, A.T.: Critical notice of [249]. Mind (n.s.) 16, 254–265 (1907)
Shields, P.B.: Charles S. Peirce on the Logic of Number, Ph.D. thesis, Fordham University (1981); revised edition, Docent Press, Chestnut Hill, forthcoming.
Shields, P.B.: Peirce’s axiomatization of arithmetic. In: [153]. pp. 43–52 (1997)
Sigwart, H.C.W.: Handbuch zu Vorlesungen über die Logik. C. F. Osiander, Tübingen, vermehrte und verbesserte 8te Aufl., (1835)
Skolem, T. Albert. Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen, Videnkapsselskapels Skrifter 1, Mathematisk-naturvidenskabelig klasse, no. 4 (1920); reprinted: [267], pp. 103–136: English translation: [289], pp. 252–264.
Skolem, T.: Sur la portée du théorème de Löwenheim–Skolem, in Ferdinand Gonseth (ed.) Les entriens de Zurich sur les fondements le la méthode des sciences mathématiques, 6-9 décembre 1938. Leesmann, Zurich. pp. 25–47 (1941); reprinted: [267], pp. 445–482
Skolem, T. (Fenstad, J.E., ed.) The Selected Works of Th. Skolem. Universitetsforlaget, Oslo/Bergen/Tromso (1970)
Sluga H.: Frege against the Booleans. Notre Dame J. Formal Logic 28, 80–98 (1987)
Sommers, F.: On a Fregean dogma. In: Lakatos, I. (ed.) Problems in the Philosophy of Mathematics. Proceedings of the International Colloquium in the Philosophy of Science, London, 1965. North-Holland, Amsterdam. vol. 1, pp. 47–62 (1967)
Sommers F.: The calculus of terms. Mind 79, 1–39 (1970)
Sommers, F.: Leibniz’s program for the development of logic. In: Cohen, R.S., Feyerabend, P.K., Wartofsky, M.W. (eds.) Essays in Memory of Imre Lakatos. Reidel, Dordrecht. pp. 589–615 (1976)
Spencer, H.: The study of sociology. IX.—the bias of patriotism. Contemp. Rev. XXI (March 1873), 475–502 (1873)
Stevens, G.: Reconstructing the logical construction of the world; review of [192]. Russell J. Bertrand Russell Stud. (n.s.) 31, 188–190 (2011–2012)
Stroll A.: On the first flowering of Frege’s reputation. J. Hist. Philos. 4, 72–81 (1966)
Tarski A.: Die Wahrheitsbegriff in der formalisierten Sprachen. Studia Philosophica 1, 261–405 (1935)
Thiel, C.: Sense and Reference in Frege’s Logic. D. Reidel Publishing Co., Dordrecht/Humanities Press, New York (1968)
Thiel, C.: Ernst Schröder und die Verteilung der Quantoren, Arbeitsberichte, Institut für Philosphie der Universität Erlangen-Nürnberg, nr. 16 (März 1988), 20–37 (1988); English translation: [278]
Thiel, C.: Ernst Schröder and the distribution of quantifiers. Modern Logic 1, 160–173
Thomson, W.: 1842. An Outline of the Necessary Laws of Thought, A Treatise on Pure and Applied Logic. William Pickering, London (1842; W. Graham, Oxford, 1849; W. Pickering, London, 1853; 2nd ed.; 1857; Sheldon, New York/ Gould & Lincoln, Boston, 1863; 1882)
Ulrici, H.: Review of [52]. Zeitschrift für Philosophie und philosophische Kritik (N.F.) 27, 273–291 (1855)
Ulrici, H.: Review of [132]. Zeitschrift für Philosophie und philosophische Kritik (N.F.) 73, 314–316 (1878)
Vailati, G.: La logique mathématique et sa nouvelle phase de développement dans les écrits de M. G. Peano, Revue de Métaphysique et de Morale 7, 86–102 (1899)
Van Evra, J.W.: Review of the 1990 reprint of [45]. Modern Logic 2, 405–408 (1992)
Van Heijenoort, J.: Van Heijenoort Nachlaß: Papers, 1946–1988; Archives of American Mathematics, University Archives, Barker Texas History Center, University of Texas at Austin; http://www.lib.utexas.edu/taro/utcah/00245/cah-00245.html
Van Heijenoort J.: Review of [50]. J. Symbol Logic 22, 382 (1957)
Van Heijenoort J.: Review of Maria de la Cinta Badillo Barallat, Automatizacion de los Silogismos en una Logica Polivalente. J. Symbol. Logic 27, 112 (1962)
Van Heijenoort, J.: Gödel’s theorem. In: [85]. vol. 3, pp. 348–357 (1963)
Van Heijenoort, J.: Logical paradoxes. In: [85]. vol. 5, pp. 45–51 (1963)
Van Heijenoort, J. (ed.): From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931. Harvard University Press, Cambridge (1967)
Van Heijenoort, J.: Logic as calculus and logic as language, Synthèse 17, 324–330 (1967); reprinted: Cohen, R.S., Wartofsky, M.W., (eds.) Boston Studies in the Philosophy of Science 3 (1967), In: Memory of Russell Norwood Hansen, Proceedings of the Boston Colloquium for Philosophy of Science 1964/1965. Reidel, Dordrecht. pp. 440–44; reprinted: [303], 11–16; Sluga, H. (ed.) General Assessments and Historical Accounts of Frege’s Philosophy, vol. 1: The Philosophy of Frege, Garland Publishing Co., New York. pp. 72–79 (1993)
Van Heijenoort, J.: Préface. In: [145]. pp. 1–12 (1968)
Van Heijenoort, J.: Review of A.V. Idel’son, G.E. Mints (eds.) Matematicheskaya teoriya logicheskogo vyvoda. J. Symbol. Logic 35, 323–325 (1970)
Van Heijenoort, J.: Review of G. E. Mints, Teorema Erbrana dlya ischisleniya predikatov s ravenstvom i funktsional’nymu simvolamu, and English translation by L. F. Boron. J. Symbol. Logic 35, 325 (1970)
Van Heijenoort J.: Review of various papers of G. E. Mints. J. Symbol. Logic 36, 524–528 (1971)
Van Heijenoort, J.: Subject and predicate in western logic, Philosophy East and West 24, 253–268 (1974); reprinted, with revisions, in: [303], pp. 17–34
Van Heijenoort, J.: Translation of modal quantification theory into nonmodal quantification theory; ms., November 15, 1974; in: [284], Box 3.8/86-33/1
Van Heijenoort, J.: El desarrollo de la teoría de la cunatificación. Universidad Nacional Autónoma de México, Mexico City (1976)
Van Heijenoort, J.: Set-theoretic semantics. In: Gandy, R.O., Hyland, J.M.E. (eds.) Logic Colloquium ’76, (Oxford, 1976). North-Holland: Amsterdam. pp. 183–190 (1977); reprinted in: [303], pp. 43–53
Van Heijenoort, J.: Sense in Frege. J. Philos. Logic 6, 93–102 (1977); reprinted in: [303], pp. 55–63
Van Heijenoort, J.: Frege on Sense identity. J. Philos. Logic 6, 103–108 (1977); reprinted in: [303], pp. 65–69
Van Heijenoort, J.: Introduction à à la sémantique des logiques non-classiques. Collection de l’École Normale Supérieur des Jeunes Filles, Paris (1979)
Van Heijenoort, J.: L’œuvre logique de Jacques Herbrand et son contexte historique. In: Stern, J. (ed.) Proceedings of the Herbrand Symposium, Logic Colloquium ‘81, Marseilles, France, July 1981. North-Holland, Amsterdam/New York/Oxford. pp. 57–85 (1982)
Van Heijenoort, J.: Selected Essays. Bibliopolis, Naples (1985)
Van Heijenoort, J.: Ostension and vagueness (1979); published in: [303], pp. 71–73 (1985)
Van Heijenoort, J.: Absolutism and relativism in logic (1979); published in: [303], pp. 75–83
Van Heijenoort, J.: Frege and vagueness. In: Haaparanta, L., Hintikka, J. (eds.) Frege Synthesized, pp. 31–45. Kluwer, Dordrecht; reprinted in: [303], pp. 85–97
Van Heijenoort, J.: Jacques Herbrand’s work in logic and its historical context. In: [303], pp. 99–121
Van Heijenoort, J.: Friedrich Engels and mathematics (1948); published in: [303], pp. 123–151
Système et métasystème chez Russell. In: The Paris Logic Group (eds.) Logic Colloquium ’85. North-Holland, Amsterdam/London/New York. pp. 111–122. (1987)
Van Heijenoort, J.: Historical development of modern logic, Modern Logic 2, 242–255 (1992) [Prepared by Irving H. Anellis from a previously unpublished typescript of 1974; reprinted, with a new introduction and notes, this edition.]
Van Heijenoort, J.: Logic, nature of; undated ms., in: [284], Box 3.8/86-33/3
Van Heijenoort, J.: On the Frege–Russell definition of number; undated ms.; in: [284], Box 3.8/86-33/2
Van Heijenoort, J.: Untitled, undated ms., 1p., located in the “Herbrand” file; in [284], Box 3.8/86-33/2
Vasil’ev, N.A.: O chastnykh suzhdeniyakh, o treugol’nike protivopolozhnostei, o zakone isklyuchennogo chetvertogo. Uchenye Zapiski Kazanskogo Universiteta 77, nr. 10; 47 pp. (1910)
Vasil’ev, N.A.: Voobrazhaemaya (nearistoteleva) logika. Zhurnal Ministerstva Narodnago Prosveshcheniya 40, 207–246 (1912)
Vasil’ev, N.A.: Logika i metalogika, (nos. 1–2), 53–81 (1912–1913)
Venn, J.: Review [99], Mind (o.s.) 5, 297 (1880)
Vilkko R.: The reception of Frege’s Begriffsschrift. Hist. Math. 25, 412–422 (1998)
Vilkko, R.: A Hundred Years of Logical Investigations: Reform Effort of Logic in Germany 1781–1879. Mentis Verag, Paderborn 92002)
Voigt, A.H.: Zum Calcul der Inhaltslogik. Erwiderung auf Herrn Husserls Artikel. Vierteljahrsschrift für wissenschaftliche Philosophie 17, 504–507 (1893)
Wang, H.: A survey of Skolem’s work in logic. In: [267], pp. 17–52 (1970)
Welby, V.: What is Meaning? Macmillan. London/New York (1903)
Whitehead A.N.: A Treatise on Universal Algebra. Cambridge University Press, Cambridge (1898)
Whitehead, A.N.: Memoir on the algebra of symbolic logic. Am. J. Math. 23, 139–165, 297–316 (1901)
Whitehead, A.N., Russell, B.: Principia Mathematica, 3 vols. Cambridge University Press, Cambridge (1910–1913)
Wirth, C.-P., Siekmann, J., Benzmüller, C., Autexier, S.: Jacques Herbrand: life, logic, and automated deduction. In: Gabbay D.M., Woods, J. (eds.) Handbook of the History of Logic, vol. 5: Logic from Russell to Church. North-Holland, Amsterdam. pp. 195–254 (2009)
Wittgenstein, L.: (Ogden, C. K., trans.), Tractatus Logico-philosophicus/ Logisch-phlosophische Abhandlung. London: Kegan Paul, Trench, Trubner & Co., Ltd./New York: Harcourt, Brace, & Co. (1922)
Wittgenstein, L.: (Anscombe, G. E. M., trans.), Philosophical Investigations/Philosophische Untersuchungen. Basil Blackwell, Oxford/Macmillan, New York (1953)
Wittgenstein, L.: (Von Wright, G.H., Rhees, R., Anscombe, G.E.M., eds., Anscombe, G.E.M., trans.), Remarks on the Foundations of Mathematics/Bemerkungen über die Grundlagen der Mathematik. Basil Blackwell, Oxford (1956)
Wittgenstein, L.: (Anscombe, G.E.M., Von Wright, G.H., eds., Paul, D., Anscombe, G.E.M., trans.), On Certainty/Über Gewißheit, Basil Blackwell, Oxford (1969–1975)
Wittgenstein, L.: (Rhees, R. ed.) Philosophische Grammatik. Surhkamp, Frankfurt (1973)
Woleński, J.: 2011. First-order logic: (Philosophical) pro and contra. In: Woleński, J. (eds.) Essays on Logic and Its Applications in Philosophy, pp. 61–80. Peter Lang GmbH, Frankfurt am Main (2011); reprinted from: Henricks, V., Neuhaus, F., Pedersen, S.A., Scheffler, U., Wansing, H. (eds.) First-Order Logic Revisited, pp. 369–399. Logos Verlag, Berlin (2004)
Wu J.: The problem of existential import from George Boole to P.F. Strawson. Notre Dame J. Formal Logic 10, 415–424 (1969)
Zaitsev, E.A.: 1989 Dz. Peano o ponyatii “tot, kotoryi” i vozmozhnosti ego elminatsii iz teorii, Istoriya i metodologiya estestvennykh nauk 36, 50–58 (1989)
Zitarelli D.E.: Review of [334]. Hist. Math. 19, 445 (1992)
Zitarelli D.E.: Review of [334]. Hist. Math. 19, 482 (1992)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Anellis, I.H. Jean van Heijenoort’s Conception of Modern Logic, in Historical Perspective. Log. Univers. 6, 339–409 (2012). https://doi.org/10.1007/s11787-012-0055-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-012-0055-8