52 ideas
| 291 | Don't assume that wisdom is the automatic consequence of old age [Plato] |
| 19160 | A comprehensive theory of truth probably includes a theory of predication [Davidson] |
| 19151 | Antirealism about truth prevents its use as an intersubjective standard [Davidson] |
| 19144 | 'Epistemic' truth depends what rational creatures can verify [Davidson] |
| 19148 | There is nothing interesting or instructive for truths to correspond to [Davidson] |
| 19166 | The Slingshot assumes substitutions give logical equivalence, and thus identical correspondence [Davidson] |
| 19167 | Two sentences can be rephrased by equivalent substitutions to correspond to the same thing [Davidson] |
| 19150 | Coherence truth says a consistent set of sentences is true - which ties truth to belief [Davidson] |
| 21752 | Prior to Gödel we thought truth in mathematics consisted in provability [Gödel, by Quine] |
| 19145 | We can explain truth in terms of satisfaction - but also explain satisfaction in terms of truth [Davidson] |
| 19146 | Satisfaction is a sort of reference, so maybe we can define truth in terms of reference? [Davidson] |
| 19174 | Axioms spell out sentence satisfaction. With no free variables, all sequences satisfy the truths [Davidson] |
| 19136 | Many say that Tarski's definitions fail to connect truth to meaning [Davidson] |
| 19139 | Tarski does not tell us what his various truth predicates have in common [Davidson] |
| 19147 | Truth is the basic concept, because Convention-T is agreed to fix the truths of a language [Davidson] |
| 19172 | To define a class of true sentences is to stipulate a possible language [Davidson] |
| 19153 | Truth is basic and clear, so don't try to replace it with something simpler [Davidson] |
| 19170 | Tarski is not a disquotationalist, because you can assign truth to a sentence you can't quote [Davidson] |
| 17835 | Gödel show that the incompleteness of set theory was a necessity [Gödel, by Hallett,M] |
| 19140 | 'Satisfaction' is a generalised form of reference [Davidson] |
| 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] |
| 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] |
| 8747 | Realists are happy with impredicative definitions, which describe entities in terms of other existing entities [Gödel, by Shapiro] |
| 19173 | Treating predicates as sets drops the predicate for a new predicate 'is a member of', which is no help [Davidson] |
| 19142 | Probability can be constrained by axioms, but that leaves open its truth nature [Davidson] |
| 19169 | Predicates are a source of generality in sentences [Davidson] |
| 3192 | Basic logic can be done by syntax, with no semantics [Gödel, by Rey] |
| 19149 | If we reject corresponding 'facts', we should also give up the linked idea of 'representations' [Davidson] |
| 19163 | You only understand an order if you know what it is to obey it [Davidson] |
| 19152 | Utterances have the truth conditions intended by the speaker [Davidson] |
| 19162 | Meaning involves use, but a sentence has many uses, while meaning stays fixed [Davidson] |
| 19131 | We recognise sentences at once as linguistic units; we then figure out their parts [Davidson] |
| 19156 | Modern predicates have 'places', and are sentences with singular terms deleted from the places [Davidson] |
| 19176 | The concept of truth can explain predication [Davidson] |
| 19133 | If you assign semantics to sentence parts, the sentence fails to compose a whole [Davidson] |
| 19132 | Top-down semantic analysis must begin with truth, as it is obvious, and explains linguistic usage [Davidson] |
| 19158 | 'Humanity belongs to Socrates' is about humanity, so it's a different proposition from 'Socrates is human' [Davidson] |
| 19154 | The principle of charity says an interpreter must assume the logical constants [Davidson] |
| 19161 | We indicate use of a metaphor by its obvious falseness, or trivial truth [Davidson] |
| 293 | Being unafraid (perhaps through ignorance) and being brave are two different things [Plato] |