9 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'. |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |
20887 | A rape disregards the status of being a person - but so does all assault [Foa] |
Full Idea: In a rape a person is used without proper regard for her personhood - but this is true of every kind of assault. | |
From: Pamela Foa (What's Wrong with Rape? [1977], 1) | |
A reaction: This is a good step towards her attempt to pin down what is specifically wrong with rape, which strikes me as an extremely important question, and not merely in order to justify punishments. |
20888 | Rape of children is dreadful, but no one thinks children should have a right of consent [Foa] |
Full Idea: Rape of children is at least as heinous as rape of adults, though few believe that children have or ought to have the same large domain of consent adults (male and female) ought to have. | |
From: Pamela Foa (What's Wrong with Rape? [1977], 1) | |
A reaction: A powerful point. She is not quite spelling out the crux, which is that no one thinks children should have a right to consent to sexual intercourse, which means that consent is irrelevant in such a case of rape. So it can't be the key to adult rape? |
20889 | If men should lust and women shouldn't, that makes rape the prevalent sexual model [Foa] |
Full Idea: We are taught that sexual desires are desires women ought not to have and men must have. This is the model which makes necessary an eternal battle of the sexes. It explains why rape is the prevalent model of sexuality. | |
From: Pamela Foa (What's Wrong with Rape? [1977], 3) | |
A reaction: A striking thought. See 'The Origins of Sex' by F.Dabhoiwala, which claims that women used to be seen as the sexual predators, and the balance shifted in the 18thC. Are women obliged to exhibit lust, in order to defuse rapacious desires? |