Frege, Peano and the Interplay between Logic and Mathematics
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 t...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | deu |
| Published: |
Éditions Kimé
2021-02-01
|
| Series: | Philosophia Scientiæ |
| Online Access: | http://journals.openedition.org/philosophiascientiae/2831 |
| _version_ | 1797402631775191040 |
|---|---|
| author | Joan Bertran-San Millán |
| author_facet | Joan Bertran-San Millán |
| author_sort | Joan Bertran-San Millán |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-03-09T02:27:00Z |
| format | Article |
| id | doaj.art-b7e31a621cc147cb81064344c0497ae1 |
| institution | Directory Open Access Journal |
| issn | 1281-2463 1775-4283 |
| language | deu |
| last_indexed | 2024-03-09T02:27:00Z |
| publishDate | 2021-02-01 |
| publisher | Éditions Kimé |
| record_format | Article |
| series | Philosophia Scientiæ |
| spelling | doaj.art-b7e31a621cc147cb81064344c0497ae12023-12-06T15:53:22ZdeuÉditions KiméPhilosophia Scientiæ1281-24631775-42832021-02-01251153410.4000/philosophiascientiae.2831Frege, Peano and the Interplay between Logic and MathematicsJoan Bertran-San MillánIn 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.http://journals.openedition.org/philosophiascientiae/2831 |
| spellingShingle | Joan Bertran-San Millán Frege, Peano and the Interplay between Logic and Mathematics Philosophia Scientiæ |
| title | Frege, Peano and the Interplay between Logic and Mathematics |
| title_full | Frege, Peano and the Interplay between Logic and Mathematics |
| title_fullStr | Frege, Peano and the Interplay between Logic and Mathematics |
| title_full_unstemmed | Frege, Peano and the Interplay between Logic and Mathematics |
| title_short | Frege, Peano and the Interplay between Logic and Mathematics |
| title_sort | frege peano and the interplay between logic and mathematics |
| url | http://journals.openedition.org/philosophiascientiae/2831 |
| work_keys_str_mv | AT joanbertransanmillan fregepeanoandtheinterplaybetweenlogicandmathematics |