46 ideas
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] |
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] |
16665 | There are entities, and then positive 'modes', modifying aspects outside the thing's essence [Suárez] |
16666 | A mode determines the state and character of a quantity, without adding to it [Suárez] |
8959 | Field presumes properties can be eliminated from science [Field,H, by Szabó] |
18213 | Abstract objects are only applicable to the world if they are impure, and connect to the physical [Field,H] |
16667 | Substances are incomplete unless they have modes [Suárez, by Pasnau] |
17007 | Forms must rule over faculties and accidents, and are the source of action and unity [Suárez] |
16780 | Partial forms of leaf and fruit are united in the whole form of the tree [Suárez] |
16758 | The best support for substantial forms is the co-ordinated unity of a natural being [Suárez] |
16743 | We can get at the essential nature of 'quantity' by knowing bulk and extension [Suárez] |
16742 | We only know essences through non-essential features, esp. those closest to the essence [Suárez] |
22143 | Identity does not exclude possible or imagined difference [Suárez, by Boulter] |
22144 | Real Essential distinction: A and B are of different natural kinds [Suárez, by Boulter] |
22146 | Minor Real distinction: B needs A, but A doesn't need B [Suárez, by Boulter] |
22145 | Major Real distinction: A and B have independent existences [Suárez, by Boulter] |
22147 | Conceptual/Mental distinction: one thing can be conceived of in two different ways [Suárez, by Boulter] |
22148 | Modal distinction: A isn't B or its property, but still needs B [Suárez, by Boulter] |
22149 | Scholastics assess possibility by what has actually happened in reality [Suárez, by Boulter] |
20298 | The traditional a priori is justified without experience; post-Quine it became unrevisable by experience [Rey] |
18222 | Beneath every extrinsic explanation there is an intrinsic explanation [Field,H] |
9917 | 'Abstract' is unclear, but numbers, functions and sets are clearly abstract [Field,H] |
20300 | Externalist synonymy is there being a correct link to the same external phenomena [Rey] |
20294 | 'Married' does not 'contain' its symmetry, nor 'bigger than' its transitivity [Rey] |
20293 | Analytic judgements can't be explained by contradiction, since that is what is assumed [Rey] |
20297 | Analytic statements are undeniable (because of meaning), rather than unrevisable [Rey] |
20301 | The meaning properties of a term are those which explain how the term is typically used [Rey] |
20302 | An intrinsic language faculty may fix what is meaningful (as well as grammatical) [Rey] |
20303 | Research throws doubts on the claimed intuitions which support analyticity [Rey] |
20299 | If we claim direct insight to what is analytic, how do we know it is not sub-consciously empirical? [Rey] |
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] |
16682 | Other things could occupy the same location as an angel [Suárez] |