Abstract
In Part III of his 1879 logic Frege proves a theorem in the theory of sequences on the basis of four definitions. He claims in Grundlagen that this proof, despite being strictly deductive, constitutes a real extension of our knowledge, that it is ampliative rather than merely explicative. Frege furthermore connects this idea of ampliative deductive proof to what he thinks of as a fruitful definition, one that draws new lines. My aim is to show that we can make good sense of these claims if we read Frege’s notation diagrammatically, in particular, if we take that notation to have been designed to enable one to exhibit the (inferentially articulated) contents of concepts in a way that allows one to reason deductively on the basis of those contents.
Similar content being viewed by others
References
Dummett M. (1972) Frege: Philosophy of language. Duckworth, London
Frege, G. (1879). Conceptual notation, a formula language of pure thought modelled upon the formula language of arithmetic. In Conceptual notation and related articles (T. W. Bynum, Trans. and Ed.). Oxford: Clarendon Press; 1972.
Frege, G. (1880/1881). Boole’s logical calculus and the concept-script. In H. Hermes, F. Kambartel, & F. Kaulbach (Eds.), Posthumous writings (P. Long & R. White, Trans.). Chicago: University of Chicago Press; 1979.
Frege, G. (1882a). On the scientific justification of a conceptual notation. In Conceptual notation and related articles (T. W. Bynum, Trans. and Ed.). Oxford: Clarendon Press; 1972.
Frege, G. (1882b). On the aim of the ‘conceptual notation’. In Conceptual notation and related articles. (T. W. Bynum, Trans. and Ed.). Oxford: Clarendon Press; 1972.
Frege, G. (1884). Foundations of arithmetic (J. L. Austin, Trans.). Evanston, IL: Northwestern University Press; 1980.
Frege, G. (1892). On sense and meaning. In B. McGuinness (Ed.), Collected papers on mathematics, logic, and philosophy (M. Black, V. H. Dudman, P. Geach, H. Kaal, E.-H. W. Kluge, B. McGuinness, & R. H. Stoothoff, Trans.). Oxford: Basil Blackwell; 1984.
Frege, G. (1906). On the foundations of geometry: Second series. In B. McGuinness (Ed.), Collected papers on mathematics, logic, and philosophy (M. Black, V. H. Dudman, P. Geach, H. Kaal, E.-H. W. Kluge, B. McGuinness, & R. H. Stoothoff, Trans.). Oxford: Basil Blackwell; 1984.
Frege, G. (1914). Logic in mathematics. In H. Hermes, F. Kambartel, & F. Kaulbach (Eds.), Posthumous writings (P. Long & R. White, Trans.). Chicago: University of Chicago Press; 1979.
Frege, G. (1919). Notes for Ludwig Darmstaedter. In H. Hermes, F. Kambartel, & F. Kaulbach (Eds.), Posthumous writings (P. Long & R. White, Trans.). Chicago: University of Chicago Press; 1979.
Laugwitz, D. (1999). Bernhard Riemann 1826–1866: Turning points in the conception of mathematics (A. Shenitzer, Trans.). Boston: Birkhäuser.
Macbeth D. (2004) Viète, Descartes, and the emergence of modern mathematics. Graduate Faculty Philosophy Journal 25: 87–117
Macbeth D. (2005). Frege’s logic. Cambridge, MA: Harvard University Press
Macbeth, D. (2010). Diagrammatic reasoning in Euclid’s Elements. In B. Van Kerkhove, J. De Vuyst, & J. P. Van Bendegem (Eds.), Philosophical perspectives on mathematical practice, texts in philosophy (Vol. 12). London: College Publications.
Macbeth, D. (2011). Seeing how it goes: Paper-and-pencil reasoning in mathematical practice. Philosophia Mathematica. doi:10.1093/philmat/nkr006.
Shin S.-J. (1997) Kant’s syntheticity revisited by Pierce. Synthese 113: 1–41
Stein H. (1988) Logos, logic, and Logistiké: Some philosophical remarks on nineteenth-century transformations of mathematics. In: Aspray W., Kitcher P. (eds) History and philosophy of modern mathematics. Minnesota studies in the philosophy of science. Minnesota University Press, Minneapolis
Tappenden J. (1995) Extending knowledge and ‘fruitful concepts’: Fregean themes in the foundations of mathematics. Noûs 29: 427–467
Tappenden J. (2006) The Riemannian background to Frege’s philosophy. In: Ferreirós J., Gray J. J. (eds) The architecture of modern mathematics: Essays in history and philosophy. Oxford University Press, Oxford
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Macbeth, D. Diagrammatic reasoning in Frege’s Begriffsschrift . Synthese 186, 289–314 (2012). https://doi.org/10.1007/s11229-012-0068-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-012-0068-0