Frege, Peano and the Construction of a Logical Calculus

Kód výsledku v IS VaVaI

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

Výsledek na webu

<a href="http://doi.org/10.2143/LEA.253.0.3289334" target="_blank" >http://doi.org/10.2143/LEA.253.0.3289334</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.2143/LEA.253.0.3289334" target="_blank" >10.2143/LEA.253.0.3289334</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Frege, Peano and the Construction of a Logical Calculus

Popis výsledku v původním jazyce

In contemporary historical studies Peano is usually linked to the logical tradition pioneered by Frege. In this paper I question this association. Specifically, I claim that Frege and Peano developed significantly different conceptions of a logical calculus. First, I claim that while Frege put the systematisation of the notion of inference at the forefront of his construction of an axiomatic logical system, Peano modelled his early logical systems as mathematical calculi and did not really attempt to justify reasoning. Second, I argue that in later works on logic Peano advanced towards a deductive approach that was closer to Frege’s standpoint.

Název v anglickém jazyce

Frege, Peano and the Construction of a Logical Calculus

Popis výsledku anglicky

In contemporary historical studies Peano is usually linked to the logical tradition pioneered by Frege. In this paper I question this association. Specifically, I claim that Frege and Peano developed significantly different conceptions of a logical calculus. First, I claim that while Frege put the systematisation of the notion of inference at the forefront of his construction of an axiomatic logical system, Peano modelled his early logical systems as mathematical calculi and did not really attempt to justify reasoning. Second, I argue that in later works on logic Peano advanced towards a deductive approach that was closer to Frege’s standpoint.

Druh

J_imp - Článek v periodiku v databázi Web of Science

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

Logique et Analyse

ISSN

0024-5836

e-ISSN

—

Svazek periodika

—

Číslo periodika v rámci svazku

253

Stát vydavatele periodika

BE - Belgické království

Počet stran výsledku

20

Strana od-do

3-22

Kód UT WoS článku

000649270700002

EID výsledku v databázi Scopus

2-s2.0-85109499448