15 ideas
| 12223 | It is a fallacy to explain the obscure with the even more obscure [Hale/Wright] |
| 15571 | The idea of an atemporal realm of validity is as implausible as medieval theology [Heidegger] |
| 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] |
| 12224 | Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright] |
| 17808 | Saying mathematics is logic is merely replacing one undefined term by another [Curry] |
| 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] |
| 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] |
| 15581 | Dasein is always only that which it has chosen to be [Heidegger] |