9 ideas
17879 | Axiomatising set theory makes it all relative [Skolem] |
Full Idea: Axiomatising set theory leads to a relativity of set-theoretic notions, and this relativity is inseparably bound up with every thoroughgoing axiomatisation. | |
From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.296) |
13536 | Skolem did not believe in the existence of uncountable sets [Skolem] |
Full Idea: Skolem did not believe in the existence of uncountable sets. | |
From: Thoralf Skolem (works [1920], 5.3) | |
A reaction: Kit Fine refers somewhere to 'unrepentent Skolemites' who still hold this view. |
17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
Full Idea: Löwenheim's theorem reads as follows: If a first-order proposition is satisfied in any domain at all, it is already satisfied in a denumerably infinite domain. | |
From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.293) |
17880 | Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem] |
Full Idea: The initial foundations should be immediately clear, natural and not open to question. This is satisfied by the notion of integer and by inductive inference, by it is not satisfied by the axioms of Zermelo, or anything else of that kind. | |
From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.299) | |
A reaction: This is a plea (endorsed by Almog) that the integers themselves should be taken as primitive and foundational. I would say that the idea of successor is more primitive than the integers. |
17881 | Mathematician want performable operations, not propositions about objects [Skolem] |
Full Idea: Most mathematicians want mathematics to deal, ultimately, with performable computing operations, and not to consist of formal propositions about objects called this or that. | |
From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.300) |
8063 | Baumgarten founded aesthetics in 1750 [Baumgarten, by Tolstoy] |
Full Idea: Baumgarten founded aesthetics in the year 1750. | |
From: report of Alexander Baumgarten (Aesthetica [1739]) by Leo Tolstoy - What is Art? Ch.2 | |
A reaction: He gave it a label, separated it off from the rest of philosophy, and made taste the main focus. The philosophy of art goes back to at least Plato's 'Republic' and 'Symposium'. |
8118 | Beauty is an order between parts, and in relation to the whole [Baumgarten, by Tolstoy] |
Full Idea: Beauty is defined by Baumgarten as a correspondence, that is, an order of parts in their mutual relations to each other and in their relation to the whole. | |
From: report of Alexander Baumgarten (Aesthetica [1739]) by Leo Tolstoy - What is Art? Ch.3 | |
A reaction: This may be one aspect of what is beautiful, but rather more than a nice arrangement is probably needed for art. We must distinguish flower arranging from poetic drama. Some masterpieces are rather messily arranged. |
8117 | Perfection comes through the senses (Beauty), through reason (Truth), and through moral will (Good) [Baumgarten, by Tolstoy] |
Full Idea: For Baumgarten, Beauty is the Perfect (the Absolute), recognised through the senses; Truth is the Perfect perceived through reason; Goodness is the Perfect reached by moral will. | |
From: report of Alexander Baumgarten (Aesthetica [1739]) by Leo Tolstoy - What is Art? Ch.3 | |
A reaction: At last, after many years of searching, I have found the origin of that great trio of ideals: Beauty, Goodness and Truth. Tolstoy sneers at them, but a person could do a lot worse than spending their lives trying to promote them. |
21006 | If women share rights with men, they will exhibit similar virtues [Wollstonecraft] |
Full Idea: Let woman share the rights and she will emulate the virtues of man; for she must grow more perfect when emancipated, or justify that authority that chains such a weak being to her duty. | |
From: Mary Wollstonecraft (Vindication of the Rights of Women [1792], p.294), quoted by Amartya Sen - The Idea of Justice 18 'Wrath' | |
A reaction: Presumably this implies that if emancipation led to women exceeding men in such virtues, there would be some justification for imposing the chains on the men rather than the women. Consider wars. Probably best to just abandon chains. |