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. |
| 18261 | A simplification which is complete constitutes a definition [Kant] |
| Full Idea: By dissection I can make the concept distinct only by making the marks it contains clear. That is what analysis does. If this analysis is complete ...and in addition there are not so many marks, then it is precise and so constitutes a definition. | |
| From: Immanuel Kant (Wiener Logik [1795], p.455), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 1 'Conc' | |
| A reaction: I think Aristotle would approve of this. We need to grasp that a philosophical definition is quite different from a lexicographical definition. 'Completeness' may involve quite a lot. |
| 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. |
| 22275 | Logic gives us the necessary rules which show us how we ought to think [Kant] |
| Full Idea: In logic the question is not one of contingent but of necessary rules, not how to think, but how we ought to think. | |
| From: Immanuel Kant (Wiener Logik [1795], p.16), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 02 'Trans' | |
| A reaction: Presumably it aspires to the objectivity of a single correct account of how we all ought to think. I'm sympathetic to that, rather than modern cultural relativism about reason. Logic is rooted in nature, not in arbitrary convention. |
| 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. |
| 16641 | Whiteness does not exist, but by it something can exist-as-white [Aquinas] |
| Full Idea: Whiteness is said to exist not because it subsists in itself, but because by it something has existence-as-white. | |
| From: Thomas Aquinas (Quodlibeta [1267], IX.2.2), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 10.2 | |
| A reaction: It seems unavoidable to refer to the whiteness as 'it'. It might be called the 'adverbial' theory of properties, as ways of doing something. |
| 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. |
| 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. |
| 22170 | Senses grasp external properties, but the understanding grasps the essential natures of things [Aquinas] |
| Full Idea: Our imagination and senses grasp only the outer properties of things, not their natures. ...Understanding, however, grasps the very substance and nature of things, so that what is represented in understanding is a likeness of thing's very essence. | |
| From: Thomas Aquinas (Quodlibeta [1267], 8.2.2) | |
| A reaction: This is exactly the picture I endorse for modern science. Explanation is the path to understanding, and that must venture beyond immediate experience. |
| 22169 | Initial universal truths are present within us as potential, to be drawn out by reason [Aquinas] |
| Full Idea: For present in us by nature are certain initial truths everyone knows, in which lie potentially known conclusions our reasons can draw out and make actually known. | |
| From: Thomas Aquinas (Quodlibeta [1267], 8.2.2) | |
| A reaction: Note that these are truths rather than concepts, but that they have to be 'drawn out' by reason. This is Descartes' view of the matter, where the 'natural light' of reason is needed to articulate what is innate, such as geometry. |
| 22168 | Minds take in a likeness of things, which activates an awaiting potential [Aquinas] |
| Full Idea: What the mind takes in is not some material element of the agent, but a likeness of the agent actualising some potential the patient already has. This, for example, is the way our seeing takes in the colour of a coloured body. | |
| From: Thomas Aquinas (Quodlibeta [1267], 8.2.1) | |
| A reaction: This is exactly right. Descartes agreed. It works for colour, but not (obviously) for cheese graters. |
| 18260 | If we knew what we know, we would be astonished [Kant] |
| Full Idea: If we only know what we know ...we would be astonished by the treasures contained in our knowledge. | |
| From: Immanuel Kant (Wiener Logik [1795], p.843), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 1 'Conc' | |
| A reaction: Nice remark. He doesn't require immediat recall of knowledge. You can't be required to know that you know something. That doesn't imply externalism, though. I believe in securely founded internal knowledge which is hard to recall. |