57 ideas
| 3879 | Philosophy aims to provide a theory of everything [Scruton] |
| 3891 | If p entails q, then p is sufficient for q, and q is necessary for p [Scruton] |
| 9847 | A contextual definition permits the elimination of the expression by a substitution [Dummett] |
| 3894 | We may define 'good' correctly, but then ask whether the application of the definition is good [Scruton] |
| 3883 | A true proposition is consistent with every other true proposition [Scruton] |
| 3884 | The pragmatist does not really have a theory of truth [Scruton] |
| 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] |
| 3907 | Could you be intellectually acquainted with numbers, but unable to count objects? [Scruton] |
| 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] |
| 3908 | If maths contains unprovable truths, then maths cannot be reduced to a set of proofs [Scruton] |
| 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] |
| 3906 | If possible worlds are needed to define properties, maybe we should abandon properties [Scruton] |
| 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] |
| 3888 | Hume assumes that necessity can only be de dicto, not de re [Scruton] |
| 3903 | The conceivable can't be a test of the possible, if there are things which are possible but inconceivable [Scruton] |
| 3897 | Epistemology is about the justification of belief, not the definition of knowledge [Scruton] |
| 3881 | In the Cogito argument consciousness develops into self-consciousness [Scruton] |
| 3887 | Maybe our knowledge of truth and causation is synthetic a priori [Scruton] |
| 3901 | Touch only seems to reveal primary qualities [Scruton] |
| 3885 | We only conceive of primary qualities as attached to secondary qualities [Scruton] |
| 3910 | If primary and secondary qualities are distinct, what has the secondary qualities? [Scruton] |
| 3899 | The representational theory says perceptual states are intentional states [Scruton] |
| 3898 | My belief that it will rain tomorrow can't be caused by its raining tomorrow [Scruton] |
| 3880 | Logical positivism avoids scepticism, by closing the gap between evidence and conclusion [Scruton] |
| 3878 | Why should you believe someone who says there are no truths? [Scruton] |
| 3892 | Every event having a cause, and every event being determined by its cause, are not the same [Scruton] |
| 3911 | The very concept of a substance denies the possibility of mutual interaction and dependence [Scruton] |
| 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] |
| 3882 | Wittgenstein makes it impossible to build foundations from something that is totally private [Scruton] |
| 6017 | Nomos is king [Pindar] |
| 3896 | Any social theory of morality has the problem of the 'free rider', who only pretends to join in [Scruton] |
| 3886 | Membership is the greatest source of obligation [Scruton] |
| 3895 | The categorical imperative is not just individual, but can be used for negotiations between strangers [Scruton] |
| 3890 | 'Cause' used to just mean any valid explanation [Scruton] |
| 18257 | Why should the limit of measurement be points, not intervals? [Dummett] |
| 3904 | Measuring space requires no movement while I do it [Scruton] |
| 3905 | 'Existence' is not a predicate of 'man', but of the concept of man, saying it has at least one instance [Scruton] |