8 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] |
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
13343 | A 'model' is a sequence of objects which satisfies a complete set of sentential functions [Tarski] |
16659 | Relations do not add anything to reality, though they are real aspects of the world [Olivi] |
16673 | Quantity just adds union and location to the extension of parts [Olivi] |
13345 | Sentences are 'analytical' if every sequence of objects models them [Tarski] |
16663 | Things are limited by the species to certain modes of being [Olivi] |