Number of the records: 1
Frege, Peano and the Interplay between Logic and Mathematics
- 1.0542962 - FLÚ 2022 RIV FR eng J - Journal Article
Bertran-San Millán, Joan
Frege, Peano and the Interplay between Logic and Mathematics.
Philosophia Scientiae. Roč. 25, č. 1 (2021), s. 15-34. ISSN 1281-2463
Grant - others:AV ČR(CZ) AP1602
Program: Akademická prémie - Praemium Academiae
Institutional support: RVO:67985955
Keywords : Frege * Peano * Symbolisation * Formalisation * Concept-script
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Open access
https://doi.org/10.4000/philosophiascientiae.2831
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.
Permanent Link: http://hdl.handle.net/11104/0320279
Number of the records: 1