10 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] |
13343 | A 'model' is a sequence of objects which satisfies a complete set of sentential functions [Tarski] |
13174 | A piece of flint contains something resembling perceptions and appetites [Leibniz] |
13175 | Entelechies are analogous to souls, as other minds are analogous to our own minds [Leibniz] |
10990 | Conditionals are truth-functional, but unassertable in tricky cases? [Grice, by Read] |
13172 | What we cannot imagine may still exist [Leibniz] |
13345 | Sentences are 'analytical' if every sequence of objects models them [Tarski] |
10991 | Key conversational maxims are 'quality' (assert truth) and 'quantity' (leave nothing out) [Grice, by Read] |
13173 | Death is just the contraction of an animal [Leibniz] |