43 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] |
20768 | Like spiderswebs, dialectical arguments are clever but useless [Ariston, by Diog. Laertius] |
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] |
12204 | The logic of metaphysical necessity is S5 [Rumfitt] |
12195 | Soundness in argument varies with context, and may be achieved very informally indeed [Rumfitt] |
12199 | There is a modal element in consequence, in assessing reasoning from suppositions [Rumfitt] |
12201 | We reject deductions by bad consequence, so logical consequence can't be deduction [Rumfitt] |
12194 | Contradictions include 'This is red and not coloured', as well as the formal 'B and not-B' [Rumfitt] |
12198 | Geometrical axioms in logic are nowadays replaced by inference rules (which imply the logical truths) [Rumfitt] |
3907 | Could you be intellectually acquainted with numbers, but unable to count objects? [Scruton] |
3908 | If maths contains unprovable truths, then maths cannot be reduced to a set of proofs [Scruton] |
3906 | If possible worlds are needed to define properties, maybe we should abandon properties [Scruton] |
14532 | A distinctive type of necessity is found in logical consequence [Rumfitt, by Hale/Hoffmann,A] |
12193 | Logical necessity is when 'necessarily A' implies 'not-A is contradictory' [Rumfitt] |
12200 | A logically necessary statement need not be a priori, as it could be unknowable [Rumfitt] |
12202 | Narrow non-modal logical necessity may be metaphysical, but real logical necessity is not [Rumfitt] |
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] |
12203 | If a world is a fully determinate way things could have been, can anyone consider such a thing? [Rumfitt] |
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] |
3882 | Wittgenstein makes it impossible to build foundations from something that is totally private [Scruton] |
3896 | Any social theory of morality has the problem of the 'free rider', who only pretends to join in [Scruton] |
3049 | The chief good is indifference to what lies midway between virtue and vice [Ariston, by Diog. Laertius] |
3549 | Ariston says rules are useless for the virtuous and the non-virtuous [Ariston, by Annas] |
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] |
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] |