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] |
8824 | No one has defended translational phenomenalism since Ayer in 1940 [Ayer, by Kim] |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
15251 | The attribution of necessity to causation is either primitive animism, or confusion with logical necessity [Ayer] |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |