52 ideas
1708 | In "Callias is just/not just/unjust", which of these are contraries? [Aristotle] |
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] |
1703 | It is necessary that either a sea-fight occurs tomorrow or it doesn't, though neither option is in itself necessary [Aristotle] |
1704 | Statements are true according to how things actually are [Aristotle] |
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] |
22272 | Aristotle's later logic had to treat 'Socrates' as 'everything that is Socrates' [Potter on Aristotle] |
9405 | Square of Opposition: not both true, or not both false; one-way implication; opposite truth-values [Aristotle] |
9728 | Modal Square 1: □P and ¬◊¬P are 'contraries' of □¬P and ¬◊P [Aristotle, by Fitting/Mendelsohn] |
9729 | Modal Square 2: ¬□¬P and ◊P are 'subcontraries' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn] |
9730 | Modal Square 3: □P and ¬◊¬P are 'contradictories' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn] |
9731 | Modal Square 4: □¬P and ¬◊P are 'contradictories' of ¬□¬P and ◊P [Aristotle, by Fitting/Mendelsohn] |
9732 | Modal Square 5: □P and ¬◊¬P are 'subalternatives' of ¬□¬P and ◊P [Aristotle, by Fitting/Mendelsohn] |
9733 | Modal Square 6: □¬P and ¬◊P are 'subalternatives' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn] |
21593 | In talking of future sea-fights, Aristotle rejects bivalence [Aristotle, by Williamson] |
1701 | A prayer is a sentence which is neither true nor false [Aristotle] |
19140 | 'Satisfaction' is a generalised form of reference [Davidson] |
1706 | Non-existent things aren't made to exist by thought, because their non-existence is part of the thought [Aristotle] |
1707 | Maybe necessity and non-necessity are the first principles of ontology [Aristotle] |
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] |
22186 | Mental modules are specialised, automatic, and isolated [Fodor, by Okasha] |
2337 | For Aristotle meaning and reference are linked to concepts [Aristotle, by Putnam] |
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] |
13763 | Spoken sounds vary between people, but are signs of affections of soul, which are the same for all [Aristotle] |
1705 | It doesn't have to be the case that in opposed views one is true and the other false [Aristotle] |
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] |
1702 | Things may be necessary once they occur, but not be unconditionally necessary [Aristotle] |