Combining Texts

All the ideas for 'Isagoge ('Introduction')', 'Letter to Bramhall' and 'Tarski's Theory of Truth'

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


12 ideas

3. Truth / A. Truth Problems / 4. Uses of Truth
The notion of truth is to help us make use of the utterances of others [Field,H]
     Full Idea: I suspect that the original purpose of the notion of truth was to aid us in utilizing the utterances of others in drawing conclusions about the world,...so we must attend to its social role, and that being in a position to assert something is what counts.
     From: Hartry Field (Tarski's Theory of Truth [1972], §5)
     A reaction: [Last bit compressed] This sounds excellent. Deflationary and redundancy views are based on a highly individualistic view of utterances and truth, but we need to be much more contextual and pragmatic if we are to get the right story.
3. Truth / A. Truth Problems / 9. Rejecting Truth
In the early 1930s many philosophers thought truth was not scientific [Field,H]
     Full Idea: In the early 1930s many philosophers believed that the notion of truth could not be incorporated into a scientific conception of the world.
     From: Hartry Field (Tarski's Theory of Truth [1972], §3)
     A reaction: This leads on to an account of why Tarski's formal version was so important, and Field emphasises Tarski's physicalist metaphysic.
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
Tarski reduced truth to reference or denotation [Field,H, by Hart,WD]
     Full Idea: Tarski can be viewed as having reduced truth to reference or denotation.
     From: report of Hartry Field (Tarski's Theory of Truth [1972]) by William D. Hart - The Evolution of Logic 4
Tarski really explained truth in terms of denoting, predicating and satisfied functions [Field,H]
     Full Idea: A proper account of Tarski's truth definition explains truth in terms of three other semantic notions: what it is for a name to denote something, and for a predicate to apply to something, and for a function symbol to be fulfilled by a pair of things.
     From: Hartry Field (Tarski's Theory of Truth [1972])
     A reaction: This is Field's 'T1' version, which is meant to spell out what was really going on in Tarski's account.
3. Truth / F. Semantic Truth / 1. Tarski's Truth / b. Satisfaction and truth
Tarski just reduced truth to some other undefined semantic notions [Field,H]
     Full Idea: It is normally claimed that Tarski defined truth using no undefined semantic terms, but I argue that he reduced the notion of truth to certain other semantic notions, but did not in any way explicate these other notions.
     From: Hartry Field (Tarski's Theory of Truth [1972], §0)
5. Theory of Logic / I. Semantics of Logic / 2. Formal Truth
Tarski gives us the account of truth needed to build a group of true sentences in a model [Field,H]
     Full Idea: Model theory must choose the denotations of the primitives so that all of a group of sentences come out true, so we need a theory of how the truth value of a sentence depends on the denotation of its primitive nonlogical parts, which Tarski gives us.
     From: Hartry Field (Tarski's Theory of Truth [1972], §1)
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
Model theory is unusual in restricting the range of the quantifiers [Field,H]
     Full Idea: In model theory we are interested in allowing a slightly unusual semantics for quantifiers: we are willing to allow that the quantifier not range over everything.
     From: Hartry Field (Tarski's Theory of Truth [1972], n 5)
8. Modes of Existence / D. Universals / 1. Universals
Are genera and species real or conceptual? bodies or incorporeal? in sensibles or separate from them? [Porphyry]
     Full Idea: I shall beg off talking of a) whether genera and species are real or situated in bare thoughts alone, b) whether as real they are bodies or incorporeals, and c) whether they are separated or in sensibles and have their reality in connection with them.
     From: Porphyry (Isagoge ('Introduction') [c.295], (2))
     A reaction: This passage, picking up on Aristotle, seems to be the original source that grew into the medievel debate about universals. It seems to rather neatly lay out the agenda for the universals debate which is still with us.
9. Objects / C. Structure of Objects / 2. Hylomorphism / a. Hylomorphism
A chair is wood, and its shape is the form; it isn't 'compounded' of the matter and form [Hobbes]
     Full Idea: Nothing can be compounded of matter and form. The matter of a chair is wood; the form is the figure it has, apt for the intended use. Does his Lordship think the chair compounded of the wood and the figure?
     From: Thomas Hobbes (Letter to Bramhall [1650], 4:302), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 07.1
     A reaction: Aristotle does use the word 'shape' [morphe] when he is discussing hylomorphism, and the statue example seems to support it, but elsewhere the form is a much deeper principle of individuation.
9. Objects / D. Essence of Objects / 15. Against Essentialism
Essence is just an artificial word from logic, giving a way of thinking about substances [Hobbes]
     Full Idea: Essence and all other abstract names are words artificial belonging to the art of logic, and signify only the manner how we consider the substance itself.
     From: Thomas Hobbes (Letter to Bramhall [1650], 4:308), quoted by Robert Pasnau - Metaphysical Themes 1274-1671
     A reaction: I sympathise quite a lot with this view, but not with its dismissive tone. The key question I take to be: if you reject essences entirely (having read too much physics), how are we going to think about entities in the world in future?
17. Mind and Body / E. Mind as Physical / 2. Reduction of Mind
'Valence' and 'gene' had to be reduced to show their compatibility with physicalism [Field,H]
     Full Idea: 'Valence' and 'gene' were perfectly clear long before anyone succeeded in reducing them, but it was their reducibility and not their clarity before reduction that showed them to be compatible with physicalism.
     From: Hartry Field (Tarski's Theory of Truth [1972], §5)
19. Language / B. Reference / 3. Direct Reference / b. Causal reference
Field says reference is a causal physical relation between mental states and objects [Field,H, by Putnam]
     Full Idea: In Field's view reference is a 'physicalistic relation', i.e. a complex causal relation between words or mental representations and objects or sets of objects; it is up to physical science to discover what that physicalistic relation is.
     From: report of Hartry Field (Tarski's Theory of Truth [1972]) by Hilary Putnam - Reason, Truth and History Ch.2
     A reaction: I wouldn't hold your breath while the scientists do their job. If physicalism is right then Field is right, but physics seems no more appropriate for giving a theory of reference than it does for giving a theory of music.