14 ideas
12223 | It is a fallacy to explain the obscure with the even more obscure [Hale/Wright] |
12230 | Singular terms refer if they make certain atomic statements true [Hale/Wright] |
12225 | Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright] |
9224 | Proceduralism offers a version of logicism with no axioms, or objects, or ontological commitment [Fine,K] |
12224 | Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright] |
9222 | The objects and truths of mathematics are imperative procedures for their construction [Fine,K] |
9223 | My Proceduralism has one simple rule, and four complex rules [Fine,K] |
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] |
1212 | Replacing timbers on Theseus' ship was the classic illustration of the problem of growth and change [Plutarch] |
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] |