46 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] |
3894 | We may define 'good' correctly, but then ask whether the application of the definition is good [Scruton] |
8623 | Proof reveals the interdependence of truths, as well as showing their certainty [Euclid, by Frege] |
3883 | A true proposition is consistent with every other true proposition [Scruton] |
3884 | The pragmatist does not really have a theory of truth [Scruton] |
15327 | Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten] |
15343 | Kripke offers a semantic theory of truth (involving models) [Kripke, by Horsten] |
14966 | The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta] |
14967 | Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta] |
16328 | Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach] |
13907 | If you pick an arbitrary triangle, things proved of it are true of all triangles [Euclid, by Lemmon] |
6297 | Euclid's geometry is synthetic, but Descartes produced an analytic version of it [Euclid, by Resnik] |
9603 | An assumption that there is a largest prime leads to a contradiction [Euclid, by Brown,JR] |
9894 | A unit is that according to which each existing thing is said to be one [Euclid] |
3907 | Could you be intellectually acquainted with numbers, but unable to count objects? [Scruton] |
8738 | Postulate 2 says a line can be extended continuously [Euclid, by Shapiro] |
22278 | Euclid relied on obvious properties in diagrams, as well as on his axioms [Potter on Euclid] |
8673 | Euclid's parallel postulate defines unique non-intersecting parallel lines [Euclid, by Friend] |
10250 | Euclid needs a principle of continuity, saying some lines must intersect [Shapiro on Euclid] |
10302 | Euclid says we can 'join' two points, but Hilbert says the straight line 'exists' [Euclid, by Bernays] |
14157 | Modern geometries only accept various parts of the Euclid propositions [Russell on Euclid] |
1600 | Euclid's common notions or axioms are what we must have if we are to learn anything at all [Euclid, by Roochnik] |
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] |
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] |
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] |
3905 | 'Existence' is not a predicate of 'man', but of the concept of man, saying it has at least one instance [Scruton] |