117 ideas
| 7893 | Our life is the creation of our mind [Anon (Dham)] |
| Full Idea: What we are today comes from our thoughts of yesterday, and our present thoughts build our life of tomorrow: our life is the creation of our mind. | |
| From: Anon (Dham) (The DhammaPada [c.250 BCE], §1.1) | |
| A reaction: I may adopt this as a second epigraph for the database. This idea records the subjective view, which now comes up against evolutionary psychology. Maybe philosophy is opposed to science, because it is committed to exploring the subjective view? |
| 14912 | There is no test for metaphysics, except devising alternative theories [Ladyman/Ross] |
| Full Idea: The metaphysician has no test for the truth of her beliefs except that other metaphysicians can't think of obviously superior alternative beliefs. (They can always think of possibly superior ones, in profusion). | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 1.7) | |
| A reaction: [they cite Van Fraassen for this view] At least this seems to concede that some metaphysical views can be rejected by the observation of beliefs that are superior. Almost everyone has rejected Lewis on possible worlds for this reason. |
| 14904 | Metaphysics builds consilience networks across science [Ladyman/Ross] |
| Full Idea: Metaphysics is the enterprise of critically elucidating consilience networks across the sciences. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 1.3) | |
| A reaction: I don't disagree with this. The issue, I think, is how abstract you are prepared to go. At high levels of abstraction, it is very hard to keep in touch with the empirical research. There are truths, though, at that high level. It is clearest in logic. |
| 14907 | Progress in metaphysics must be tied to progress in science [Ladyman/Ross] |
| Full Idea: To the extent that metaphysics is closely motivated by science, we should expect to make progress in metaphysics iff we can expect to make progress in science. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 1.3) | |
| A reaction: To defer to and respect science does not necessitate that metaphysics cannot do independent work. I take there to be truths at a high-level of abstraction that are independent of the physical sciences, just as there are truths of chess or economics. |
| 14908 | Metaphysics must involve at least two scientific hypotheses, one fundamental, and add to explanation [Ladyman/Ross] |
| Full Idea: Principle of Naturalist Closure: A serious metaphysical claim must involve at least two scientific hypotheses, at least one from fundamental physics, and explain more than what the two hypotheses explain separately. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 1.3) | |
| A reaction: [compressed, from their longer qualified version] The idea that metaphysics should add to explanation is close to my heart. I am musing over whether essences add to explanation, which would be total anathema to Ladyman and Ross. |
| 14910 | Some science is so general that it is metaphysical [Ladyman/Ross] |
| Full Idea: Some scientific propositions are sufficiently general as themselves to be metaphysical. Our notion of metaphysics is thus recursive, and requires no attempt to identify a boundary between metaphysical and scientific propositions. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 1.5 n45) | |
| A reaction: Note that this still leaves room for some metaphysics which is not science, though see Idea 14904 for their views on that. |
| 14940 | Cutting-edge physics has little to offer metaphysics [Ladyman/Ross] |
| Full Idea: There is little positive by way of implications for metaphysics that we can adduce from cutting-edge physics. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.7.2) | |
| A reaction: My personal suspicion is that this will always be the case, even though there may be huge advances in physics, and I offer that as a reason why metaphysicians do not (pace Ladyman and Ross) need to study physics. They grasp 'negative' lessons. |
| 14945 | The aim of metaphysics is to unite the special sciences with physics [Ladyman/Ross] |
| Full Idea: The demand to unify the special sciences with physics is, according to us, the motivation for having any metaphysics at all. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 4.1) | |
| A reaction: The crunch question is whether metaphysicians are allowed to develop their own concepts for this task, or whether they can only make links between the concepts employed by the scientists. I vote for the former. |
| 14898 | Modern metaphysics pursues aesthetic criteria like story-writing, and abandons scientific truth [Ladyman/Ross] |
| Full Idea: The criteria of adequacy for metaphysics have come apart from anything to do with truth. Rather they are internal and peculiar to philosophy, they are semi-aesthetic, and they have more in common with the virtues of story-writing than with science. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 1.2.1) | |
| A reaction: Part of a sustained polemic against contemporary analytic metaphysics. I love metaphysics, but they may be right. Writers like Sider, Fine, Lowe, Lewis, Stalnaker, Kripke, Armstrong, Dummett seem to tell independent stories, that really are works of art. |
| 14899 | Why think that conceptual analysis reveals reality, rather than just how people think? [Ladyman/Ross] |
| Full Idea: Why should we think that the products of conceptual analysis reveal anything about the deep structure of reality, rather than telling us about how some class of people think about and categorize reality? | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 1.2.2) | |
| A reaction: One line, associated with Jackson, is that analysis tells you not about reality, but about what to make of your experiences of reality when you have them. It would be a foolish scientist who paid no attention to his or her conceptual scheme. |
| 14936 | A metaphysics based on quantum gravity could result in almost anything [Ladyman/Ross] |
| Full Idea: We cannot say what the metaphysical implications of quantum gravity are, but they range from eleven dimensions to two, from continuous fundamental structure to a discrete one, and from universal symmetries to no symmetries. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.7.2) | |
| A reaction: I offer this observation as a good reason for doubting whether the project of building our metaphysics directly onto our fundamental physics has much prospect of success. Quantum gravity is the unified theory they are all hoping for. |
| 14905 | The supremacy of science rests on its iterated error filters [Ladyman/Ross] |
| Full Idea: The epistemic supremacy of science rests on repeated iteration of institutional error filters. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 1.3) | |
| A reaction: You could add repeated iteration of institutional error filters to journals about astrology, but it wouldn't thereby acquire epistemic supremacy. It is the tangible nature of the evidence which bestows the authority. |
| 14897 | We should abandon intuitions, especially that the world is made of little things, and made of something [Ladyman/Ross] |
| Full Idea: Abandoning intuitions is usually regarded as a cost rather than a benefit. By contrast, as naturalists we are not concerned with preserving intuitions at all (especially that the world is composed of little things, and that it must be made of something). | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 1.2.1) |
| 10987 | Three traditional names of rules are 'Simplification', 'Addition' and 'Disjunctive Syllogism' [Read] |
| Full Idea: Three traditional names for rules are 'Simplification' (P from 'P and Q'), 'Addition' ('P or Q' from P), and 'Disjunctive Syllogism' (Q from 'P or Q' and 'not-P'). | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) |
| 11004 | Necessity is provability in S4, and true in all worlds in S5 [Read] |
| Full Idea: In S4 necessity is said to be informal 'provability', and in S5 it is said to be 'true in every possible world'. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
| A reaction: It seems that the S4 version is proof-theoretic, and the S5 version is semantic. |
| 11018 | There are fuzzy predicates (and sets), and fuzzy quantifiers and modifiers [Read] |
| Full Idea: In fuzzy logic, besides fuzzy predicates, which define fuzzy sets, there are also fuzzy quantifiers (such as 'most' and 'few') and fuzzy modifiers (such as 'usually'). | |
| From: Stephen Read (Thinking About Logic [1995], Ch.7) |
| 11011 | Same say there are positive, negative and neuter free logics [Read] |
| Full Idea: It is normal to classify free logics into three sorts; positive free logics (some propositions with empty terms are true), negative free logics (they are false), and neuter free logics (they lack truth-value), though I find this unhelpful and superficial. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.5) |
| 11020 | Realisms like the full Comprehension Principle, that all good concepts determine sets [Read] |
| Full Idea: Hard-headed realism tends to embrace the full Comprehension Principle, that every well-defined concept determines a set. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.8) | |
| A reaction: This sort of thing gets you into trouble with Russell's paradox (though that is presumably meant to be excluded somehow by 'well-defined'). There are lots of diluted Comprehension Principles. |
| 14187 | If logic is topic-neutral that means it delves into all subjects, rather than having a pure subject matter [Read] |
| Full Idea: The topic-neutrality of logic need not mean there is a pure subject matter for logic; rather, that the logician may need to go everywhere, into mathematics and even into metaphysics. | |
| From: Stephen Read (Formal and Material Consequence [1994], 'Logic') |
| 10986 | Not all validity is captured in first-order logic [Read] |
| Full Idea: We must recognise that first-order classical logic is inadequate to describe all valid consequences, that is, all cases in which it is impossible for the premisses to be true and the conclusion false. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
| A reaction: This is despite the fact that first-order logic is 'complete', in the sense that its own truths are all provable. |
| 10972 | The non-emptiness of the domain is characteristic of classical logic [Read] |
| Full Idea: The non-emptiness of the domain is characteristic of classical logic. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) |
| 11024 | Semantics must precede proof in higher-order logics, since they are incomplete [Read] |
| Full Idea: For the realist, study of semantic structures comes before study of proofs. In higher-order logic is has to, for the logics are incomplete. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.9) | |
| A reaction: This seems to be an important general observation about any incomplete system, such as Peano arithmetic. You may dream the old rationalist dream of starting from the beginning and proving everything, but you can't. Start with truth and meaning. |
| 10985 | We should exclude second-order logic, precisely because it captures arithmetic [Read] |
| Full Idea: Those who believe mathematics goes beyond logic use that fact to argue that classical logic is right to exclude second-order logic. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) |
| 14188 | Not all arguments are valid because of form; validity is just true premises and false conclusion being impossible [Read] |
| Full Idea: Belief that every valid argument is valid in virtue of form is a myth. ..Validity is a question of the impossibility of true premises and false conclusion for whatever reason, and some arguments are materially valid and the reason is not purely logical. | |
| From: Stephen Read (Formal and Material Consequence [1994], 'Logic') | |
| A reaction: An example of a non-logical reason is the transitive nature of 'taller than'. Conceptual connections are the usual example, as in 'it's red so it is coloured'. This seems to be a defence of the priority of semantic consequence in logic. |
| 14182 | If the logic of 'taller of' rests just on meaning, then logic may be the study of merely formal consequence [Read] |
| Full Idea: In 'A is taller than B, and B is taller than C, so A is taller than C' this can been seen as a matter of meaning - it is part of the meaning of 'taller' that it is transitive, but not of logic. Logic is now seen as the study of formal consequence. | |
| From: Stephen Read (Formal and Material Consequence [1994], 'Reduct') | |
| A reaction: I think I find this approach quite appealing. Obviously you can reason about taller-than relations, by putting the concepts together like jigsaw pieces, but I tend to think of logic as something which is necessarily implementable on a machine. |
| 14183 | Maybe arguments are only valid when suppressed premises are all stated - but why? [Read] |
| Full Idea: Maybe some arguments are really only valid when a suppressed premise is made explicit, as when we say that 'taller than' is a transitive concept. ...But what is added by making the hidden premise explicit? It cannot alter the soundness of the argument. | |
| From: Stephen Read (Formal and Material Consequence [1994], 'Suppress') |
| 10970 | A theory of logical consequence is a conceptual analysis, and a set of validity techniques [Read] |
| Full Idea: A theory of logical consequence, while requiring a conceptual analysis of consequence, also searches for a set of techniques to determine the validity of particular arguments. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) |
| 10984 | Logical consequence isn't just a matter of form; it depends on connections like round-square [Read] |
| Full Idea: If classical logic insists that logical consequence is just a matter of the form, we fail to include as valid consequences those inferences whose correctness depends on the connections between non-logical terms (such as 'round' and 'square'). | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
| A reaction: He suggests that an inference such as 'round, so not square' should be labelled as 'materially valid'. |
| 14184 | In modus ponens the 'if-then' premise contributes nothing if the conclusion follows anyway [Read] |
| Full Idea: A puzzle about modus ponens is that the major premise is either false or unnecessary: A, If A then B / so B. If the major premise is true, then B follows from A, so the major premise is redundant. So it is false or not needed, and contributes nothing. | |
| From: Stephen Read (Formal and Material Consequence [1994], 'Repres') | |
| A reaction: Not sure which is the 'major premise' here, but it seems to be saying that the 'if A then B' is redundant. If I say 'it's raining so the grass is wet', it seems pointless to slip in the middle the remark that rain implies wet grass. Good point. |
| 14943 | Maybe mathematical logic rests on information-processing [Ladyman/Ross] |
| Full Idea: It is claimed that mathematical logic can be understood in terms of information-processing. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.7.5) | |
| A reaction: [They cite Chaitin 1987] I don't understand how this would work, but it is still worth quoting. This would presumably make logic rest on processes rather than on entities. I quite like that. |
| 14186 | Logical connectives contain no information, but just record combination relations between facts [Read] |
| Full Idea: The logical connectives are useful for bundling information, that B follows from A, or that one of A or B is true. ..They import no information of their own, but serve to record combinations of other facts. | |
| From: Stephen Read (Formal and Material Consequence [1994], 'Repres') | |
| A reaction: Anyone who suggests a link between logic and 'facts' gets my vote, so this sounds a promising idea. However, logical truths have a high degree of generality, which seems somehow above the 'facts'. |
| 10973 | A theory is logically closed, which means infinite premisses [Read] |
| Full Idea: A 'theory' is any logically closed set of propositions, ..and since any proposition has infinitely many consequences, including all the logical truths, so that theories have infinitely many premisses. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
| A reaction: Read is introducing this as the essential preliminary to an account of the Compactness Theorem, which relates these infinite premisses to the finite. |
| 11007 | Quantifiers are second-order predicates [Read] |
| Full Idea: Quantifiers are second-order predicates. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.5) | |
| A reaction: [He calls this 'Frege's insight'] They seem to be second-order in Tarski's sense, that they are part of a metalanguage about the sentence, rather than being a part of the sentence. |
| 10978 | In second-order logic the higher-order variables range over all the properties of the objects [Read] |
| Full Idea: The defining factor of second-order logic is that, while the domain of its individual variables may be arbitrary, the range of the first-order variables is all the properties of the objects in its domain (or, thinking extensionally, of the sets objects). | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
| A reaction: The key point is that the domain is 'all' of the properties. How many properties does an object have. You need to decide whether you believe in sparse or abundant properties (I vote for very sparse indeed). |
| 10971 | A logical truth is the conclusion of a valid inference with no premisses [Read] |
| Full Idea: Logical truth is a degenerate, or extreme, case of consequence. A logical truth is the conclusion of a valid inference with no premisses, or a proposition in the premisses of an argument which is unnecessary or may be suppressed. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) |
| 10988 | Any first-order theory of sets is inadequate [Read] |
| Full Idea: Any first-order theory of sets is inadequate because of the Löwenheim-Skolem-Tarski property, and the consequent Skolem paradox. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
| A reaction: The limitation is in giving an account of infinities. |
| 10974 | Compactness is when any consequence of infinite propositions is the consequence of a finite subset [Read] |
| Full Idea: Classical logical consequence is compact, which means that any consequence of an infinite set of propositions (such as a theory) is a consequence of some finite subset of them. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) |
| 10975 | Compactness does not deny that an inference can have infinitely many premisses [Read] |
| Full Idea: Compactness does not deny that an inference can have infinitely many premisses. It can; but classically, it is valid if and only if the conclusion follows from a finite subset of them. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) |
| 10977 | Compactness blocks the proof of 'for every n, A(n)' (as the proof would be infinite) [Read] |
| Full Idea: Compact consequence undergenerates - there are intuitively valid consequences which it marks as invalid, such as the ω-rule, that if A holds of the natural numbers, then 'for every n, A(n)', but the proof of that would be infinite, for each number. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) |
| 10976 | Compactness makes consequence manageable, but restricts expressive power [Read] |
| Full Idea: Compactness is a virtue - it makes the consequence relation more manageable; but it is also a limitation - it limits the expressive power of the logic. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
| A reaction: The major limitation is that wholly infinite proofs are not permitted, as in Idea 10977. |
| 11014 | Self-reference paradoxes seem to arise only when falsity is involved [Read] |
| Full Idea: It cannot be self-reference alone that is at fault. Rather, what seems to cause the problems in the paradoxes is the combination of self-reference with falsity. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.6) |
| 11025 | Infinite cuts and successors seems to suggest an actual infinity there waiting for us [Read] |
| Full Idea: Every potential infinity seems to suggest an actual infinity - e.g. generating successors suggests they are really all there already; cutting the line suggests that the point where the cut is made is already in place. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.8) | |
| A reaction: Finding a new gambit in chess suggests it was there waiting for us, but we obviously invented chess. Daft. |
| 10979 | Although second-order arithmetic is incomplete, it can fully model normal arithmetic [Read] |
| Full Idea: Second-order arithmetic is categorical - indeed, there is a single formula of second-order logic whose only model is the standard model ω, consisting of just the natural numbers, with all of arithmetic following. It is nevertheless incomplete. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
| A reaction: This is the main reason why second-order logic has a big fan club, despite the logic being incomplete (as well as the arithmetic). |
| 10980 | Second-order arithmetic covers all properties, ensuring categoricity [Read] |
| Full Idea: Second-order arithmetic can rule out the non-standard models (with non-standard numbers). Its induction axiom crucially refers to 'any' property, which gives the needed categoricity for the models. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) |
| 10997 | Von Neumann numbers are helpful, but don't correctly describe numbers [Read] |
| Full Idea: The Von Neumann numbers have a structural isomorphism to the natural numbers - each number is the set of all its predecessors, so 2 is the set of 0 and 1. This helps proofs, but is unacceptable. 2 is not a set with two members, or a member of 3. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.4) |
| 14948 | To be is to be a real pattern [Ladyman/Ross] |
| Full Idea: To be is to be a real pattern. ....Real patterns carry information about other real patterns. ...It's patterns all the way down. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 4.4) | |
| A reaction: I've plucked these bleeding from context, but they are obviously intended as slogans. Is there pattern 'inside' an electron? Are electrons all exterior? |
| 14942 | Only admit into ontology what is explanatory and predictive [Ladyman/Ross] |
| Full Idea: We reject any grounds other than explanatory and predictive utility for admitting something into our ontology. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.7.3) | |
| A reaction: Now you are talking. This is something like my thesis (which I take to be Aristotelian) - that without the drive for explanation we wouldn't even think of metaphysics, and so metaphysics should be understood in that light. |
| 14947 | Any process can be described as transfer of measurable information [Ladyman/Ross] |
| Full Idea: Reference to transfer of some (in principle) quantitatively measurable information is a highly general way of describing any process. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 4.3) | |
| A reaction: That does not, of course, mean that that is what a process is. A waterfall is an archetypal process, but it is a bit more than a bunch of information. Actually its complexity may place its information beyond measurement. |
| 14941 | We say there is no fundamental level to ontology, and reality is just patterns [Ladyman/Ross] |
| Full Idea: The tentative metaphysical hypothesis of this book, which is open to empirical falsification, is that there is no fundamental level, that the real patterns criterion of reality is the last word in ontology. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.7.3) | |
| A reaction: I wouldn't hold your breath waiting for the empirical falsification to arrive (or vanish). Their commitment to real patterns (or structures) leaves me a bit baffled. |
| 10493 | If concrete is spatio-temporal and causal, and abstract isn't, the distinction doesn't suit physics [Ladyman/Ross] |
| Full Idea: It is said that concrete objects have causal powers while abstract ones do not, or that concrete objects exist in space and time while abstract ones do not, but these categories seem crude and inappropriate for modern physics. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.6) | |
| A reaction: I don't find this convincing. He gives example of peculiar causation, but I don't believe modern physics proposes any entities which are totally acausal and non-spatiotemporal. Maybe the distinction needs a defence. |
| 14934 | Concrete and abstract are too crude for modern physics [Ladyman/Ross] |
| Full Idea: The categories of concrete and abstract seem crude and inappropriate for modern physics. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.6) | |
| A reaction: They don't persuade me of this idea. At some point physicists need to decide the ontological status of the basic stuffs they are investigating. I'll give them a thousand years, and then I want an answer. Do they only deal in 'ideal' entities? |
| 14909 | Physicalism is 'part-whole' (all parts are physical), or 'supervenience/levels' (dependence on physical) [Ladyman/Ross] |
| Full Idea: There is part-whole physicalism, that everything is exhausted by basic constituents that are themselves physical, or supervenience or levels physicalism, that the putatively non-physical is dependent on the physical. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 1.3) | |
| A reaction: The cite Hüttemann and Papineau 2005. I am not convinced by this distinction. Ladyman and Ross oppose the first one. I'm thinking the second one either collapses into the first one, or it isn't physicalism. Higher levels are abstractions. |
| 11016 | Would a language without vagueness be usable at all? [Read] |
| Full Idea: We must ask whether a language without vagueness would be usable at all. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.7) | |
| A reaction: Popper makes a similar remark somewhere, with which I heartily agreed. This is the idea of 'spreading the word' over the world, which seems the right way of understanding it. |
| 11019 | Supervaluations say there is a cut-off somewhere, but at no particular place [Read] |
| Full Idea: The supervaluation approach to vagueness is to construe vague predicates not as ones with fuzzy borderlines and no cut-off, but as having a cut-off somewhere, but in no particular place. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.7) | |
| A reaction: Presumably you narrow down the gap by supervaluation, then split the difference to get a definite value. |
| 11012 | A 'supervaluation' gives a proposition consistent truth-value for classical assignments [Read] |
| Full Idea: A 'supervaluation' says a proposition is true if it is true in all classical extensions of the original partial valuation. Thus 'A or not-A' has no valuation for an empty name, but if 'extended' to make A true or not-true, not-A always has opposite value. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.5) |
| 11013 | Identities and the Indiscernibility of Identicals don't work with supervaluations [Read] |
| Full Idea: In supervaluations, the Law of Identity has no value for empty names, and remains so if extended. The Indiscernibility of Identicals also fails if extending it for non-denoting terms, where Fa comes out true and Fb false. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.5) |
| 14926 | Relations without relata must be treated as universals, with their own formal properties [Ladyman/Ross] |
| Full Idea: The best sense that can be made of a relation without relata is the idea of a universal. Thus the relation 'larger than' has formal properties that are independent of the contingencies of their instantiation. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.4) | |
| A reaction: Russell was keen on the idea that relations are universals, and presumably for this reason. I struggle to grasp uninstantiated but nevertheless real 'greater than' relations. They are abstractions from things, not separate universals. |
| 14929 | A belief in relations must be a belief in things that are related [Ladyman/Ross] |
| Full Idea: Many philosophers say that one cannot intelligibly subscribe to the reality of relations unless one is also committed to the fact of some things that are related. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.5) | |
| A reaction: Ladyman and Ross try to argue against this view, but the idea makes a strong impression on me. Your ontology seems to be rather strange if you have a set of structural relations that await things to slot into the structure. |
| 14925 | The normal assumption is that relations depend on properties of the relata [Ladyman/Ross] |
| Full Idea: The idea that there could be relations which do not supervene on the properties of their relata runs counter to a deeply entrenched way of thinking. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.4) | |
| A reaction: Ladyman and Ross are trying to defend the idea of 'structure' which is independent of the objects that occupy the nodes of the structure. Tricky. |
| 14931 | That there are existent structures not made of entities is no stranger than the theory of universals [Ladyman/Ross] |
| Full Idea: Is the main metaphysical idea we propose (of existent structures that are not composed out of more basic entities) any more obscure or bizarre than the instantiation relation in the theory of universals? | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.5) | |
| A reaction: No, it is not more bizarre than that, but that isn't much of a reason to believe their theory. See Idea 8699, and many ideas about structure in mathematics. Ladyman and Ross still smack of platonism, even if they are rooted in particle physics. |
| 14932 | Causal essentialism says properties are nothing but causal relations [Ladyman/Ross] |
| Full Idea: Causal essentialism is the doctrine that the causal relations that properties bear to other properties exhaust their natures. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.5 n50) | |
| A reaction: [They cite Shoemaker, Mumford and Bird for this] Personally I don't see this view as offering relations as fundamental. The whole point is to explain everything. The only plausible primitive notion is of a power - which then generates the relations. |
| 14920 | If science captures the modal structure of things, that explains why its predictions work [Ladyman/Ross] |
| Full Idea: If theorists are able sometimes to capture the objective modal structure of the world then it is no surprise that successful novel prediction sometimes works. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 2.4) | |
| A reaction: This is a rather important idea, particularly for my approach. I say we should demand more explanations, and explanations of successful prediction are far from obvious in a regularity account of nature. |
| 14952 | Things are constructs for tracking patterns (and not linguistic, because animals do it) [Ladyman/Ross] |
| Full Idea: Individual things are constructs built for second-best tracking of real patterns. They are not necessarily linguistic constructions, since some non-human animals almost certainly cognitively construct them. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 4.5) | |
| A reaction: Delighted to see animals making an appearance. Fans of language-based metaphysics please note. If they are fictional constructs, why do they do such a good job of tracking? What generates the 'superficial' appearance that there are objects? |
| 14950 | Maybe individuation can be explained by thermodynamic depth [Ladyman/Ross] |
| Full Idea: Scientists have developed principles for understanding individuation in terms of the production of thermodynamic depth. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 4.5) | |
| A reaction: [They cite J.Collier for this view] Interesting, even though I don't really understand 'thermodynamic depth'. Ladyman and Ross reject it, but there is a whiff of a theory of individuation from within physics. |
| 10995 | A haecceity is a set of individual properties, essential to each thing [Read] |
| Full Idea: The haecceitist (a neologism coined by Duns Scotus, pronounced 'hex-ee-it-ist', meaning literally 'thisness') believes that each thing has an individual essence, a set of properties which are essential to it. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
| A reaction: This seems to be a difference of opinion over whether a haecceity is a set of essential properties, or a bare particular. The key point is that it is unique to each entity. |
| 14927 | Physics seems to imply that we must give up self-subsistent individuals [Ladyman/Ross] |
| Full Idea: There is growing convergence among philosophers of physics that physics motivates abandonment of a metaphysics that posits fundamental self-subsistent individuals. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.4) | |
| A reaction: They cite fermions as an example, which only seem to be given an identity by the relations into which they enter. It is a bit cheeky to simultaneously offer this idea, and despise van Inwagen and Merricks for the same object nihilism. |
| 14944 | There is no single view of individuals, because different sciences operate on different scales [Ladyman/Ross] |
| Full Idea: There is no single account of what individuals there are because, we argue, the special sciences may disagree about the bounds and status of individuals since they describe the world at different scales. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.8) | |
| A reaction: This seems to deny that nature has actual joints, and so seems to me to be a form of anti-realism (which they would deny). Why shouldn't there be a single view which unites all of these special sciences? |
| 14946 | There are no cats in quantum theory, and no mountains in astrophysics [Ladyman/Ross] |
| Full Idea: At the quantum scale there are no cats; at scales appropriate for astrophysics there are no mountains. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 4.2) | |
| A reaction: I don't find this convincing. Since cats are made of quantised entities, they do exist in that world, but are of little interest when trying to understand it. Similarly, astrophysicists hardly deny the existence of mountains! |
| 14928 | Things are abstractions from structures [Ladyman/Ross] |
| Full Idea: Individual things are locally focused abstractions from modal structure. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.4) | |
| A reaction: I am a fan of the role of abstraction in our understanding of the world, despite my limited progress in trying to explicate the idea. I can't decide whether or not there are any things. A bit basic, that! |
| 14892 | The idea of composition, that parts of the world are 'made of' something, is no longer helpful [Ladyman/Ross] |
| Full Idea: It is no longer helpful to conceive of either the world, or particular systems of the world that we study in partial isolation, as 'made of' anything at all. …Our target here is the metaphysical idea of composition. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 1.1) | |
| A reaction: This is argued by them from the point of view of fundamental physics as the provider of our basic metaphysics about the world. Personally I really really want to know what electrons are made of, but I know no one is going to tell me. They may even laugh. |
| 14949 | A sum of things is not a whole if the whole does not support some new generalisation [Ladyman/Ross] |
| Full Idea: A nostril, a city and a trumpet solo is not a real pattern, because identification of it supports no generalisations not supported by identification of the three conjuncts considered separately. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 4.4) | |
| A reaction: This is a nice try at offering a criterion for unity, but I doubt whether it will work, because an ingenious person could come up with wild generalisations. These three combined make possible a charming new line of poetry. |
| 14951 | We treat the core of a pattern as an essence, in order to keep track of it [Ladyman/Ross] |
| Full Idea: We focus on diagnostic features of real patterns that we can treat as 'core', which reliably predict that our attention is still tracking the same real pattern. These are Locke's 'essence of particulars', or Putnam's 'hidden structures'. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 4.5) | |
| A reaction: They seemed to be ashamed of themselves for proposing this, and call it a 'second-best' epistemological device. They seem to imply that they are useful fictions, but why shouldn't the hidden structures be real? They might both identify and explain. |
| 14958 | A continuous object might be a type, with instances at each time [Ladyman/Ross] |
| Full Idea: Why should not 'Napoleon' be a type, of which 'Napoleon in 1805' and 'Napoleon in 1813' are instances? | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 5.6) | |
| A reaction: That is very nice. That might be a view that suits presentism, where the timed instances never co-exist, and so have the sort of abstract existence that we associate with types. |
| 11001 | Equating necessity with truth in every possible world is the S5 conception of necessity [Read] |
| Full Idea: The equation of 'necessity' with 'true in every possible world' is known as the S5 conception, corresponding to the strongest of C.I.Lewis's five modal systems. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
| A reaction: Are the worlds naturally, or metaphysically, or logically possible? |
| 14903 | Quantum mechanics seems to imply single-case probabilities [Ladyman/Ross] |
| Full Idea: Quantum mechanics seems to imply single-case probabilities. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 1.2.3) | |
| A reaction: I know they keep telling us about such things, but I remain cautious. I think all the physicists have done is delved a bit deeper into something they don't understand. |
| 14923 | In quantum statistics, two separate classical states of affairs are treated as one [Ladyman/Ross] |
| Full Idea: In quantum statistics, what would be regarded as two possible states of affairs classically is treated as one possible state of affairs. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.1) |
| 11017 | Some people even claim that conditionals do not express propositions [Read] |
| Full Idea: Some people even claim that conditionals do not express propositions. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.7) | |
| A reaction: See Idea 14283, where this appears to have been 'proved' by Lewis, and is not just a view held by some people. |
| 10989 | The standard view of conditionals is that they are truth-functional [Read] |
| Full Idea: The standard view of conditionals is that they are truth-functional, that is, that their truth-values are determined by the truth-values of their constituents. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.3) |
| 10992 | The point of conditionals is to show that one will accept modus ponens [Read] |
| Full Idea: The point of conditionals is to show that one will accept modus ponens. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.3) | |
| A reaction: [He attributes this idea to Frank Jackson] This makes the point, against Grice, that the implication of conditionals is not conversational but a matter of logical convention. See Idea 21396 for a very different view. |
| 14185 | Conditionals are just a shorthand for some proof, leaving out the details [Read] |
| Full Idea: Truth enables us to carry various reports around under certain descriptions ('what Iain said') without all the bothersome detail. Similarly, conditionals enable us to transmit a record of proof without its detail. | |
| From: Stephen Read (Formal and Material Consequence [1994], 'Repres') | |
| A reaction: This is his proposed Redundancy Theory of conditionals. It grows out of the problem with Modus Ponens mentioned in Idea 14184. To say that there is always an implied 'proof' seems a large claim. |
| 10983 | Knowledge of possible worlds is not causal, but is an ontology entailed by semantics [Read] |
| Full Idea: The modal Platonist denies that knowledge always depends on a causal relation. The reality of possible worlds is an ontological requirement, to secure the truth-values of modal propositions. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
| A reaction: [Reply to Idea 10982] This seems to be a case of deriving your metaphyics from your semantics, of which David Lewis seems to be guilty, and which strikes me as misguided. |
| 10982 | How can modal Platonists know the truth of a modal proposition? [Read] |
| Full Idea: If modal Platonism was true, how could we ever know the truth of a modal proposition? | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
| A reaction: I take this to be very important. Our knowledge of modal truths must depend on our knowledge of the actual world. The best answer seems to involve reference to the 'powers' of the actual world. A reply is in Idea 10983. |
| 10996 | Actualism is reductionist (to parts of actuality), or moderate realist (accepting real abstractions) [Read] |
| Full Idea: There are two main forms of actualism: reductionism, which seeks to construct possible worlds out of some more mundane material; and moderate realism, in which the actual concrete world is contrasted with abstract, but none the less real, possible worlds. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
| A reaction: I am a reductionist, as I do not take abstractions to be 'real' (precisely because they have been 'abstracted' from the things that are real). I think I will call myself a 'scientific modalist' - we build worlds from possibilities, discovered by science. |
| 10981 | A possible world is a determination of the truth-values of all propositions of a domain [Read] |
| Full Idea: A possible world is a complete determination of the truth-values of all propositions over a certain domain. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
| A reaction: Even if the domain is very small? Even if the world fitted the logic nicely, but was naturally impossible? |
| 11000 | If worlds are concrete, objects can't be present in more than one, and can only have counterparts [Read] |
| Full Idea: If each possible world constitutes a concrete reality, then no object can be present in more than one world - objects may have 'counterparts', but cannot be identical with them. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
| A reaction: This explains clearly why in Lewis's modal realist scheme he needs counterparts instead of rigid designation. Sounds like a slippery slope. If you say 'Humphrey might have won the election', who are you talking about? |
| 7898 | The world is just the illusion of an appearance [Anon (Dham)] |
| Full Idea: When a man considers this world as a bubble of froth, and as the illusion of an appearance, then the king of death has no power over him. | |
| From: Anon (Dham) (The DhammaPada [c.250 BCE], §13.170) | |
| A reaction: Strictly, of course, this says you can 'consider' things this way. Perhaps we could substitute 'pretends', but the world's great religions don't go in for that sort of thing. Berkeley would be shocked to learn he was approaching Buddhism. |
| 14955 | Rats find some obvious associations easier to learn than less obvious ones [Ladyman/Ross] |
| Full Idea: Contrary to early behaviourist dogma, associations are not all equally learnable. Rats learn to associate eating with nausea, and a flash with a shock, much more easily than either complementary pairing. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 5.2) | |
| A reaction: That looks like an argue for some sort of innate knowledge, but experiments to disentangle eating from nausea must be rather hard to set up. |
| 14918 | The doctrine of empiricism does not itself seem to be empirically justified [Ladyman/Ross] |
| Full Idea: If to be an empiricist is to believe that 'experience is the sole source of information about the world', the problem is that this does not itself seem to be justifiable by experience. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 2.3.1) | |
| A reaction: [The quotation is from Van Fraassen 1985 p.253] This is the classic 'turning the tables' move in argument, invented by the Greeks. It is hard to offer anything other than intuition in the first move of any metaphysical theory. |
| 14891 | There is no reason to think our intuitions are good for science or metaphysics [Ladyman/Ross] |
| Full Idea: There is no reason to imagine that our habitual intuitions and inferential responses are well designed for science or for metaphysics. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 1.1) |
| 14915 | The theory of evolution was accepted because it explained, not because of its predictions [Ladyman/Ross] |
| Full Idea: Darwin's theory of evolution was accepted by the scientific community because of its systematizing and explanatory power, and in spite of its lack of novel predictive success. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 2.1.3) | |
| A reaction: I am keen on the centrality of explanation to all of our thinking, metaphysical as well as physical, so I like this one. In general I like accounts of science that pay more attention to biology, and less to physics. |
| 14916 | What matters is whether a theory can predict - not whether it actually does so [Ladyman/Ross] |
| Full Idea: We suggest a modal account of novel prediction. That a theory could predict some unknown phenomenon is what matters, not whether it actually did so predict. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 2.1.3) | |
| A reaction: They also emphasise predicting new types of thing, rather than particular items. Some theories are powerful on explanation, but not so concerned with prediction. See Idea 14915. |
| 14922 | The Ramsey sentence describes theoretical entities; it skips reference, but doesn't eliminate it [Ladyman/Ross] |
| Full Idea: It is a mistake to think that the Ramsey sentence allows us to eliminate theoretical entities, for it still states that they exist. It is just that they are referred to not directly, by means of theoretical terms, but by description. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 2.4.1) |
| 14921 | The Ramsey-sentence approach preserves observations, but eliminates unobservables [Ladyman/Ross] |
| Full Idea: If one replaces the assertions of a first-order theory with its Ramsey sentence (giving a quantified predicate variable for a theoretical term), the observational consequences are carried over, but direct reference to unobservables is eliminated. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 2.4.1) | |
| A reaction: Thus this rewriting of theories is popular with empiricists, and this draws attention to the way you can change the ontological commitments simply by paraphrase. ...However, see Idea 14922. |
| 14953 | Induction is reasoning from the observed to the unobserved [Ladyman/Ross] |
| Full Idea: Induction is any form of reasoning that proceeds from claims about observed phenomena to claims about unobserved phenomena. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 4.5) | |
| A reaction: Most accounts of induction seem to imply that they lead to generalisations, rather than just some single unobserved thing. This definition is in line with David Lewis's. |
| 14914 | Inductive defences of induction may be rule-circular, but not viciously premise-circular [Ladyman/Ross] |
| Full Idea: The inductive defence of induction may be circular but not viciously so, because it is rule circular (defending the rule being used) but not premise circular (where the conclusion is in one of the premises). | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 2.1.2) | |
| A reaction: [They cite Braithwaite 1953 and Carnap 1952 for this] This strikes me as clutching at straws, when the whole procedure of induction is inescapably precarious. It is simply all we have available. |
| 14913 | We explain by deriving the properties of a phenomenon by embedding it in a large abstract theory [Ladyman/Ross] |
| Full Idea: Theoretical explanation is the derivation of the properties of a relatively concrete and observable phenomenon by means of an embedding into some larger, relatively abstract and unobservable theoretical structure. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 2.1.1) | |
| A reaction: [they are citing Michael Friedman 1981 p.1] This sounds like covering law explanation, but the theoretical structure will be a set of intersecting laws, rather than a single law. How do you explain the theoretical structure? |
| 10998 | The mind abstracts ways things might be, which are nonetheless real [Read] |
| Full Idea: Ways things might be are real, but only when abstracted from the actual way things are. They are brought out and distinguished by the mind, by abstraction, but are not dependent on mind for their existence. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
| A reaction: To me this just flatly contradicts itself. The idea that the mind can 'bring something out' by its operations, with the result being then accepted as part of reality is nonsense on stilts. What is real is the powers that make the possibilities. |
| 14930 | Maybe the only way we can think about a domain is by dividing it up into objects [Ladyman/Ross] |
| Full Idea: Speculating cautiously about psychology, it is possible that dividing a domain up into objects is the only way we can think about it. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.5) | |
| A reaction: Typical physicists - they speculate about psychology instead of studying it. Have they no respect for science? Neverthless my speculative psychology agrees with theirs. This fact may well be the key to all of metaphysics. |
| 14939 | Two versions of quantum theory say that the world is deterministic [Ladyman/Ross] |
| Full Idea: In the Bohm version of quantum theory, and the Everett approach, the world comes out deterministic after all. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.7.2) | |
| A reaction: This is just in case anyone wants to trumpet the idea that quantum theory has established indeterminism. It is particularly daft to think that quantum indeterminacy makes free will possible (or even actual). |
| 14911 | Science is opposed to downward causation [Ladyman/Ross] |
| Full Idea: When someone pronounces for downward causation they are in opposition to science. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 1.6 n54) | |
| A reaction: Downward causation is the key issue in any debate about whether minds exhibit excitingly 'emergent' properties that somehow put them outside the realm of normal physics. I take that to be nonsense, and I side with science here. |
| 11005 | Negative existentials with compositionality make the whole sentence meaningless [Read] |
| Full Idea: A problem with compositionality is negative existential propositions. If some of the terms of the proposition are empty, and don't refer, then compositionality implies that the whole will lack meaning too. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.5) | |
| A reaction: I don't agree. I don't see why compositionality implies holism about sentence-meaning. If I say 'that circular square is a psychopath', you understand the predication, despite being puzzled by the singular term. |
| 10966 | A proposition objectifies what a sentence says, as indicative, with secure references [Read] |
| Full Idea: A proposition makes an object out of what is said or expressed by the utterance of a certain sort of sentence, namely, one in the indicative mood which makes sense and doesn't fail in its references. It can then be an object of thought and belief. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.1) | |
| A reaction: Nice, but two objections: I take it to be crucial to propositions that they eliminate ambiguities, and I take it that animals are capable of forming propositions. Read seems to regard them as fictions, but I take them to be brain events. |
| 7894 | Hate is conquered by love [Anon (Dham)] |
| Full Idea: Hate is not conquered by hate: hate is conquered by love. This is the law eternal. | |
| From: Anon (Dham) (The DhammaPada [c.250 BCE], §1.5) | |
| A reaction: [N.B. This thought was not invented by Jesus] The challenge to this view might be the tit-for-tat strategy of game theory, which says that hate is actually conquered by a combination of hate and love, judiciously applied. |
| 7899 | Even divine pleasure will not satisfy the wise, as it is insatiable, and leads to pain [Anon (Dham)] |
| Full Idea: Since a shower of gold coins could not satisfy craving desires and the end of all pleasure is pain, how could a wise man find satisfaction even in the pleasures of the gods? | |
| From: Anon (Dham) (The DhammaPada [c.250 BCE], §14.186) | |
| A reaction: I'm never sure how so many ancient thinkers arrived at this implausible view. They seem to think that no one knows when to stop, and that every drink leads to hangover. What is actually wrong with moderate sensible pleasure? |
| 7896 | The foolish gradually fill with evil, like a slowly-filled water-jar [Anon (Dham)] |
| Full Idea: The falling of drops of water will in time fill a water-jar. Even so the foolish man becomes full of evil, although he gather it little by little. | |
| From: Anon (Dham) (The DhammaPada [c.250 BCE], §9.121) | |
| A reaction: This coincides closely with Aristotle's view of moral education. Maybe a wise man can maintain one small vice. Not all slopes are slippery. |
| 7897 | The wise gradually fill with good, like a slowly-filled water-jar [Anon (Dham)] |
| Full Idea: The falling of drops of water will in time fill a water-jar. Even so the wise man becomes full of good, although he gather it little by little. | |
| From: Anon (Dham) (The DhammaPada [c.250 BCE], §9.122) | |
| A reaction: Again, this is like Aristotle's proposal of how to educate people in virtue. In my experience, there is no guarantee that small acts of politeness and charity will eventually guarantee goodness of character. Thought is also needed. |
| 7895 | Don't befriend fools; either find superior friends, or travel alone [Anon (Dham)] |
| Full Idea: If on the great journey of life a man cannot find one who is better or at least as good as himself, let him joyfully travel alone: a fool cannot help him on his journey. | |
| From: Anon (Dham) (The DhammaPada [c.250 BCE], §5.61) | |
| A reaction: This is a slightly disturbing aspect of Buddhism, possibly leading to contradiction. It urges friendship and love, but the finest people will have virtually no friends, and solitude is presented as a finer state than friendship. |
| 14956 | Explanation by kinds and by clusters of properties just express the stability of reality [Ladyman/Ross] |
| Full Idea: Philosophers sometimes invoke natural kinds as if they explain the possibility of explanation. This is characteristically neo-scholastic. That anything can be explained, and that properties cluster together, express one fact: reality is relatively stable. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 5.6) | |
| A reaction: Odd idea. I would have thought that if there are indeed kinds and clusters, this would explain a great deal more than mere stability. Or, more accurately, they would invite a more substantial explanation than mere stability would seem to need. |
| 14957 | There is nothing more to a natural kind than a real pattern in nature [Ladyman/Ross] |
| Full Idea: Everything that a naturalist could legitimately want from the concept of a natural kind can be had simply by reference to real patterns. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 5.6) | |
| A reaction: I think I agree with this, and with the general idea that natural kinds are overrated. There are varying degrees of stability in nature, and where there is a lot of stability our inductive reasoning can get to work. And that's it. |
| 14954 | Causation is found in the special sciences, but may have no role in fundamental physics [Ladyman/Ross] |
| Full Idea: The idea of causation, as it is used in science, finds its exemplars in the special sciences, and it is presently open empirical question whether that notion will have any ultimate role to play in fundamental physics. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 4.5) | |
| A reaction: Note that they seem to always have a notion of 'ultimate' physics hovering over their account. I wonder. There is nothing in this idea to make me think that I should eliminate the idea of causation from my metaphysics. |
| 14902 | Science may have uninstantiated laws, inferred from approaching some unrealised limit [Ladyman/Ross] |
| Full Idea: It is possible that uninstantiated laws can be established in science, and consequently bear explanatory weight, ..if we need reasons for thinking that the closer conditions get to some limit, the more they approximate to some ideal. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 1.2.3) | |
| A reaction: [The cite Hüttemann 2004] I am dubious about laws, but I take this to be a point in favour of inference to the best explanation, and against accounts of laws as supervenient of how things actually are. |
| 14937 | That the universe must be 'made of' something is just obsolete physics [Ladyman/Ross] |
| Full Idea: It is a metaphysical residue of obsolete physics to suppose that the universe is 'made of' anything. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.7.2) | |
| A reaction: They quote Smolin as saying that it is 'processes' which are fundamental. And yet surely there must be something there to undergo a process? Surely we don't have eternal platonic processes? |
| 14900 | In physics, matter is an emergent phenomenon, not part of fundamental ontology [Ladyman/Ross] |
| Full Idea: Physics has taught us that matter in the sense of extended stuff is an emergent phenomenon that has no counterpart in fundamental ontology. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 1.2.3) | |
| A reaction: They contrast this point with futile debates among philosopher between atomists (partless particles) and gunkists (parts all the way down). |
| 14901 | Spacetime may well be emergent, rather than basic [Ladyman/Ross] |
| Full Idea: Contemporary physics takes very seriously the idea that spacetime itself is emergent from some more fundamental structure. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 1.2.3) |
| 14924 | If spacetime is substantial, what is the substance? [Ladyman/Ross] |
| Full Idea: It is fair to ask: if spacetime is a substance, what is the substance in question? | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.2) | |
| A reaction: Personally I love the question 'If it exists, what is it made of?', though physicists seem to think that this reveals a gormless misunderstanding. To my question Keith Hossack retorted 'What are the atoms made of?' |
| 14938 | A fixed foliation theory of quantum gravity could make presentism possible [Ladyman/Ross] |
| Full Idea: It has been pointed out that presentism is an open question in so far as a fixed foliation theory of quantum gravity has not been ruled out. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.7.2 n75) | |
| A reaction: [They cite B.Monton for this point] I don't understand this idea, but I'll have it anyway. Google 'fixed foliation' for me, as I'm too busy. |
| 7900 | Speak the truth, yield not to anger, give what you can to him who asks [Anon (Dham)] |
| Full Idea: Speak the truth, yield not to anger, give what you can to him who asks: these three steps lead you to the gods | |
| From: Anon (Dham) (The DhammaPada [c.250 BCE], §17.224) | |
| A reaction: I don't recall either the Old or New Testament, or the Koran, placing great emphasis on speaking the truth. The injunction to give is not so simple. Give to greedy children, to alcoholics, to criminals, to the rich, to fools, to yourself? |