11 ideas
| 10779 | A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo] |
| Full Idea: If φ contains no bound second-order variables, the corresponding comprehension axiom is said to be 'predicative'; otherwise it is 'impredicative'. | |
| From: Øystein Linnebo (Plural Quantification Exposed [2003], §1) | |
| A reaction: ['Predicative' roughly means that a new predicate is created, and 'impredicative' means that it just uses existing predicates] |
| 10781 | A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo] |
| Full Idea: I offer these three claims as a partial analysis of 'pure logic': ontological innocence (no new entities are introduced), universal applicability (to any realm of discourse), and cognitive primacy (no extra-logical ideas are presupposed). | |
| From: Øystein Linnebo (Plural Quantification Exposed [2003], §1) |
| 10783 | Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo] |
| Full Idea: If my arguments are correct, the theory of plural quantification has no right to the title 'logic'. ...The impredicative plural comprehension axioms depend too heavily on combinatorial and set-theoretic considerations. | |
| From: Øystein Linnebo (Plural Quantification Exposed [2003], §4) |
| 10778 | Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo] |
| Full Idea: According to its supporters, second-order logic allow us to pay the ontological price of a mere first-order theory and get the corresponding monadic second-order theory for free. | |
| From: Øystein Linnebo (Plural Quantification Exposed [2003], §0) |
| 10782 | The modern concept of an object is rooted in quantificational logic [Linnebo] |
| Full Idea: Our modern general concept of an object is given content only in connection with modern quantificational logic. | |
| From: Øystein Linnebo (Plural Quantification Exposed [2003], §2) | |
| A reaction: [He mentions Frege, Carnap, Quine and Dummett] This is the first thing to tell beginners in modern analytical metaphysics. The word 'object' is very confusing. I think I prefer 'entity'. |
| 6012 | We must choose in which of the virtues we wish to excel [Panaetius] |
| Full Idea: Humans have four roles in life, of which the fourth involves choices, of career, and of the virtue in which one wishes to excel. | |
| From: Panaetius (fragments/reports [c.145 BCE]), quoted by Elizabeth Asmis - Panaetius | |
| A reaction: Panaetius strikes me as exceptionally wise. A big gap in Aristotle is the fact that we cannot excel in all virtues, and that therefore some choice is required. By what criteria? We have the Gauguin problem (excel in one, disgraceful in the others). |
| 6013 | Panaetius said we should live according to our natural starting-points [Panaetius, by Asmis] |
| Full Idea: Panaetius reformulated the Stoic goal as living in accordance with the starting-points given to us by nature. | |
| From: report of Panaetius (fragments/reports [c.145 BCE]) by Elizabeth Asmis - Panaetius | |
| A reaction: This sounds remarkably like the substitution of meritocratic equality of opportunity for communistic actual equality. In other words, it doesn't sound very Stoic. 'Live according to nature' implies more restraint than this ambitious version. |
| 6014 | Panaetius identified courage with great-mindedness, preferring civic courage to military [Panaetius, by Asmis] |
| Full Idea: Panaetius recast the virtue of courage as 'greatmindedness' (Aristotle's paramount virtue), he demoted military valour and gave priority to courage displayed in civic life. | |
| From: report of Panaetius (fragments/reports [c.145 BCE]) by Elizabeth Asmis - Panaetius | |
| A reaction: I find this very appealing, as I am increasingly horrified by our denigration of the people who implement our democracy for us. We urgently need to get back to the Greek idea of civic virtue, and this idea of Panaetius should be widely promulgated. |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |
| 5888 | Souls are born, since they are sensitive and inherited, so they must perish [Panaetius, by Cicero] |
| Full Idea: Panaetius says that whatever is born must perish, and souls are clearly born, as shown by the resemblance of children to their parents in disposition as well as body; also, anything sensible of pain is susceptible to sickness, and hence perishes. | |
| From: report of Panaetius (fragments/reports [c.145 BCE]) by M. Tullius Cicero - Tusculan Disputations I.xxxii | |
| A reaction: These seem to be rather good arguments. If we actually observe what someone's soul is like (through character) it seems rooted in a family and culture, and it certainly seems susceptible to disease. An empirical approach. |