Combining Texts

All the ideas for 'Axiomatic Theories of Truth (2005 ver)', 'Logic [1897]' and 'Reason, Truth and History'

unexpand these ideas     |    start again     |     specify just one area for these texts


33 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
For ancient Greeks being wise was an ethical value [Putnam]
     Full Idea: An ancient Greek would have said that being wise is an ethical value.
     From: Hilary Putnam (Reason, Truth and History [1981], Ch.6)
     A reaction: This is instantly appealing, but since the Enlightenment we are under an obligation to attempt to justify absolutely everything, including the value of wisdom. I'm thinking that it only has value if it leads to eudaimonia.
3. Truth / A. Truth Problems / 1. Truth
Putnam's epistemic notion of truth replaces the realism of correspondence with ontological relativism [Putnam, by O'Grady]
     Full Idea: Putnam replaces a correspondence theory of truth with an epistemic notion of truth - truth is idealized rational acceptability. The correspondence theory is committed to realism, but his allows ontological relativism.
     From: report of Hilary Putnam (Reason, Truth and History [1981]) by Paul O'Grady - Relativism Ch.3
     A reaction: This seems to be part of a slide by Putnam away from realism towards pragmatism. As a robust and defiant realist, this always strikes me as the road to hell.
3. Truth / A. Truth Problems / 2. Defining Truth
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.
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
Before Kant, all philosophers had a correspondence theory of truth [Putnam]
     Full Idea: Before Kant it is impossible to find any philosopher who did not have a correspondence theory of truth.
     From: Hilary Putnam (Reason, Truth and History [1981], Ch.3)
     A reaction: I don't believe this is true of Descartes. See ideas 2266 and 4298. Truth is 'clear and distinct' conceptions, but if you enlarge (and maybe socialise) 'clear' you get coherent. Descartes firmly avoids correspondence, because he can't trust 'facts'.
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
The correspondence theory is wrong, because there is no one correspondence between reality and fact [Putnam, by O'Grady]
     Full Idea: Putnam argues that theory does not correspond to reality, because there are myriad correspondences possible, and we cannot single out "the" relation of correspondence.
     From: report of Hilary Putnam (Reason, Truth and History [1981]) by Paul O'Grady - Relativism Ch.3
     A reaction: This obviously depends on views about reference and meaning. I don't see the problem in simple cases, which is all the correspondence theory needs. Complex cases, like chemistry, may well have ambiguities, but so what?
3. Truth / E. Pragmatic Truth / 1. Pragmatic Truth
Truth is an idealisation of rational acceptability [Putnam]
     Full Idea: Truth is an idealisation of rational acceptability; we speak as if there were such things as epistemically ideal conditions, and we call a statement 'true' if it would be justified under such conditions.
     From: Hilary Putnam (Reason, Truth and History [1981], Ch.3)
     A reaction: The second part makes human beings sound stupid (which they are not), but the first part is right, and incredibly important. Peirce is behind Putnam's thought. Truth is the target of belief. It isn't a nonsense just because we can't be infallible.
3. Truth / F. Semantic Truth / 1. Tarski's Truth / c. Meta-language for truth
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.
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
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]
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.
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.
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)
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
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'.
4. Formal Logic / F. Set Theory ST / 1. Set Theory
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)
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
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.
5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
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.
5. Theory of Logic / I. Semantics of Logic / 6. Intensionalism
Intension is not meaning, as 'cube' and 'square-faced polyhedron' are intensionally the same [Putnam]
     Full Idea: Intension cannot be identified with meaning. ..'Cube' and 'regular polyhedron with six square faces' are logically equivalent predicates. The intension is the same (the function giving the cubes in any possible world) but there is a difference of meaning.
     From: Hilary Putnam (Reason, Truth and History [1981], Ch.2)
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
If cats equal cherries, model theory allows reinterpretation of the whole language preserving truth [Putnam]
     Full Idea: If the number of cats happens to equal the cherries, then it follows from the theory of models that there is a reinterpretation of the entire language that leaves all sentences unchanged in truth value while permuting the extensions of 'cat' and 'cherry'.
     From: Hilary Putnam (Reason, Truth and History [1981], Ch.2)
     A reaction: This horrifying result seems to come simply from the fact that there is an isomorphism between two models, which in turn seems to rest largely on the cardinality of the models. There seems to be something wrong with model theory here (?).
7. Existence / D. Theories of Reality / 4. Anti-realism
If we try to cure the abundance of theories with causal links, this is 'just more theory' [Putnam, by Lewis]
     Full Idea: If we try to base determinate reference on natural causal connection, Putnam says this is just more theory, as subject as any theory to overabundant, conflicting intended interpretations.
     From: report of Hilary Putnam (Reason, Truth and History [1981]) by David Lewis - Putnam's Paradox 'Why Are'
     A reaction: This is the 1981 Putnam, moving away from the realism that was implicit in the original causal theory of reference developed by himself and Kripke. His 'just more theory' is the slogan of Putnam's later anti-realism.
The sentence 'A cat is on a mat' remains always true when 'cat' means cherry and 'mat' means tree [Putnam]
     Full Idea: The sentence 'A cat is on a mat' can be reinterpreted so that in the actual world 'cat' refers to cherries and 'mat' refers to trees, without affecting the truth-value of the sentence in any possible world.
     From: Hilary Putnam (Reason, Truth and History [1981], Ch.2)
     A reaction: This simple suggestion is the basis of a notorious argument in favour of anti-realism. See D.Lewis's 'Putnam's Paradox'. It tracks back to Skolem's doubts about whether infinitary mathematics is possible. Putnam's conclusion sounds daft.
7. Existence / D. Theories of Reality / 8. Facts / a. Facts
A fact is simply what it is rational to accept [Putnam]
     Full Idea: I propose that the only criterion for what is a fact is what it is rational to accept.
     From: Hilary Putnam (Reason, Truth and History [1981], Pref)
     A reaction: An epistemological-ontological confusion here. The concept of a fact is of something which is the case quite independently of our criteria for believing it. There are facts which are unknowable for humans. It is, of course, rational to accept facts.
8. Modes of Existence / B. Properties / 12. Denial of Properties
Very nominalistic philosophers deny properties, though scientists accept them [Putnam]
     Full Idea: Some philosophers are so nominalistic that they would deny the existence of such entities as 'properties' altogether; but science itself does not hesitate to talk freely of properties.
     From: Hilary Putnam (Reason, Truth and History [1981], Ch.3)
     A reaction: Maybe scientists aren't very good at ontology? They talk about forces and energy, but don't seem to know what they are. I am inclined to think that we must include properties in the working ontology of humans, but not into strict physics.
10. Modality / A. Necessity / 11. Denial of Necessity
If necessity is always relative to a description in a language, then there is only 'de dicto' necessity [Putnam, by O'Grady]
     Full Idea: Putnam endorses the view that necessity is relative to a description, so there is only necessity 'de dicto': relative to language, not to reality.
     From: report of Hilary Putnam (Reason, Truth and History [1981]) by Paul O'Grady - Relativism Ch.3
     A reaction: Even a realist must take this proposal seriously. The facts may contain de re necessities, but we could be very sceptical about our capacity to know them. Personally I enjoy speculating about de re necessities. They can't stop you.
13. Knowledge Criteria / C. External Justification / 2. Causal Justification
Psychological logic can't distinguish justification from causes of a belief [Frege]
     Full Idea: With the psychological conception of logic we lose the distinction between the grounds that justify a conviction and the causes that actually produce it.
     From: Gottlob Frege (Logic [1897] [1897])
     A reaction: Thus Frege kicked the causal theory of justification well into touch long before it had even been properly formulated. That is not to say that there is no psychological aspect to logic, because there is.
13. Knowledge Criteria / E. Relativism / 6. Relativism Critique
Some kind of objective 'rightness' is a presupposition of thought itself [Putnam]
     Full Idea: What the relativist fails to see is that it is a presupposition of thought itself that some kind of objective 'rightness' exists.
     From: Hilary Putnam (Reason, Truth and History [1981], Ch.5)
     A reaction: This may be the key objection to relativism. If you have a frame of reference, is it a good one? If you have a new perspective, is it better than your old one? Is the culture you live in confused or clear-thinking? Jokes and metaphors rely on truth.
14. Science / B. Scientific Theories / 3. Instrumentalism
Naïve operationalism would have meanings change every time the tests change [Putnam]
     Full Idea: On a naïve operationalist account every time a new way of testing whether a substance is really gold is discovered, the meaning and reference of 'gold' undergoes a change.
     From: Hilary Putnam (Reason, Truth and History [1981], Ch.2)
18. Thought / A. Modes of Thought / 5. Rationality / b. Human rationality
Rationality is one part of our conception of human flourishing [Putnam]
     Full Idea: Our notion of rationality is, at bottom, just one part of our conception of human flourishing, our idea of the good.
     From: Hilary Putnam (Reason, Truth and History [1981], Pref)
     A reaction: This looks like the beginnings of virtue epistemology, since rationality will have criteria, which would seem to be virtues. I find this idea appealing, both as a view of rationality, and as a view of the human good.
18. Thought / C. Content / 5. Twin Earth
'Water' on Twin Earth doesn't refer to water, but no mental difference can account for this [Putnam]
     Full Idea: The word 'water' used on Twin Earth refers not to water but to this other liquid (XYZ). Yet there is no relevant difference in the mental state of Twin Earth speakers and speakers on Earth (in 1750) to account for this difference of reference.
     From: Hilary Putnam (Reason, Truth and History [1981], Ch.2)
     A reaction: In this world, if you and I separately meet twins, and I think about this twin while you think about that one, our mental states are different even if they are indistinguishable. I know I'm thinking about my twin, not yours. Indexicals.
18. Thought / C. Content / 6. Broad Content
Reference is social not individual, because we defer to experts when referring to elm trees [Putnam]
     Full Idea: My concept of an elm tree is exactly the same as my concept of a beech tree (I blush to confess), which shows that the determination of reference is social and not individual - both you and I defer to experts who can tell elms from beeches.
     From: Hilary Putnam (Reason, Truth and History [1981], Ch.1)
     A reaction: If I said 'that tree looks nice' I wouldn't be deferring to experts. Nor if I said 'that tree, which I take to be an elm, looks nice'. If I am an expert I don't defer to experts.
18. Thought / D. Concepts / 3. Ontology of Concepts / b. Concepts as abilities
Concepts are (at least in part) abilities and not occurrences [Putnam]
     Full Idea: Concepts are (at least in part) abilities and not occurrences.
     From: Hilary Putnam (Reason, Truth and History [1981], Ch.1)
     A reaction: This seems to be building on the idea that meaning is use, and also arises from a background of pragmatism. Perhaps a concept is an acquaintance with a node in platonic space? Lots of abilities aren't concepts, so what distinguishes the concepts?
19. Language / B. Reference / 3. Direct Reference / c. Social reference
Neither individual nor community mental states fix reference [Putnam]
     Full Idea: Mental state (in either the individualistic or the collective sense) does not fix reference.
     From: Hilary Putnam (Reason, Truth and History [1981], Ch.2)
     A reaction: The idea that communities fix reference seems to me plausible. See Tyler Burge on this.
Maybe the total mental state of a language community fixes the reference of a term [Putnam]
     Full Idea: One might concede that the reference of a person's term isn't fixed by his individual mental state, but insist that the total mental state of all the members of the language community fixes the reference of the term.
     From: Hilary Putnam (Reason, Truth and History [1981], Ch.2)
     A reaction: I like this reading of the problem, though Putnam himself prefers to say that things fix the reference. I take reference to be a human action, not a natural causal relation. Animals connecting thought to object may not count as reference at all.
19. Language / F. Communication / 6. Interpreting Language / b. Indeterminate translation
There are infinitely many interpretations of a sentence which can all seem to be 'correct' [Putnam]
     Full Idea: There are always infinitely many different interpretations of the predicates of a language which assign 'correct' truth-values to the sentences in all possible worlds, no matter how those 'correct' truth-values are singled out.
     From: Hilary Putnam (Reason, Truth and History [1981], Ch.2)
     A reaction: Putnam says that he is using this argument from model theory to endorse the scepticism about 'gavagai' that Quine expressed in 1960. It is based on the ideas of Skolem, who was a renegade philosopher of mathematics. See Tim Button.
22. Metaethics / B. Value / 1. Nature of Value / b. Fact and value
The word 'inconsiderate' nicely shows the blurring of facts and values [Putnam]
     Full Idea: The use of the word 'inconsiderate' seems to me a very fine example of the way in which the fact/value distinction is hopelessly fuzzy in the real world and in the real language.
     From: Hilary Putnam (Reason, Truth and History [1981])
     A reaction: Interesting, but not much of an argument. What would Nietzsche say? Was Agamemnon morally deficient because we might think him 'inconsiderate'?