Frege's theorem and his logicism (Q2758005)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1678987
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Frege's theorem and his logicism |
scientific article; zbMATH DE number 1678987 |
Statements
Frege's theorem and his logicism (English)
0 references
5 December 2001
0 references
logicism
0 references
natural numbers
0 references
Frege
0 references
Peano arithmetic
0 references
Hume's Principle
0 references
0.8540096879005432
0 references
0.8203348517417908
0 references
0.8116182088851929
0 references
The paper is devoted to the study of Frege's definition of natural numbers given in ``Grundlagen der Arithmetik'' (1884) and ``Grundgesetze der Arithmetik'' (1903-1910). It is claimed that Boolos' thesis stating that Frege gave in ``Grundlagen'' a sufficient basis for deriving theorems of Peano arithmetic using only Hume's Principle is right. This claim is confirmed in the paper. Further the significance of Frege's results for the logicist programme is reconsidered.
0 references
