60 ideas
7950 | Philosophy tries to explain how the actual is possible, given that it seems impossible [Macdonald,C] |
7923 | 'Did it for the sake of x' doesn't involve a sake, so how can ontological commitments be inferred? [Macdonald,C] |
9847 | A contextual definition permits the elimination of the expression by a substitution [Dummett] |
7933 | Don't assume that a thing has all the properties of its parts [Macdonald,C] |
9820 | In classical logic, logical truths are valid formulas; in higher-order logics they are purely logical [Dummett] |
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] |
8628 | I hold that algebra and number are developments of logic [Jevons] |
9876 | Set theory isn't part of logic, and why reduce to something more complex? [Dummett] |
7944 | Reduce by bridge laws (plus property identities?), by elimination, or by reducing talk [Macdonald,C] |
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] |
7938 | Relational properties are clearly not essential to substances [Macdonald,C] |
7967 | Being taller is an external relation, but properties and substances have internal relations [Macdonald,C] |
7965 | Does the knowledge of each property require an infinity of accompanying knowledge? [Macdonald,C] |
7934 | Tropes are abstract (two can occupy the same place), but not universals (they have locations) [Macdonald,C] |
7958 | Properties are sets of exactly resembling property-particulars [Macdonald,C] |
7972 | Tropes are abstract particulars, not concrete particulars, so the theory is not nominalist [Macdonald,C] |
7959 | How do a group of resembling tropes all resemble one another in the same way? [Macdonald,C] |
7960 | Trope Nominalism is the only nominalism to introduce new entities, inviting Ockham's Razor [Macdonald,C] |
7951 | Numerical sameness is explained by theories of identity, but what explains qualitative identity? [Macdonald,C] |
7964 | How can universals connect instances, if they are nothing like them? [Macdonald,C] |
9880 | Nominalism assumes unmediated mental contact with objects [Dummett] |
7971 | Real Nominalism is only committed to concrete particulars, word-tokens, and (possibly) sets [Macdonald,C] |
7955 | Resemblance Nominalism cannot explain either new resemblances, or absence of resemblances [Macdonald,C] |
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] |
7961 | A 'thing' cannot be in two places at once, and two things cannot be in the same place at once [Macdonald,C] |
7926 | We 'individuate' kinds of object, and 'identify' particular specimens [Macdonald,C] |
7936 | Unlike bundles of properties, substances have an intrinsic unity [Macdonald,C] |
7930 | The bundle theory of substance implies the identity of indiscernibles [Macdonald,C] |
7932 | A phenomenalist cannot distinguish substance from attribute, so must accept the bundle view [Macdonald,C] |
7937 | When we ascribe a property to a substance, the bundle theory will make that a tautology [Macdonald,C] |
7939 | Substances persist through change, but the bundle theory says they can't [Macdonald,C] |
7940 | A substance might be a sequence of bundles, rather than a single bundle [Macdonald,C] |
7948 | A statue and its matter have different persistence conditions, so they are not identical [Macdonald,C] |
7929 | A substance is either a bundle of properties, or a bare substratum, or an essence [Macdonald,C] |
7941 | Each substance contains a non-property, which is its substratum or bare particular [Macdonald,C] |
7942 | The substratum theory explains the unity of substances, and their survival through change [Macdonald,C] |
7943 | A substratum has the quality of being bare, and they are useless because indiscernible [Macdonald,C] |
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] |
7927 | At different times Leibniz articulated three different versions of his so-called Law [Macdonald,C] |
7928 | The Identity of Indiscernibles is false, because it is not necessarily true [Macdonald,C] |
7947 | In continuity, what matters is not just the beginning and end states, but the process itself [Macdonald,C] |
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] |
18257 | Why should the limit of measurement be points, not intervals? [Dummett] |