15 ideas
| 12223 | It is a fallacy to explain the obscure with the even more obscure [Hale/Wright] |
| 17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
| 12230 | Singular terms refer if they make certain atomic statements true [Hale/Wright] |
| 17806 | It is untenable that mathematics is general physical truths, because it needs infinity [Curry] |
| 12225 | Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright] |
| 17808 | Saying mathematics is logic is merely replacing one undefined term by another [Curry] |
| 12224 | Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright] |
| 12226 | The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright] |
| 12229 | Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright] |
| 18443 | A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright] |
| 3912 | I must exist in order to be mistaken, so that even if I am mistaken, I can't be wrong about my own existence [Augustine] |
| 6683 | The contact of spirit and body is utterly amazing, and incomprehensible [Augustine] |
| 12227 | Abstractionism needs existential commitment and uniform truth-conditions [Hale/Wright] |
| 12228 | Equivalence abstraction refers to objects otherwise beyond our grasp [Hale/Wright] |
| 12231 | Reference needs truth as well as sense [Hale/Wright] |