11 ideas
18812 | Split out the logical vocabulary, make an assignment to the rest. It's logical if premises and conclusion match [Tarski, by Rumfitt] |
13344 | X follows from sentences K iff every model of K also models X [Tarski] |
8132 | We now have a much more sophisticated understanding of logical form in language [Burge] |
13343 | A 'model' is a sequence of objects which satisfies a complete set of sentential functions [Tarski] |
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] |
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] |
13345 | Sentences are 'analytical' if every sequence of objects models them [Tarski] |
4050 | We only allow voluntary euthanasia to someone who is both sane and crazed by pain [Kamisar] |
4051 | People will volunteer for euthanasia because they think other people want them dead [Kamisar] |