101 ideas
| 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. |
| 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. |
| 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. |
| 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) |
| 16295 | Tarski proved that truth cannot be defined from within a given theory [Tarski, by Halbach] |
| Full Idea: Tarski's Theorem states that under fairly generally applicable conditions, the assumption that there is a definition of truth within a given theory for the language of that same theory leads to a contradiction. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 1 | |
| A reaction: That might leave room for a definition outside the given theory. I take the main motivation for the axiomatic approach to be a desire to get a theory of truth within the given theory, where Tarski's Theorem says traditional approaches are just wrong. |
| 15342 | Tarski proved that any reasonably expressive language suffers from the liar paradox [Tarski, by Horsten] |
| Full Idea: Tarski's Theorem on the undefinability of truth says in a language sufficiently rich to talk about itself (which Gödel proved possible, via coding) the liar paradox can be carried out. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Leon Horsten - The Tarskian Turn 02.2 | |
| A reaction: The point is that truth is formally indefinable if it leads inescapably to contradiction, which the liar paradox does. This theorem is the motivation for all modern attempts to give a rigorous account of truth. |
| 19069 | 'True sentence' has no use consistent with logic and ordinary language, so definition seems hopeless [Tarski] |
| Full Idea: The possibility of a consistent use of 'true sentence' which is in harmony with the laws of logic and the spirit of everyday language seems to be very questionable, so the same doubt attaches to the possibility of constructing a correct definition. | |
| From: Alfred Tarski (The Concept of Truth for Formalized Languages [1933], §1) | |
| A reaction: This is often cited as Tarski having conclusively proved that 'true' cannot be defined from within a language, but his language here is much more circumspect. Modern critics say the claim depends entirely on classical logic. |
| 16296 | Tarski's Theorem renders any precise version of correspondence impossible [Tarski, by Halbach] |
| Full Idea: Tarski's Theorem applies to any sufficient precise version of the correspondence theory of truth, and all the other traditional theories of truth. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 1 | |
| A reaction: This is the key reason why modern thinkers have largely dropped talk of the correspondence theory. See Idea 16295. |
| 15339 | Tarski gave up on the essence of truth, and asked how truth is used, or how it functions [Tarski, by Horsten] |
| Full Idea: Tarski emancipated truth theory from traditional philosophy, by no longer posing Pilate's question (what is truth? or what is the essence of truth?) but instead 'how is truth used?', 'how does truth function?' and 'how can its functioning be described?'. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Leon Horsten - The Tarskian Turn 02.2 | |
| A reaction: Horsten, later in the book, does not give up on the essence of truth, and modern theorists are trying to get back to that question by following Tarski's formal route. Modern analytic philosophy at its best, it seems to me. |
| 16302 | Tarski did not just aim at a definition; he also offered an adequacy criterion for any truth definition [Tarski, by Halbach] |
| Full Idea: Tarski did not settle for a definition of truth, taking its adequacy for granted. Rather he proposed an adequacy criterion for evaluating the adequacy of definitions of truth. The criterion is his famous Convention T. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 3 | |
| A reaction: Convention T famously says the sentence is true if and only if a description of the sentence is equivalent to affirming the sentence. 'Snow is white' iff snow is white. |
| 19135 | Tarski enumerates cases of truth, so it can't be applied to new words or languages [Davidson on Tarski] |
| Full Idea: Tarski does not tell us how to apply his concept of truth to a new case, whether the new case is a new language or a word newly added to a language. This is because enumerating cases gives no clue for the next or general case. | |
| From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Donald Davidson - Truth and Predication 1 | |
| A reaction: His account has been compared to a telephone directory. We aim to understand the essence of anything, so that we can fully know it, and explain and predict how it will behave. Either truth is primitive, or I demand to know its essence. |
| 19138 | Tarski define truths by giving the extension of the predicate, rather than the meaning [Davidson on Tarski] |
| Full Idea: Tarski defined the class of true sentences by giving the extension of the truth predicate, but he did not give the meaning. | |
| From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Donald Davidson - Truth and Predication 1 | |
| A reaction: This is analogous to giving an account of the predicate 'red' as the set of red objects. Since I regard that as a hopeless definition of 'red', I am inclined to think the same of Tarski's account of truth. It works in the logic, but so what? |
| 4699 | Tarski made truth relative, by only defining truth within some given artificial language [Tarski, by O'Grady] |
| Full Idea: Tarski's account doesn't hold for natural languages. The general notion of truth is replaced by "true-in-L", where L is a formal language. Hence truth is relativized to each artificial language. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Paul O'Grady - Relativism Ch.2 | |
| A reaction: This is a pretty good indication that Tarski's theory is NOT a correspondence theory, even if its structure may sometimes give that impression. |
| 19324 | Tarski has to avoid stating how truths relate to states of affairs [Kirkham on Tarski] |
| Full Idea: Tarski has to define truths so as not to make explicit the relation between a true sentence and an obtaining state of affairs. ...He has to list each sentence separately, and simply assign it a state of affairs. | |
| From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Richard L. Kirkham - Theories of Truth: a Critical Introduction 5.8 | |
| A reaction: He has to avoid semantic concepts like 'reference', because he wants a physicalist theory, according to Kirkham. Thus the hot interest in theories of reference in the 1970s/80s. And also attempts to give a physicalist account of meaning. |
| 10672 | Tarskian semantics says that a sentence is true iff it is satisfied by every sequence [Tarski, by Hossack] |
| Full Idea: Tarskian semantics says that a sentence is true iff it is satisfied by every sequence, where a sequence is a set-theoretic individual, a set of ordered pairs each with a natural number as its first element and an object from the domain for its second. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Keith Hossack - Plurals and Complexes 3 |
| 15410 | Truth only applies to closed formulas, but we need satisfaction of open formulas to define it [Burgess on Tarski] |
| Full Idea: In Tarski's theory of truth, although the notion of truth is applicable only to closed formulas, to define it we must define a more general notion of satisfaction applicable to open formulas. | |
| From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by John P. Burgess - Philosophical Logic 1.8 | |
| A reaction: This is a helpful pointer to what is going on in the Tarski definition. It culminates in the 'satisfaction of all sequences', which presumable delivers the required closed formula. |
| 18811 | Tarski uses sentential functions; truly assigning the objects to variables is what satisfies them [Tarski, by Rumfitt] |
| Full Idea: Tarski invoked the notion of a sentential function, where components are replaced by appropriate variables. A function is then satisfied by assigning objects to variables. An assignment satisfies if the function is true of the things assigned. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Ian Rumfitt - The Boundary Stones of Thought 3.2 | |
| A reaction: [very compressed] This use of sentential functions, rather than sentences, looks like the key to Tarski's definition of truth. |
| 15365 | We can define the truth predicate using 'true of' (satisfaction) for variables and some objects [Tarski, by Horsten] |
| Full Idea: The truth predicate, says Tarski, should be defined in terms of the more primitive satisfaction relation: the relation of being 'true of'. The fundamental notion is a formula (containing the free variables) being true of a sequence of objects as values. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Leon Horsten - The Tarskian Turn 06.3 |
| 19314 | For physicalism, reduce truth to satisfaction, then define satisfaction as physical-plus-logic [Tarski, by Kirkham] |
| Full Idea: Tarski, a physicalist, reduced semantics to physical and/or logicomathematical concepts. He defined all semantic concepts, save satisfaction, in terms of truth. Then truth is defined in terms of satisfaction, and satisfaction is given non-semantically. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Richard L. Kirkham - Theories of Truth: a Critical Introduction 5.1 | |
| A reaction: The term 'logicomathematical' is intended to cover set theory. Kirkham says you can remove these restrictions from Tarski's theory, and the result is a version of the correspondence theory. |
| 19316 | Insight: don't use truth, use a property which can be compositional in complex quantified sentence [Tarski, by Kirkham] |
| Full Idea: Tarski's great insight is find another property, since open sentences are not truth. It must be had by open and genuine sentences. Clauses having it must generate it for the whole sentence. Truth can be defined for sentences by using it. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Richard L. Kirkham - Theories of Truth: a Critical Introduction 5.4 | |
| A reaction: The proposed property is 'satisfaction', which can (unlike truth) be a feature open sentences (such as 'x is green', which is satisfied by x='grass'), |
| 19175 | Tarski gave axioms for satisfaction, then derived its explicit definition, which led to defining truth [Tarski, by Davidson] |
| Full Idea: Tarski turned his axiomatic characterisation of satisfaction into an explicit definition of the satisfaction-predicate using some fancy set theoretical apparatus, and this in turn leads to the explicit definition of the truth predicate. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Donald Davidson - Truth and Predication 7 |
| 16303 | Tarski made truth respectable, by proving that it could be defined [Tarski, by Halbach] |
| Full Idea: Tarski's proof of the definability of truth allowed him to establish truth as a respectable notion by his standards. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 3 |
| 19134 | Tarski defined truth for particular languages, but didn't define it across languages [Davidson on Tarski] |
| Full Idea: Tarski defined various predicates of the form 's is true in L', each applicable to a single language, but he failed to define a predicate of the form 's is true in L' for variable 'L'. | |
| From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Donald Davidson - Truth and Predication 1 | |
| A reaction: You might say that no one defines 'tree' to be just 'in English', but we might define 'multiplies' to be in Peano Arithmetic. This indicates the limited and formal nature of what Tarski was trying to achieve. |
| 16304 | Tarski didn't capture the notion of an adequate truth definition, as Convention T won't prove non-contradiction [Halbach on Tarski] |
| Full Idea: Every really adequate theory of truth should also prove the law of non-contradiction. Therefore Tarski's notion of adequacy in Convention T fails to capture the intuitive notion of adequacy he is after. | |
| From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 3 | |
| A reaction: Tarski points out this weakness, in a passage quoted by Halbach. This obviously raises the question of what truth theories should prove, and this is explored by Halbach. If they start to prove arithmetic, we get nervous. Non-contradiction and x-middle? |
| 10969 | Tarski had a theory of truth, and a theory of theories of truth [Tarski, by Read] |
| Full Idea: Besides a theory of truth of his own, Tarski developed a theory of theories of truth. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Stephen Read - Thinking About Logic Ch.1 | |
| A reaction: The famous snow biconditional is the latter, and the recursive account based on satisfaction is the former. |
| 17746 | Tarski's 'truth' is a precise relation between the language and its semantics [Tarski, by Walicki] |
| Full Idea: Tarski's analysis of the concept of 'truth' ...is given a precise treatment as a particular relation between syntax (language) and semantics (the world). | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Michal Walicki - Introduction to Mathematical Logic History E.1 | |
| A reaction: My problem is that the concept of truth seems to apply to animal minds, which are capable of making right or wrong judgements, and of realising their errors. Tarski didn't make universal claims for his account. |
| 10821 | Physicalists should explain reference nonsemantically, rather than getting rid of it [Tarski, by Field,H] |
| Full Idea: Tarski work was to persuade physicalist that eliminating semantics was on the wrong track, and that we should explicate notions in the theory of reference nonsemantically rather than simply get rid of them. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Hartry Field - Tarski's Theory of Truth §3 |
| 10904 | Tarskian truth neglects the atomic sentences [Mulligan/Simons/Smith on Tarski] |
| Full Idea: The Tarskian account of truth neglects the atomic sentences. | |
| From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Mulligan/Simons/Smith - Truth-makers §1 | |
| A reaction: Yes! The whole Tarskian edifice is built on a foundation which it is taboo even to mention. If truth is just the assignment of 'T' and 'F', that isn't even the beginnings of a theory of 'truth'. |
| 2571 | Tarski says that his semantic theory of truth is completely neutral about all metaphysics [Tarski, by Haack] |
| Full Idea: Tarski says "we may remain naïve realists or idealists, empiricists or metaphysicians… The semantic conception is completely neutral toward all these issues." | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Susan Haack - Philosophy of Logics 7.5 |
| 10822 | A physicalist account must add primitive reference to Tarski's theory [Field,H on Tarski] |
| Full Idea: We need to add theories of primitive reference to Tarski's account if we are to establish the notion of truth as a physicalistically acceptable notion. | |
| From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Hartry Field - Tarski's Theory of Truth §4 | |
| A reaction: This is the main point of Field's paper, and sounds very plausible to me. There is something major missing from Tarski, and at some point there needs to be a 'primitive' notion of thought and language making contact with the world, as it can't be proved. |
| 16306 | Tarski defined truth, but an axiomatisation can be extracted from his inductive clauses [Tarski, by Halbach] |
| Full Idea: Tarski preferred a definition of truth, but from that an axiomatisation can be extracted. His induction clauses can be turned into axioms. Hence he opened the way to axiomatic theories of truth. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 3 |
| 15322 | Tarski's had the first axiomatic theory of truth that was minimally adequate [Tarski, by Horsten] |
| Full Idea: Tarski's work is the earliest axiomatic theory of truth that meets minimal adequacy conditions. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Leon Horsten - The Tarskian Turn 01.1 | |
| A reaction: This shows a way in which Tarski gave a new direction to the study of truth. Subsequent theories have been 'stronger'. |
| 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. |
| 18759 | Identity is invariant under arbitrary permutations, so it seems to be a logical term [Tarski, by McGee] |
| Full Idea: Tarski showed that the only binary relations invariant under arbitrary permutations are the universal relation, the empty relation, identity and non-identity, thus giving us a reason to include '=' among the logical terms. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Vann McGee - Logical Consequence 6 | |
| A reaction: Tarski was looking for a criterion to distinguish logical from non-logical terms, since his account of logical validity depended on it. This idea lies behind whether a logic is or is not specified to be 'with identity' (i.e. using '='). |
| 10823 | A name denotes an object if the object satisfies a particular sentential function [Tarski] |
| Full Idea: To say that the name x denotes a given object a is the same as to stipulate that the object a ... satisfies a sentential function of a particular type. | |
| From: Alfred Tarski (The Concept of Truth for Formalized Languages [1933], p.194) |
| 18756 | Tarski built a compositional semantics for predicate logic, from dependent satisfactions [Tarski, by McGee] |
| Full Idea: Tarski discovered how to give a compositional semantics for predicate calculus, defining truth in terms of satisfaction, and showing how satisfaction for a complicated formula depends on satisfaction of the simple subformulas. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Vann McGee - Logical Consequence 4 | |
| A reaction: The problem was that the subformulas may contain free variables, and thus not be sentences with truth values. 'Satisfaction' can handle this, where 'truth' cannot (I think). |
| 19313 | Tarksi invented the first semantics for predicate logic, using this conception of truth [Tarski, by Kirkham] |
| Full Idea: Tarski invented a formal semantics for quantified predicate logic, the logic of reasoning about mathematics. The heart of this great accomplishment is his theory of truth. It has been called semantic 'theory' of truth, but Tarski preferred 'conception'. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Richard L. Kirkham - Theories of Truth: a Critical Introduction 5.1 |
| 16323 | The object language/ metalanguage distinction is the basis of model theory [Tarski, by Halbach] |
| Full Idea: Tarski's distinction between object and metalanguage forms the basis of model theory. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 11 |
| 8940 | Tarski avoids the Liar Paradox, because truth cannot be asserted within the object language [Tarski, by Fisher] |
| Full Idea: In Tarski's account of truth, self-reference (as found in the Liar Paradox) is prevented because the truth predicate for any given object language is never a part of that object language, and so a sentence can never predicate truth of itself. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Jennifer Fisher - On the Philosophy of Logic 03.I | |
| A reaction: Thus we solve the Liar Paradox by ruling that 'you are not allowed to say that'. Hm. The slightly odd result is that in any conversation about whether p is true, we end up using (logically speaking) two different languages simultaneously. Hm. |
| 10154 | Tarski's theory of truth shifted the approach away from syntax, to set theory and semantics [Feferman/Feferman on Tarski] |
| Full Idea: Tarski's theory of truth has been most influential in eventually creating a shift from the entirely syntactic way of doing things in metamathematics (promoted by Hilbert in the 1920s, in his theory of proofs), towards a set-theoretical, semantic approach. | |
| From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Feferman / Feferman - Alfred Tarski: life and logic Int III |
| 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. |
| 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. |
| 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! |
| 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? |
| 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. |
| 13857 | Truth-functional possibilities include the irrelevant, which is a mistake [Edgington] |
| Full Idea: How likely is a fair die landing on an even number to land six? My approach is, assume an even number, so three possibilities, one a six, so 'one third'; the truth-functional approach is it's true if it is not-even or six, so 'two-thirds'. | |
| From: Dorothy Edgington (Do Conditionals Have Truth Conditions? [1986], 3) | |
| A reaction: The point is that in the truth-functional approach, if the die lands not-even, then the conditional comes out as true, when she says it should be irrelevant. She seems to be right about this. |
| 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) |
| 13853 | It is a mistake to think that conditionals are statements about how the world is [Edgington] |
| Full Idea: The mistake philosophers have made, in trying to understand the conditional, is to assume that its function is to make a statement about how the world is (or how other possible worlds are related to it), true or false, as the case may be. | |
| From: Dorothy Edgington (Do Conditionals Have Truth Conditions? [1986], 1) | |
| A reaction: 'If pigs could fly we would never catch them' may not be about the world, but 'if you press this switch the light comes on' seems to be. Actually even the first one is about the world. I've an inkling that Edgington is wrong about this. Powers! |
| 13855 | A conditional does not have truth conditions [Edgington] |
| Full Idea: A conditional does not have truth conditions. | |
| From: Dorothy Edgington (Do Conditionals Have Truth Conditions? [1986], 1) |
| 13859 | X believes 'if A, B' to the extent that A & B is more likely than A & ¬B [Edgington] |
| Full Idea: X believes that if A, B, to the extent that he judges that A & B is nearly as likely as A, or (roughly equivalently) to the extent that he judges A & B to be more likely than A & ¬B. | |
| From: Dorothy Edgington (Do Conditionals Have Truth Conditions? [1986], 5) | |
| A reaction: This is a formal statement of her theory of conditionals. |
| 13854 | Conditionals express what would be the outcome, given some supposition [Edgington] |
| Full Idea: It is often necessary to suppose (or assume) that some epistemic possibility is true, and to consider what else would be the case, or would be likely to be the case, given this supposition. The conditional expresses the outcome of such thought processes. | |
| From: Dorothy Edgington (Do Conditionals Have Truth Conditions? [1986], 1) | |
| A reaction: This is the basic Edgington view. It seems to involve an active thought process, and imagination, rather than being the static semantic relations offered by possible worlds analyses. True conditionals state relationships in the world. |
| 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. |
| 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. |
| 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) |
| 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? |
| 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. |
| 20407 | Taste is the capacity to judge an object or representation which is thought to be beautiful [Tarski, by Schellekens] |
| Full Idea: Taste is the faculty for judging an object or a kind of representation through a satisfaction or a dissatisfaction, ...where the object of such a satisfaction is called beautiful. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Elizabeth Schellekens - Immanuel Kant (aesthetics) 1 | |
| A reaction: We usually avoid the word 'faculty' nowadays, because it implies a specific mechanism, but 'capacity' will do. Kant is said to focus specifically on beauty, whereas modern aestheticians have a broader view of the type of subject matter. |
| 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. |
| 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). |
| 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? |
| 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. |