35 ideas
14600 | Analysis aims at secure necessary and sufficient conditions [Schaffer,J] |
14603 | 'Reification' occurs if we mistake a concept for a thing [Schaffer,J] |
14607 | T adds □p→p for reflexivity, and is ideal for modeling lawhood [Schaffer,J] |
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] |
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] |
14604 | If a notion is ontologically basic, it should be needed in our best attempt at science [Schaffer,J] |
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] |
14599 | Three types of reduction: Theoretical (of terms), Definitional (of concepts), Ontological (of reality) [Schaffer,J] |
18211 | You can reduce ontological commitment by expanding the logic [Field,H] |
8959 | Field presumes properties can be eliminated from science [Field,H, by Szabó] |
14605 | Tropes are the same as events [Schaffer,J] |
18213 | Abstract objects are only applicable to the world if they are impure, and connect to the physical [Field,H] |
14601 | Individuation aims to count entities, by saying when there is one [Schaffer,J] |
14606 | Only ideal conceivability could indicate what is possible [Schaffer,J] |
18222 | Beneath every extrinsic explanation there is an intrinsic explanation [Field,H] |
12608 | Concepts are distinguished by roles in judgement, and are thus tied to rationality [Peacocke] |
12605 | A sense is individuated by the conditions for reference [Peacocke] |
12607 | Fregean concepts have their essence fixed by reference-conditions [Peacocke] |
12609 | Concepts have distinctive reasons and norms [Peacocke] |
12604 | Any explanation of a concept must involve reference and truth [Peacocke] |
9917 | 'Abstract' is unclear, but numbers, functions and sets are clearly abstract [Field,H] |
12610 | Encountering novel sentences shows conclusively that meaning must be compositional [Peacocke] |
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] |