12 ideas
17879 | Axiomatising set theory makes it all relative [Skolem] |
13536 | Skolem did not believe in the existence of uncountable sets [Skolem] |
17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
17880 | Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem] |
17881 | Mathematician want performable operations, not propositions about objects [Skolem] |
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] |
20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
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] |