15 ideas
| 14600 | Analysis aims at secure necessary and sufficient conditions [Schaffer,J] |
| Full Idea: An analysis is an attempt at providing finite, non-circular, and intuitively adequate necessary and sufficient conditions. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], 3) | |
| A reaction: Specifying the 'conditions' for something doesn't seem to quite add up to telling you what the thing is. A trivial side-effect might qualify as a sufficient condition for something, if it always happens. |
| 14603 | 'Reification' occurs if we mistake a concept for a thing [Schaffer,J] |
| Full Idea: 'Reification' occurs when a mere concept is mistaken for a thing. We seem generally prone to this sort of error. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], 3.1) | |
| A reaction: Personally I think we should face up to the fact that this is the only way we can think about generalised or abstract entities, and stop thinking of it as an 'error'. We have evolved to think well about objects, so we translate everything that way. |
| 14607 | T adds □p→p for reflexivity, and is ideal for modeling lawhood [Schaffer,J] |
| Full Idea: System T is a normal modal system augmented with the reflexivity-generating axiom □p→p, and is, I think, the best modal logic for modeling lawhood. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], n46) | |
| A reaction: Schaffer shows in the article why transitivity would not be appropriate for lawhood. |
| 11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
| Full Idea: If a designated conclusion follows from the premisses, but the argument involves two howlers which cancel each other out, then the moral is that the path an argument takes from premisses to conclusion does matter to its logical evaluation. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], II) | |
| A reaction: The drift of this is that our view of logic should be a little closer to the reasoning of ordinary language, and we should rely a little less on purely formal accounts. |
| 11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
| Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table. | |
| From: Ian Rumfitt ("Yes" and "No" [2000]) | |
| A reaction: This is the standard view which Rumfitt sets out to challenge. |
| 11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
| Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], III) | |
| A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value. |
| 14604 | If a notion is ontologically basic, it should be needed in our best attempt at science [Schaffer,J] |
| Full Idea: Science represents our best systematic understanding of the world, and if a certain notion proves unneeded in our best attempt at that, this provides strong evidence that what this notion concerns is not ontologically basic. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], 3.2) | |
| A reaction: But is the objective of science to find out what is 'ontologically basic'? If scientists can't get a purchase on a question, they have no interest in it. What are electrons made of? |
| 14599 | Three types of reduction: Theoretical (of terms), Definitional (of concepts), Ontological (of reality) [Schaffer,J] |
| Full Idea: Theoretical reduction concerns terms found in a theory; Definitional reduction concerns concepts found in the mind; Ontological reduction is independent of how we conceptualize entities, or theorize about them, and is about reality. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], 1) | |
| A reaction: An Aristotelian definition refers to reality, rather than to our words or concepts. |
| 14605 | Tropes are the same as events [Schaffer,J] |
| Full Idea: Tropes can be identified with events. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], n17) | |
| A reaction: This is presumably on the view of events, associated with Kim, as instantiations of properties. This idea is a new angle on tropes and events which had never occurred to me. |
| 17945 | Forms are not a theory of universals, but an attempt to explain how predication is possible [Nehamas] |
| Full Idea: The theory of Forms is not a theory of universals but a first attempt to explain how predication, the application of a single term to many objects - now considered one of the most elementary operations of language - is possible. | |
| From: Alexander Nehamas (Introduction to 'Virtues of Authenticity' [1999], p.xxvii) |
| 17946 | Only Tallness really is tall, and other inferior tall things merely participate in the tallness [Nehamas] |
| Full Idea: Only Tallness and nothing else really is tall; everything else merely participates in the Forms and, being excluded from the realm of Being, belongs to the inferior world of Becoming. | |
| From: Alexander Nehamas (Introduction to 'Virtues of Authenticity' [1999], p.xxviii) | |
| A reaction: This is just as weird as the normal view (and puzzle of participation), but at least it makes more sense of 'metachein' (partaking). |
| 14601 | Individuation aims to count entities, by saying when there is one [Schaffer,J] |
| Full Idea: Individuation principles are attempts to describe how to count entities in a given domain, by saying when there is one. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], 3) | |
| A reaction: At last, someone tells me what they mean by 'individuation'! So it is just saying what your units are prior to counting, followed (presumably) by successful counting. It seems to aim more at kinds than at particulars. |
| 14606 | Only ideal conceivability could indicate what is possible [Schaffer,J] |
| Full Idea: The only plausible link from conceivability to possibility is via ideal conceivability. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], n22) | |
| A reaction: [He cites Chalmers 2002] I'm not sure what 'via' could mean here. Since I don't know any other way than attempted conceivability for assessing a possibility, I am a bit baffled by this idea. |
| 17944 | 'Episteme' is better translated as 'understanding' than as 'knowledge' [Nehamas] |
| Full Idea: The Greek 'episteme' is usually translated as 'knowledge' but, I argue, closer to our notion of understanding. | |
| From: Alexander Nehamas (Introduction to 'Virtues of Authenticity' [1999], p.xvi) | |
| A reaction: He agrees with Julia Annas on this. I take it to be crucial. See the first sentence of Aristotle's 'Metaphysics'. It is explanation which leads to understanding. |
| 11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
| Full Idea: The standard view is that affirming not-A is more complex than affirming the atomic sentence A itself, with the latter determining its sense. But we could learn 'not' directly, by learning at once how to either affirm A or reject A. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], IV) | |
| A reaction: [compressed] This seems fairly anti-Fregean in spirit, because it looks at the psychology of how we learn 'not' as a way of clarifying what we mean by it, rather than just looking at its logical behaviour (and thus giving it a secondary role). |