10 ideas
| 15327 | Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten] |
| 15343 | Kripke offers a semantic theory of truth (involving models) [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] |
| 15645 | Nominal essence are the observable properties of things [Eagle] |
| 15642 | If kinds depend only on what can be observed, many underlying essences might produce the same kind [Eagle] |
| 15643 | Nominal essence mistakenly gives equal weight to all underlying properties that produce appearances [Eagle] |
| 15666 | To understand language is to know how to use it to reach shared understandings [Habermas] |
| 15641 | Kinds are fixed by the essential properties of things - the properties that make it that kind of thing [Eagle] |