10 ideas
13342 | Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski on Carnap] |
13251 | Each person is free to build their own logic, just by specifying a syntax [Carnap] |
10502 | We can rise by degrees through abstraction, with higher levels representing more things [Arnauld,A/Nicole,P] |
2614 | Modern phenomenalism holds that objects are logical constructions out of sense-data [Ayer] |
18258 | We can only know the exterior world via our ideas [Arnauld,A/Nicole,P] |
2615 | The concept of sense-data allows us to discuss appearances without worrying about reality [Ayer] |
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] |