8 ideas
21959 | Metaphysics is the most general attempt to make sense of things [Moore,AW] |
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] |
13547 | Limitation of Size is weak (Fs only collect is something the same size does) or strong (fewer Fs than objects) [Boolos, by Potter] |
21958 | Appearances are nothing beyond representations, which is transcendental ideality [Moore,AW] |