62 ideas
| 3099 | Inference is never a conscious process [Harman] |
| 3077 | Reasoning might be defined in terms of its functional role, which is to produce knowledge [Harman] |
| 3092 | If you believe that some of your beliefs are false, then at least one of your beliefs IS false [Harman] |
| 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] |
| 3093 | Any two states are logically linked, by being entailed by their conjunction [Harman] |
| 3098 | Deductive logic is the only logic there is [Harman] |
| 10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
| 3094 | You don't have to accept the conclusion of a valid argument [Harman] |
| 3084 | Our underlying predicates represent words in the language, not universal concepts [Harman] |
| 3080 | Logical form is the part of a sentence structure which involves logical elements [Harman] |
| 3081 | A theory of truth in a language must involve a theory of logical form [Harman] |
| 19140 | 'Satisfaction' is a generalised form of reference [Davidson] |
| 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] |
| 3100 | You have to reaffirm all your beliefs when you make a logical inference [Harman] |
| 3089 | Only lack of imagination makes us think that 'cats are animals' is analytic [Harman] |
| 3088 | Analyticity is postulated because we can't imagine some things being true, but we may just lack imagination [Harman] |
| 3101 | Memories are not just preserved, they are constantly reinferred [Harman] |
| 3074 | People's reasons for belief are rarely conscious [Harman] |
| 3097 | We don't distinguish between accepting, and accepting as evidence [Harman] |
| 6369 | In negative coherence theories, beliefs are prima facie justified, and don't need initial reasons [Harman, by Pollock/Cruz] |
| 3096 | Coherence avoids scepticism, because it doesn't rely on unprovable foundations [Harman] |
| 3095 | Induction is an attempt to increase the coherence of our explanations [Harman] |
| 19169 | Predicates are a source of generality in sentences [Davidson] |
| 3073 | We see ourselves in the world as a map [Harman] |
| 3076 | Defining dispositions is circular [Harman] |
| 3075 | Could a cloud have a headache if its particles formed into the right pattern? [Harman] |
| 3086 | Are there any meanings apart from in a language? [Harman] |
| 3078 | Speech acts, communication, representation and truth form a single theory [Harman] |
| 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] |
| 3090 | There is only similarity in meaning, never sameness in meaning [Harman] |
| 3082 | Ambiguity is when different underlying truth-conditional structures have the same surface form [Harman] |
| 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] |
| 3079 | Truth in a language is explained by how the structural elements of a sentence contribute to its truth conditions [Harman] |
| 19158 | 'Humanity belongs to Socrates' is about humanity, so it's a different proposition from 'Socrates is human' [Davidson] |
| 3085 | Sentences are different from propositions, since two sentences can express one proposition [Harman] |
| 3087 | The analytic/synthetic distinction is a silly division of thought into encyclopaedia and dictionary [Harman] |
| 3083 | Many predicates totally resist translation, so a universal underlying structure to languages is unlikely [Harman] |
| 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] |