Frege, Peano and the Interplay between Logic and Mathematics

0542962 - FLÚ 2022 RIV FR eng J - Článek v odborném periodiku
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 ostatní: AV ČR(CZ) AP1602
Program: Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985955
Klíčová slova: Frege * Peano * Symbolisation * Formalisation * Concept-script
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: 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.
Trvalý link: http://hdl.handle.net/11104/0320279