9 ideas
| 20768 | Like spiderswebs, dialectical arguments are clever but useless [Ariston, by Diog. Laertius] |
| Full Idea: He said that dialectical arguments were like spiderswebs: although they seem to indicate craftsmanlike skill, they are useless. | |
| From: report of Ariston (fragments/reports [c.250 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.161 | |
| A reaction: Useful for the spider, but useless to Ariston. |
| 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) |
| 3049 | The chief good is indifference to what lies midway between virtue and vice [Ariston, by Diog. Laertius] |
| Full Idea: The chief good is to live in perfect indifference to all those things which are of an intermediate character between virtue and vice. | |
| From: report of Ariston (fragments/reports [c.250 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.2.1 |
| 3549 | Ariston says rules are useless for the virtuous and the non-virtuous [Ariston, by Annas] |
| Full Idea: Ariston says that rules are useless if you are virtuous, and useless if you are not. | |
| From: report of Ariston (fragments/reports [c.250 BCE]) by Julia Annas - The Morality of Happiness 2.4 |
| 6005 | Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley] |
| Full Idea: Hermarchus said that animal killing is justified by considerations of human safety and nourishment and by animals' inability to form contractual relations of justice with us. | |
| From: report of Hermarchus (fragments/reports [c.270 BCE]) by David A. Sedley - Hermarchus | |
| A reaction: Could the last argument be used to justify torturing animals? Or could we eat a human who was too brain-damaged to form contracts? |