Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:philosophy
|
| gptkbp:category |
gptkb:logic
philosophy of logic |
| gptkbp:field |
gptkb:logic
|
| gptkbp:formedBy |
gptkb:Gottlob_Frege
1884 |
| https://www.w3.org/2000/01/rdf-schema#label |
Hume's Principle
|
| gptkbp:influenced |
gptkb:neo-logicism
|
| gptkbp:influencedBy |
gptkb:David_Hume
gptkb:Gottlob_Frege |
| gptkbp:namedAfter |
gptkb:David_Hume
|
| gptkbp:relatedTo |
gptkb:set_theory
gptkb:Frege's_Theorem logicism |
| gptkbp:state |
The number of F's is equal to the number of G's if and only if there is a one-to-one correspondence between F's and G's.
|
| gptkbp:statedIn |
gptkb:Die_Grundlagen_der_Arithmetik
|
| gptkbp:bfsParent |
gptkb:The_Foundations_of_Arithmetic
gptkb:Frege's_Conception_of_Numbers_as_Objects |
| gptkbp:bfsLayer |
6
|