Frege, Peano and the Interplay between Logic and Mathematics

Result code in 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>

Result on the web

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

Result language

angličtina

Original language name

Frege, Peano and the Interplay between Logic and Mathematics

Original language 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.

Czech name

—

Czech description

—

Type

J_SC - Article in a specialist periodical, which is included in the SCOPUS database

CEP classification

—

OECD FORD branch

60301 - Philosophy, History and Philosophy of science and technology

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2021

Confidentiality

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

Name of the periodical

Philosophia Scientiae

ISSN

1281-2463

e-ISSN

—

Volume of the periodical

25

Issue of the periodical within the volume

1

Country of publishing house

FR - FRANCE

Number of pages

20

Pages from-to

15-34

UT code for WoS article

—

EID of the result in the Scopus database

2-s2.0-85125760053