Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
gptkb:philosophy |
| gptkbp:defines |
The view that mathematics is reducible to logic
|
| gptkbp:historicalPeriod |
19th century
20th century |
| https://www.w3.org/2000/01/rdf-schema#label |
Logicism
|
| gptkbp:influencedBy |
gptkb:Set_theory
Symbolic logic |
| gptkbp:mainProponent |
gptkb:Alfred_North_Whitehead
gptkb:Bertrand_Russell gptkb:Gottlob_Frege |
| gptkbp:notableCritique |
gptkb:Russell's_paradox
Incompleteness theorems |
| gptkbp:notableWork |
gptkb:Begriffsschrift
gptkb:Principia_Mathematica |
| gptkbp:opposedBy |
gptkb:Intuitionism
gptkb:Formalism |
| gptkbp:relatedConcept |
gptkb:Mathematics
gptkb:logic gptkb:Foundations_of_mathematics gptkb:Philosophy_of_logic |
| gptkbp:bfsParent |
gptkb:Mathematical_Formalism
gptkb:Mathematical_Truth |
| gptkbp:bfsLayer |
6
|