12 ideas
| 15457 | Interdefinition is useless by itself, but if we grasp one separately, we have them both [Lewis] |
| 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] |
| 11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
| 11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
| 11212 | The sense of a connective comes from primitively obvious rules of inference [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] |
| 15400 | We must avoid circularity between what is intrinsic and what is natural [Lewis, by Cameron] |
| 15458 | A property is 'intrinsic' iff it can never differ between duplicates [Lewis] |
| 15459 | Ellipsoidal stars seem to have an intrinsic property which depends on other objects [Lewis] |
| 11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |