30 ideas
15647 | Truth definitions don't produce a good theory, because they go beyond your current language [Halbach] |
Full Idea: It is far from clear that a definition of truth can lead to a philosophically satisfactory theory of truth. Tarski's theorem on the undefinability of the truth predicate needs resources beyond those of the language for which it is being defined. | |
From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) | |
A reaction: The idea is that you need a 'metalanguage' for the definition. If I say 'p' is a true sentence in language 'L', I am not making that observation from within language L. The dream is a theory confined to the object language. |
15649 | In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach] |
Full Idea: In semantic theories of truth (Tarski or Kripke), a truth predicate is defined for an object-language. This definition is carried out in a metalanguage, which is typically taken to include set theory or another strong theory or expressive language. | |
From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) | |
A reaction: Presumably the metalanguage includes set theory because that connects it with mathematics, and enables it to be formally rigorous. Tarski showed, in his undefinability theorem, that the meta-language must have increased resources. |
15655 | Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach] |
Full Idea: If truth is not explanatory, truth axioms should not allow proof of new theorems not involving the truth predicate. It is hence said that axiomatic truth should be 'conservative' - not implying further sentences beyond what the axioms can prove. | |
From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3) | |
A reaction: [compressed] |
15654 | If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach] |
Full Idea: If truth can be explicitly defined, it can be eliminated, whereas an axiomatized notion of truth may bring all kinds of commitments. | |
From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3) | |
A reaction: The general principle that anything which can be defined can be eliminated (in an abstract theory, presumably, not in nature!) raises interesting questions about how many true theories there are which are all equivalent to one another. |
15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach] |
Full Idea: The axiomatic approach does not presuppose that truth can be defined. Instead, a formal language is expanded by a new primitive predicate of truth, and axioms for that predicate are then laid down. | |
From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) | |
A reaction: Idea 15647 explains why Halbach thinks the definition route is no good. |
15650 | Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach] |
Full Idea: Axiomatic theories of truth can be presented within very weak logical frameworks which require very few resources, and avoid the need for a strong metalanguage and metatheory. | |
From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) |
15656 | Deflationists say truth merely serves to express infinite conjunctions [Halbach] |
Full Idea: According to many deflationists, truth serves merely the purpose of expressing infinite conjunctions. | |
From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3) | |
A reaction: That is, it asserts sentences that are too numerous to express individually. It also seems, on a deflationist view, to serve for anaphoric reference to sentences, such as 'what she just said is true'. |
15657 | To prove the consistency of set theory, we must go beyond set theory [Halbach] |
Full Idea: The consistency of set theory cannot be established without assumptions transcending set theory. | |
From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 2.1) |
15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
Full Idea: The reduction of 2nd-order theories (of properties or sets) to axiomatic theories of truth may be conceived as a form of reductive nominalism, replacing existence assumptions (for comprehension axioms) by ontologically innocent truth assumptions. | |
From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.1) | |
A reaction: I like this very much, as weeding properties out of logic (without weeding them out of the world). So-called properties in logic are too abundant, so there is a misfit with their role in science. |
21677 | How can the not-true fail to be false, or the not-false fail to be true? [Cicero] |
Full Idea: How can something that is not true not be false, or how can something that is not false not be true? | |
From: M. Tullius Cicero (On Fate ('De fato') [c.44 BCE], 16.38) | |
A reaction: We must at least distinguish between whether the contrary thing is not actually true, or whether we are prepared to assert that it is not true. The disjunction may seem to be a false dichotomy. 'He isn't good' may not entail 'he is evil'. |
15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
Full Idea: Quantification over (certain) properties can be mimicked in a language with a truth predicate by quantifying over formulas. Instead of saying that Tom has the property of being a poor philosopher, we can say 'x is a poor philosopher' is true of Tom. | |
From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.1) | |
A reaction: I love this, and think it is very important. He talks of 'mimicking' properties, but I see it as philosophers mistakenly attributing properties, when actually what they were doing is asserting truths involving certain predicates. |
16185 | Causality indicates which properties are real [Cartwright,N] |
Full Idea: Causality is a clue to what properties are real. | |
From: Nancy Cartwright (How the Laws of Physics Lie [1983], 9.3) | |
A reaction: An interesting variant on the Shoemaker proposal that properties actually are causal. I'm not sure that there is anything more to causality that the expression in action of properties, which I take to be powers. Structures are not properties. |
16182 | Two main types of explanation are by causes, or by citing a theoretical framework [Cartwright,N] |
Full Idea: In explaining a phenomenon one can cite the causes of that phenomenon; or one can set the phenomenon in a general theoretical framework. | |
From: Nancy Cartwright (How the Laws of Physics Lie [1983], 4.1) | |
A reaction: The thing is, you need to root an explanation in something taken as basic, and theoretical frameworks need further explanation, whereas causes seem to be basic. |
16184 | An explanation is a model that fits a theory and predicts the phenomenological laws [Cartwright,N] |
Full Idea: To explain a phenomenon is to find a model that fits it into the basic framework of the theory and that thus allows us to derive analogues for the messy and complicated phenomenological laws that are true of it. | |
From: Nancy Cartwright (How the Laws of Physics Lie [1983], 8.3) | |
A reaction: This summarises the core of her view in this book. She is after models rather than laws, and the models are based on causes. |
16171 | The covering law view assumes that each phenomenon has a 'right' explanation [Cartwright,N] |
Full Idea: The covering-law account supposes that there is, in principle, one 'right' explanation for each phenomenon. | |
From: Nancy Cartwright (How the Laws of Physics Lie [1983], Intro) | |
A reaction: Presumably the law is held to be 'right', but there must be a bit of flexibility in describing the initial conditions, and the explanandum itself. |
16167 | Laws get the facts wrong, and explanation rests on improvements and qualifications of laws [Cartwright,N] |
Full Idea: We explain by ceteris paribus laws, by composition of causes, and by approximations that improve on what the fundamental laws dictate. In all of these cases the fundamental laws patently do not get the facts right. | |
From: Nancy Cartwright (How the Laws of Physics Lie [1983], Intro) | |
A reaction: It is rather headline-grabbing to say in this case that laws do not get the facts right. If they were actually 'wrong' and 'lied', there wouldn't be much point in building explanations on them. |
16169 | Laws apply to separate domains, but real explanations apply to intersecting domains [Cartwright,N] |
Full Idea: When different kinds of causes compose, we want to explain what happens in the intersection of different domains. But the laws we use are designed only to tell truly what happens in each domain separately. | |
From: Nancy Cartwright (How the Laws of Physics Lie [1983], Intro) | |
A reaction: Since presumably the laws are discovered through experiments which try to separate out a single domain, in those circumstances they actually are true, so they don't 'lie'. |
16176 | Covering-law explanation lets us explain storms by falling barometers [Cartwright,N] |
Full Idea: Much criticism of the original covering-law model objects that it lets in too much. It seems we can explain Henry's failure to get pregnant by his taking birth control pills, and we can explain the storm by the falling barometer. | |
From: Nancy Cartwright (How the Laws of Physics Lie [1983], 2.0) | |
A reaction: I take these examples to show that true explanations must be largely causal in character. The physicality of causation is what matters, not 'laws'. I'd say the same of attempts to account for causation through counterfactuals. |
16177 | I disagree with the covering-law view that there is a law to cover every single case [Cartwright,N] |
Full Idea: Covering-law theorists tend to think that nature is well-regulated; in the extreme, that there is a law to cover every case. I do not. | |
From: Nancy Cartwright (How the Laws of Physics Lie [1983], 2.2) | |
A reaction: The problem of coincidence is somewhere at the back of this thought. Innumerable events have their own explanations, but it is hard to explain their coincidence (see Aristotle's case of bumping into a friend in the market). |
16180 | You can't explain one quail's behaviour by just saying that all quails do it [Cartwright,N] |
Full Idea: 'Why does that quail in the garden bob its head up and down in that funny way whenever it walks?' …'Because they all do'. | |
From: Nancy Cartwright (How the Laws of Physics Lie [1983], 3.5) | |
A reaction: She cites this as an old complaint against the covering-law model of explanation. It captures beautifully the basic error of the approach. We want to know 'why', rather than just have a description of the pattern. 'They all do' is useful information. |
16183 | In science, best explanations have regularly turned out to be false [Cartwright,N] |
Full Idea: There are a huge number of cases in the history of science where we now know our best explanations were false. | |
From: Nancy Cartwright (How the Laws of Physics Lie [1983], 5.3) | |
A reaction: [She cites Laudan 1981 for this] The Ptolemaic system and aether are the standard example cited for this. I believe strongly in the importance of best explanation. Only a fool would just accept the best explanation available. Coherence is needed. |
21667 | Oratory and philosophy are closely allied; orators borrow from philosophy, and ornament it [Cicero] |
Full Idea: There is a close alliance between the orator and the philosophical system of which I am a follower, since the orator borrows subtlely from the Academy, and repays the loan by giving to it a copious and flowing style and rhetorical ornament. | |
From: M. Tullius Cicero (On Fate ('De fato') [c.44 BCE], 02.03) | |
A reaction: It is a misundertanding to think that rhetoric and philosophy are seen as in necessary opposition. Philosophers just seemed to think that oratory works a lot better if it is truthful. |
21678 | If desire is not in our power then neither are choices, so we should not be praised or punished [Cicero] |
Full Idea: If the cause of desire is not situated within us, even desire itself is also not in our power. ...It follows that neither assent nor action is in our power. Hence there is no justice in either praise or blame, either honours or punishments. | |
From: M. Tullius Cicero (On Fate ('De fato') [c.44 BCE], 17.40) | |
A reaction: This is the view of 'old philosophers', but I'm unsure which ones. Cicero spurns this view. It is obvious that the causes of our desires are largely out of our control. Responsibility seems to concern what we do about our desires. |
16175 | A cause won't increase the effect frequency if other causes keep interfering [Cartwright,N] |
Full Idea: A cause ought to increase the frequency of the effect, but this fact may not show up in the probabilities if other causes are at work. | |
From: Nancy Cartwright (How the Laws of Physics Lie [1983], 1.1) | |
A reaction: [She cites Patrick Suppes for this one] Presumably in experimental situations you can weed out the interference, but that threatens to eliminate mere 'probability' entirely. |
6781 | There are fundamental explanatory laws (false!), and phenomenological laws (regularities) [Cartwright,N, by Bird] |
Full Idea: Nancy Cartwright distinguishes between 'fundamental explanatory laws', which we should not believe, and 'phenomenological laws', which are regularities established on the basis of observation. | |
From: report of Nancy Cartwright (How the Laws of Physics Lie [1983]) by Alexander Bird - Philosophy of Science Ch.4 | |
A reaction: The distinction is helpful, so that we can be clearer about what everyone is claiming. We can probably all agree on the phenomenological laws, which are epistemological. Personally I claim truth for the best fundamental explanatory laws. |
16166 | Laws of appearances are 'phenomenological'; laws of reality are 'theoretical' [Cartwright,N] |
Full Idea: Philosophers distinguish phenomenological from theoretical laws. Phenomenological laws are about appearances; theoretical ones are about the reality behind the appearances. | |
From: Nancy Cartwright (How the Laws of Physics Lie [1983], Intro) | |
A reaction: I'm suspecting that Humeans only really believe in the phenomenological kind. I'm only interested in the theoretical kind, and I take inference to the best explanation to be the bridge between the two. Cartwright rejects the theoretical laws. |
16179 | Good organisation may not be true, and the truth may not organise very much [Cartwright,N] |
Full Idea: There is no reason to think that the principles that best organise will be true, nor that the principles that are true will organise much. | |
From: Nancy Cartwright (How the Laws of Physics Lie [1983], 2.5) | |
A reaction: This is aimed at the Mill-Ramsey-Lewis account of laws, as axiomatisations of the observed patterns in nature. |
16178 | There are few laws for when one theory meets another [Cartwright,N] |
Full Idea: Where theories intersect, laws are usually hard to come by. | |
From: Nancy Cartwright (How the Laws of Physics Lie [1983], 2.3) | |
A reaction: There are attempts at so-called 'bridge laws', to get from complex theories to simple ones, but her point is well made about theories on the same 'level'. |
16170 | To get from facts to equations, we need a prepared descriptions suited to mathematics [Cartwright,N] |
Full Idea: To get from a detailed factual knowledge of a situation to an equation, we must prepare the description of the situation to meet the mathematical needs of the theory. | |
From: Nancy Cartwright (How the Laws of Physics Lie [1983], Intro) | |
A reaction: She is clearly on to something here, as Galileo is blatantly wrong in his claim that the book of nature is written in mathematics. Mathematics is the best we can manage in getting a grip on the chaos. |
16181 | Simple laws have quite different outcomes when they act in combinations [Cartwright,N] |
Full Idea: For explanation simple laws must have the same form when they act together as when they act singly. ..But then what the law states cannot literally be true, for the consequences that occur if it acts alone are not what occurs when they act in combination. | |
From: Nancy Cartwright (How the Laws of Physics Lie [1983], 3.6) | |
A reaction: This is Cartwright's basic thesis. Her point is that the laws 'lie', because they claim to predict a particular outcome which never ever actually occurs. She says we could know all the laws, and still not be able to explain anything. |