References
References
- Anellis I 1994 Van Heijenoort—Logic and its History in the Work and Writings of Jean van Heijenoort Ames, Iowa: Modern Logic Publishing
- Beaney M (ed) 1997 The Frege Reader Oxford: Blackwell
- Béziau J-Y 1998/2000 Review of Anellis 1994 Modern Logic 8 nos 1/2 (January 1998–April 2000) 105 117
- Boole G 1847 The Mathematical Analysis of Logic. Being an Essay Towards a Calculus of Deductive Reasoning Cambridge: Macmillan, Barclay, and Macmillan, and London: George Bell; reprinted Oxford: Blackwell 1951
- Boole G 1854 An Investigation of the Laws of Thought, on which are Founded the Mathematical Theories of Logic and Probabilities London: Walton & Maberly; reprinted New York: Dover ca 1958
- Brady G 2000 From Peirce to Skolem. A Neglected Chapter in the History of Logic Amsterdam: Elsevier
- De Morgan A 1846 On the Structure of the Syllogism. I Transactions of the Cambridge Philosophical Society 8 379 408 reprinted in De Morgan 1966 (1–21)
- De Morgan A 1853 Some Suggestions in Logical Phraseology Proceedings of the Philological Society, reprinted in De Morgan 1966 (pp. 69–73)
- De Morgan A 1966 On the Syllogism and other Logical Writings Peter Heath, ed, London: Routledge & Kegan Paul
- Dummett , M . 1959 . Review of Boole 1952 . The Journal of Symbolic Logic , 24 : 203 – 209 .
- Feys R 1957 Boole as a Logician Proceedings of the Royal Irish Academy 57 Sect. A, No. 6 97 106
- Frege G 1879 Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens Halle a.S: Louis Nebert, reprinted in Frege 1977; partial translation in Beaney 1997 (47–78)
- Frege G 1880/81 Booles rechnende Logik und die Begriffsschrift in Frege 1983 pp. 9–52
- Frege G 1882 Ueber den Zweck der Begriffsschrift Sitzungsberiche der Jenaischen Gesellschaft für Medizin und Naturwissenschaft für das Jahr 1882, supplement to Jenaische Zeitschrift für Naturwissenschaft 16 1 10 reprinted in Frege 1977 (pp. 97–106)
- Frege G 1977 Begriffsschrift und andere Aufsätze. Dritte Auflage. Mit E. Husserls und H. Scholz' Anmerkungen I. Angelelli, ed, Darmstadt: Wissenschaftliche Buchgesellschaft
- Frege G 1983 Nachgelassene Schriften H. Hermes, F. Kambartel and F. Kaulbach, eds, Hamburg: Felix Meiner
- Goldfarb , WD . 1979 . Logic in the Twenties: The Nature of the Quantifier . The Journal of Symbolic Logic , 3 : 351 – 368 .
- Grattan-Guinness , I . 1988 . Living Together and Living Apart: On the Interactions between Mathematics and Logics from the French Revolution to the First World War . South African Journal of Philosophy , 7 : 73 – 82 .
- Grattan-Guinness I 2000 The Search for Mathematical Roots, 1870–1940. Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel Princeton/Oxford: Princeton University Press
- Hintikka J 1988 On the Development of the Model-Theoretic Viewpoint in Logical Theory Synthese 77 1 36 reprinted in Hintikka 1997b (104–139)
- Hintikka J 1997a The Place of C. S. Peirce in the History of Logical Theory in J. Brunning and P. Foster, eds, The Rule of Reason: The Philosophy of Charles Sanders Peirce, Toronto: University of Toronto Press, reprinted in Hintikka 1997b (140–161)
- Hintikka J 1997b Lingua Universalis vs. Calculus Ratiocinator: An Ultimate Presupposition of Twentieth-Century Philosophy Dordrecht/Boston/London: Kluwer Academic Publishers
- Hintikka J 1997c Introduction in Hintikka 1997b (ix–xxii)
- Leibniz GW 1999 Sämtliche Schriften und Briefe series 6: Philosophische Schriften vol. 4 1677–Juni 1690, 4 parts, Berlin: Akademie Verlag
- Leibniz GW 2000 Die Grundlagen des logischen Kalküls. Lateinisch–Deutsch F. Schupp, ed, Hamburg: Felix Meiner
- Lenzen , W . 1984 . Leibniz und die Boolesche Algebra . Studia Leibnitiana , 16 : 187 – 203 .
- MacHale D 1985 George Boole: His Life and Work Dublin: Boole Press
- Mitchell OH 1883 On a New Algebra of Logic in C. S. Peirce, ed., Studies in Logic. By Members of the Johns Hopkins University, Boston: Little, Brown, and Company, reprinted Amsterdam/Philadelphia: John Benjamins 72 106
- Moore , GH . 1977 . Review of van Heijenoort 1967a, 2nd edn . Historia Mathematica , 4 : 468 – 471 .
- Moore GH 1997 The Prehistory of Infinitary Logic: 1885–1955 in M. L. Dalla Chiara et al., eds, Structures and Norms in Science. Volume two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995, Dordrecht: Kluwer pp. 105–123
- Patzig G 1976 Einleitung in G. Frege. ed., Logische Untersuchungen, Günther Patzig, ed., 2nd rev. edn, Göttingen: Vandenhoeck & Ruprecht
- Peirce CS 1883 Note B: the Logic of Relatives in Studies in Logic. By Members of the Johns Hopkins University, Boston: Little, Brown, and Company, critical edition Writings of Charles S. Peirce: a Chronological Edition, vol. 4, C. J. W. Kloesel et al. eds, Bloomington: Indiana University Press, 1989 453 466
- Peckhaus V 1990/91 Ernst Schröder und die “pasigraphischen Systeme” von Peano und Peirce Modern Logic 1 nos 2/3 (Winter 1990/91) 174 205
- Peckhaus V 1997 Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert Berlin: Akademie Verlag
- Peckhaus V 2000 Was George Boole Really the “Father” of Modern Logic? in J. Gasser, ed., A Boole Anthology. Recent and Classical Studies in the Logic of George Boole, Dordrecht/Boston/London: Kluwer Academic Publishers pp. 271–285
- Prior , AN . 1949 . Categoricals and Hypotheticals in George Boole and His Successors . The Australasian Journal of Philosophy , 27 : 171 – 196 .
- Prior, Arthur N (ed) 1967 Logic, History of in Paul Edwards, ed., The Encyclopedia of Philosophy vol. 4 New York: Macmillan Company & The Free Press pp. 513–571
- Quine WV 1985 In a Logical Vestibule review of MacHale 1985, Times Literary Supplement of July 12, 1985 p. 767 reprinted as Quine 1995
- Quine WV 1995 MacHale on Boole in W. V. Quine, Selected Logic Papers. Enlarged Edition, Cambridge, MA/London: Harvard University Press pp. 251–257
- Russell B 1951 Mathematics and the Metaphysicians in B. Russell, Mysticism and Logic and other Essays, London: George Allen & Unwin, 10th edn pp. 74–96
- Schröder E 1877 Der Operationskreis des Logikkalkuls Leipzig: Teubner
- Schröder , E . 1880 . Review of Frege 1879 . Zeitschrift für Mathematik und Physik, historisch-literarische Abt , 25 : 81 – 94 .
- Schröder E 1890 Vorlesungen über die Algebra der Logik (exakte Logik) vol. 1 Leipzig: B. G. Teubner, reprinted as 2nd edn., Bronx, NY: Chelsea 1966
- Schröder E 1891 Vorlesungen über die Algebra der Logik (exakte Logik) vol. 2, pt. 1 Leipzig: B. G. Teubner, reprinted as 2nd edn., Bronx, NY: Chelsea 1966
- Schupp F 2000 Einleitung in Leibniz 2000 (VII–LXXXVI)
- Trendelenburg FA 1857 Über Leibnizens Entwurf einer allgemeinen Charakteristik Philosophische Abhandlungen der Königlichen Akademie der Wissenschaften zu Berlin. Aus dem Jahr 1856, Berlin: Commission Dümmler pp. 36–69 reprinted in F. A. Trendelenburg, Historische Beiträge zur Philosophie, vol. 3, Berlin: Bethge 1867 1 47
- van Heijenoort J 1967a From Frege to Gödel. A Source Book in Mathematical Logic, 1879–1931 Cambridge, MA: Harvard University Press
- van Heijenoort , J . 1967b . Logic as Calculus and Logic as Language . Synthese , 17 : 324 – 330 .
- Vilkko R 2002 A Hundred Years of Logical Investigations: Reform Efforts of Logic in Germany 1781–1879 Paderborn: Mentis