Is conceptual relativity a genuine phenomenon? If so, how is it properly understood? And if it does occur, does it undermine metaphysical realism? These are the questions we propose to address. We will argue that conceptual relativity is indeed a genuine phenomenon, albeit an extremely puzzling one. We will offer an account of it. And we will argue that it is entirely compatible with metaphysical realism. Metaphysical realism is the view that there is a world of objects and properties that (...) is independent of our thought and discourse (including our schemes of concepts) about such a world. Hilary Putnam, a former proponent of metaphysical realism, later gave it up largely because of the alleged phenomenon that he himself has given the label ‘conceptual relativity’. One of the key ideas of conceptual relativity is that certain concepts—including such fundamental concepts as object, entity, and existence—have a multiplicity of different and incompatible uses (Putnam 1987, p. 19; 1988, pp. 110 14). According to Putnam, once we recognize the phenomenon of conceptual relativity we must reject metaphysical realism: The suggestion . . . is that what is (by commonsense standards) the same situation can be described in many different ways, depending on how we use the words. The situation does not itself legislate how words like “object,” “entity,” and “exist” must be used. What is wrong with the notion of objects existing “independently” of conceptual schemes is that there are no standards for the use of even the logical notions apart from conceptual choices.” (Putnam 1988, p. 114) Putnam’s intriguing reasoning in this passage is difficult to evaluate directly, because conceptual [1] relativity is philosophically perplexing and in general is not well understood. In this paper we propose a construal of conceptual relativity that clarifies it considerably and explains how it is possible despite its initial air of paradox. We then draw upon this construal to explain why, contrary to Putnam and others, conceptual relativity does not conflict with metaphysical realism, but in fact comports well with it.. (shrink)

This paper argues that theories of truth which seek to specify the ontological ground of true statements by appealing to an ontology of truth‐makers face a severe and possibly insurmountable obstacle in the form of logically complex statements. I argue that there is no apparent way to develop an account of logically complex truth within the confines of a modest and plausible ontology of truth‐makers and to this end criticize independent attempts by Armstrong and Pendlebury to develop such an account.

I use modal logic and transfinite set-theory to define metaphysical foundations for a general theory of computation. A possible universe is a certain kind of situation; a situation is a set of facts. An algorithm is a certain kind of inductively defined property. A machine is a series of situations that instantiates an algorithm in a certain way. There are finite as well as transfinite algorithms and machines of any degree of complexity (e.g., Turing and super-Turing machines and more). There (...) are physically and metaphysically possible machines. There is an iterative hierarchy of logically possible machines in the iterative hierarchy of sets. Some algorithms are such that machines that instantiate them are minds. So there is an iterative hierarchy of finitely and transfinitely complex minds. (shrink)

I propose an account truthmaking that provides truthmakers for negative truths. The account replaces Truthmaker Necessitarianism with a "Duplication Principle", according to which a suitable entity T is a truthmaker for a proposition P just in case the existence of an appropriate counterpart of T entails the truth of P, where the counterpart relation is cashed out in terms of qualitative duplication. My account captures an intuitive notion of truthmakers as "things the way they are", validates two appealing principles about (...) entailment and containment proposed by David Armstrong, and invalidates the controversial Disjunction Thesis. (shrink)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

The idea of truthmakers is important for doing serious metaphysics, since a truthmaker principle can give us important guidance in finding out what we would like to include into our ontology. Recently, David Lewis has argued against Armstrong’s argument that a plausible truthmaker principle requires us to accept facts. I would like to take a close look at the argument. I will argue in detail that the Humean principle of recombination on which Lewis relies is not plausible (independently of the (...) issue of facts). Then I will show that the right truthmaker principle that vindicates facts is superior to the modified truthmaker principle that Lewis has proposed. This will lead into the topic of being and existence. It turns out that truthmaking and facts are plausible, well suited for one another, and very coherent with a plausible conception of being. (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)

I defend the correspondence theory of truth, according to which a statement’s truth consists in a relation of correspondence with extralinguistic fact. There are well-known objections to this view, which I consider and rebut, and also important rival accounts, principal among which are so-called deflationist theories and epistemic theories. Epistemic theories relate the concept of truth to our state of knowledge, but fail, I argue, to respect the crucial distinction between a criterion of truth and the meaning of truth: the (...) view that one cannot do semantics, or metaphysics, without addressing epistemic issues is rejected by this work. Against epistemic theories, I illustrate how truth is independent of epistemic considerations. Deflationism is the more popular of the rival accounts and has gained considerable momentum over the past two decades. It is therefore dealt with in greater detail by this work. Deflationist theories exploit the paradigmatic ‘“Snow is white” is true iff snow is white’ biconditional to argue for an insubstantialist account, according to which truth is conservative with respect to non-semantical facts. On this view, truth’s raison d’être is merely to perform the useful expressive function of generalising over possibly infinite sets of assertions. Against deflationist theories, I claim that the work done by Jeffrey Ketland and Stewart Shapiro conclusively demonstrates how truth is informationally additive over non-semantic facts, while deflationism itself is also an excessively impoverishing theory, inadequate to the tasks it purports to accomplish. This work also defends the thesis that Alfred Tarski’s well-known theory of truth is an authentic correspondence theory. To say this is to say that the clauses of a Tarskian truth-definition can be interpreted in terms of a relation of correspondence that holds between true sentences and the states of affairs they describe. I provide a precise account of what the correspondence in question consists in, claiming that true sentences are homomorphic images of facts, i.e. a true sentence represents, in a form-preserving manner, the truth-making facts in it. This gives precise expression to Wittgenstein’s thesis that true sentences picture the world. (shrink)

Three-valued (strong-Kleene) modal logic provides the foundation for a new approach to formalizing causal explanation as a relation between partial situations. The approach makes fine-grained distinctions between aspects of events, even between aspects that are equivalent in classical logic. The framework can accommodate a variety of ontologies concerning the relata of causal explanation. I argue, however, for a tripartite ontology of objects corresponding to sentential nominals: facts, tropes (or facta or states of affairs), and situations (or events). I axiomatize the (...) relations and use canonical models to demonstrate completeness. (shrink)