8 ideas
21546 | We can't sharply distinguish variables, domains and values, if symbols frighten us [Russell] |
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] |
21531 | Common sense agrees with Meinong (rather than Russell) that 'Pegasus is a flying horse' is true [Lackey on Russell] |
21545 | I prefer to deny round squares, and deal with the difficulties by the theory of denoting [Russell] |
13345 | Sentences are 'analytical' if every sequence of objects models them [Tarski] |
7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |