Materialist metaphysicians want to side with physics, but not to take sides within physics.If we took literally the claim of a materialist that his position is simply belief in the claim that all is matter, as currently conceived, we would be faced with an insoluble mystery. For how would such a materialist know how to retrench when his favorite scientific hypotheses fail? How did the 18th century materialist know that gravity, or forces in general, were material? How did they know (...) in the 19th century that the electromagnetic field was material, and persisted in this conviction after the aether had been sent packing?The doctrine of physicalism casts a long shadow in contemporary philosophy, configuring all kinds of philosophical issues and projects. Unsurprisingly, its proponents argue that physicalism has all the obvious features necessary for a scientific hypothesis to be in what we will call ‘good standing,’ i.e. being worthy of serious scientific investigation. In fact, many claim much more, arguing that physicalism is a well-confirmed hypothesis and possibly amongst the best of our theories. But, as our second opening passage makes clear, a persistent worry has been that physicalism, or ‘materialism’ as van Fraassen terms it, is an edifice built on sand. For many philosophers question whether the ‘physical’ can be specified at all, or at least in a manner that will produce a physicalism that would be in good standing. (shrink)

Materialist metaphysicians want to side with physics, but not to take sides within physics.Ifwetook literally the claim of a materialist that his position is simply belief in the claim that all is matter, as currently conceived, we would be faced with an insoluble mystery. For how would such a materialist know how to retrench when his favorite scientific hypotheses fail? How did the 18thcentury materialist know that gravity, or forces in general, were material? How did they know in the 19thcentury (...) that the electromagnetic field was material, and persisted in this conviction after the aether had been sent packing?The doctrine of physicalism casts a long shadow in contemporary philosophy, configuring all kinds of philosophical issues and projects. Unsurprisingly, its proponents argue that physicalism has all the obvious features necessary for a scientific hypothesis to be in what we will call ‘good standing,’ i.e. being worthy of serious scientific investigation. In fact, many claim much more, arguing that physicalism is a well-confirmed hypothesis and possibly amongst the best of our theories. But, as our second opening passage makes clear, a persistent worry has been that physicalism, or ‘materialism’ as van Fraassen terms it, is an edifice built on sand. For many philosophers question whether the ‘physical’ can be specified at all, or at least in a manner that will produce a physicalism that would be in good standing. (shrink)

Our deepest commitments about history are reflected in how we break it down into periods. (Cf. Galison 1988) By drawing a break at a certain point we emphasize the novelty and importance of a new development. It is also how we contain and dismiss certain work as no longer relevant. Thus, in the history of physics we break the story with Newton, both to emphasize his roles in bringing previous developments to a close and in initiating new lines of work, (...) and also to suggest that the ongoing practice of physics thereafter can appropriately in large measure ignore what preceeds Newton. Periodizing history is essential to understanding it, including when we periodize the work of a given writer. In philosophy, anyone who did not see a gulf between Kant’s early work and his critical philosophy or between Wittgenstein’s Tractatus and his Philosophical Investigations would be missing something enormously important. (shrink)

History and the modern sciences are characterized by what is sometimes called a “methodological naturalism” that disregards talk of divine agency. Some religious thinkers argue that this reflects a dogmatic materialism: a non-negotiable and a priori commitment to a materialist metaphysics. In response to this charge, I make a sharp distinction between procedural requirements and metaphysical commitments. The procedural requirement of history and the sciences—that proposed explanations appeal to publicly-accessible bodies of evidence—is non-negotiable, but has no metaphysical implications. The metaphysical (...) commitment is naturalistic, but is both a posteriori and provisional, arising from the fact that formore than 400 years no proposed theistic explanation has been shown capable ofmeeting the procedural requirement. I argue that there is nothing to prevent religious thinkers from seeking to overturn this metaphysically naturalistic stance. But in order to do so they would need to show that their proposed theistic explanations are the best available explanations of a range of phenomena. Until this has been done, the metaphysical naturalism of history and the sciences remains defensible. (shrink)

Traditional correspondence theory of truth with the concept of fact encounters many serious difficulties, main one of which is that it is too difficult to explain clearly the concept of ‘fact’ and how propositions ‘correspond’ to facts. This does not mean that we should abandon the traditional correspondence theory of truth and turn to some other type theories of truth. In order to guarantee the objectivity of truth, any reasonable theory of truth must adhere to the core insight of the (...) traditional correspondence theory: it is not something in our language, nor in our mind, but something in the external world, that make the propositions we use to describe the states of affairs in the world either true or false. It is entirely possible to formulate a new correspondence theory of truth without the concept of fact but still adhering to the core insights mentioned above of the traditional correspondence theory. New correspondence theory of truth has its own metaphysical and epistemological assumptions, and also its assumption in the philosophy of language. Because of the generativity of language, in defining the concept of truth, the new correspondence theory of truth must resort to Tarskian recursive procedure. First, it gives the semantic value of the components of a proposition, defines the truth of its atomic propositions, then gradually defines the truth of its more and more complex propositions and finally of the whole proposition. Coherence is the intrinsic element of truth. The concept of truth is by no means trivial and insignificant; on the contrary, it is very substantive. The pursuit of truth is our mission. (shrink)

According to strong pluralist theories of truth, ‘true’ designates different properties depending on which sentences it’s applied to. An influential objection to strong pluralism claims it can’t make sense of logically complex sentences whose components have different truth-properties. For example, if ‘true’ designates correspondents for ‘Tabby is a cat’, and it designates coherence for ‘Tabby is beautiful’, what does it designate for ‘Tabby is a beautiful cat’ (Tappolet 1997)? Will Gamester (2019) has proposed a novel pluralist theory meant to avoid (...) the problem. The theory construes ‘true’ as designating a different property for each possible logical structure, and he has challenged monists to identify shortcomings of the theory in virtue of its pluralism. This paper answers Gamester’s challenge and identifies three such shortcomings. (1) The theory can’t make sense of the idea that all true conjunctions share the property of having true conjuncts, in virtue of which they are true. (2) The theory imposes unmotivated syntactic constraints on the language in which the theory of truth is formulated. (3) Avoiding the second shortcoming requires arbitrary choices among equally good candidates for “the” logical form of sentences and hence the designation of ‘true’ as applied to them. (shrink)

The book provides a historical and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski’s motivation and presents discussions about his ideas as well as points out various applications of the semantic theory of truth to philosophical (...) problems. (shrink)

Recent philosophy of language has been profoundly impacted by the idea that mainstream, model-theoretic semantics is somehow incompatible with deflationary accounts of truth and reference. The present article systematizes the case for incompatibilism, debunks circularity and “modal confusion” arguments familiar in the literature, and reconstructs the popular thought that truth-conditional semantics somehow “presupposes” a correspondence theory of truth as an inference to the best explanation. The case for compatibilism is closed by showing that this IBE argument fails to rule out (...) two kinds of deflationism: the position Field famously accused Tarski of having; and a less familiar version of the view that defines reference in terms of a deflated notion of truth. Finally, the distinction between unifying and constitutive explanation is used to forestall the response that correspondence theory is literally part of mainstream semantics. (shrink)

Scientific change has two important dimensions: conceptual change and structural change. In this paper, I argue that the existence of conceptual change brings serious difficulties for scientific realism, and the existence of structural change makes structural realism look quite implausible. I then sketch an alternative account of scientific change, in terms of partial structures, that accommodates both conceptual and structural changes. The proposal, however, is not realist, and supports a structuralist version of van Fraassen’s constructive empiricism (structural empiricism).

I distinguish in this chapter between a weak and a strong form of ontological naturalism. Strong ontological naturalism is the view that all truths can be deduced, at least in principle, from truths about physical entities at the lowest level of organization, for example, truths about the elementary particles and forces. Weak ontological naturalism is the view that only physical properties can be causally efficacious. Strong ontological naturalism entails weak ontological naturalism, but not vice versa. I then argue that the (...) existence of a truth property is consistent with weak ontological naturalism, as truth is not causally efficacious. After considering several prominent theories of truth, I argue that the only theories of truth that are consistent with strong ontological naturalism are deflationary doctrines that deny that there is a substantial truth property, but these theories are not suitable adjoints to strong naturalism, as folks with strong naturalist inclinations normally want to posit the existence of substantial natural properties. Yet, if the truth property itself is insubstantial, so are claims about the existence of substantial natural properties. I conclude by arguing that the result that there cannot be a naturalistic theory of truth is unsurprising, as there are independent reasons for thinking that the basic semantic notions must be treated as irreducible, primitive properties. (shrink)

This book is about whether reference to an individual is the essential feature of a proper name -- a widely held view -- or whether referring to an individual is simply a contingent feature. Three questions need resolving, then. First, whether all names in particular contexts are themselves referring devices. Second, whether recognizing names types and the consequent issue of their ambiguity can be resolved simply by distinguishing between name types and tokens thereof. Last, whether names are ever referential in (...) the way Kripke and others have convincingly argued. The answer to first two questions is negative. The answer to third is a qualified "yes." I explain the theory that allows for these answers in the manuscript, as well as addressing other issues such as: the problem of fictional names; descriptive names; empty names; what an act of naming consists of; an account of ontological commitment; and the data that suggests that names are predicates. (shrink)

Is a naturalistic account of reference possible? Here is a simple argument to the effect that it is not: Let R be the relation that allegedly naturalizes reference, and consider the predicate "being an object that does not stand in the relation R to this expression". Call this predicate "P". On the face of it, P is a counterexample to the alleged naturalization, since it appears to refer to all and only those objects that do not stand in the relation (...) R to it. Actually, an argument like this was advanced more than twenty years ago by the late Paolo Casalegno. Although for various reasons it has not been given due attention by the philosophical community, the argument is interesting in its structure and remarkable in its conclusion. In this paper I shall reconstruct it in detail and discuss it. Then, I shall show that the argument fails, since, contrary to what Casalegno claimed, under certain conditions P is paradoxical, hence not a referring expression. My rejection builds on the fundamental distinction between simple and compound expressions, namely on the compositional structure of natural languages. If I am right, whether any attempt at naturalizing reference that takes care of this distinction will succeed remains an open empirical question. (shrink)

One of Tarski’s stated aims was to give an explication of the classical conception of truth—truth as ‘saying it how it is’. Many subsequent commentators have felt that he achieved this aim. Tarski’s core idea of defining truth via satisfaction has now found its way into standard logic textbooks. This paper looks at such textbook definitions of truth in a model for standard first-order languages and argues that they fail from the point of view of explication of the classical notion (...) of truth. The paper furthermore argues that a subtly different definition—also to be found in classic textbooks but much less prevalent than the kind of definition that proceeds via satisfaction—succeeds from this point of view. (shrink)

This is a response to Jerry Fodor’s article, Fodor, J. (1980). "Methodological solipsism as a research strategy in cognitive psychology." Behavioral and Brain Sciences 3: 63-109.

This paper is a contribution to the reconstruction of Tarski’s semantic background in the light of the ideas of his master, Stanislaw Lesniewski. Although in his 1933 monograph Tarski credits Lesniewski with crucial negative results on the semantics of natural language, the conceptual relationship between the two logicians has never been investigated in a thorough manner. This paper shows that it was not Tarski, but Lesniewski who first avowed the impossibility of giving a satisfactory theory of truth for ordinary language, (...) and the necessity of sanitation of the latter for scientific purposes. In an early article (1913) Lesniewski gave an interesting solution to the Liar Paradox, which, although different from Tarski’s in detail, is nevertheless important to Tarski’s semantic background. To illustrate this I give an analysis of Lesniewski’s solution and of some related aspects of Lesniewski’s later thought. (shrink)

Benacerraf has presented two problems for the philosophy of mathematics. These are the problem of identification and the problem of representation. This paper aims to reconstruct the latter problem and to unpack its undermining bearing on the version of Ontic Structural Realism that frames scientific representations in terms of abstract structures. I argue that the dichotomy between mathematical structures and physical ones cannot be used to address the Benacerraf problem but strengthens it. I conclude by arguing that versions of OSR (...) that do not rely on mathematical frameworks for representational purposes need not be vulnerable to Benacerraf’s second problem. (shrink)

The study of truth is often seen as running on two separate paths: the nature path and the logic path. The former concerns metaphysical questions about the ‘nature’, if any, of truth. The latter concerns itself largely with logic, particularly logical issues arising from the truth-theoretic paradoxes. Where, if at all, do these two paths meet? It may seem, and it is all too often assumed, that they do not meet, or at best touch in only incidental ways. It is (...) often assumed that work on the metaphysics of truth need not pay much attention to issues of paradox and logic; and it is likewise assumed that work on paradox is independent of the larger issues of metaphysics. Philosophical work on truth often includes a footnote anticipating some resolution of the paradox, but otherwise tends to take no note of it. Likewise, logical work on truth tends to have little to say about metaphysical presuppositions, and simply articulates formal theories, whose strength may be measured, and whose properties may be discussed. In practice, the paths go their own ways. Our aim in this paper is somewhat modest. We seek to illustrate one point of intersection between the paths. Even so, our aim is not completely modest, as the point of intersection is a notable one that often goes unnoticed. We argue that the ‘nature’ path impacts the logic path in a fairly direct way. What one can and must say about the logic of truth is influenced, or even in some cases determined, by what one says about the metaphysical nature of truth. In particular, when it comes to saying what the well-known Liar paradox teaches us about truth, background conceptions — views on ‘nature’ — play a significant role in constraining what can be said. This paper, in rough outline, first sets out some representative ‘nature’ views, followed by the ‘logic’ issues (viz., paradox), and turns to responses to the Liar paradox. What we hope to illustrate is the fairly direct way in which the background ‘nature’ views constrain — if not dictate — responses to the main problem on the ‘logic’ path.. (shrink)

Many of Tarski’s better known papers are either about or include lengthy discussions of how to properly define various concepts: truth, logical consequence, semantic concepts, or definability. In general, these papers identify two primary conditions for successful definitions: formal correctness and material adequacy. Material adequacy requires that the concept expressed by the formal definition capture the intuitive content of truth. Our primary interest in this paper is to better understand Tarski’s thinking about material adequacy, and whether components of his view (...) developed over time. More precisely, we are concerned with how Tarski’s understanding of the content of the common-sense, every-day usage of truth may have developed over time. We distinguish this concern from the character of the extensional criterion of adequacy Tarski proposes: that a materially adequate definition must entail all instances of Convention T. We will develop our reading of Tarski as follows: first, we will review the “Polemical Remarks,” focusing primarily on §§14 and 17, and Tarski’s references to Naess’ empirical research. Next, we will provide a summary and discussion of Naess’ work, especially his findings with respect to Tarski’s definition of truth and his research that suggests there is no single common or everyday concept of truth. Third, we will consider several possible objections to our interpretation of the Tarski–Naess dialectic. We will conclude that Tarski’s conception of material adequacy developed over time, potentially because of what he had learned through his interactions with Naess. (shrink)

In this paper, I outline and defend a novel approach to alethic pluralism, the thesis that truth has more than one metaphysical nature: where truth is, in part, explained by reference, it is relational in character and can be regarded as consisting in correspondence; but where instead truth does not depend upon reference it is not relational and involves only coherence. In the process, I articulate a clear sense in which truth may or may not depend upon reference: this involves (...) distinguishing semantic denotation from pragmatic speaker reference and claiming that there may or may not exist a metasemantic connection between these two notions. Finally, I argue that reference is not in general inscrutable—that this metasemantic connection does exist in the case of our ordinary discourse about present macroscopic concrete objects—but that it is in pure mathematics, where reference cannot be secured, and which therefore plays no role in accounting for truth. In this manner, alethic pluralism is upheld. (shrink)

Putnam originally developed his causal theory of meaning in order to support scientific realism and reject the notion of incommensurability. Later he gave up this position and adopted instead what he called ‘internal realism’, but apparently without changing his mind on topics related to his former philosophy of language. The question must arise whether internal realism, which actually is a species of antirealism, is compatible with the causal theory of meaning. In giving an answer I begin with an analysis of (...) the content and metaphysical background of scientific realism. I show that it presupposes metaphysical realism and that Putnam's philosophical conversion is due to his becoming aware of the latter's incoherence. After giving a brief sketch of internal realism I conclude by arguing that within this new theoretical framework the causal theory of meaning loses its force as a weapon against incommensurability. (shrink)

Much has been written of late concerning the relative virtues and views of correspondence and deflationary theories of Truth. What is troubling, however, is that it is not always entirely clear exactly what distinguishes different conceptions of truth. Characterizations of the distinction are often vague and sometimes vary from writer to writer. One central thing I want to do here is to diagnose the source of the difficulty in providing a clear characterization of the distinction. In light of this diagnosis, (...) I will argue that there is a simple distinguishing feature of such views. Roughly, the distinction depends on the modal status accorded to the T-sentences by the various conceptions. And finally, I will argue in favor of drawing the distinction in this way by showing that it yields a powerful method of arguing for or against a given conception of truth. (shrink)

Deflationists cannot make sense ofthe notion of referential indeterminacybecause they deny the existence of substantivereference. One way for them to make sense ofthe objective existence of linguisticindeterminacy is by embracing theworldly (or objectual) view ofindeterminacy, the view that indeterminacyexists not in reference relations but in the(non-linguistic) world itself. On this view,the entire world is divided into precisified worlds, just as it is dividedinto temporal slices and (arguably) alethicpossible worlds. Supervaluationism proves tobe neutral with respect to the debate betweenthe worldly view (...) and the referential view ofindeterminacy. (shrink)

This anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process. Along with an introduction outlining the central issues in the field, it provides a unique and unrivaled view of contemporary work on the nature of truth, with papers selected from key conferences in 2011 such as Truth Be Told, Truth at Work, Paradoxes of Truth and Denotation and Axiomatic Theories of Truth. Studying the nature of (...) the concept of ‘truth’ has always been a core role of philosophy, but recent years have been a boom time in the topic. With a wealth of recent conferences examining the subject from various angles, this collection of essays recognizes the pressing need for a volume that brings scholars up to date on the arguments. Offering academics and graduate students alike a much-needed repository of today’s cutting-edge work in this vital topic of philosophy, the volume is required reading for anyone needing to keep abreast of developments, and is certain to act as a catalyst for further innovation and research. (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)

Alfred Tarski seems to endorse a partial conception of truth, the T-schema, which he believes might be clarified by the application of empirical methods, specifically citing the experimental results of Arne Næss (1938a). The aim of this paper is to argue that Næss’ empirical work confirmed Tarski’s semantic conception of truth, among others. In the first part, I lay out the case for believing that Tarski’s T-schema, while not the formal and generalizable Convention-T, provides a partial account of truth that (...) may be buttressed by an examination of the ordinary person’s views of truth. Then, I address a concern raised by Tarski’s contemporaries who saw Næss’ results as refuting Tarski’s semantic conception. Following that, I summarize Næss’ results. Finally, I will contend with a few objections that suggest a strict interpretation of Næss’ results might recommend an overturning of Tarski’s theory. (shrink)

Correspondence theories are frequently either too vaguely expressed – “true statements correspond to the way things are in the world,” or implausible – “true statements mirror raw, mind-independent reality.” I address this problem by developing features and roles that ought to characterize what I call ldquo;modest” correspondence theories. Of special importance is the role of correspondence in directing our responses to cases of suspected non-factuality; lack of straightforward correspondence shows the need for, and guides us in our choice of, various (...) kinds of reconstrual projects. This, I argue, is in contrast to the approaches suggested by deflationism and coherence, and thus modest correspondence theories are appropriately distinct from rivals. (shrink)

The paper deals with Hilary Putnam's model-theoretic argument against metaphysical realism. It considers the objections to the argument raised by David Lewis, Mark Heller, James van Cleve, Anthony Brueckner and others, to the effect that Putnam's reasoning fails to undermine versions of metaphysical realism which construe reference along externalist lines. I argue that the version of Putnam's argument that his critics have attacked is indeed powerless against externalist accounts of reference, but that, on a different construal, the argument puts genuine (...) pressure on externalism. On the version of the argument that I develop, the thrust of the model-theoretic considerations is that an externalist construal of reference would make grasp of reference facts impossible. (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 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)

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

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)

This paper was written with two aims in mind. A large part of it is just an exposition of Tarski’s theory of truth. Philosophers do not agree on how Tarski’s theory is related to their investigations. Some of them doubt whether that theory has any relevance to philosophical issues and in particular whether it can be applied in dealing with the problems of philosophy (theory) of science. In this paper I argue that Tarski’s chief concern was the following question. Suppose (...) a language L belongs to the class of languages for which, in full accordance with some formal conditions set in advance, we are able to define the class of all the semantic interpretations the language may acquire. Every interpretation of L can be viewed as a certain structure to which the expressions of the language may refer. Suppose that a specific interpretation of the language L was singled out as the intended one. Suppose, moreover, that the intended interpretation can be characterized in a metalanguage L +. If the above assumptions are satisfied, can the notion of truth for L be defined in the metalanguage L + and, if it can, how can this be done? Many students of Tarski’s conception will find the above exposition inconsistent with their own views on the essence of Tarski’s conception. On the other hand, as it is argued in this paper, the proposed interpretation of Tarski’s ideas allows one to use Tarski’s theory as a fundamental tool for semantic analyses of various theories, factual theories in particular. More specifically, it is argued that Tarski’s theory of truth allows one to clearly oppose a theory meant to be certain deductive system (a set of accepted sentences, say axioms, and a logical machinery for deducing from them new ones) and a theory meant to be a certain semantic system, i.e a set of sentences that serve to communicate some states of affairs and to use that opposition to explicate and occasionally also define the notion of truth. The opposition in question is of the utmost significance for analyzing some developments in both mathematics and factual sciences. The approach which is concerned with the logical relations between the elements of science such an approach is throughout this paper called analytical is put into question. The growth of science is determined by how well scientific theories are able to account for factual states of affairs. The intuitive notion of truth applied by the scientists does not necessarily correspond in a straightforward way to its Tarskian counterpart. On the other hand, as is claimed in this paper, the Tarskian notion of truth offers as adequate explication of intuitive notion of truth as possible. (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)

This book, provides a critical approach to all major logical paradoxes: from ancient to contemporary ones. There are four key aims of the book: 1. Providing systematic and historical survey of different approaches – solutions of the most prominent paradoxes discussed in the logical and philosophical literature. 2. Introducing original solutions of major paradoxes like: Liar paradox, Protagoras paradox, an unexpected examination paradox, stone paradox, crocodile, Newcomb paradox. 3. Explaining the far-reaching significance of paradoxes of vagueness and change for philosophy (...) and ontology. 4. Proposing a novel, well justified and, as it seems, natural classification of paradoxes. (shrink)