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] |
19378 | Early modern possibility is what occurs sometime; for Leibniz, it is what is not contradictory [Arthur,R] |
19380 | Occasionalism contradicts the Eucharist, which needs genuine changes of substance [Arthur,R] |
13345 | Sentences are 'analytical' if every sequence of objects models them [Tarski] |
6012 | We must choose in which of the virtues we wish to excel [Panaetius] |
6013 | Panaetius said we should live according to our natural starting-points [Panaetius, by Asmis] |
6014 | Panaetius identified courage with great-mindedness, preferring civic courage to military [Panaetius, by Asmis] |
5888 | Souls are born, since they are sensitive and inherited, so they must perish [Panaetius, by Cicero] |