8 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] |
| 13479 | Given that thinking aims at truth, logic gives universal rules for how to do it [Burge] |
| 8921 | Structuralism is now common, studying relations, with no regard for what the objects might be [Hellman] |
| 8922 | Maybe mathematical objects only have structural roles, and no intrinsic nature [Hellman] |