17 ideas
10825 | 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. |
10820 | 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. |
13499 | 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 |
10818 | 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. |
10817 | 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) |
10801 | Either reference really matters, or we don't need to replace it with substitutions [Quine] |
Full Idea: When we reconstrue quantification in terms of substituted expressions rather than real values, we waive reference. ...but if reference matters, we cannot afford to waive it as a category; and if it does not, we do not need to. | |
From: Willard Quine (Reply to Professor Marcus [1962], p.183) | |
A reaction: An odd dilemma to pose. Presumably the substitution account is an attempt to explain how language actually works, without mentioning dubious direct ontological commitment in the quantifiers. |
10819 | 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) |
10827 | 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) |
17499 | Theoretical models can represent, by mapping onto the data-models [Portides] |
Full Idea: The semantic approach contends that theoretical models ...are candidates for representing physical systems by virtue of the fact that they stand in mapping relations to corresponding data-models. | |
From: Demetris Portides (Models [2008], 'Current') | |
A reaction: Sounds like a neat and satisfying picture. |
17498 | In the 'received view' models are formal; the 'semantic view' emphasises representation [Portides, by PG] |
Full Idea: The 'received view' of models is that they are Tarskian formal axiomatic calculi interpreted by meta-mathematical models. The 'semantic' view of models gives equal importance to their representational capacity. | |
From: report of Demetris Portides (Models [2008], 'background') by PG - Db (ideas) | |
A reaction: The Tarskian view is the one covered in my section on Model Theory. Portides favours the semantic account, and I am with him all the way. Should models primarily integrate with formal systems, or with the world? Your choice... |
17501 | Representational success in models depends on success of their explanations [Portides] |
Full Idea: Models are representational, independently of the strength of their relation to theory, depending on how well they achieve the purpose of providing explanations for what occurs in physical systems. | |
From: Demetris Portides (Models [2008], 'Current') | |
A reaction: This doesn't sound quite right. It seems possible to have a perfect representation of a system which remains quite baffling (because too complex, or with obscure ingredients). Does the stylised London tube map explain well but represent badly? |
17502 | The best model of the atomic nucleus is the one which explains the most results [Portides] |
Full Idea: The unified model can be considered a better representation of the atomic nucleus in comparison to the liquid-drop and shell models, because it explains most of the known results about the nucleus. | |
From: Demetris Portides (Models [2008], 'Current') | |
A reaction: The point here is that models are evaluated not just by their accuracy, but by their explanatory power. Presumably a great model is satisfying and illuminating. Do the best models capture the essence of a thing? |
17496 | 'Model' belongs in a family of concepts, with representation, idealisation and abstraction [Portides] |
Full Idea: A better understanding of 'model', as used in science, could be achieved if we examine it as a member of the triad of concepts of representation, idealisation and abstraction. | |
From: Demetris Portides (Models [2008], 'Intro') | |
A reaction: Abstraction seems to have a bad name in philosophy, and yet when you come to discuss things like models, you can't express it any other way. |
17497 | Models are theory-driven, or phenomenological (more empirical and specific) [Portides] |
Full Idea: 'Theory-driven' models are constructed in a systematic theory-regulated way by supplementing the theoretical calculus with locally operative hypotheses. 'Phenomenological' models deploy semi-empirical results, with ad hoc hypotheses, and extra concepts. | |
From: Demetris Portides (Models [2008], 'Intro') | |
A reaction: [compressed] I am not at all clear about this distinction, even after reading his whole article. The first type of model seems more general, while the second seems tuned to particular circumstances. He claims the second type is more explanatory. |
17500 | General theories may be too abstract to actually explain the mechanisms [Portides] |
Full Idea: If theoretical models are highly abstract and idealised descriptions of phenomena, they may only represent general features, and fail to explain the specific mechanisms at work in physical systems. | |
From: Demetris Portides (Models [2008], 'Current') | |
A reaction: [compressed] While there may be an ideal theory that explains everything, it sounds right capturing the actual mechanism (such as the stirrup bone in the ear) is not at all theoretical. |
10826 | '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) |
7615 | 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. |