Models, Truth, and Realism模式、真理、实在论.doc

《Models, Truth, and Realism模式、真理、实在论.doc》由会员分享，可在线阅读，更多相关《Models, Truth, and Realism模式、真理、实在论.doc（132页珍藏版）》请在三一办公上搜索。

1、Models, Truth, and RealismTaylor, Barry, University of MelbourneAbstract: This book mounts an argument against one of the fundamental tenets of much contemporary philosophy, the idea that we can make sense of reality as existing objectively, independently of our capacities to come to know it. Part O

2、ne argues that traditional realism can be explicated as a doctrine about truth that truth is objective, that is, public, bivalent, and epistemically independent. Part Two argues that a form of Hilary Putnams model-theoretic argument demonstrates that no such notion of truth can be founded on the ide

3、a of correspondence, as explained in model-theoretic terms. Part Three argues that non-correspondence accounts of truth-truth as superassertibility or idealized rational acceptability, formal conceptions of truth, and Tarskian truth also fail to meet the criteria for objectivity. Along the way, it a

4、lso dismisses the claims of the latter-day views of Putnam, and of similar views articulated by John McDowell, to constitute a new, less traditional, form of realism. The Coda bolsters some of the considerations advanced in Part Three in evaluating formal conceptions of truth, by assessing and rejec

5、ting the claims of Robert Brandom to have combined such an account of truth with a satisfactory account of semantic structure. The book concludes that there is no defensible notion of truth that preserves the theses of traditional realism, nor any extant position sufficiently true to the ideals of t

6、hat doctrine to inherit its title. So the only question remaining is which form of antirealism to adopt.ContentsOverview: The Argument of this Book 1Part I The Explication of Realism 111 Realism and Objective Truth 132 Realism Explicated 32Part II Model Theory and Correspondence 483 Putnams Model-Th

7、eoretic Arguments 494 Changing the Rules 855 The Status of Natural Properties 101Part III Realism without Correspondence? 1256 Taking the Hierarchy Seriously 1257 Formal Theories of Truth and Putnams Common-sense Realism 1338 Tarskian Truth and the Views of John McDowell 148Preface This is a short b

8、ook, but it is the product of more years of thought on its topics than I care to enumerate. It covers a good deal of ground, but is written in rather a compressed style; so, on the advice of the Press, I have included an Overview, which I hope will be of use to a reader in following the twists and t

9、urns of the books argument.Chapter 5 in large part reproduces a paper I first published in Mind (On Natural Properties in Metaphysics, Mind, 102 (1993), 81100); its provenance is hereby acknowledged. The argument of Chapter 3 also has its origins in a former paper ( “Just More Theory”: A Manuvre in

10、Putnams Model-theoretic Argument for Antirealism, Australasian Journal of Philosophy, 69 (1991), 15266), which I now find barely intelligible myself. This version is entirely rewritten, considerably enlarged, and, hopefully, also considerably improved.This work was assisted by a research grant from

11、the Australian Research Council in 20001, which is gratefully acknowledged. Thanks are due for comments from members of various seminars at the Universities of Melbourne and Adelaide, Monash and La Trobe Universities, and the Australian National University, where versions of various parts of this wo

12、rk were presented; and for comments from two anonymous readers for the Press. Finally, special thanks are due to my colleagues Graham Priest and Greg Restall, both of whom read and commented on an earlier draft of the book in its entirety; and extra special thanks to the second of these, who, a glut

13、ton for punishment, did the same thing again for a revised version. Despite their efforts of all the above, I am afraid I must assume full responsibility for the defects which remain.B. M. T.Melbourne, April 2006 Overview: The Argument of this Book This book falls into three parts, along with a Coda

14、. Part One argues that traditional realism can be explicated as a doctrine about truththat truth is objective, that is, public, bivalent, and epistemically independent. Part Two argues that a form of Hilary Putnams model-theoretic argument demonstrates that no such notion of truth can be founded on

15、the idea of correspondence, as explained in model-theoretic terms (more traditional accounts of correspondence having been already disposed of in Part One). Part Three argues that non-correspondence accounts of truthtruth as superassertibility or idealized rational acceptability, formal conceptions

16、of truth, Tarskian truthalso fail to meet the criteria for objectivity; along the way, it also dismisses the claims of the latter-day views of Putnam, and of similar views articulated by John McDowell, to constitute a new, less traditional, form of realism. The Coda bolsters some of the consideratio

17、ns advanced in Part Three in evaluating formal conceptions of truth, by assessing and rejecting the claims of Robert Brandom to have combined such an account of truth with a satisfactory account of semantic structure. The book concludes that there is no defensible notion of truth that preserves the

18、theses of traditional realism, nor any extant position sufficiently true to the ideals of that doctrine to inherit its title. So the only question remaining is which form of antirealism to adopt.Part OneThe strategy of this part is to show, by extrapolation and generalization, how traditional realis

19、m is associated with objective truth, characterized as above.Seeking a neutral and uncontroversial starting-point, Chapter 1 begins by examining and adapting a characterization of realism offered by Michael Devitt, settling on an initial formulation (section 1.1) of realism about objects of kind K a

20、s the doctrine that objects of kind K exist objectively, and explaining objective existence in terms of intersubjective warrant. The latter notion is structured by assuming a framework of possible epistemic standpoints, modelled on the points of view of Leibnizean monads, and each based upon a possi

21、ble course of experience of the world; these standpoints certify beliefs through the application of idealized epistemology to the experiences they embody. Then objects of kind K are said to exist objectively iff they exist, and the belief that they exist can be certified from at least two such stand

22、points; and the doctrine that they do exist objectively in this sense is object realism about the objects of kind K.But (section 1.2) object realism is an inadequate framework for the discussion of some debates between realists and their opponents. To do these justice, we need to invoke the apparatu

23、s of situations and facts (obtaining situations). Then fact realism concerning a range of situations is the doctrine that these situations are objective facts, i.e., that they obtain and can be certified to obtain from at least two epistemic standpoints. Object realism is subsumed under fact realism

24、 as a special case.However (section 1.3), the argument discussed in the literature under various colourful soubriquetsthe Great Fact Argument, the Slingshotreveals that the apparatus of situations is too fragile to bear any explanatory weight. But the developing analysis can be freed from reliance o

25、n this apparatus by semantic ascent. Applying this technique, fact realism is supplanted by semantic realism, where semantic realism concerning a set of sentences of a language L is the doctrine that these sentences are true-in-L, and can be certified to be true-in-L from at least two epistemic stan

26、dpoints.Section 1.4 simplifies this definition by replacing the truth requirement, so that the whole definition is cast in terms of certification. It appeals to the Convergence Thesis, according to which good epistemology homes in on the objective truth as information increases. To put this to use,

27、it extends the framework of epistemic standpoints, enabling any finite union of standpoints to count as a standpoint, so that the standpoints form a Hierarchy of Certification with more information available to higher level standpoints. Then Convergence means that a true sentence will eventually be

28、stably certified as true by some standpoint s (i.e., certified as true by s and its union with any other standpoint). A notion of corroborated certification is introduced to play, within the context of the extended framework of standpoints, the role previously filled by the requirement of multiple c

29、ertification. Then the new definition of semantic realism about a set of sentences of L is that it holds all such sentences are objectively true in the sense that they have a stable, corroborated certification as true-in-L from some standpoint s.Chapter 2 sets out to extract from this account more o

30、f the properties of objective truth. To do so (section 2.1), it inquires into the principles governing certification. Principles governing the logical connectives are borrowed from Crispin Wright, and tested for adequacy against intuition, particularly on the question of the distributivity of object

31、ive truth across the connectives. This investigation suggests, first, the introduction of further principles governing second-order certification; and, further, the extension of the Hierarchy of Certification to a further, infinite level to be inhabited by the Total View, comprising the union of all

32、 finite standpoints. This permits further simplifying the definition of objective truth, so that it becomes just certification from the Total View. Pure realism concerning a set of sentences of L becomes the doctrine that all members of the set are objectively true-in-L, and global realism about L t

33、he doctrine that pure realism holds for some maximal set of sentences of L.Section 2.2 now extracts from this final account of objective truth that objective truth is public, bivalent, and epistemically independent (the last specifically in the sense that a theory ideal by the standards of human epi

34、stemology might be objectively false). Finally, section 2.3 suggests that the framework of standpoints and its Hierarchy of Certification, exploited to obtain these insights, can be treated merely as a useful device rather than a metaphysical reality, in much the way possible worlds are treated by m

35、any as no more than a useful fiction for investigating modality. Thus we can explicate objective truth as truth with the hallmark traits, without commitment to the literal truth of the framework which has helped us to identify them. The question for realism is whether there is some defensible notion

36、 of truth possessing these traits, and applicable to a language apt for framing serious theory.Part TwoThe time-honoured way for realists to found objective truth is by appeal to correspondence. The traditional account of correspondence, however, was discredited back in section 1.3, along with the f

37、acts and situations it invokes as the second terms of that relation. But model theory, in the spirit of the old account, also explains truth in terms of relations between language and extralinguistic structures, and can be regarded as a conceptually hygienic, precisely formulated, embodiment of the

38、old intuitions. Putnam has, however, advanced a case for thinking model-theoretic truth unsuited as an account of objective truth as we have explicated that notion, a case which this part evaluates.Chapter 3 sets out what we take to be the relevant core of Putnams case. Section 3.1 extracts three ar

39、guments from Putnams writings: the Arguments from Cardinality, Completeness, and Permutation. Of these, section 3.2 argues, only the second is of direct relevance. Appealing to the Completeness Theorem, it shows that the ideal theory, provided it can be cast in a first-order language, must have a mo

40、del M, whence its theses must in some sense be true (since they must be true-on-M), thus threatening epistemic independence. The other two arguments bear less directly on the realism issue as explicated in Part One. Nevertheless, all three arguments in their disparate ways raise the same issue, name

41、ly, how to distinguish intended models from the others. If this distinction can be made secure, then, in particular, the Argument from Completeness can be defused, provided the Completeness-guaranteed model M turns out to be unintended, so that truth-on-M is not a serious brand of truth.At issue, ac

42、cordingly, is the possibility of framing constraints which will sort out the intended models. The most popular approach is to cast such constraints as Reference Constraints, which seek to restrict the models which satisfy them to those which assign to linguistic terms entities which are, intuitively

43、, their correct referents. One favourite way to devise such constraints is to exploit a reductionist account of reference, and section 3.3 examines attempts to frame constraints based on causal and psycho-behavioural reductions of reference. Section 3.4 investigates the Translational Reference Const

44、raint (TRC), a constraint on reference which does not rely on a reduction of reference but makes essential use of translation (from object language to metalanguage) to sort out the models which get reference right. TRC in turn suggests a stronger constraint on intendedness, the Translational Truth C

45、onstraint (TTC), which goes beyond merely constraining reference, being equivalent to TRC combined with a constraint on the domain on quantification, the Translational Domain Constraint (TDC). TTC, it is argued, constitutes the gold standard of constraints on intendedness. The claims made in this se

46、ction, however, require foundation in a theory of translation, sufficient to sustain the assumptions it makes about that controversial and opaque notion. This foundation is supplied in section 3.5, whose general tenor is Davidsonian, its key notion being that of a hermeneutic theory, i.e., a Davidso

47、nian theory of interpretation cast into model-theoretic terms.With TTC now identified as the most fundamental constraint on intendedness, it remains to see if it will suffice to rule out as unintended all the models of ideal theory whose existence the Completeness Theorem guarantees. The issue is ex

48、amined in section 3.6. A notorious argument of Putnams, the Just More Theory Manuvre, argues that no constraint on intendedness whatever can do this, because a statement of the constraint can be added to the ideal theory, and Completeness guarantees that this enlargement of the ideal theory will its

49、elf have a model. Following David Lewis, many find this Manuvre involves a confusion between satisfying a constraint, and making true a statement which claims to express it.Upon investigation, it emerges that Lewiss discussion oversimplifies what is involved, because of the metalinguistic nature of constraints on intendedness in general, and of TTC in particular. Nevertheless, taking these complications into account, the lo