12 ideas
23367 | Even pointing a finger should only be done for a reason [Epictetus] |
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] |
9456 | Modal logic is multiple systems, shown in the variety of accessibility relations between worlds [Jacquette] |
9457 | The two main views in philosophy of logic are extensionalism and intensionalism [Jacquette] |
9458 | Extensionalists say that quantifiers presuppose the existence of their objects [Jacquette] |
9461 | Intensionalists say meaning is determined by the possession of properties [Jacquette] |
9460 | Extensionalist semantics forbids reference to nonexistent objects [Jacquette] |
9459 | Extensionalist semantics is circular, as we must know the extension before assessing 'Fa' [Jacquette] |