64 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] |
14684 | A world is 'accessible' to another iff the first is possible according to the second [Salmon,N] |
14669 | For metaphysics, T may be the only correct system of modal logic [Salmon,N] |
14667 | System B has not been justified as fallacy-free for reasoning on what might have been [Salmon,N] |
14668 | In B it seems logically possible to have both p true and p is necessarily possibly false [Salmon,N] |
14692 | System B implies that possibly-being-realized is an essential property of the world [Salmon,N] |
14671 | What is necessary is not always necessarily necessary, so S4 is fallacious [Salmon,N] |
14686 | S5 modal logic ignores accessibility altogether [Salmon,N] |
14691 | S5 believers say that-things-might-have-been-that-way is essential to ways things might have been [Salmon,N] |
14693 | The unsatisfactory counterpart-theory allows the retention of S5 [Salmon,N] |
14670 | Metaphysical (alethic) modal logic concerns simple necessity and possibility (not physical, epistemic..) [Salmon,N] |
8132 | We now have a much more sophisticated understanding of logical form in language [Burge] |
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] |
14678 | Any property is attached to anything in some possible world, so I am a radical anti-essentialist [Salmon,N] |
14680 | Logical possibility contains metaphysical possibility, which contains nomological possibility [Salmon,N] |
14690 | In the S5 account, nested modalities may be unseen, but they are still there [Salmon,N] |
14677 | Metaphysical necessity is said to be unrestricted necessity, true in every world whatsoever [Salmon,N] |
14679 | Bizarre identities are logically but not metaphysically possible, so metaphysical modality is restricted [Salmon,N] |
14688 | Without impossible worlds, the unrestricted modality that is metaphysical has S5 logic [Salmon,N] |
14685 | Metaphysical necessity is NOT truth in all (unrestricted) worlds; necessity comes first, and is restricted [Salmon,N] |
14681 | Logical necessity is free of constraints, and may accommodate all of S5 logic [Salmon,N] |
14676 | Nomological necessity is expressed with intransitive relations in modal semantics [Salmon,N] |
19142 | Probability can be constrained by axioms, but that leaves open its truth nature [Davidson] |
14689 | Necessity and possibility are not just necessity and possibility according to the actual world [Salmon,N] |
14674 | Impossible worlds are also ways for things to be [Salmon,N] |
14682 | Denial of impossible worlds involves two different confusions [Salmon,N] |
14687 | Without impossible worlds, how things might have been is the only way for things to be [Salmon,N] |
14683 | Possible worlds rely on what might have been, so they can' be used to define or analyse modality [Salmon,N] |
14672 | Possible worlds are maximal abstract ways that things might have been [Salmon,N] |
14675 | Possible worlds just have to be 'maximal', but they don't have to be consistent [Salmon,N] |
14673 | You can't define worlds as sets of propositions, and then define propositions using worlds [Salmon,N] |
8126 | Anti-individualism says the environment is involved in the individuation of some mental states [Burge] |
8127 | Broad concepts suggest an extension of the mind into the environment (less computer-like) [Burge] |
19169 | Predicates are a source of generality in sentences [Davidson] |
8129 | Anti-individualism may be incompatible with some sorts of self-knowledge [Burge] |
8131 | Some qualities of experience, like blurred vision, have no function at all [Burge] |
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] |