56 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] |
3883 | A true proposition is consistent with every other true proposition [Scruton] |
3884 | The pragmatist does not really have a theory of truth [Scruton] |
21752 | Prior to Gödel we thought truth in mathematics consisted in provability [Gödel, by Quine] |
17835 | Gödel show that the incompleteness of set theory was a necessity [Gödel, by Hallett,M] |
18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |
18741 | Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew] |
18744 | Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew] |
17886 | The limitations of axiomatisation were revealed by the incompleteness theorems [Gödel, by Koellner] |
10071 | Second Incompleteness: nice theories can't prove their own consistency [Gödel, by Smith,P] |
19123 | If soundness can't be proved internally, 'reflection principles' can be added to assert soundness [Gödel, by Halbach/Leigh] |
10621 | Gödel's First Theorem sabotages logicism, and the Second sabotages Hilbert's Programme [Smith,P on Gödel] |
17888 | The undecidable sentence can be decided at a 'higher' level in the system [Gödel] |
10132 | There can be no single consistent theory from which all mathematical truths can be derived [Gödel, by George/Velleman] |
3907 | Could you be intellectually acquainted with numbers, but unable to count objects? [Scruton] |
3198 | Gödel showed that arithmetic is either incomplete or inconsistent [Gödel, by Rey] |
10072 | First Incompleteness: arithmetic must always be incomplete [Gödel, by Smith,P] |
9590 | Arithmetical truth cannot be fully and formally derived from axioms and inference rules [Gödel, by Nagel/Newman] |
11069 | Gödel's Second says that semantic consequence outruns provability [Gödel, by Hanna] |
10118 | First Incompleteness: a decent consistent system is syntactically incomplete [Gödel, by George/Velleman] |
10122 | Second Incompleteness: a decent consistent system can't prove its own consistency [Gödel, by George/Velleman] |
10611 | There is a sentence which a theory can show is true iff it is unprovable [Gödel, by Smith,P] |
10867 | 'This system can't prove this statement' makes it unprovable either way [Gödel, by Clegg] |
3908 | If maths contains unprovable truths, then maths cannot be reduced to a set of proofs [Scruton] |
8747 | Realists are happy with impredicative definitions, which describe entities in terms of other existing entities [Gödel, by Shapiro] |
18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
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] |
18745 | A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew] |
18747 | The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew] |
18748 | Epistemic logic introduced impossible worlds [Horsten/Pettigrew] |
18746 | Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew] |
18750 | Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew] |
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] |
3192 | Basic logic can be done by syntax, with no semantics [Gödel, by Rey] |
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] |