66 ideas
| 16241 | The metaphysics of nature should focus on physics [Maudlin] |
| Full Idea: Metaphysics, insofar as it is concerned with the natural world, can do no better than to reflect on physics. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], Intro) | |
| A reaction: I suppose so. Physics only works at one level of description. Metaphysics often works with concepts which only emerge at a more general level than physics. There are also many metaphysical problems which are of no interest to most physicists. |
| 16257 | Kant survives in seeing metaphysics as analysing our conceptual system, which is a priori [Maudlin] |
| Full Idea: The Kantian strain survives in the notion that metaphysics is not about the world, but about our 'conceptual system', especially as what structures our thought about the world. This keeps it a priori, and so not about the world itself. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 3) | |
| A reaction: Strawson would embody this view, I suppose. I take our conceptual system to be largely a reflection of (and even creation of) the world, and not just an arbitrary conventional attempt to grasp the world. Analysing concepts partly analyses the world. |
| 16276 | Wide metaphysical possibility may reduce metaphysics to analysis of fantasies [Maudlin] |
| Full Idea: If metaphysical possibility extends more widely than physical possibility, this may make metaphysics out to be nothing but the analysis of fantastical descriptions produced by philosophers. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 7 Epilogue) | |
| A reaction: Maudlin wants metaphysics to be firmly constrained in its possibilities by what scientific undestanding permits, and he is right. Metaphysics must integrate into science, or wither away on the margins. |
| 12274 | Begin examination with basics, and subdivide till you can go no further [Aristotle] |
| Full Idea: The examination must be carried on and begin from the primary classes and then go on step by step until further division is impossible. | |
| From: Aristotle (Topics [c.331 BCE], 109b17) | |
| A reaction: This is a good slogan for the analytic approach to thought. I take Aristotle (or possibly Socrates) to be the father of analysis, not Frege (though see Idea 9840). (He may be thinking of the tableau method of proof). |
| 16244 | If the universe is profligate, the Razor leads us astray [Maudlin] |
| Full Idea: If the universe has been profligate, then Ockham's Razor will lead us astray. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], Intro) | |
| A reaction: That is, there may be a vast number of entities which exist beyond what seems to be 'necessary'. |
| 16255 | The Razor rightly prefers one cause of multiple events to coincidences of causes [Maudlin] |
| Full Idea: The Razor is good when it councils higher credence to explanations which posit a single cause to multiple events that occur in a striking pattern, over explanations involving coincidental multiple causes. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 2.5) | |
| A reaction: This is in the context of Maudlin warning against embracing the Razor too strongly. Presumably inductive success suggests that the world supports this particular use of the Razor. |
| 12260 | Dialectic starts from generally accepted opinions [Aristotle] |
| Full Idea: Reasoning is dialectical which reasons from generally accepted opinions. | |
| From: Aristotle (Topics [c.331 BCE], 100a30) | |
| A reaction: This is right at the heart of Aristotle's philosophical method, and Greek thinking generally. There are nice modern debates about 'folk' understanding, derived from science (e.g. quantum theory) which suggest that starting from normal views is a bad idea. |
| 12291 | There can't be one definition of two things, or two definitions of the same thing [Aristotle] |
| Full Idea: There cannot possibly be one definition of two things, or two definitions of the same thing. | |
| From: Aristotle (Topics [c.331 BCE], 154a11) | |
| A reaction: The second half of this is much bolder and more controversial, and plenty of modern thinkers would flatly reject it. Are definitions contextual, that is, designed for some specific human purpose. Must definitions be of causes? |
| 12292 | Definitions are easily destroyed, since they can contain very many assertions [Aristotle] |
| Full Idea: A definition is the easiest of all things to destroy; for, since it contains many assertions, the opportunities which it offers are very numerous, and the more abundant the material, the more quickly the reasoning can set to work. | |
| From: Aristotle (Topics [c.331 BCE], 155a03) | |
| A reaction: I quote this to show that Aristotle expected many definitions to be very long affairs (maybe even of book length?) |
| 12272 | We describe the essence of a particular thing by means of its differentiae [Aristotle] |
| Full Idea: We usually isolate the appropriate description of the essence of a particular thing by means of the differentiae which are peculiar to it. | |
| From: Aristotle (Topics [c.331 BCE], 108b05) | |
| A reaction: I take this to be important for showing the definition is more than mere categorisation. A good definition homes in the particular, by gradually narrowing down the differentiae. |
| 12279 | The differentia indicate the qualities, but not the essence [Aristotle] |
| Full Idea: No differentia indicates the essence [ti estin], but rather some quality, such as 'pedestrian' or 'biped'. | |
| From: Aristotle (Topics [c.331 BCE], 122b17) | |
| A reaction: We must disentangle this, since essence is what is definable, and definition seems to give us the essence, and yet it appears that definition only requires genus and differentia. Differentiae seem to be both generic and fine-grained. See Idea 12280! |
| 12283 | In definitions the first term to be assigned ought to be the genus [Aristotle] |
| Full Idea: In definitions the first term to be assigned ought to be the genus. | |
| From: Aristotle (Topics [c.331 BCE], 132a12) | |
| A reaction: We mustn't be deluded into thinking that nothing else is required. I take the increasing refinement of differentiae to be where the real action is. The genus gives you 70% of the explanation. |
| 12289 | The genera and the differentiae are part of the essence [Aristotle] |
| Full Idea: The genera and the differentiae are predicated in the category of essence. | |
| From: Aristotle (Topics [c.331 BCE], 153a19) | |
| A reaction: The definition is words, and the essence is real, so our best definition might not fully attain to the essence. Aristotle has us reaching out to the world through our definitions. |
| 12261 | Differentia are generic, and belong with genus [Aristotle] |
| Full Idea: The differentia, being generic in character, should be ranged with the genus. | |
| From: Aristotle (Topics [c.331 BCE], 101b18) | |
| A reaction: This does not mean that naming the differentia amounts to mere classification. I presume we can only state individual differences by using a language which is crammed full of universals. |
| 12263 | 'Genus' is part of the essence shared among several things [Aristotle] |
| Full Idea: A 'genus' is that which is predicated in the category of essence of several things which differ in kind. | |
| From: Aristotle (Topics [c.331 BCE], 102a32) | |
| A reaction: Hence a genus is likely to be expressed by a universal, a one-over-many. A particular will be a highly individual collection of various genera, but what ensures the uniqueness of each thing, if they are indiscernible? |
| 12285 | The definition is peculiar to one thing, not common to many [Aristotle] |
| Full Idea: The definition ought to be peculiar to one thing, not common to many. | |
| From: Aristotle (Topics [c.331 BCE], 149b24) | |
| A reaction: I take this to be very important, against those who think that definition is no more than mere categorisation. To explain, you must get down to the level of the individual. We must explain that uniquely docile tiger. |
| 11261 | Puzzles arise when reasoning seems equal on both sides [Aristotle] |
| Full Idea: The equality of opposite reasonings is the cause of aporia; for it is when we reason on both [sides of a question] and it appears to us that everything can come about either way, that we are in a state of aporia about which of the two ways to take up. | |
| From: Aristotle (Topics [c.331 BCE], 145b17), quoted by Vassilis Politis - Aristotle and the Metaphysics 3.1 | |
| A reaction: Other philosophers give up on the subject in this situation, but I love Aristotle because he takes this to be the place where philosophy begins. |
| 12273 | Unit is the starting point of number [Aristotle] |
| Full Idea: They say that the unit [monada] is the starting point of number (and the point the starting-point of a line). | |
| From: Aristotle (Topics [c.331 BCE], 108b30) | |
| A reaction: Yes, despite Frege's objections in the early part of the 'Grundlagen' (1884). I take arithmetic to be rooted in counting, despite all abstract definitions of number by Frege and Dedekind. Identity gives the unit, which is countable. See also Topics 141b9 |
| 16243 | The Humean view is wrong; laws and direction of time are primitive, and atoms are decided by physics [Maudlin] |
| Full Idea: The Humean project is unjustified, in that both the laws of nature and the direction of time require no analysis, and is misconceived, in that the atoms it employs do not correspond to present physical ontology. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], Intro) | |
| A reaction: I certainly find it strange, or excessively empirical, that Lewis thinks our account of reality should rest on 'qualities'. Maudlin's whole books is an implicit attack on David Lewis. |
| 16271 | Lewis says it supervenes on the Mosaic, but actually thinks the Mosaic is all there is [Maudlin] |
| Full Idea: At base it is not merely, as Lewis says, that everything else supervenes on the Mosaic; but rather that anything that exists at all is just a feature or element or generic property of the Mosaic. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 6) | |
| A reaction: [Maudlin has just quoted Idea 16210] Correct about Lewis, but Lewis just has a normal view of supervenience. Only 'emergentists' would think the supervenience allowed anything more, and they are deeply misguided, and in need of help. |
| 16273 | If the Humean Mosaic is ontological bedrock, there can be no explanation of its structure [Maudlin] |
| Full Idea: The Humean Mosaic appears to admit of no further explanation. Since it is the ontological bedrock, …none of the further things can account for the structure of the Mosaic itself. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 6) | |
| A reaction: A very nice point, reminiscent of Popper's objection to essentialism, that he thought it blocked further enquiry, when actually further enquiry was possible. Lewis and Hume seem too mesmerised by epistemology. They need best explanation. |
| 16275 | The 'spinning disc' is just impossible, because there cannot be 'homogeneous matter' [Maudlin] |
| Full Idea: The 'spinning disc' is not metaphysically possible. We have every reason to believe that there is no such thing as 'perfectly homogeneous matter'. The atomic theory of matter is as well established as any scientific theory is likely to be. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 7 Epilogue) | |
| A reaction: This is a key case for Maudlin, and his contempt for metaphysics which is not scientifically informed. I agree with him. Extreme thought experiments are worth considering, but impossible ones are pointless. |
| 16258 | To get an ontology from ontological commitment, just add that some theory is actually true [Maudlin] |
| Full Idea: The doctrine of ontological commitment becomes a central element in a theory of ontology if one merely adds that a particular theory is, in fact, true | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 3.1) | |
| A reaction: Helpful. I don't think the truth of a theory entails the actual existence of every component mentioned in the theory, as some of them may be generalisations, abstractions, vague, or even convenient linking fictions. |
| 16259 | Naïve translation from natural to formal language can hide or multiply the ontology [Maudlin] |
| Full Idea: Naïve translation from natural language into formal language can obscure necessary ontology as easily as it can create superfluous ontological commitment. …The lion's share of metaphysical work is done when settling on the right translation. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 3.1) | |
| A reaction: I suspect this is more than a mere problem of 'naivety', but may be endemic to the whole enterprise. If you hammer a square peg into a round hole, you expect to lose something. Language is subtle, logic is crude. |
| 12267 | There are ten categories: essence, quantity, quality, relation, place, time, position, state, activity, passivity [Aristotle] |
| Full Idea: The four main types of predicates fall into ten categories: essence, quantity, quality, relation, place, time, position, state, activity, passivity. | |
| From: Aristotle (Topics [c.331 BCE], 103b20) | |
| A reaction: These are the standard ten categories of Aristotle. He is notable for the divisions not being sharp, and ten being a rough total. He is well aware of the limits of precision in such matters. |
| 12282 | An individual property has to exist (in past, present or future) [Aristotle] |
| Full Idea: If it does not at present exist, or, if it has not existed in the past, or if it is not going to exist in the future, it will not be a property [idion] at all. | |
| From: Aristotle (Topics [c.331 BCE], 129a27) | |
| A reaction: This seems to cramp our style in counterfactual discussion. Can't we even mention an individual property if we believe that it will never exist. Utopian political discussion will have to cease! |
| 12264 | An 'accident' is something which may possibly either belong or not belong to a thing [Aristotle] |
| Full Idea: An 'accident' [sumbebekos] is something which may possibly either belong or not belong to any one and the self-same thing, such as 'sitting posture' or 'whiteness'. This is the best definition, because it tells us the essential meaning of the term itself. | |
| From: Aristotle (Topics [c.331 BCE], 102b07) | |
| A reaction: Thus a car could be red, or not red. Accidents are contingent. It does not follow that necessary properties are essential (see Idea 12262). There are accidents [sumbebekos], propria [idion] and essences [to ti en einai]. |
| 16253 | A property is fundamental if two objects can differ in only that respect [Maudlin] |
| Full Idea: Fragility is not a fundamental physical property, in that two pieces of glass cannot be physically identical save for their fragility. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 2.5) | |
| A reaction: Nice. The best idea I have found in Maudlin, so far! This gives a very nice test for picking out the fundamental physical and intrinsic properties. |
| 16263 | Fundamental physics seems to suggest there are no such things as properties [Maudlin] |
| Full Idea: If one believes that fundamental physics is the place to look for the truths about universals (or tropes or natural sets), then one may find that physics is telling us there are no such things. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 3.2) | |
| A reaction: His prior discussion of quantum chromodynamics suggests, to me, merely that properties can be described in terms of vectors etc., and remains neutral on the ontology - but then I am blinded by science. |
| 16260 | Existence of universals may just be decided by acceptance, or not, of second-order logic [Maudlin] |
| Full Idea: On one line of thought, the question of whether universals exist seems to reduce to the question of the utility, or necessity, of using second-order rather than first-order logic. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 3.1) | |
| A reaction: Second-order logic quantifies over properties, where first-order logic just quantifies over objects. This is an extreme example of doing your metaphysics largely through logic. Not my approach. |
| 12280 | Genus gives the essence better than the differentiae do [Aristotle] |
| Full Idea: In assigning the essence [ti estin], it is more appropriate to state the genus than the differentiae; for he who describes 'man' as an 'animal' indicates his essence better than he who describes him as 'pedestrian'. | |
| From: Aristotle (Topics [c.331 BCE], 128a24) | |
| A reaction: See Idea 12279. This idea is only part of the story. My reading of this is simply that assigning a genus gives more information. We learn more about him when we say he is a man than when we say he is Socrates. |
| 13269 | In the case of a house the parts can exist without the whole, so parts are not the whole [Aristotle] |
| Full Idea: In the case of a house, where the process of compounding the parts is obvious, though the parts exist, there is no reason why the whole should not be non-existent, and so the parts are not the same as the whole. | |
| From: Aristotle (Topics [c.331 BCE], 150a19) | |
| A reaction: Compare buying a piece of furniture, and being surprised to discover, when it is delivered, that it is self-assembly. This idea is a simple refutation of the claims of classical mereology, that wholes are just some parts. Aristotle uses modal claims. |
| 12284 | Everything that is has one single essence [Aristotle] |
| Full Idea: Everything that is has one single essence [en esti to einai]. | |
| From: Aristotle (Topics [c.331 BCE], 141a36) | |
| A reaction: Does this include vague objects, and abstract 'objects'? Sceptics might ask what grounds this claim. Does Dr Jeckyll have two essences? |
| 12262 | An 'idion' belongs uniquely to a thing, but is not part of its essence [Aristotle] |
| Full Idea: A property [idion] is something which does not show the essence of a thing but belongs to it alone. ...No one calls anything a property which can possibly belong to something else. | |
| From: Aristotle (Topics [c.331 BCE], 102a18) | |
| A reaction: [See Charlotte Witt 106 on this] 'Property' is clearly a bad translation for such an individual item. Witt uses 'proprium', which is a necessary but nonessential property of something. Necessity is NOT the hallmark of essence. See Idea 12266. |
| 12290 | Destruction is dissolution of essence [Aristotle] |
| Full Idea: Destruction is a dissolution of essence. | |
| From: Aristotle (Topics [c.331 BCE], 153b30) | |
| A reaction: [plucked from context!] I can't think of a better way to define destruction, in order to distinguish it from damage. A vase is destroyed when its essential function cannot be recovered. |
| 12286 | If two things are the same, they must have the same source and origin [Aristotle] |
| Full Idea: When things are absolutely the same, their coming-into-being and destruction are also the same and so are the agents of their production and destruction. | |
| From: Aristotle (Topics [c.331 BCE], 152a02) | |
| A reaction: Thus Queen Elizabeth II has to be the result of that particular birth, and from those particular parents, as Kripke says? The inverse may not be true. Do twins have a single origin? Things that fission and then re-fuse differently? etc |
| 12266 | 'Same' is mainly for names or definitions, but also for propria, and for accidents [Aristotle] |
| Full Idea: 'The same' is employed in several senses: its principal sense is for same name or same definition; a second sense occurs when sameness is applied to a property [idiu]; a third sense is applied to an accident. | |
| From: Aristotle (Topics [c.331 BCE], 103a24-33) | |
| A reaction: [compressed] 'Property' is better translated as 'proprium' - a property unique to a particular thing, but not essential - see Idea 12262. Things are made up of essence, propria and accidents, and three ways of being 'the same' are the result. |
| 12287 | Two identical things have the same accidents, they are the same; if the accidents differ, they're different [Aristotle] |
| Full Idea: If two things are the same then any accident of one must also be an accident of the other, and, if one of them is an accident of something else, so must the other be also. For, if there is any discrepancy on these points, obviously they are not the same. | |
| From: Aristotle (Topics [c.331 BCE], 152a36) | |
| A reaction: So what is always called 'Leibniz's Law' should actually be 'Aristotle's Law'! I can't see anything missing from the Aristotle version, but then, since most people think it is pretty obvious, you would expect the great stater of the obvious to get it. |
| 12288 | Numerical sameness and generic sameness are not the same [Aristotle] |
| Full Idea: Things which are the same specifically or generically are not necessarily the same or cannot possibly be the same numerically. | |
| From: Aristotle (Topics [c.331 BCE], 152b32) | |
| A reaction: See also Idea 12266. This looks to me to be a pretty precise anticipation of Peirce's type/token distinction, but without the terminology. It is reassuring that Aristotle spotted it, as that makes it more likely to be a genuine distinction. |
| 16277 | Logically impossible is metaphysically impossible, but logically possible is not metaphysically possible [Maudlin] |
| Full Idea: While logical impossibility is a species of metaphysical impossibility, logical possibility is not a species of metaphysical possibility. The logically impeccable description 'Cicero was not Tully' describes a metaphysically impossible situation. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 7 Epilogue) | |
| A reaction: The context of this is Maudlin attack on daft notions of metaphysical possibility that are at variance with the limits set by science, but he is still conceding that there are types of metaphysical modality. |
| 12259 | Reasoning is when some results follow necessarily from certain claims [Aristotle] |
| Full Idea: Reasoning [sullogismos] is a discussion in which, certain things having been laid down, something other than these things necessarily results through them. | |
| From: Aristotle (Topics [c.331 BCE], 100a25) | |
| A reaction: This is cited as the standard statement of the nature of logical necessity. One might challenge either the very word 'necessary', or the exact sense of the word employed here. Is it, in fact, metaphysical, or merely analytic? |
| 16249 | A counterfactual antecedent commands the redescription of a selected moment [Maudlin] |
| Full Idea: The purpose of the antecedent of a counterfactual is to provide instructions on how to pick a Cauchy surface (pick a moment in time) and how to generate an altered description of that moment. It is more of a command than an indicative sentence. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 1.5) | |
| A reaction: Quite plausible, but the antecedent might contain no description. 'If things had gone differently, we wouldn't be in this mess'. The antecedent might be timeless. 'If pigs had wings, they still wouldn't fly'. |
| 12271 | Induction is the progress from particulars to universals [Aristotle] |
| Full Idea: Induction is the progress from particulars to universals; if the skilled pilot is the best pilot and the skilled charioteer the best charioteer, then, in general, the skilled man is the best man in any particular sphere. | |
| From: Aristotle (Topics [c.331 BCE], 105a15) | |
| A reaction: It is a bit unclear whether we are deriving universal concepts, or merely general truths. Need general truths be absolute or necessary truths? Presumably occasionally the best person is not the most skilled, as in playing a musical instrument. |
| 16254 | Induction leaps into the unknown, but usually lands safely [Maudlin] |
| Full Idea: Induction is always a leap beyond the known, but we are constantly assured by later experience that we have landed safely. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 2.5) | |
| A reaction: Not philosophically very interesting, but a nice remark for capturing the lived aspect of inductive thought, as practised by the humblest of animals. |
| 12293 | We say 'so in cases of this kind', but how do you decide what is 'of this kind'? [Aristotle] |
| Full Idea: When it is necessary to establish the universal, people use the expression 'So in all cases of this kind'; but it is one of the most difficult tasks to define which of the terms proposed are 'of this kind' and which are not. | |
| From: Aristotle (Topics [c.331 BCE], 157a25) | |
| A reaction: It is particularly hard if induction is expressed as the search for universals, since the kind presumably is the universal, so the universal must be known before the induction can apply, which really is the most frightful nuisance for truth-seekers. |
| 16245 | Laws should help explain the things they govern, or that manifest them [Maudlin] |
| Full Idea: A law ought to be capable of playing some role in explaining the phenomena that are governed by or are manifestations of it. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 1.2) | |
| A reaction: I find this attitude bewildering. 'Why do electrons have spin?' 'Because they all do!' The word 'governed' is the clue. What on earth is a law, if it can 'govern' nature? What is its ontological status? Natures of things are basic, not 'laws'. |
| 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? |
| 12277 | Friendship is preferable to money, since its excess is preferable [Aristotle] |
| Full Idea: Friendship is preferable to money; for excess of friendship is preferable to excess of money. | |
| From: Aristotle (Topics [c.331 BCE], 118b07) | |
| A reaction: Compare Idea 12276, which gives a different criterion for choosing between virtues. This idea is an interesting qualification of the doctrine of the mean. |
| 12276 | Justice and self-control are better than courage, because they are always useful [Aristotle] |
| Full Idea: Justice [dikaiosune] and self-control [sophrosune] are preferable to courage, for the first two are always useful, but courage only sometimes. | |
| From: Aristotle (Topics [c.331 BCE], 117a36) | |
| A reaction: One could challenge his criterion. What of something which is absolutely vital on occasions, against something which is very mildly useful all the time? You may survive without justice, but not without courage. Compare Idea 12277. |
| 12275 | We value friendship just for its own sake [Aristotle] |
| Full Idea: We value friendship for its own sake, even if we are not likely to get anything else from it. | |
| From: Aristotle (Topics [c.331 BCE], 117a03) | |
| A reaction: In 'Ethics' he distinguishes some friendships which don't meet this requirement. Presumably true friendships survive all vicissitudes (except betrayal), but that makes such things fairly rare. |
| 12281 | Man is intrinsically a civilized animal [Aristotle] |
| Full Idea: It is an essential [kath' auto] property of man to be 'by nature a civilized animal'. | |
| From: Aristotle (Topics [c.331 BCE], 128b17) | |
| A reaction: I take this, along with man being intrinsically rational, to be the foundation of Aristotelian ethics. Given that we are civilized, self-evident criteria emerge for how to be good at it. A good person is, above all, a good citizen. |
| 12265 | All water is the same, because of a certain similarity [Aristotle] |
| Full Idea: Any water is said to be specifically the same as any other water because it has a certain similarity to it. | |
| From: Aristotle (Topics [c.331 BCE], 103a20) | |
| A reaction: (Cf. Idea 8153) It take this to be the hallmark of a natural kind, and we should not lose sight of it in the midst of discussions about rigid designation and essential identity. Tigers are only a natural kind insofar as they are indistinguishable. |
| 16248 | Evaluating counterfactuals involves context and interests [Maudlin] |
| Full Idea: The evaluation of counterfactual claims is widely recognised as being influenced by context and interest. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 1.5) | |
| A reaction: Such evaluation certainly seems to involve imagination, and so the pragmatics can creep in there. I don't quite see why it should be deeply contextual. |
| 16250 | We don't pick a similar world from many - we construct one possibility from the description [Maudlin] |
| Full Idea: It seems unlikely the psychological process could mirror Lewis's semantics: people don't imagine a multiplicity of worlds and the pick out the most similar. Rather we construct representations of possible worlds from counterfactual descriptions. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 1.5) | |
| A reaction: I approve of fitting such theories into a psychology, but this may be unfair to Lewis, who aims for a logical model, not an account of how we actually approach the problem. |
| 16268 | The counterfactual is ruined if some other cause steps in when the antecedent fails [Maudlin] |
| Full Idea: A counterexample to the counterfactual approach is that perhaps the effect would have occurred despite the absence of the cause since another cause would have stepped in to bring it about. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 5) | |
| A reaction: …Hence you cannot say 'if C had not occurred, E would definitely not have occurred'. You have to add 'ceteris paribus', which ruins the neatness of the theory. |
| 16267 | If we know the cause of an event, we seem to assent to the counterfactual [Maudlin] |
| Full Idea: When we think we know the cause of an event, we typically assent to the corresponding Hume counterfactual. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 5) | |
| A reaction: This is the correct grounding of the counterfactual approach - not that we think counterfactuals are causation, but that knowledge of causation will map neatly onto a network of counterfactuals, thus providing a logic for the whole process. |
| 16269 | If the effect hadn't occurred the cause wouldn't have happened, so counterfactuals are two-way [Maudlin] |
| Full Idea: If Kennedy had still been President in Dec 1963, he would not have been assassinated in Nov 1963, so the counterfactual goes both ways (where the cause seems to only go one way). | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 5) | |
| A reaction: Maudlin says a lot of fine-tuning has sort of addressed these problems, but that counterfactual causation is basically wrong-headed anyway, and I incline to agree, though one must understand what the theory is (and is not) trying to do. |
| 16247 | Laws are primitive, so two indiscernible worlds could have the same laws [Maudlin] |
| Full Idea: Laws are ontologically primitives at least in that two worlds could differ in their laws but not in any observable respect. ….[21] I take content of the laws to be expressed by equations. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 1.4) | |
| A reaction: At least that spells out his view fairly dramatically, but I am baffled as to what he thinks a law could be. He is arguing against the Lewis regularity-axioms view, and the Armstrong universal-relations view. He ignores the essentialist view. |
| 16272 | Fundamental laws say how nature will, or might, evolve from some initial state [Maudlin] |
| Full Idea: The fundamental laws of nature appear to be laws of temporal evolution: they specify how the state of the universe will, or might, evolve from a given intial state. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 6) | |
| A reaction: Maudlin takes both laws of nature and the passage of time to be primitive facts, and this is how they are connected. I think (this week) that I take time and causation to be primitive, but not laws. |
| 16242 | Laws of nature are ontological bedrock, and beyond analysis [Maudlin] |
| Full Idea: The laws of nature stand in no need of 'philosophical analysis'; they ought to be posited as ontological bedrock. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], Intro) | |
| A reaction: This is Maudlin's most basic principle, and I don't agree with it. The notion that laws are more deeply embedded in reality than the physical stuff they control is a sort of 'law-mysticism' that needs to be challenged. |
| 16251 | 'Humans with prime house numbers are mortal' is not a law, because not a natural kind [Maudlin] |
| Full Idea: 'All humans who live in houses with prime house numbers are mortal' is not a law because the class referred to is not a natural kind. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 1.6) | |
| A reaction: Maudlin wants laws to be primitive, but he now needs a primitive notion of a natural kind to make it work. If kinds generate laws, you can ditch the laws, and build your theory on the kinds. He also says no death is explained by 'all humans are mortal'. |
| 16270 | If laws are just regularities, then there have to be laws [Maudlin] |
| Full Idea: On the Mill-Ramsey-Lewis account of laws, I take it that if the world is extensive and variegated enough, then there must be laws. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 5.2) | |
| A reaction: A nice point. If there is any sort of pattern discernible in the surface waves on the sea, then there must be a law to cover it, not matter how vague or complex. |
| 16264 | I believe the passing of time is a fundamental fact about the world [Maudlin] |
| Full Idea: I believe that it is a fundamental, irreducible fact about the spatio-temporal structure of the world that time passes. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 4) | |
| A reaction: Worth quoting because it comes from a philosopher fully informed about, and heavily committed to, the physicist's approach to reality. One fears that physicists steeped in Einstein are all B-series Eternalists. Get a life! |
| 16265 | If time passes, presumably it passes at one second per second [Maudlin] |
| Full Idea: It is necessary and, I suppose, a priori that if time passes at all it passes at one second per second. …Similarly, the fair exchange rate for a dollar must be a dollar. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 4.1) | |
| A reaction: [He is discussing Huw Price on time] This is a reply to the claim that if time passes it has to pass at some rate, and 'one second per second' is ridiculous. Not very convincing, even with the dollar analogy. |
| 16266 | There is one ordered B series, but an infinitude of A series, depending on when the present is [Maudlin] |
| Full Idea: Given events ordered in a B series, one defines an infinitude of different A series that correspond to taking different events as 'now' or 'present'. McTaggart talks of 'the A series' when there is an infinitude of such. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 4.3 n11) | |
| A reaction: This strikes me as a rather mathematical (and distorted) claim about the A series view. The A-series is one dynamic happening. Not an infinity of static times lines, each focused on a different 'now'. |
| 12278 | 'Being' and 'oneness' are predicated of everything which exists [Aristotle] |
| Full Idea: 'Being' and 'oneness' are predicated of everything which exists. | |
| From: Aristotle (Topics [c.331 BCE], 121a18) | |
| A reaction: Is 'oneness' predicated of water? So existence always was a predicate, it seems, until Kant told us it wasn't. That existence is a quantifier, not a predicate, seems to be up for question again these days. |