10 ideas
| 14965 | Truth rests on Elimination ('A' is true → A) and Introduction (A → 'A' is true) [Gupta] |
| 14968 | A weakened classical language can contain its own truth predicate [Gupta] |
| 18823 | To say there could have been people who don't exist, but deny those possible things, rejects Barcan [Stalnaker, by Rumfitt] |
| 14964 | The Liar reappears, even if one insists on propositions instead of sentences [Gupta] |
| 14969 | Strengthened Liar: either this sentence is neither-true-nor-false, or it is not true [Gupta] |
| 16409 | Unlike Lewis, I defend an actualist version of counterpart theory [Stalnaker] |
| 16411 | If possible worlds really differ, I can't be in more than one at a time [Stalnaker] |
| 16412 | If counterparts exist strictly in one world only, this seems to be extreme invariant essentialism [Stalnaker] |
| 16410 | Extensional semantics has individuals and sets; modal semantics has intensions, functions of world to extension [Stalnaker] |
| 7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |