50 ideas
3879 | Philosophy aims to provide a theory of everything [Scruton] |
22438 | Philosophy is largely concerned with finding the minimum that science could get by with [Quine] |
3891 | If p entails q, then p is sufficient for q, and q is necessary for p [Scruton] |
22436 | Logicians don't paraphrase logic into language, because they think in the symbolic language [Quine] |
22431 | Good algorithms and theories need many occurrences of just a few elements [Quine] |
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] |
22435 | The logician's '→' does not mean the English if-then [Quine] |
22433 | It is important that the quantification over temporal entities is timeless [Quine] |
7785 | The use of plurals doesn't commit us to sets; there do not exist individuals and collections [Boolos] |
10699 | Does a bowl of Cheerios contain all its sets and subsets? [Boolos] |
10225 | Monadic second-order logic might be understood in terms of plural quantifiers [Boolos, by Shapiro] |
10736 | Boolos showed how plural quantifiers can interpret monadic second-order logic [Boolos, by Linnebo] |
10780 | Any sentence of monadic second-order logic can be translated into plural first-order logic [Boolos, by Linnebo] |
22437 | Logical languages are rooted in ordinary language, and that connection must be kept [Quine] |
10697 | Identity is clearly a logical concept, and greatly enhances predicate calculus [Boolos] |
22434 | Reduction to logical forms first simplifies idioms and grammar, then finds a single reading of it [Quine] |
13671 | Second-order quantifiers are just like plural quantifiers in ordinary language, with no extra ontology [Boolos, by Shapiro] |
10267 | We should understand second-order existential quantifiers as plural quantifiers [Boolos, by Shapiro] |
10698 | Plural forms have no more ontological commitment than to first-order objects [Boolos] |
7806 | Boolos invented plural quantification [Boolos, by Benardete,JA] |
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] |
10700 | First- and second-order quantifiers are two ways of referring to the same things [Boolos] |
3906 | If possible worlds are needed to define properties, maybe we should abandon properties [Scruton] |
3888 | Hume assumes that necessity can only be de dicto, not de re [Scruton] |
22432 | Normally conditionals have no truth value; it is the consequent which has a conditional truth value [Quine] |
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] |
22430 | If we understand a statement, we know the circumstances of its truth [Quine] |
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] |
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] |
13713 | Quine holds time to be 'space-like': past objects are as real as spatially remote ones [Quine, by Sider] |
3905 | 'Existence' is not a predicate of 'man', but of the concept of man, saying it has at least one instance [Scruton] |