Number of the records: 1  

Frege, Peano and the Interplay between Logic and Mathematics

  1. 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  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.