8 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] |
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] |
19440 | How do you know you have conceived a thing deeply enough to assess its possibility? [Vaidya] |
16634 | I can't be unaware of anything which is in me [Descartes] |
3635 | Essence must be known before we discuss existence [Descartes] |
3634 | We can't prove a first cause from our inability to grasp infinity [Descartes] |