10 ideas
19426 | 'Nominal' definitions just list distinguishing characteristics [Leibniz] |
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] |
19424 | Knowledge needs clarity, distinctness, and adequacy, and it should be intuitive [Leibniz] |
19427 | True ideas represent what is possible; false ideas represent contradictions [Leibniz] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
19425 | In the schools the Four Causes are just lumped together in a very obscure way [Leibniz] |