60 ideas
10468 | A metaphysics has an ontology (objects) and an ideology (expressed ideas about them) [Oliver] |
10471 | Ockham's Razor has more content if it says believe only in what is causal [Oliver] |
15647 | Truth definitions don't produce a good theory, because they go beyond your current language [Halbach] |
10749 | Necessary truths seem to all have the same truth-maker [Oliver] |
10750 | Slingshot Argument: seems to prove that all sentences have the same truth-maker [Oliver] |
15649 | In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach] |
15655 | Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach] |
15654 | If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach] |
15650 | Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach] |
15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach] |
15656 | Deflationists say truth merely serves to express infinite conjunctions [Halbach] |
15657 | To prove the consistency of set theory, we must go beyond set theory [Halbach] |
9570 | In Field's Platonist view, set theory is false because it asserts existence for non-existent things [Field,H, by Chihara] |
10260 | Logical consequence is defined by the impossibility of P and ¬q [Field,H, by Shapiro] |
15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
8958 | In Field's version of science, space-time points replace real numbers [Field,H, by Szabó] |
18221 | 'Metric' axioms uses functions, points and numbers; 'synthetic' axioms give facts about space [Field,H] |
8757 | The Indispensability Argument is the only serious ground for the existence of mathematical entities [Field,H] |
18212 | Nominalists try to only refer to physical objects, or language, or mental constructions [Field,H] |
10261 | The application of mathematics only needs its possibility, not its truth [Field,H, by Shapiro] |
18218 | Hilbert explains geometry, by non-numerical facts about space [Field,H] |
9623 | Field needs a semantical notion of second-order consequence, and that needs sets [Brown,JR on Field,H] |
18215 | It seems impossible to explain the idea that the conclusion is contained in the premises [Field,H] |
18216 | Abstractions can form useful counterparts to concrete statements [Field,H] |
18214 | Mathematics is only empirical as regards which theory is useful [Field,H] |
18210 | Why regard standard mathematics as truths, rather than as interesting fictions? [Field,H] |
18211 | You can reduce ontological commitment by expanding the logic [Field,H] |
10747 | Accepting properties by ontological commitment tells you very little about them [Oliver] |
10748 | Reference is not the only way for a predicate to have ontological commitment [Oliver] |
10719 | There are four conditions defining the relations between particulars and properties [Oliver] |
10721 | If properties are sui generis, are they abstract or concrete? [Oliver] |
10716 | There are just as many properties as the laws require [Oliver] |
10720 | We have four options, depending whether particulars and properties are sui generis or constructions [Oliver] |
10714 | The expressions with properties as their meanings are predicates and abstract singular terms [Oliver] |
10715 | There are five main semantic theories for properties [Oliver] |
8959 | Field presumes properties can be eliminated from science [Field,H, by Szabó] |
10738 | Tropes are not properties, since they can't be instantiated twice [Oliver] |
10739 | The property of redness is the maximal set of the tropes of exactly similar redness [Oliver] |
10740 | The orthodox view does not allow for uninstantiated tropes [Oliver] |
10741 | Maybe concrete particulars are mereological wholes of abstract particulars [Oliver] |
10742 | Tropes can overlap, and shouldn't be splittable into parts [Oliver] |
10472 | 'Structural universals' methane and butane are made of the same universals, carbon and hydrogen [Oliver] |
10724 | Located universals are wholly present in many places, and two can be in the same place [Oliver] |
7963 | Aristotle's instantiated universals cannot account for properties of abstract objects [Oliver] |
10730 | If universals ground similarities, what about uniquely instantiated universals? [Oliver] |
10727 | Uninstantiated universals seem to exist if they themselves have properties [Oliver] |
7962 | Uninstantiated properties are useful in philosophy [Oliver] |
10722 | Instantiation is set-membership [Oliver] |
10744 | Nominalism can reject abstractions, or universals, or sets [Oliver] |
18213 | Abstract objects are only applicable to the world if they are impure, and connect to the physical [Field,H] |
10726 | Things can't be fusions of universals, because two things could then be one thing [Oliver] |
10725 | Abstract sets of universals can't be bundled to make concrete things [Oliver] |
10745 | Science is modally committed, to disposition, causation and law [Oliver] |
18222 | Beneath every extrinsic explanation there is an intrinsic explanation [Field,H] |
10746 | Conceptual priority is barely intelligible [Oliver] |
9917 | 'Abstract' is unclear, but numbers, functions and sets are clearly abstract [Field,H] |
18223 | In theories of fields, space-time points or regions are causal agents [Field,H] |
18220 | Both philosophy and physics now make substantivalism more attractive [Field,H] |
18219 | Relational space is problematic if you take the idea of a field seriously [Field,H] |