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] |
21687 | It seems obvious to prefer the simpler of two theories, on grounds of beauty and convenience [Quine] |
21688 | There are four suspicious reasons why we prefer simpler theories [Quine] |
13345 | Sentences are 'analytical' if every sequence of objects models them [Tarski] |
1554 | Contradiction is impossible, since only one side of the argument refers to the true facts [Prodicus, by Didymus the Blind] |
1555 | People used to think anything helpful to life was a god, as the Egyptians think the Nile a god [Prodicus] |
535 | The gods are just personified human benefits [Prodicus] |
1543 | He denied the existence of the gods, saying they are just exaltations of things useful for life [Prodicus] |