69 ideas
| 19648 | Since Kant we think we can only access 'correlations' between thinking and being [Meillassoux] |
| Full Idea: The central notion of philosophy since Kant is 'correlation' - that we only ever have access to the correlation between thinking and being, and never to either term considered apart from the other. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 1) | |
| A reaction: Meillassoux's charge is that philosophy has thereby completely failed to grasp the scientific revolution, which has used mathematics to make objectivity possible. Quine and Putnam would be good examples of what he has in mind. |
| 19674 | The Copernican Revolution decentres the Earth, but also decentres thinking from reality [Meillassoux] |
| Full Idea: The Copernican Revolution is not so much the decentring of observers in the solar system, but (by the mathematizing of nature) the decentring of thought relative to the world within the process of knowledge. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 5) | |
| A reaction: In other words, I take it, the Copernican Revolution was the discovery of objectivity. That is a very nice addition to my History of Ideas collection. |
| 19657 | In Kant the thing-in-itself is unknowable, but for us it has become unthinkable [Meillassoux] |
| Full Idea: The major shift that has occurred in the conception of thought from Kant's time to ours is from the unknowability of the thing-in-itself to its unthinkability. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 2) | |
| A reaction: Meillassoux is making the case that philosophy is alienating us more and more from the triumphant realism of the scientific revolution. He says thinking has split from being. He's right. Modern American pragmatists are the worst (not Peirce!). |
| 19066 | Philosophy aims to understand the world, through ordinary experience and science [Dummett] |
| Full Idea: Philosophy is an attempt to understand the world, as it is revealed to us both in our ordinary experience and by the discoveries and theories of science. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.311) | |
| A reaction: I don't see a sharp division between 'ordinary' and 'scientific'. I really like this idea, first because it makes 'understanding' central, and second because it wants both revelations. In discussing matter and time, there is too much emphasis on science. |
| 8558 | One system has properties, powers, events, similarity and substance [Shoemaker] |
| Full Idea: There is a system of internally related concepts containing the notion of a property, the notion of a causal power, the concept of an event, the concept of similarity, and the concept of a persisting substance. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §07) | |
| A reaction: A nice example of a modern metaphysical system, one which I find fairly congenial. His notion of events is Kim's, which involves his properties. The persisting substance is the one I am least clear about. |
| 8559 | Analysis aims at internal relationships, not reduction [Shoemaker] |
| Full Idea: The goal of philosophical analysis should not be reductive analysis but rather the charting of internal relationships. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §07) | |
| A reaction: See Idea 8558 for an attempt by Shoemaker himself. The idea that there has never been a successful analysis has become a truism among pessimistic analytic philosophers. But there are wonderful relationship maps (Quine, Davidson, Lewis, Lowe). |
| 19675 | Since Kant, philosophers have claimed to understand science better than scientists do [Meillassoux] |
| Full Idea: Ever since Kant, to think science as a philosopher has been to claim that science harbours a meaning other than the one delivered by science itself. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 5) | |
| A reaction: The point is that science discovered objectivity (via the mathematising of nature), and Kant utterly rejected objectivity, by enmeshing the human mind in every possible scientific claim. This makes Meillassoux and I very cross. |
| 19649 | Since Kant, objectivity is defined not by the object, but by the statement's potential universality [Meillassoux] |
| Full Idea: Since Kant, objectivity is no longer defined with reference to the object in itself, but rather with reference to the possible universality of an objective statement. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 1) | |
| A reaction: Meillassoux disapproves of this, as a betrayal by philosophers of the scientific revolution, which gave us true objectivity (e.g. about how the world was before humanity). |
| 19666 | If we insist on Sufficient Reason the world will always be a mystery to us [Meillassoux] |
| Full Idea: So long as we continue to believe that there is a reason why things are the way they are rather than some other way, we will construe this world is a mystery, since no such reason will every be vouchsafed to us. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 4) | |
| A reaction: Giving up sufficient reason sounds like a rather drastic response to this. Put it like this: Will we ever be able to explain absolutely everything? No. So will the world always be a little mysterious to us? Yes, obviously. Is that a problem? No! |
| 19656 | Non-contradiction is unjustified, so it only reveals a fact about thinking, not about reality? [Meillassoux] |
| Full Idea: The principle of non-contradiction itself is without reason, and consequently it can only be the norm for what is thinkable by us, rather than for what is possible in the absolute sense. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 2) | |
| A reaction: This is not Meillassoux's view, but describes the modern heresy of 'correlationism', which ties all assessments of how reality is to our capacity to think about it. Personally I take logical non-contradiction to derive from non-contradiction in nature. |
| 19067 | A successful proof requires recognition of truth at every step [Dummett] |
| Full Idea: For a demonstration to be cogent it is necessary that the passage from step to step involve a recognition of truth at each line. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.313) | |
| A reaction: Dummett cited Quine (esp. 1970) as having an almost entirely syntactic view of logic. Rumfitt points out that logic can move validly from one falsehood to another. Even a 'proof' might detour into falsehood, but it would not be a 'canonical' proof! |
| 19060 | Truth-tables are dubious in some cases, and may be a bad way to explain connective meaning [Dummett] |
| Full Idea: It is arguable whether two-valued truth tables give correct meanings for certain sentential operators, and even whether they constitute legitimate explanations of any possible sentential operators. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.294) | |
| A reaction: See 'Many-valued logic' for examples of non-binary truth tables. Presumably logicians should aspire to make their semantics precise, as well as their syntax. |
| 19663 | We can allow contradictions in thought, but not inconsistency [Meillassoux] |
| Full Idea: For contemporary logicians, it is not non-contradiction that provides the criterion for what is thinkable, but rather inconsistency. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 3) | |
| A reaction: The point is that para-consistent logic might permit isolated contradictions (as true) within a system, but it is only contradiction across the system (inconsistencies) which make the system untenable. |
| 19664 | Paraconsistent logics are to prevent computers crashing when data conflicts [Meillassoux] |
| Full Idea: Paraconsistent logics were only developed in order to prevent computers, such as expert medical systems, from deducing anything whatsoever from contradictory data, because of the principle of 'ex falso quodlibet'. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 3) |
| 19665 | Paraconsistent logic is about statements, not about contradictions in reality [Meillassoux] |
| Full Idea: Paraconsistent logics are only ever dealing with contradictions inherent in statements about the world, never with the real contradictions in the world. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 3) | |
| A reaction: Thank goodness for that! I can accept that someone in a doorway is both in the room and not in the room, but not that they are existing in a real state of contradiction. I fear that a few daft people embrace the logic as confirming contradictory reality. |
| 11066 | Deduction is justified by the semantics of its metalanguage [Dummett, by Hanna] |
| Full Idea: For Dummett the semantics of the metalanguage is the external and objective source of the justification of deduction. | |
| From: report of Michael Dummett (The Justification of Deduction [1973]) by Robert Hanna - Rationality and Logic 3.4 | |
| A reaction: This is offered as an answer to the Lewis Carroll problem that justifying deduction seems to need deduction, thus leading to a regress. [There is a reply to Dummett by Susan Haack] |
| 19058 | Syntactic consequence is positive, for validity; semantic version is negative, with counterexamples [Dummett] |
| Full Idea: A plausible account is that the syntactic notion of consequence is for positive results, that some form of argument is valid; the semantic notion is required for negative results, that some argument is invalid, because a counterexample can be found. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.292) | |
| A reaction: This rings true for the two strategies of demonstration, the first by following the rules in steps, the second by using your imagination (or a tableau) to think up problems. |
| 19063 | Beth trees show semantics for intuitionistic logic, in terms of how truth has been established [Dummett] |
| Full Idea: Beth trees give a semantics for intuitionistic logic, by representing sentence meaning in terms of conditions under which it is recognised to have been established as true. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.305) |
| 19059 | In standard views you could replace 'true' and 'false' with mere 0 and 1 [Dummett] |
| Full Idea: Nothing is lost, on this view, if in the standard semantic treatment of classical sentential logic, we replace the standard truth-values 'true' and 'false' by the numbers 0 and 1. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.294) | |
| A reaction: [A long context will explain 'on this view'] He is discussing the relationship of syntactic and semantic consequence, and goes on to criticise simple binary truth-table accounts of connectives. Semantics on a computer would just be 0 and 1. |
| 19062 | Classical two-valued semantics implies that meaning is grasped through truth-conditions [Dummett] |
| Full Idea: The standard two-valued semantics for classical logic involves a conception under which to grasp the meaning of a sentence is to apprehend the conditions under which it is, or is not, true. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.305) | |
| A reaction: The idea is that you only have to grasp the truth tables for sentential logic, and that needs nothing more than knowing whether a sentence is true or false. I'm not sure where the 'conditions' creep in, though. |
| 19065 | Soundness and completeness proofs test the theory of meaning, rather than the logic theory [Dummett] |
| Full Idea: A proof of soundess or completeness is a test, not so much of the logical theory to which it applies, but of the theory of meaning which underlies the semantics. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.310) | |
| A reaction: These two types of proof concern how the syntax and the semantics match up, so this claim sounds plausible, though I tend to think of them as more like roadworthiness tests for logic, checking how well they function. |
| 19677 | What is mathematically conceivable is absolutely possible [Meillassoux] |
| Full Idea: We must establish the thesis that what is mathematically conceivable is absolutely possible. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 5) | |
| A reaction: The truth of this thesis would permanently establish mathematics as the only possible language of science. Personally I have no idea how you could prove or assess such a thesis. It is a lovely speculation, though. 'The structure of the possible' (p,127) |
| 19659 | The absolute is the impossibility of there being a necessary existent [Meillassoux] |
| Full Idea: We maintain that it is absolutely necessary that every entity might not exist. ...The absolute is the absolute impossibility of a necessary being. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 3) | |
| A reaction: This is the main thesis of his book. The usual candidates for necessary existence are God, and mathematical objects. I am inclined to agree with Meillassoux. |
| 19662 | It is necessarily contingent that there is one thing rather than another - so something must exist [Meillassoux] |
| Full Idea: It is necessary that there be something rather than nothing because it is necessarily contingent that there is something rather than something else. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 3) | |
| A reaction: The great charm of metaphysics is the array of serious answers to the question of why there is something rather than nothing. You'll need to read Meillassoux's book to understand this one. |
| 19654 | We must give up the modern criterion of existence, which is a correlation between thought and being [Meillassoux] |
| Full Idea: It is incumbent upon us to break with the ontological requisite of the moderns, according to which 'to be is to be a correlate'. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 2) | |
| A reaction: He blames Kant for this pernicious idea, which has driven philosophy away from realist science, when it should be supporting and joining it. As a realist I agree, and find Meillassoux very illuminating on the subject. |
| 15092 | Formerly I said properties are individuated by essential causal powers and causing instantiation [Shoemaker, by Shoemaker] |
| Full Idea: My 1980 paper said properties are individuated by causal features - the contribution they make to the causal powers of things, and also how their instantiation can be caused. Collectively, these causal features are the essence of a property. | |
| From: report of Sydney Shoemaker (Causality and Properties [1980], I) by Sydney Shoemaker - Causal and Metaphysical Necessity | |
| A reaction: The later paper worries about uncertainty over individuation. The view I favour is that 'powers' is a much better term for what is basic, and this allows 'properties' to be the complex notion we use in real life, as innumberable power-combinations. |
| 8543 | Genuine properties are closely related to genuine changes [Shoemaker] |
| Full Idea: Our intuitions as to what are, and what are not, genuine properties are closely related to our intuitions as to what are, and what are not, genuine changes. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §02) | |
| A reaction: A simple but brilliant insight. Somehow we must hack through the plethora of bogus properties and get to the real ones, cutting nature at the joints. Here we have the principle needed for the task. |
| 8551 | Properties must be essentially causal if we can know and speak about them [Shoemaker] |
| Full Idea: Only if some causal theory of properties is true can it be explained how properties are capable of engaging our knowledge, and our language, in the way they do. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §05) | |
| A reaction: Exactly. This also the reason why epiphenomenalism doesn't make sense about consciousness (Idea 7379). The fact that something has causal powers doesn't mean that it just IS a causal power. A bomb isn't an explosion. |
| 8557 | To ascertain genuine properties, examine the object directly [Shoemaker] |
| Full Idea: There is a plausible way of distinguishing genuine and mere-Cambridge properties. To decide whether an emerald is green the thing to do is to examine it, but a mere-Cambridge property is settled by observations at a remote time and place. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §06) | |
| A reaction: Scientific essentialism is beautifully simple! Schoemaker is good at connecting the epistemology to the ontology. If you examined a mirror, you might think it contained reflections. |
| 15761 | We should abandon the idea that properties are the meanings of predicate expressions [Shoemaker] |
| Full Idea: I think we should abandon the idea that properties are the meanings of predicate expressions. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §04) | |
| A reaction: Right. I have Shoemaker on my side, and he is a distinguished and senior member of the philosophical community. I don't just prefer not to use 'predicate' and 'property' indistinguishably - philosophers should really really give it up! |
| 15756 | Some truths are not because of a thing's properties, but because of the properties of related things [Shoemaker] |
| Full Idea: Sometimes a predicate is true of a thing, not because (or only because) of any properties it has, but because something else, perhaps something related to it in certain ways, has certain properties. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §02) | |
| A reaction: I'm on mission to prize predicates and properties apart, and the strategy is to focus on what is true of something, given that this may not ascribe a property to the thing. |
| 15758 | Things have powers in virtue of (which are entailed by) their properties [Shoemaker] |
| Full Idea: There is a distinction between powers, and the properties in virtue of which things have they powers they have (n8: 'in virtue of' means that there is a lawlike truth, which turns out to be the properties entailing the powers). | |
| From: Sydney Shoemaker (Causality and Properties [1980], §03) | |
| A reaction: To me this is an ontology which rests something very clear (a power) on something very indeterminate (a 'property'). |
| 8547 | One power can come from different properties; a thing's powers come from its properties [Shoemaker] |
| Full Idea: It is possible to have the same power (e.g. being poisonous) in virtue of having very different properties. ..So it is in virtue of a thing's properties that the thing has the powers that it has. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §03) | |
| A reaction: This strikes me as an accurate and helpful picture. It means that true properties give rise to powers, and categorial or relational or whimsical properties must have their ontological status judged by that standard. |
| 8549 | Properties are functions producing powers, and powers are functions producing effects [Shoemaker] |
| Full Idea: Powers are functions from circumstances to causal effects, and properties (on which powers depend) can be thought of as functions from sets of properties to sets of powers. Maybe we should call properties 'second-order powers', as they produce powers. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §04) | |
| A reaction: He presents property as both a function, and a component of the function. This is the core picture on which modern scientific essentialism is built. See under Natural Theory|Laws of Nature. |
| 12678 | Shoemaker says all genuine properties are dispositional [Shoemaker, by Ellis] |
| Full Idea: I am against Shoemaker's strong dispositionalism, according to which all genuine properties are dispositional. | |
| From: report of Sydney Shoemaker (Causality and Properties [1980]) by Brian Ellis - The Metaphysics of Scientific Realism 3 | |
| A reaction: This is because Ellis argues that some properties are categorical, and are needed to underly the active dispositional ones. I think I side with Shoemaker, but this needs more thought. |
| 8545 | A causal theory of properties focuses on change, not (say) on abstract properties of numbers [Shoemaker] |
| Full Idea: My account of properties concerns those with respect to which change is possible; it is not intended to apply to such properties of numbers as being even and being prime. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §02) | |
| A reaction: You could argue that while these properties may not cause change, they are abstract powers. Being even allows division by 2, and being prime blocks it. I say patterns are the basis, and dividing groups of physical objects is involved. |
| 15757 | 'Square', 'round' and 'made of copper' show that not all properties are dispositional [Shoemaker] |
| Full Idea: Surely we make a distinction beween dispositional and nondispositional properties, and can mention paradigms of both sorts. ....It seems plain that predicates like 'square', 'round' and 'made of copper' are not dispositional. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §03) | |
| A reaction: It might be possible to account for squareness and roundness in dispositional ways, and it is certainly plausible to say that 'made of copper' is not a property (even when it is a true predicate). |
| 15759 | The identity of a property concerns its causal powers [Shoemaker] |
| Full Idea: What makes a property the property it is, what determines its identity, is its potential for contributing to the causal powers of the things that have it. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §04) | |
| A reaction: Does this mean that the 'potential' to act is the essence of the property, or is a property of the property, or is wholly identical with the property? Or is this just epistemological - whatever individuates the property for observers? |
| 15760 | Properties are clusters of conditional powers [Shoemaker] |
| Full Idea: A thing has a 'conditional power' when it has a power conditionally upon the possession of certain properties. ...We can then express my view by saying that properties are clusters of conditional powers. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §04) | |
| A reaction: His example is a knife-shaped thing, which conditionally cuts wood if it is made of steel. Shoemaker rejected this in 1998. Mumford/Anjum prefer the earlier view. Which is fundamental? Powers are simple and primitive. Properties are complex. |
| 15762 | Could properties change without the powers changing, or powers change without the properties changing? [Shoemaker] |
| Full Idea: Could a thing undergo radical change with respect to its properties without undergoing any change in its causal powers, or undergo radical change in its causal powers without undergoing any change in the properties that underlie these powers? | |
| From: Sydney Shoemaker (Causality and Properties [1980], §05) | |
| A reaction: I don't accept properties underlying powers, but these two questions at least force us to see how closely the two are linked. |
| 8552 | If properties are separated from causal powers, this invites total elimination [Shoemaker] |
| Full Idea: The disassociation of property identity from causal potentiality is an invitation to eliminate reference to properties from our explanatory hypotheses altogether. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §05) | |
| A reaction: Just as epiphenomenalism about consciousness is a step towards eliminativism. This seems to describe Quine's reaction to Goodman, in moving from predicate nominalism to elimination of properties. I agree with Shoemaker. |
| 4040 | The notions of property and of causal power are parts of a single system of related concepts [Shoemaker] |
| Full Idea: The notion of a property and the notion of a causal power belong to a system of internally related concepts, no one of which can be explicated without the use of the other. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §07) | |
| A reaction: Sounds good. It is hard to conceive of a property which has no causal powers, or a causal power that doesn't arise from a property. |
| 15765 | Actually, properties are individuated by causes as well as effects [Shoemaker] |
| Full Idea: I should probably modify my view, and say that properties are individuated by their possible causes as well as by their possible effects. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §11) | |
| A reaction: (This is in an afterword responding to criticism by Richard Boyd) He doesn't use the word 'individuate' in the essay. That term always strikes me as smacking too much of epistemology, and not enough of ontology. Who cares how you individuate something? |
| 8548 | Dispositional predicates ascribe powers, and the rest ascribe properties [Shoemaker] |
| Full Idea: By and large, dispositional predicates ascribe powers while nondispositional monadic predicates ascribe properties that are not powers in the same sense. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §03) | |
| A reaction: The powers are where the properties come into contact with the rest of the world, so you would expect dispositions to be found at that level, rather than at the deeper level of properties. Sounds good to me. |
| 9485 | Universals concern how things are, and how they could be [Shoemaker, by Bird] |
| Full Idea: Shoemaker contends that universals concern the way things could be, not merely the way any things actually are. | |
| From: report of Sydney Shoemaker (Causality and Properties [1980]) by Alexander Bird - Nature's Metaphysics 3.2.2 | |
| A reaction: If you want to retain universals within a scientific essentialist view (and I would rather not), then this seems like the only way to go. |
| 8550 | Triangular and trilateral are coextensive, but different concepts; but powers and properties are the same [Shoemaker] |
| Full Idea: It is natural to say that 'being triangular' and 'being trilateral', though necessarily coextensive, are different properties. But what are distinct are the concepts and meanings. If properties are not meanings of predicates, these are identical. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §04) | |
| A reaction: A good test example. Being renate (kidney) and being cordate (heart) are different, because being cordate produces a thumping noise. Shoemaker's example is pretty much Phosphorus/Hesperus. |
| 8555 | There is no subset of properties which guarantee a thing's identity [Shoemaker] |
| Full Idea: There is, putting aside historical properties and 'identity properties', no subset of the properties of a thing which constitutes an individual essence, so that having those properties is necessary and sufficient for being that particular thing. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §05) | |
| A reaction: He asserts this rather dogmatically. If he says a thing can lose its essence, I agree, but it seems to me that there must be a group of features which will guarantee that (if they are present) it has that identity. |
| 8554 | Possible difference across worlds depends on difference across time in the actual world [Shoemaker] |
| Full Idea: The ways in which a given thing can be different in different possible worlds depend on the ways in which such a thing can be different at different times in the actual world. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §05) | |
| A reaction: Where change in a thing is possible across time in the actual world seems to require a combination of experiment and imagination. Unimaginability does not entail necessity, but it may be the best guide we have got. |
| 19660 | Possible non-being which must be realised is 'precariousness'; absolute contingency might never not-be [Meillassoux] |
| Full Idea: My term 'precariousness' designates a possibility of not-being which must eventually be realised. By contrast, absolute contingency designates a pure possibility; one which may never be realised. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 3) | |
| A reaction: I thoroughly approve of this distinction, because I have often enountered the assumption that all contingency is precariousness, and I have never seen why that should be so. In Aquinas's Third Way, for example. The 6 on a die may never come up. |
| 19671 | The idea of chance relies on unalterable physical laws [Meillassoux] |
| Full Idea: The very notion of chance is only conceivable on condition that there are unalterable physical laws. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 4) | |
| A reaction: Laws might be contingent, even though they never alter. Chance in horse racing relies on the stability of whole institution of horse racing. |
| 15764 | 'Conceivable' is either not-provably-false, or compatible with what we know? [Shoemaker] |
| Full Idea: We could use 'conceivable' to say it is not provable that it is not the case, or we could use it to say that it is compatible with what we know. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §10) | |
| A reaction: Rather significant, since the first one would seem to allow in a great deal that the second one would rule out. Any disproof of some natural possibility founders on the remark that 'you never know'. |
| 8562 | It is possible to conceive what is not possible [Shoemaker] |
| Full Idea: It is possible to conceive what is not possible. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §10) | |
| A reaction: The point here is that, while we cannot clearly conceive the impossible in a world like mathematics, we can conceive of impossible perceptions in the physical world, such as a bonfire burning under water. |
| 19651 | Unlike speculative idealism, transcendental idealism assumes the mind is embodied [Meillassoux] |
| Full Idea: What distinguishes transcendental idealism from speculative idealism is the fact that the former does not posit the existence of the transcendental subject apart from its bodily individuation. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 1) | |
| A reaction: These modern French philosophers explain things so much more clearly than the English! The 'speculative' version is seen in Berkeley. On p.17 he says transcendental idealism is 'civilised', and speculative idealism is 'uncouth'. |
| 19647 | The aspects of objects that can be mathematical allow it to have objective properties [Meillassoux] |
| Full Idea: All aspects of the object that can give rise to a mathematical thought rather than to a perception or a sensation can be meaningfully turned into the properties of the thing not only as it is with me, but also as it is without me. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 1) | |
| A reaction: This is Meillassoux's spin on the primary/secondary distinction, which he places at the heart of the scientific revolution. Cartesian dualism offers a separate space for the secondary qualities. He is appalled when philosophers reject the distinction. |
| 19652 | How can we mathematically describe a world that lacks humans? [Meillassoux] |
| Full Idea: How is mathematical discourse able to describe a reality where humanity is absent? | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 1) | |
| A reaction: He is referring to the prehistoric world. He takes this to be a key question about the laws of nature. We extrapolate mathematically from the experienced world, relying on the stability of the laws. Must they be necessary to be stable? No, it seems. |
| 19668 | Hume's question is whether experimental science will still be valid tomorrow [Meillassoux] |
| Full Idea: Hume's question can be formulated as follows: can we demonstrate that the experimental science which is possible today will still be possible tomorrow? | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 4) | |
| A reaction: Could there be deep universal changes going on in nature which science could never, even in principle, detect? |
| 8556 | Grueness is not, unlike green and blue, associated with causal potential [Shoemaker] |
| Full Idea: Grueness, as defined by Goodman, is not associated in the way greenness and blueness are with causal potentialities. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §06) | |
| A reaction: Expressed rather more simply in Idea 7296. 'Grue' is a characteristic production of a predicate nominalist (i.e. Goodman), and that theory is just wrong. The account of properties must mesh with the account of induction. |
| 19061 | An explanation is often a deduction, but that may well beg the question [Dummett] |
| Full Idea: An explanation is often a deductive argument, with the fact needing explaining as its conclusion. ...But the conclusion is usually given in advance, and we may only believe the premisses because they plausibly explain the conclusion. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.296) | |
| A reaction: [compressed (Dummett's wordy prose cries out for it!)] I suppose this works better in mathematics, which is central to Dummett's interests. In the real world the puzzle is not usually logically implied by its explanation. |
| 19650 | The transcendental subject is not an entity, but a set of conditions making science possible [Meillassoux] |
| Full Idea: The transcendental subject simply cannot be said to exist; which is to say that the subject is not an entity, but rather a set of conditions rendering objective scientific knowledge of entities possible. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 1) | |
| A reaction: Meillassoux treats this as part of the Kantian Disaster, which made an accurate account of the scientific revolution impossible for philosophers. Kant's ego seems to have primarily an epistemological role. |
| 19064 | Holism is not a theory of meaning; it is the denial that a theory of meaning is possible [Dummett] |
| Full Idea: In the sense of giving a model for the content of a sentence, its representative power, holism is not a theory of meaning; it is the denial that a theory of meaning is possible. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.309) | |
| A reaction: This will obviously be because sentences just don't have meaning in isolation, so their meaning can't be given in terms of the sentences. |
| 8542 | If causality is between events, there must be reference to the properties involved [Shoemaker] |
| Full Idea: Any account of causality as a relation between events should involve, in a central way, reference to the properties of the constituent objects of the events. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §01) | |
| A reaction: This remark, with which I wholeheartedly agree, is aimed at Davidson, who seems to think you need know no more about an event than the way in which someone chooses to describe it. Metaphysics must dig deeper, even if science can't. |
| 8560 | If causal laws describe causal potentialities, the same laws govern properties in all possible worlds [Shoemaker] |
| Full Idea: To the extent that causal laws can be viewed as propositions describing the causal potentialities of properties, it is impossible that the same properties should be governed by different causal laws in different possible worlds. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §08) | |
| A reaction: [He has just asserted that causal potentialities are essential to properties] This is the dramatic basic claim of scientific essentialism, which grows out of Shoemaker's causal account of properties. Note that the laws are just descriptions. |
| 15763 | If properties are causal, then causal necessity is a species of logical necessity [Shoemaker] |
| Full Idea: My theory of properties as causal appears to have the consequence that causal laws are logically necessary, and that causal necessity is just a species of logical necessity. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §09) | |
| A reaction: Where he writes 'logical' necessity I would claim that he really means 'metaphysical' necessity. The point, I take it, is that given the existence of those properties, certain causal efforts must always follow from them. I agree. |
| 8561 | If a world has different causal laws, it must have different properties [Shoemaker] |
| Full Idea: If there are worlds in which the causal laws are different from those that prevail in this world, ..then the properties will have to be different as well. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §09) | |
| A reaction: The next question is whether the same stuff (e.g. gold or water) could have different properties, and I take the the scientific essentialism answer to be 'no'. So the actual stuff (substances?) would have to be different. |
| 19667 | If the laws of nature are contingent, shouldn't we already have noticed it? [Meillassoux] |
| Full Idea: The standard objection is that if the laws of nature were actually contingent, we would already have noticed it. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 4) | |
| A reaction: Meillassoux offers a sustained argument that the laws of nature are necessarily contingent. In Idea 19660 he distinguishes contingencies that must change from those that merely could change. |
| 19670 | Why are contingent laws of nature stable? [Meillassoux] |
| Full Idea: We must ask how we are to explain the manifest stability of physical laws, given that we take these to be contingent? | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 4) | |
| A reaction: Meissalloux offers a very deep and subtle answer to this question... It is based on the possibilities of chaos being an uncountable infinity... It is a very nice question, which physicists might be able to answer, without help from philosophy. |
| 8553 | It looks as if the immutability of the powers of a property imply essentiality [Shoemaker] |
| Full Idea: There is a prima facie case for saying that the immutability of the causal potentialities of a property implies their essentiality. ...If they cannot vary across time, they also cannot vary across possible worlds. | |
| From: Sydney Shoemaker (Causality and Properties [1980], §05) | |
| A reaction: This is only the beginning of scientific essentialism, but one of the targets is to save the phenomena. It is also involves unimaginability (of different powers from a given property) implying necessity. |
| 19653 | The ontological proof of a necessary God ensures a reality external to the mind [Meillassoux] |
| Full Idea: Since Descartes conceives of God as existing necessarily, whether I exist to think of him or not, Descartes assures me of a possible access to an absolute reality - a Great Outdoors that is not a correlate of my thought. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 2) | |
| A reaction: His point is that the ontological argument should be seen as part of the scientific revolution, and not an anomaly within it. Interesting. |
| 19658 | Now that the absolute is unthinkable, even atheism is just another religious belief (though nihilist) [Meillassoux] |
| Full Idea: Once the absolute has become unthinkable, even atheism, which also targets God's inexistence in the manner of an absolute, is reduced to a mere belief, and hence to a religion, albeit of the nihilist kind. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 2) | |
| A reaction: An interesting claim. Rather hard to agree or disagree, though the idea that atheism must qualify as a religion seems odd. If it is unqualified it does have the grand quality of a religion, but if it is fallibilist it just seems like an attitude. |