Frege, Peano and the Interplay between Logic and Mathematics

Philosophia Scientiae 25 (1):15-34 (2021)
  Copy   BIBTEX

Abstract

In contemporary historical studies, Peano is usually included in the logical tradition pioneered by Frege. In this paper, I shall first demonstrate that Frege and Peano independently developed a similar way of using logic for the rigorous expression and proof of mathematical laws. However, I shall then suggest that Peano also used his mathematical logic in such a way that anticipated a formalisation of mathematical theories which was incompatible with Frege’s conception of logic.

Categories

Add categories

Keywords

Reprint years

DOI

10.4000/philosophiascientiae.2831

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Frege and Peano on definitions.Edoardo Rivello - forthcoming - In Proceedings of the "Frege: Freunde und Feinde" conference, held in Wismar, May 12-15, 2013.
Frege's theorem and the peano postulates.George Boolos - 1995 - Bulletin of Symbolic Logic 1 (3):317-326.
Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals).J. P. Mayberry - 2013 - Assen, Netherlands: Routledge.
Frege's Logic, Theorem, and Foundations for Arithmetic.Edward N. Zalta - 2010 - Stanford Encyclopedia of Philosophy.
Frege, Dedekind, and Peano on the Foundations of Arithmetic. [REVIEW]J. P. Mayberry - 1984 - Philosophical Quarterly 34 (136):424.
Peano e la filosofia della matematica.Enrico Pasini - 2004 - In Elisa Gallo - Livia Giacardi - Clara Silvia Roero (ed.), Conferenze E Seminari 2003-2004. Associazione Subalpina Mathesis. pp. 203-220.
Gottlob Frege and the interplay between logic and mathematics.Christian Thiel - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press. pp. 196--202.
Gottlob Frege and the Interplay Between Logic and Mathematics.Christian Thiel - 2008 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
Frege's logic, theorem, and foundations for arithmetic.Edward N. Zalta - 2008 - Stanford Encyclopedia of Philosophy.
Peano as logician.Wlllard Van Orman Quine - 1987 - History and Philosophy of Logic 8 (1):15-24.
Life and Works of Giovanni Vailati.Paola Cantù & De Zan Mauro - 2009 - In Arrighi Claudia, Cantù Paola, De Zan Mauro & Suppes Patrick (eds.), Life and Works of Giovanni Vailati. CSLI Publications.
The Strength of Abstraction with Predicative Comprehension.Sean Walsh - 2016 - Bulletin of Symbolic Logic 22 (1):105–120.
Quantum Mathematics.J. Michael Dunn - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
Simplex sigillum veri: Peano, Frege, and Peirce on the Primitives of Logic.Francesco Bellucci, Amirouche Moktefi & Ahti-Veikko Pietarinen - 2018 - History and Philosophy of Logic 39 (1):80-95.
On Herr Peano's Begriffsschrift and my own.Gottlob Frege - 1969 - Australasian Journal of Philosophy 47 (1):1 – 14.

Analytics

Added to PP
2021-04-01

Downloads
19 (#753,814)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Joan Bertran-San Millán
University of Lisbon

Citations of this work

No citations found.

Add more citations

References found in this work

View all 17 references / Add more references