On Frege's Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-Offs

References

• Barnes, J. 2002. ‘What is a Begriffsschrift?’, Dialectica , 56 (1), 65–80. doi: 10.1111/j.1746-8361.2002.tb00230.x
   Web of Science ®Google Scholar
• Bartlett, J. M. 1964. ‘I. Frege: On the scientific justification of a concept-script’, Mind , LXXIII (290), 155–60. Translation of Frege  1882a . doi: 10.1093/mind/LXXIII.290.155
   Google Scholar
• Beaney, M. (ed.) 1997. The Frege Reader , Oxford: Blackwell Publishers.
   Google Scholar
• Bocheński, I. M. 1961. A History of Formal Logic , Note Dame, IN: University of Notre Dame Press. Translated and edited by Ivo Thomas.
   Google Scholar
• Boole, G. 1854. An Investigation of the Laws of Thought, On Which are Founded the Mathematical Theories of Logic and Probabilities , London: Walton and Maberly. Reprinted by Dover Publications, New York.
   Google Scholar
• Burris, S. , and Legris, J. 2015. ‘The algebra of logic tradition’, in E. N. Zalta, The Stanford Encyclopedia of Philosophy, Spring 2015 edn. https://plato.stanford.edu/archives/fall2016/entries/algebra-logic-tradition/
   Google Scholar
• Chase, W. G. , and Simon, H. A. 1973. ‘Perception in chess’, Cognitive Psychology , 4 , 55–81. doi: 10.1016/0010-0285(73)90004-2
   Web of Science ®Google Scholar
• Cook, R. 2013. ‘How to read Grundgesetze’, in P. A. Ebert and M. Rossberg, Basic Laws of Arithmetic. Derived Using Concept-script, Volumes I & II, Oxford, UK: Oxford University Press, pp. A1–A42.
   Google Scholar
• Couturat, L. 1906. ‘Pour la logistique (Réponse a M. Poincaré)’, Revue de Métaphysique et de Morale , 14 (2), 208–50.
   Google Scholar
• Couturat, L. 1912. ‘For logistics’, The Monist , 22 (4), 481–523. English translation by Philip E. B. Jourdain of Couturat  1906 . doi: 10.5840/monist191222435
   Google Scholar
• Dudman, V. 1971. ‘Peano's review of Frege's Grundgesetze ’, Southern Journal of Philosophy , 9 (1), 25–37. Translation of Peano's review of Frege  1893 in Rivista di Matematica (vol. 5, pp. 122–128, 1895), Frege's letter to Peano (29 September 1896) and Peano's reply, published in Rivista di Matematica, (vol. 6, pp. 53–61, 1896). doi: 10.1111/j.2041-6962.1971.tb02133.x
   Google Scholar
• Frege, G. 1879a. ‘Anwendungen der Begriffsschrift’, Jenaische Zeitschrift für Naturwissenschaft , 13 (Neue Folge 6) (Supplement), 29–33. Published as ‘Sitzungsberichte der jenaischen Gesellschaft für Medizin und Naturwissenschaft für das Jahr 1879.’ Reprinted in Frege  1993 , pp. 89–93.
   Google Scholar
• Frege, G. 1879b. Begriffsschrift. Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens , Halle a/S: Verlag Louis Nebert. English translation: Begriffsschrift, A formula Language, Modeled upon that for Arithmetic, in van Heijenoort  1967 , pp. 1–82.
   Google Scholar
• Frege, G. 1880/81. ‘Booles rechnende Logik und die Begriffsschrift’. Published in Frege  1969 , pp. 9–52. Translated as ‘Boole's logical calculus and the concept script’ in Frege  1979 , pp. 9–46.
   Google Scholar
• Frege, G. 1882/83. ‘Über den Zweck der Begriffsschrift’, Jenaische Zeitschrift für Naturwissenschaft , 16 (Neue Folge 9) (Supplement), 1–10. Reprinted in Frege  1993 , pp. 97–105. English translation ‘On the aim of the “conceptual notation” ’ in Frege  1972 , pp. 90–100.
   Google Scholar
• Frege, G. 1882a. ‘Über die wissenschaftliche Berechtigung einer Begriffsschrift’, Zeitschrift für Philosophie und philosophische Kritik , 81 , 48–56. Reprinted in Frege  1993 , pp. 106–14. English translation ‘On the scientific justification of a concept-script’ in Bartlett  1964  and Frege  1972 , pp. 83–9.
   Google Scholar
• Frege, G. 1882b. ‘Booles logische Formelsprache und meine Begriffsschrift’. Published in Frege  1969 , pp. 53–9. Translated as ‘Boole's logical formula-language and my concept script’ in Frege 1979, pp. 47–52.
   Google Scholar
• Frege, G. 1884. Die Grundlagen der Arithmetik , Breslau: Verlag von Wilhelm Koebner. English translation by J. L. Austin: The Foundations of Arithmetic, Basil Blackwell, Oxford, 1953.
   Google Scholar
• Frege, G. 1891. Function und Begriff. Vortrag, gehalten in der Sitzung vom 9. Januar 1891 der Jenaischen Gesellschaft für Medicin und Naturwissenschaft , Jena: Hermann Pohle. Translated as ‘Function and Concept’ in Geach and Black  1960 .
   Google Scholar
• Frege, G. 1892a. ‘Über Begriff und Gegenstand’, Vierteljahrsschrift für wissenschaftliche Philosophie , 16 , 192–205. Reprinted in Funktion, Begriff, Bedeutung, Vandenhoeck & Ruprecht, Göttingen, 1994, pp. 66–80. English translation by Peter Geach in The Frege Reader, Michael Beaney (ed.), Blackwell Publishers, Oxford, 1997; pp. 181–193.
   Google Scholar
• Frege, G. 1892b. ‘Über Sinn und Bedeutung’, Zeitschrift für Philosophie und philosophische Kritik , 100 , 25–50. Translated as ‘On sense and reference’ in Geach and Black  1960 .
   Google Scholar
• Frege, G. 1893. Grundgesetze der Arithmetik, Volume 1 , Jena: Verlag Hermann Pohle. Reprinted by Georg Olms Verlagsbuchhandlung, Hildesheim, 1962. English translation of excerpts in Beaney  1997 and of the entire volume in Frege  2013 .
   Google Scholar
• Frege, G. 1896. ‘Über die Begriffsschrift des Herrn Peano und meine eigene’, Berichte über die Verhandlungen der Königlich Sächsischen Gesellschaft der Wissenschaften zu Leipzig, Mathematisch-Physische Classe , 48 , 361–78. Reprinted in Frege  1967 , pp. 220–33. English translation: Frege and Dudman  1969 .
   Google Scholar
• Frege, G. 1903. Grundgesetze der Arithmetik, Volume 2 , Jena: Verlag Hermann Pohl. Reprinted by Georg Olms Verlagsbuchhandlung, Hildesheim, 1962. English translation of excerpts in Beaney  1997  and of the entire volume in Frege  2013 .
   Google Scholar
• Frege, G. 1967. Kleine Schriften , Hildesheim: Georg Olms Verlag. Edited by I. Angelelli.
   Google Scholar
• Frege, G. 1969. Nachgelassene Schriften und Wissenschaftlicher Briefwechsel, Volume 1: Nachgelassene Schriften , Hamburg: Felix Meiner. Edited by Hans Hermes, Friedrich Kambartel, and Friedrich Kaulbach.
   Google Scholar
• Frege, G. , and Dudman, V. H. 1969. ‘On Herr Peano's Begriffsschrift and my own’, Australasian Journal of Philosophy , 47 (1), 1–14. Translated by Victor Dudman. Also in Frege's Collected Papers . doi: 10.1080/00048406912341001
   Google Scholar
• Frege, G. 1972. Conceptual Notation and Related Articles , Oxford: Oxford University Press. Translated and edited with a Biography and Introduction by Terrell Ward Bynum.
   Google Scholar
• Frege, G. 1979. Posthumous Writings , Chicago: University of Chicago Press.
   Google Scholar
• Frege, G. 1980. Philosophical and Mathematical Correspondence , Oxford: Blackwell. Edited by Gottfried Gabriel, Hans Hermes, Friedrich Kambartel, Christian Thiel, and Albert Veraart.
   Google Scholar
• Frege, G. 1993. Begriffsschrift und andere Aufsätze , 2nd edn. Hildesheim: Georg Olms Verlag. Edited by Ignacio Angelelli with comments by E. Husserl and H. Scholz.
   Google Scholar
• Frege, G. 1996. ‘Vorlesungen über Begriffsschrift’, History and Philosophy of Logic , 17 (1–2), 1–48. Edited by Gottfried Gabriel. doi: 10.1080/01445349608837256
   Google Scholar
• Frege, G. 2013. Basic Laws of Arithmetic. Derived using concept-script , Volumes I & II. Oxford: Oxford University Press. Translated and edited by Philip A. Ebert and Marcus Rossberg with Crispin Wright.
   Google Scholar
• Geach, P. , and Black, M. (eds.) 1960. Translations from the Philosophical Writings of Gottlob Frege , Oxford: Basil Blackwell.
   Google Scholar
• Gillies, D. A. 1982. Frege, Dedekind, and Peano on the Foundations of Arithmetic , Assen, The Netherlands: Van Gorcum.
   Google Scholar
• Huey, E. B. 1898. ‘Preliminary experiments in the physiology and psychology of reading’, The American Journal of Psychology , 9 (4), 575–86. doi: 10.2307/1412192
   Google Scholar
• Javal, M. 1879. ‘Les livres et la myopie’, Revue Scientifique de la France de de l'étranger , 27 (21), 493–8.
   Google Scholar
• Kreiser, L. 2001. Gottlob Frege. Leben – Werk – Zeit , Hamburg: Felix Meiner.
   Google Scholar
• Lewis, C. I. 1918. A Survey of Symbolic Logic , Berkeley: University of California Press.
   Google Scholar
• Linsky, B. 2011. The Evolution of Principia Mathematica: Bertrand Russell's Manuscripts and Notes for the Second Edition , Cambridge: Cambridge University Press.
   Google Scholar
• Łukasiewicz, J. 1967. ‘On the history of the logic of propositions’, in S. McCall, Polish Logic 1920–1939, Oxford: Oxford University Press, pp. 66–87. Originally published 1934 in Polish and 1935 in German.
   Google Scholar
• Macbeth, D. 2005. Frege's Logic , Cambridge, MA: Harvard University Press.
   Google Scholar
• Macbeth, D. 2014. Realizing Reason: A Narrative of Truth and Knowing , Oxford: Oxford University Press.
   Google Scholar
• Michaëlis, C. T. 1880. ‘Beurteilung von Freges Begriffsschrift ’, Zeitschrift für Völkerpsychologie und Sprachwissenschaft , 12 , 232–40. English translation in Frege  1972 , pp. 212–18.
   Google Scholar
• Miller, G. A. 1956. ‘The magical number seven, plus or minus two: Some limits on our capacity for processing information’, Psychological Review , 63 , 81–97. doi: 10.1037/h0043158
   PubMed Web of Science ®Google Scholar
• Moktefi, A. , and Shin, S.-J. 2012. ‘A history of logic diagrams’, in D. M. Gabbay, F. J. Pelletier, and J. Woods, Handbook of the History of Logic, Volume 11: Logic: A History of its Central Concepts, Amsterdam: North-Holland, pp. 611–82.
   Google Scholar
• Peckhaus, V. 2004. ‘Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited’, History and Philosophy of Logic , 25 , 3–14. doi: 10.1080/01445340310001609315
   Web of Science ®Google Scholar
• Peckhaus, V. 2009. ‘The mathematical origins of nineteenth-century algebra of logic’, in L. Haaparanta, The Development of Modern Logic, New York: Oxford University Press, pp. 159–95.
   Google Scholar
• Reck, E. H. , and Awodey, S. (eds.) 2004. Frege's Lectures on Logic: Carnap's student notes, 1910–1914 , Chicago, IL: Open Court.
   Google Scholar
• Schlimm, D. 2016. ‘Metaphors for mathematics from Pasch to Hilbert’, Philosophia Mathematica , 24 (3), 308–29. doi: 10.1093/philmat/nkv039
   Web of Science ®Google Scholar
• Schlotter, S. 2012. ‘Der dritte Mann. Carnap und seine Begleiter als Hörer Freges’, Tabula Rasa. Jenenser Zeitschrift für kritisches Denken , 44 , 71–86.
   Google Scholar
• Schröder, E. 1877. Der Operationskreis des Logikkalkuls , Leipzig: B.G. Teubner. Reprint Darmstadt, 1966.
   Google Scholar
• Schröder, E. 1881. ‘Gottlob Frege, Begriffsschrift (Recension)’, Zeitschrift für Mathematik und Physik , 25 , 81–94.
   Google Scholar
• Simons, P. 1996. ‘The horizontal’, in M. Schirn, Frege: Importance and Legacy, Berlin, New York: W. de Gruyter, pp. 280–300.
   Google Scholar
• Sluga, H. 1980. Gottlob Frege. The Arguments of the Philosophers , London and New York: Routledge & Kegan Paul.
   Google Scholar
• Tannery, P. 1879. ‘Review of Frege's Begriffsschrift ’, Revue Philosophique , 8 , 108–9. English translation in Frege  1972 , pp. 232–4.
   Google Scholar
• Tarski, A. 1994. Introduction to Logic and to the Methodology of the Deductive Sciences , Cambridge, MA: Oxford University Press. Fourth edition edited by Jan Tarski. Original in German, 1936.
   Google Scholar
• Thiel, C. 1968. Sense and Reference in Frege's Logic , Dordrecht: D. Reidel Pub. Co. Translated by T. J. Blakeley from the German, originally published in 1965.
   Google Scholar
• Thiel, C. 2005. ‘ “Not arbitrarily and out of a craze for novelty.” The Begriffsschrift 1879 and 1893’, in M. Beaney and E. H. Reck, Gottlob Frege. Critical Assessments of Leading Philosophers, Volume II, Routledge, chapter 19, pp. 13–28.
   Google Scholar
• van Heijenoort, J. 1967. From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 , Cambridge, MA: Harvard University Press.
   Google Scholar
• Venn, J. 1880. ‘Review of Frege's Begriffsschrift ’, Mind , 5 , 297. Reprinted in Frege  1972 , pp. 234–5.
   Google Scholar
• Vilkko, R. 1998. ‘The reception of Frege's Begriffsschrift ’, Historia Mathematica , 25 , 412–22. doi: 10.1006/hmat.1998.2213
   Web of Science ®Google Scholar