11 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] |
18170 | The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine] |
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] |
10502 | We can rise by degrees through abstraction, with higher levels representing more things [Arnauld,A/Nicole,P] |
18258 | We can only know the exterior world via our ideas [Arnauld,A/Nicole,P] |
16784 | Forms make things distinct and explain the properties, by pure form, or arrangement of parts [Arnauld,A/Nicole,P] |
10499 | We know by abstraction because we only understand composite things a part at a time [Arnauld,A/Nicole,P] |
10501 | A triangle diagram is about all triangles, if some features are ignored [Arnauld,A/Nicole,P] |
10500 | No one denies that a line has width, but we can just attend to its length [Arnauld,A/Nicole,P] |