49 ideas
| 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] |
| 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] |
| 10775 | The axiom of choice now seems acceptable and obvious (if it is meaningful) [Tharp] |
| 10766 | Logic is either for demonstration, or for characterizing structures [Tharp] |
| 10767 | Elementary logic is complete, but cannot capture mathematics [Tharp] |
| 10769 | Second-order logic isn't provable, but will express set-theory and classic problems [Tharp] |
| 10762 | In sentential logic there is a simple proof that all truth functions can be reduced to 'not' and 'and' [Tharp] |
| 10776 | The main quantifiers extend 'and' and 'or' to infinite domains [Tharp] |
| 10774 | There are at least five unorthodox quantifiers that could be used [Tharp] |
| 19140 | 'Satisfaction' is a generalised form of reference [Davidson] |
| 10773 | The Löwenheim-Skolem property is a limitation (e.g. can't say there are uncountably many reals) [Tharp] |
| 10777 | Skolem mistakenly inferred that Cantor's conceptions were illusory [Tharp] |
| 10765 | Soundness would seem to be an essential requirement of a proof procedure [Tharp] |
| 10763 | Completeness and compactness together give axiomatizability [Tharp] |
| 10770 | If completeness fails there is no algorithm to list the valid formulas [Tharp] |
| 10771 | Compactness is important for major theories which have infinitely many axioms [Tharp] |
| 10772 | Compactness blocks infinite expansion, and admits non-standard models [Tharp] |
| 10764 | A complete logic has an effective enumeration of the valid formulas [Tharp] |
| 10768 | Effective enumeration might be proved but not specified, so it won't guarantee knowledge [Tharp] |
| 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] |
| 22100 | Experienced time means no two mental moments are ever alike [Bergson] |
| 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] |