12 ideas
| 15343 | Kripke offers a semantic theory of truth (involving models) [Kripke, by Horsten] |
| 15327 | Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten] |
| 14967 | Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta] |
| 14966 | The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta] |
| 16328 | Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach] |
| 11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
| 11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
| 11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
| 17945 | Forms are not a theory of universals, but an attempt to explain how predication is possible [Nehamas] |
| 17946 | Only Tallness really is tall, and other inferior tall things merely participate in the tallness [Nehamas] |
| 17944 | 'Episteme' is better translated as 'understanding' than as 'knowledge' [Nehamas] |
| 11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |