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] |
13343 | A 'model' is a sequence of objects which satisfies a complete set of sentential functions [Tarski] |
13345 | Sentences are 'analytical' if every sequence of objects models them [Tarski] |
6866 | It is disturbing if we become unreal when we die, but if time is unreal, then we remain real after death [Le Poidevin] |
1590 | The just man does not harm his enemies, but benefits everyone [Plato] |
6867 | Existentialism focuses on freedom and self-making, and insertion into the world [Le Poidevin] |
6865 | A-theory says past, present, future and flow exist; B-theory says this just reports our perspective [Le Poidevin] |