8 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] |
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] |
10414 | Abstract objects are constituted by encoded collections of properties [Zalta, by Swoyer] |
10415 | Properties make round squares and round triangles distinct, unlike exemplification [Zalta, by Swoyer] |
3031 | The greatest good is not the achievement of desire, but to desire what is proper [Menedemus, by Diog. Laertius] |