13 ideas
| 15527 | Defining terms either enables elimination, or shows that they don't require elimination [Lewis] |
| 18170 | The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine] |
| 10502 | We can rise by degrees through abstraction, with higher levels representing more things [Arnauld,A/Nicole,P] |
| 15530 | A logically determinate name names the same thing in every possible world [Lewis] |
| 18258 | We can only know the exterior world via our ideas [Arnauld,A/Nicole,P] |
| 15528 | A Ramsey sentence just asserts that a theory can be realised, without saying by what [Lewis] |
| 15526 | There is a method for defining new scientific terms just using the terms we already understand [Lewis] |
| 15529 | It is better to have one realisation of a theory than many - but it may not always be possible [Lewis] |
| 15531 | The Ramsey sentence of a theory says that it has at least one realisation [Lewis] |
| 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] |