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) |
| 18914 | Davidson controversially proposed to quantify over events [Davidson, by Engelbretsen] |
| Full Idea: An alternative, and still controversial, extension of first-order logic is due to Donald Davidson, who allows for quantification over events. | |
| From: report of Donald Davidson (The Individuation of Events [1969]) by George Engelbretsen - Trees, Terms and Truth 3 | |
| A reaction: I'm suddenly thinking this is quite an attractive proposal. We need to quantify over facts, or states of affairs, or events, or some such thing, to talk about the world properly. Objects, predicates and sets/parts is too sparse. I like facts. |
| 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) |
| 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) |
| 9843 | You can't identify events by causes and effects, as the event needs to be known first [Dummett on Davidson] |
| Full Idea: Davidson's criterion for the identity of events is a mistake, because we cannot know the causes and effects of an event until we know what that event comprises. | |
| From: comment on Donald Davidson (The Individuation of Events [1969]) by Michael Dummett - Frege philosophy of mathematics Ch.10 | |
| A reaction: How many attempts by analytical philosophers to give necessary and sufficient conditions for things seem to founder in this way. Their predecessor is at the end of 'Theaetetus'; you have to know what the sun is before you can define it. |
| 14602 | Events can only be individuated causally [Davidson, by Schaffer,J] |
| Full Idea: Davidson claims that events can only be individuated causally. | |
| From: report of Donald Davidson (The Individuation of Events [1969], 3) by Jonathan Schaffer - Causation and Laws of Nature 3 | |
| A reaction: Schaffer rejects this in favour of individuating events by their spatiotemporal locations and intrinsic natures (which seem to be property instantiations, a la Kim). Schaffer was a pupil of David Lewis. |
| 14004 | We need events for action statements, causal statements, explanation, mind-and-body, and adverbs [Davidson, by Bourne] |
| Full Idea: Davidson claims that we require the existence of events in order to make sense of a) action statements, b) causal statements, c) explanation, d) the mind-body problem, and e) the logic of adverbial modification. | |
| From: report of Donald Davidson (The Individuation of Events [1969], Intro IIb) by Craig Bourne - A Future for Presentism | |
| A reaction: Events are a nice shorthand, but I don't like them in a serious ontology. Prior says there objects and what happens to them; Kim reduces events to other things. Processes are more clearly individuated than events. |
| 8278 | The claim that events are individuated by their causal relations to other events is circular [Lowe on Davidson] |
| Full Idea: Davidson has urged that events are individuated by the causal relations which they bear to one another, in accordance with the principle that events are identical just in case they have the same causes and effects. But the principle is viciously circular. | |
| From: comment on Donald Davidson (The Individuation of Events [1969]) by E.J. Lowe - The Possibility of Metaphysics 7.4 | |
| A reaction: You wouldn't want to identify a person just by their relationships, even though those will certainly be unique. Generally it is what I am (right now) naming as the Functional Fallacy: believing that specifying the function of x explains x. |
| 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? |