Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
gptkb:philosophy |
| gptkbp:debatedBy |
gptkb:set_theory
formal semantics intuitionism |
| gptkbp:emergedIn |
late 20th century
|
| gptkbp:focusesOn |
logical foundations of arithmetic
philosophical justification of mathematics |
| gptkbp:hasConcept |
arithmetic can be derived from logic plus definitions
use of abstraction principles |
| https://www.w3.org/2000/01/rdf-schema#label |
neo-logicism
|
| gptkbp:influencedBy |
gptkb:Bertrand_Russell
gptkb:Gottlob_Frege logicism |
| gptkbp:mainInterest |
foundations of mathematics
|
| gptkbp:notableFigure |
gptkb:Bob_Hale
gptkb:Crispin_Wright gptkb:Harold_Hodes |
| gptkbp:notableWork |
gptkb:New_Foundations_for_Mathematical_Logic
gptkb:The_Neo-Fregean_Programme |
| gptkbp:relatedConcept |
gptkb:Frege's_Theorem
gptkb:Hume's_Principle abstraction principle |
| gptkbp:bfsParent |
gptkb:Hume's_Principle
gptkb:neo-Fregeans |
| gptkbp:bfsLayer |
7
|