At stake in the classical realism-debate is the clash between realist and anti-realist positions. In recent years, the classical form of this debate has undergone a double transformation. On the one hand, the champions of realism began to pay more attention to the interpretative dimensions of scientific research. On the other hand, anti-realists of various sorts realized that the rejection of the hypostatization of a “reality out there” does not imply the denial of working out a philosophically adequate concept of (...) reality. Against the background of this double transformation, new arguments in the realism-debate emerged. The present Introduction is an attempt at systematizing these arguments within the spectrum of doctrines between the poles of scientific realism (exposed and defended by Howard Sankey) and hermeneutic realism (advocated by Dimitri Ginev). The authors try also to demonstrate that after the classical debates the issue of scientism has to be addressed in new ways. (shrink)

The aim of this paper is to show that it is the explicativecharacter of Tarski's semantic definition of truth given in his study of 1933 that allows forconsideration of a philosophical background of this definition in the proper sense. Given the explicativecharacter of this definition it is argued that the philosophical tradition that should be taken intoaccount with regard to this philosophical background is the tradition of the Lvov-Warsaw Schoolin its connections with the School of Brentano. As an example of (...) the explanatory power ofconsidering this tradition as far as Tarski's philosophical choices are concerned I use here thenotion of sentence-inscription, i.e., the notion of that entity of which truth is predicated inthe definition in question. One of the consequences of these statements is that philosophicaldiscussions concerning the semantic definition of truth can be regarded from two points ofview. On the one hand, they may take the perspective of its explicational function, i.e., theperspective of its philosophical background. On the other hand, they might consider the philosophicalconsequences of the definition with respect to the goal of the explication, i.e., they may considerits philosophical content independently of its historical background. (shrink)

The paradoxes of self reference have to be dealt with by anyone seeking to give a satisfactory account of the logic of truth, of properties, and even of sets of numbers. Unfortunately, there is no widespread agreement as to how to deal with these paradoxes. Some approaches block the paradoxical inferences by rejecting as invalid a move that classical logic counts as valid. In the recent literature, this deviant logic analysis of the paradoxes has been called into question.This disagreement motivates (...) a re-examination of the philosophy of formal logic and the status of logical truths and rules. In this paper I do some of this work, and I show that this gives us the means to defend the deviant approaches against such criticisms. As a result I hope to show that these analyses of the paradoxes are worthy of more serious consideration than they have so far received. (shrink)

The connection between theories of truth and meaning is explored. Theories of truth and meaning are connected in a way such that differences in the conception of what it is for a sentence to be true are engendered by differences in the conception of how meanings depend on each other, and on a base of underlying facts. It is argued that this view is common ground between Davidson and Dummett, and that their dispute over realism is really a dispute in (...) the theory of meaning over holism and molecularism. The view offered is contrasted with influential pragmatist and modest views. (shrink)

ABSTRACT:This essay describes three commitments that have become central to the author's philosophical outlook, namely, to liberal naturalism, to metaphysical realism, and to the epistemic and ontological objectivity of normative judgments.Liberal naturalismis contrasted with familiar scientistic versions of naturalism and their project of forcing explanations in every field into models derived from one or another particular science. The form ofmetaphysical realismthat the author endorses rejects every form of verificationism, including the author's one-time ‘internal realism’, and insists that our claims about (...) the world are true or false and not just epistemically successful or unsuccessful and that the terms they contain typically refer to real entities. ‘Representationalism is no sin’. The central part of the essay is an account oftruthbased on a detailed analysis of Tarski's theory of truth and of the insights we can get from it as well as of the respects in which Tarski is misleading. The account ofthe objectivity of the normativein this essay draws on insights from Dewey as well as Scanlon. (shrink)

Doing Worlds with Words throws light on the problem of meaning as the meeting point of linguistics, logic and philosophy, and critically assesses the possibilities and limitations of elucidating the nature of meaning by means of formal logic, model theory and model-theoretical semantics. The main thrust of the book is to show that it is misguided to understand model theory metaphysically and so to try to base formal semantics on something like formal metaphysics; rather, the book states that model theory (...) and similar tools of the analysis of language should be understood as capturing the semantically relevant, especially inferential, structure of language. From this vantage point, the reader gains a new light on many of the traditional concepts and problems of logic and philosophy of language, such as meaning, reference, truth and the nature of formal logic. (shrink)

This article is an extended critical study of Robert C. Stalnaker, 'Inquiry' (Cambridge, MA: MIT Press, 1984).

The doctrines of scientific realism have enjoyed a close and enduring, if not always harmonious, association with Tarski's semantic conception of truth and theories of formal semantics generally. From its inception Tarski's theory received unqualified support from some realists, like Karl Popper, who saw it as legitimizing the use of semantic notions in epistemology and the philosophy of science.

It is often thought that instances of the T-schema such as snow is white is true if and only if snow is white state correspondences between sentences andthe world, and that therefore such sentences play a crucial role in correspondence theories oftruth. I argue that this assumption trivializes the correspondence theory: even a disquotationaltheory of truth would be a correspondence theory on this conception. This discussionallows one to get clearer about what a correspondence theory does claim, and toward the end (...) of thepaper I discuss what a true correspondence theory of truth would involve. (shrink)

Controversy has arisen of late over the claim that deflationism about truth requires that we explain meaning in terms of something other than truth-conditions. This controversy, it is argued, is due to unclarity as to whether the basic deflationary claim that a sentence and a sentence that attributes truth to it are equivalent in meaning is intended to involve the truth- predicate of the object language for which we develop an account of meaning, or is intended to involve the truth- (...) predicate of the metalanguage in which we develop an account of meaning. The former view is compatible with the truth-conditional theory of meaning for the object language, the latter is incompatible with it. However, the former view is also trivially true; hence we should endorse the claim that any form of deflationism worth being interested in is incompatible with understanding meaning truth-conditionally. (shrink)

A number of recent writers have argued that we should explain mental representation teleologically, in terms of the biological purposes of beliefs and other mental states.A rather older idea is that the truth condition of a belief is that condition which guarantees that actions based on that belief will succeed.What I want to show in this paper is that these two ideas complement each other. The teleological theory is inadequate unless it incorporates the thesis that truth is the guarantee of (...) successful action. Conversely, the success-guaranteeing account of truth conditions is incomplete until it is placed in a teleological context. (shrink)

A number of recent writers have argued that we should explain mental representation teleologically, in terms of the biological purposes of beliefs and other mental states.A rather older idea is that the truth condition of a belief is that condition which guarantees that actions based on that belief will succeed.What I want to show in this paper is that these two ideas complement each other. The teleological theory is inadequate unless it incorporates the thesis that truth is the guarantee of (...) successful action. Conversely, the success-guaranteeing account of truth conditions is incomplete until it is placed in a teleological context. (shrink)

Summary This paper is intended to discuss the problems occurring in the relation between the notion of truth and the question of self-reference. To do this, we shall review Tarski's (T) convention and its related terminology. We shall clarify the relation between truth and extension in order to lead into the question of semantic paradoxes appearing in the theoretical models concerned with truth. Subsequently, we shall review the logical system which develops in the reformulation of the modal proposal of the (...) (T) convention. In closing, we shall critically examine Kripke's interpretation from the proposals made by Tarski. (shrink)

A hallmark of correspondence theories of truth is the principle that sentences are made true by some truth-makers. A well-known objection to treating Tarski’s definition of truth as a correspondence theory has been put forward by Donald Davidson. He argued that Tarski’s approach does not relate sentences to any entities (like facts) to which true sentences might correspond. From the historical viewpoint, it is interesting to observe that Tarski’s philosophical teacher Tadeusz Kotarbinski advocated an ontological doctrine of reism which accepted (...) only concrete individuals and rejected all such abstract entities as facts, states of affairs, properties, and sets. Kotarbinski’s physicalism influenced Tarski who also avoided concepts like “fact” and “property” in his theory of truth, but—unlike Kotarbinski—he used freely set-theoretical terminology. In his mature work in model theory in the 1950s, Tarski used systematically the notion of a relational system (i.e., a domain of objects with designated elements, subsets, and relations). Wilfrid Hodges has argued that the notions of “structure” and “truth in a structure” appeared in Tarski’s work only in 1950. In my view, one can find the main ingredients of the model-theoretic account of truth already in the 1930s. These considerations suggest, against Davidson, that Tarski’s definition presupposes that material truth is always related to some kind of truth-maker. Further, facts as truth-makers can be reconstructed by employing the resources of model theory. (shrink)

Quines ontological relativity is related to Tarskis theory of truth in two ways: Quine repudiates term-by-term-correspondence, as does Tarskis rule of truth; and Quines proxy argument in support of relativity finds exact formulation in Tarskis truth definition.Unfortunately, relativity is threatened by the fact that the proxy argument doesnt comply with the rule of truth (Tarskis celebrated condition (T)). Despite Quines express allegiance to (T), use of proxy schemes does not generate all of the true sentences condition (T) requires.

In this paper, I argue that while truth-conditional semantics in generative linguistics provides lots of good semantic explanations, truth-conditions do not play an important role in these explanations. That is, the fact that expressions have the particular truthconditional contents they have does not even partly explain facts about semantic phenomena. Rather, explanations of semantic phenomena appeal to extra-truth-conditional properties attributed to expressions via their lexical entries. Focusing on recent truth-conditional work on gradable adjectives and degree modifiers by Kennedy and McNally, (...) I show that the best explanations of semantic anomaly and entailment for these expressions are non-truth-conditional—they do not depend on the fact that these expressions have the truth-conditional contents they have. I then provide reasons for thinking that the point generalizes beyond gradable adjectives and degree modifiers to other expressions, and beyond anomaly and entailment to other semantic phenomena. Truth-conditional content, generally, is extrasemantic. (shrink)

In this paper, I argue that sentences that contain ‘omission’ tokens that appear to function as singular terms are meaningful while maintaining the view that omissions are nothing at all or mere absences. I take omissions to be fictional entities and claim that the way in which sentences about fictional characters are true parallels the way in which sentences about omissions are true. I develop a pragmatic account of fictional reference and argue that my fictionalist account of omissions implies a (...) plausible account of the metaphysics of omissions. (shrink)

On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order PA and Zermelo’s quasi-categoricity (...) theorem for second-order ZFC—these results require full second-order logic. So appealing to these results seems only to push the problem back, since the principles of second-order logic are themselves non-categorical: those principles are compatible with restricted interpretations of the second-order quantifiers on which Dedekind’s and Zermelo’s results are no longer available. In this paper, we provide a naturalist-friendly, non-revisionary solution to an analogous but seemingly more basic problem—Carnap’s Categoricity Problem for propositional and first-order logic—and show that our solution generalizes, giving us full second-order logic and thereby securing the categoricity or quasi-categoricity of second-order mathematical theories. Briefly, the first-order quantifiers have their intended interpretation, we claim, because we’re disposed to follow the quantifier rules in an open-ended way. As we show, given this open-endedness, the interpretation of the quantifiers must be permutation-invariant and so, by a theorem recently proved by Bonnay and Westerståhl, must be the standard interpretation. Analogously for the second-order case: we prove, by generalizing Bonnay and Westerståhl’s theorem, that the permutation invariance of the interpretation of the second-order quantifiers, guaranteed once again by the open-endedness of our inferential dispositions, suffices to yield full second-order logic. (shrink)

In this paper, I suggest an approach to the alleged problem with the Tarskian formal definition of truth: its enumerative character seems to make it unable to capture our pretheoretic general understanding of truth. For this purpose, after spelling out two requirements for extending an enumerative definition to new cases, I examine to what extent Tarski's Convention T provides what are needed for extending the Tarski's enumerative definition. I conclude that, though not explicitly providing what are needed, Convention T does (...) implicitly suggest something quite promising and provide necessary conceptual resources for its further modifications. Then I suggest a Tarskian explicitly general definition of what it is to be a truth-definition on the basis of some theoretical and conceptual resources within Tarski's semantic theory, and I explain how it would make the Tarskian seemingly enumerative formal definition have a general character in accord with our pretheoretic understanding of truth. Finally, I examine the current proposal in comparison with Davidson's approach and in the light of Hintikka's new perspective. (shrink)

Two of Quine's most familiar doctrines are: that there is a distinction between underdetermination and indeterminacy; and that there is no distinction between analytic and synthetic truths. An argument is given that these two doctrines are incompatible. In terms wholly acceptable to Quine and based on the underdetermination/indeterminacy distinction, an exhaustive and exclusive distinction is drawn between two kinds of true sentences, which, it is argued, corresponds to the traditional analytic/synthetic distinction. An appendix is used to develop one aspect of (...) the underdetermination/indeterminacy distinction, as construed here, and to discuss, in passing, some of Quine’s more general views on truth. (shrink)

A theory of truth is language-transcendent if it ascribes truth conditions to truth-bearers that are not expressible in our natural language; a theory is language-immanent if it is not language-transcendent. In this paper, I argue for the following theses. Whether the correct theory of truth is language-transcendent or language-immanent will have significant consequences for general philosophy. Prima facie, a language-transcendent theory is preferable. However, language-transcendent theories tend to require substantive metaphysical commitments concerning truth. Deflationist theories are particularly interesting in this (...) context. I argue that, if deflationism is to remain consistent with its motivations, then it must opt for a language-immanent conception of truth. (shrink)

This essay argues for a two-part thesis concerning the deflationist theories of truth and reference. First, I identify two points of contrast between the deflationist theories and their traditional inflationary opponents: (1) they each employ different orders of explanation for the variety of semantic phenomena, and (2) the inflationist is typically taken to be beholden to a reductive explanation of reference, whereas the deflationist is doubtful of this project. Secondly, I argue that these two points of contrast need not come (...) together to exhaust the space of possible views. There is room for a plausible middle ground: a moderate version of inflationism. My moderate inflationism will reject the deflationist's order of explanation, so it counts as genuinely inflationary. However, it also rejects the reductionist ambitions of the earlier inflationists, so it isn’t an apt target for deflationary scepticism. (shrink)

In this paper, I argue that even if the Hard Problem of Content, as identified by Hutto and Myin, is important, it was already solved in natu- ralized semantics, and satisfactory solutions to the problem do not rely merely on the notion of information as covariance. I point out that Hutto and Myin have double standards for linguistic and mental representation, which leads to a peculiar inconsistency. Were they to apply the same standards to basic and linguistic minds, they would (...) either have to embrace representationalism or turn to semantic nihilism, which is, as I argue, an unstable and unattractive position. Hence, I conclude, their book does not offer an alternative to representation- alism. At the same time, it reminds us that representational talk in cognitive science cannot be taken for granted and that information is different from men- tal representation. Although this claim is not new, Hutto and Myin defend it forcefully and elegantly. (shrink)

Naturalists seek continuity between epistemology and science. Critics argue this illegitimately expands science into epistemology and commits the fallacy of scientism. Must naturalists commit this fallacy? I defend a conception of naturalized epistemology which upholds the non-identity of epistemic ends, norms, and concepts with scientific evidential ends, norms, and concepts. I argue it enables naturalists to avoid three leading scientistic fallacies: dogmatism, one dimensionalism, and granting science an epistemic monopoly.

Whether a predicate is a referential expression depends upon what reference is conceived to be. Even if it is granted that reference is a relation between words and worldly items, the referents of expressions being the items to which they are so related, this still leaves considerable scope for disagreement about whether predicates refer. One of Frege's great contributions to the philosophy of language was to introduce an especially liberal conception of reference relative to which it is unproblematic to suppose (...) that predicates are referring expressions. According to this liberal conception, each significant expression in a language has its own distinctive semantic role or power, a power to effect the truth-value of the sentences in which it occurs. (shrink)

According to Armstrong (amongst others) ‘any truth, should depend for its truth for something “outside” it’ where this one-way dependency is explained in terms of the asymmetric relationship that obtains between a truth and its truth-maker. But there’s no need to appeal to truth-makers to make sense of this dependency. The truth of a proposition is essentially determined by the interlocking semantic mechanism of reference and satisfaction which already ensures that the truth-value of a proposition depends on how things stand (...) outside it. By contrast, how things stand outside of a proposition is determined by other worldly mechanisms that have nothing to do with truth. (shrink)

Pluralism about truth is the view that there is more than one way for a proposition to be true. When taken to imply that there is more than one concept and property of truth, this position faces a number of troubling objections. I argue that we can overcome these objections, and yet retain pluralism's key insight, by taking truth to be a multiply realizable property of propositions.

A common strategy amongst realists grants relativism at the level of language or thought but denies it at the level of fact. Their point is that even if our concept of an object is relative to a conceptual scheme, it doesn't follow that objects themselves are relative to conceptual schemes. This is a sensible point. But in this paper I present a simple argument for the conclusion that it is false. According to what I call the T-argument, relativism about content (...) entails a relativism about fact. (shrink)

According to alethic functionalism, truth is a higher-order multiply realizable property of propositions. After briefly presenting the views main principles and motivations, I defend alethic functionalism from recent criticisms raised against it by Cory Wright. Wright argues that alethic functionalism will collapse either into deflationism or into a view that takes true as simply ambiguous. I reject both claims.