45 ideas
9847 | A contextual definition permits the elimination of the expression by a substitution [Dummett] |
9820 | In classical logic, logical truths are valid formulas; in higher-order logics they are purely logical [Dummett] |
15091 | Restrict 'logical truth' to formal logic, rather than including analytic and metaphysical truths [Shoemaker] |
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] |
15095 | A property's causal features are essential, and only they fix its identity [Shoemaker] |
15097 | I claim that a property has its causal features in all possible worlds [Shoemaker] |
15094 | I now deny that properties are cluster of powers, and take causal properties as basic [Shoemaker] |
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] |
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] |
15099 | If something is possible, but not nomologically possible, we need metaphysical possibility [Shoemaker] |
15101 | Once you give up necessity as a priori, causal necessity becomes the main type of necessity [Shoemaker] |
15098 | Empirical evidence shows that imagining a phenomenon can show it is possible [Shoemaker] |
15100 | Imagination reveals conceptual possibility, where descriptions avoid contradiction or incoherence [Shoemaker] |
15096 | 'Grue' only has causal features because of its relation to green [Shoemaker] |
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] |
5078 | Kant and Mill both try to explain right and wrong, without a divine lawgiver [Taylor,R] |
5067 | Morality based on 'forbid', 'permit' and 'require' implies someone who does these things [Taylor,R] |
5079 | Pleasure can have a location, and be momentary, and come and go - but happiness can't [Taylor,R] |
5068 | 'Eudaimonia' means 'having a good demon', implying supreme good fortune [Taylor,R] |
5076 | To Greeks it seemed obvious that the virtue of anything is the perfection of its function [Taylor,R] |
5077 | The modern idea of obligation seems to have lost the idea of an obligation 'to' something [Taylor,R] |
5066 | If we are made in God's image, pursuit of excellence is replaced by duty to obey God [Taylor,R] |
5065 | The ethics of duty requires a religious framework [Taylor,R] |
15093 | We might say laws are necessary by combining causal properties with Armstrong-Dretske-Tooley laws [Shoemaker] |
18257 | Why should the limit of measurement be points, not intervals? [Dummett] |