9 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] |
| 14966 | The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta] |
| 14967 | Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta] |
| 16328 | Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach] |
| 16007 | I assume existence, rather than reasoning towards it [Kierkegaard] |
| 16013 | Nothing necessary can come into existence, since it already 'is' [Kierkegaard] |
| 7388 | McGinn invites surrender, by saying it is hopeless trying to imagine conscious machines [Dennett on McGinn] |
| 3185 | Multiple realisability rules out hidden essences and experts as the source of water- and gold-concepts [McGinn] |