13 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] |
| 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] |
| 9138 | An infinite series of sentences asserting falsehood produces the paradox without self-reference [Yablo, by Sorensen] |
| 14664 | Necessary beings (numbers, properties, sets, propositions, states of affairs, God) exist in all possible worlds [Plantinga] |
| 14666 | Socrates is a contingent being, but his essence is not; without Socrates, his essence is unexemplified [Plantinga] |
| 14662 | Possible worlds clarify possibility, propositions, properties, sets, counterfacts, time, determinism etc. [Plantinga] |
| 16472 | Plantinga's actualism is nominal, because he fills actuality with possibilia [Stalnaker on Plantinga] |
| 16469 | Plantinga has domains of sets of essences, variables denoting essences, and predicates as functions [Plantinga, by Stalnaker] |
| 16470 | Plantinga's essences have their own properties - so will have essences, giving a hierarchy [Stalnaker on Plantinga] |
| 14663 | Are propositions and states of affairs two separate things, or only one? I incline to say one [Plantinga] |