13 ideas
5637 | Nowadays logic is seen as the science of extensions, not intensions [Scruton] |
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] |
21500 | We rely on memory for empirical beliefs because they mutually support one another [Lewis,CI] |
21501 | If we doubt memories we cannot assess our doubt, or what is being doubted [Lewis,CI] |
6556 | If anything is to be probable, then something must be certain [Lewis,CI] |
21498 | Congruents assertions increase the probability of each individual assertion in the set [Lewis,CI] |
5636 | Cartesian 'ideas' confuse concepts and propositions [Scruton] |
5828 | Extension is the class of things, intension is the correct definition of the thing, and intension determines extension [Lewis,CI] |
13345 | Sentences are 'analytical' if every sequence of objects models them [Tarski] |
5660 | Allegiance is prior to the recognition of individual rights [Scruton] |
5653 | A right is a power which is enforced in the name of justice [Scruton] |