Frege, Peano and the Interplay between Logic and Mathematics

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F21%3A00542962" target="_blank" >RIV/67985955:_____/21:00542962 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.4000/philosophiascientiae.2831" target="_blank" >https://doi.org/10.4000/philosophiascientiae.2831</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.4000/philosophiascientiae.2831" target="_blank" >10.4000/philosophiascientiae.2831</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Frege, Peano and the Interplay between Logic and Mathematics

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Frege, Peano and the Interplay between Logic and Mathematics

Popis výsledku anglicky

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.

Druh

J_SC - Článek v periodiku v databázi SCOPUS

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2021

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Philosophia Scientiae

ISSN

1281-2463

e-ISSN

—

Svazek periodika

25

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

FR - Francouzská republika

Počet stran výsledku

20

Strana od-do

15-34

Kód UT WoS článku

—

EID výsledku v databázi Scopus

2-s2.0-85125760053