65 ideas
13567 | Ontology should give insight into or an explanation of the world revealed by science [Ellis] |
9847 | A contextual definition permits the elimination of the expression by a substitution [Dummett] |
13604 | Real possibility and necessity has the logic of S5, which links equivalence classes of worlds of the same kind [Ellis] |
9820 | In classical logic, logical truths are valid formulas; in higher-order logics they are purely logical [Dummett] |
13606 | Humean conceptions of reality drive the adoption of extensional logic [Ellis] |
9896 | A prime number is one which is measured by a unit alone [Dummett] |
18255 | Addition of quantities is prior to ordering, as shown in cyclic domains like angles [Dummett] |
9895 | A number is a multitude composed of units [Dummett] |
9852 | We understand 'there are as many nuts as apples' as easily by pairing them as by counting them [Dummett] |
9829 | The identity of a number may be fixed by something outside structure - by counting [Dummett] |
9828 | Numbers aren't fixed by position in a structure; it won't tell you whether to start with 0 or 1 [Dummett] |
9876 | Set theory isn't part of logic, and why reduce to something more complex? [Dummett] |
9884 | The distinction of concrete/abstract, or actual/non-actual, is a scale, not a dichotomy [Dummett] |
9869 | Realism is just the application of two-valued semantics to sentences [Dummett] |
13584 | The extension of a property is a contingent fact, so cannot be the essence of the property [Ellis] |
13587 | There is no property of 'fragility', as things are each fragile in a distinctive way [Ellis] |
13577 | Typical 'categorical' properties are spatio-temporal, such as shape [Ellis] |
9436 | The property of 'being an electron' is not of anything, and only electrons could have it [Ellis] |
13582 | 'Being a methane molecule' is not a property - it is just a predicate [Ellis] |
13580 | Causal powers must necessarily act the way they do [Ellis] |
13598 | Causal powers are often directional (e.g. centripetal, centrifugal, circulatory) [Ellis] |
13568 | Basic powers may not be explained by structure, if at the bottom level there is no structure [Ellis] |
13586 | Maybe dispositions can be explained by intrinsic properties or structures [Ellis] |
13585 | The most fundamental properties of nature (mass, charge, spin ...) all seem to be dispositions [Ellis] |
13596 | A causal power is a disposition to produce forces [Ellis] |
13599 | Powers are dispositions of the essences of kinds that involve them in causation [Ellis] |
13572 | There are 'substantive' (objects of some kind), 'dynamic' (events of some kind) and 'property' universals [Ellis] |
13573 | Universals are all types of natural kind [Ellis] |
9880 | Nominalism assumes unmediated mental contact with objects [Dummett] |
9885 | The existence of abstract objects is a pseudo-problem [Dummett] |
9858 | Abstract objects nowadays are those which are objective but not actual [Dummett] |
9859 | It is absurd to deny the Equator, on the grounds that it lacks causal powers [Dummett] |
9860 | 'We've crossed the Equator' has truth-conditions, so accept the Equator - and it's an object [Dummett] |
9872 | Abstract objects need the context principle, since they can't be encountered directly [Dummett] |
13571 | Scientific essentialism doesn't really need Kripkean individual essences [Ellis] |
13578 | The old idea that identity depends on essence and behaviour is rejected by the empiricists [Ellis] |
9848 | Content is replaceable if identical, so replaceability can't define identity [Dummett, by Dummett] |
9842 | Frege introduced criteria for identity, but thought defining identity was circular [Dummett] |
13576 | Necessities are distinguished by their grounds, not their different modalities [Ellis] |
13570 | Individual essences necessitate that individual; natural kind essences necessitate kind membership [Ellis] |
13607 | If events are unconnected, then induction cannot be solved [Ellis] |
13597 | Good explanations unify [Ellis] |
13601 | Explanations of particular events are not essentialist, as they don't reveal essential structures [Ellis] |
13569 | To give essentialist explanations there have to be natural kinds [Ellis] |
13600 | The point of models in theories is not to idealise, but to focus on what is essential [Ellis] |
6383 | Cause unites our picture of the universe; without it, mental and physical will separate [Davidson] |
9849 | Maybe a concept is 'prior' to another if it can be defined without the second concept [Dummett] |
9850 | An argument for conceptual priority is greater simplicity in explanation [Dummett] |
9873 | Abstract terms are acceptable as long as we know how they function linguistically [Dummett] |
9993 | There is no reason why abstraction by equivalence classes should be called 'logical' [Dummett, by Tait] |
9857 | We arrive at the concept 'suicide' by comparing 'Cato killed Cato' with 'Brutus killed Brutus' [Dummett] |
9833 | To abstract from spoons (to get the same number as the forks), the spoons must be indistinguishable too [Dummett] |
9836 | Fregean semantics assumes a domain articulated into individual objects [Dummett] |
6385 | The causally strongest reason may not be the reason the actor judges to be best [Davidson] |
6384 | The notion of cause is essential to acting for reasons, intentions, agency, akrasia, and free will [Davidson] |
13583 | There might be uninstantiated natural kinds, such as transuranic elements which have never occurred [Ellis] |
13574 | Natural kinds are distinguished by resting on essences [Ellis] |
13575 | If there are borderline cases between natural kinds, that makes them superficial [Ellis] |
13595 | Laws don't exist in the world; they are true of the world [Ellis] |
13566 | A proton must have its causal role, because without it it wouldn't be a proton [Ellis] |
13579 | What is most distinctive of scientific essentialism is regarding processes as natural kinds [Ellis] |
13581 | Scientific essentialism is more concerned with explanation than with identity (Locke, not Kripke) [Ellis] |
13594 | The ontological fundamentals are dispositions, and also categorical (spatio-temporal and structural) properties [Ellis] |
13603 | A primary aim of science is to show the limits of the possible [Ellis] |
18257 | Why should the limit of measurement be points, not intervals? [Dummett] |