By a `denoting phrase' I mean a phrase such as any one of the following: a man, some man, any man, every man, all men, the present King of England, the present King of France, the center of mass of the solar system at the first instant of the twentieth century, the revolution of the earth round the sun, the revolution of the sun round the earth. Thus a phrase is denoting solely in virtue of its form. We may distinguish (...) three cases: (1) A phrase may be denoting, and yet not denote anything; e.g., `the present King of France'. (2) A phrase may denote one definite object; e.g., `the present King of England' denotes a certain man. (3) A phrase may denote ambiguously; e.g. `a man' denotes not many men, but an ambiguous man. The interpretation of such phrases is a matter of considerably difficulty; indeed, it is very hard to frame any theory not susceptible of formal refutation. All the difficulties with which I am acquainted are met, so far as I can discover, by the theory which I am about to explain. (shrink)

By a `denoting phrase' I mean a phrase such as any one of the following: a man, some man, any man, every man, all men, the present King of England, the present King of France, the center of mass of the solar system at the first instant of the twentieth century, the revolution of the earth round the sun, the revolution of the sun round the earth. Thus a phrase is denoting solely in virtue of its form. We may distinguish (...) three cases: (1) A phrase may be denoting, and yet not denote anything; e.g., `the present King of France'. (2) A phrase may denote one definite object; e.g., `the present King of England' denotes a certain man. (3) A phrase may denote ambiguously; e.g. `a man' denotes not many men, but an ambiguous man. The interpretation of such phrases is a matter of considerably difficulty; indeed, it is very hard to frame any theory not susceptible of formal refutation. All the difficulties with which I am acquainted are met, so far as I can discover, by the theory which I am about to explain. (shrink)

This bulletin contains a summary of the main topics of discussion in truthmaker theory, namely: the definition of truthmakers, problems with Truthmaker Necessitarianism and Truthmaker Maximalism, the ontological burden of truthmakers and the recalcitrant topic of truthmakers for negative truths.

What makes necessary truths true? I argue that all truth supervenes on how things are, and that necessary truths are no exception. What makes them true are proofs. But if so, the notion of proof needs to be generalized to include verification-transcendent proofs, proofs whose correctness exceeds our ability to verify it. It is incumbent on me, therefore, to show that arguments, such as Dummett's, that verification- truth is not compatible with the theory of meaning, are mistaken. The answer is (...) that what we can conceive and construct far outstrips our actual abilities. I conclude by proposing a proof-theoretic account of modality, rejecting a claim of Armstrong's that modality can reside in non-modal truthmakers. (shrink)

I argue that Colin Cheyne and Charles Pigden's recent attempt to find truthmakers for negative truths fails. Though Cheyne and Pigden are correct in their treatment of some of the truths they set out to find truthmakers for (such as 'There is no hippopotamus in S223' and 'Theatetus is not flying') they over-generalize when they apply the same treatment to 'There are no unicorns'. In my view, this difficulty is ineliminable: not every truth has a truthmaker.

A realist theory of truth for a class of sentences holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar, we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core of our theory is the (...) account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. In contrast to this, we uphold the mutual independence of logical and ontological complexity, and the authors outline formal principles of truthmaking taking account of both kinds of complexity. (shrink)

Hypothetico-deductivists have struggled to develop qualitative confirmation theories not raising the so-called tacking by disjunction paradox. In this paper, I analyze the difficulties yielded by the paradox and I argue that the hypothetico-deductivist solutions given by Gemes (1998) and Kuipers (2000) are questionable because they do not fit such analysis. I then show that the paradox yields no difficulty for the Bayesian who appeals to the Total Evidence Condition. I finally argue that the same strategy is unavailable to the hypothetico-deductivist.

First paragraph: Truthmaker theory maintains that for every truth there is something, some thing, some entity, that makes it true. Balking at the prospect that logical truths are made true by any particular thing, a consequence that may in fact be hard to avoid (see Restall 1996, Read 2000), this principle of truthmaking is sometimes restricted to (logically) contingent truths. I aim to show that even in its restricted form, the principle is provably false.

What are the most fundamental features of the world? Do minds stand outside the natural order? Is a unified picture of mental and physical reality possible? The Mind in Nature provides a staunchly realist account of the world as a unified system incorporating both the mental and the physical.

The Mind in Nature has two central aims. First, that of defending a ‘basic ontology’. Second, having advanced a plausible ontological framework, to appeal to it to cast light on the status of intentionality and the nature of consciousness, paying particular attention to the question of what distinguishes conscious systems from those that are vegetative.Central to Martin's basic ontology is his acceptance of a realist conception of dispositionality. Contrary to the view of David Lewis and others, talk about a thing's (...) dispositions cannot be analysed as talk about a thing's behaviour in a set of counterfactual circumstances. The account of dispositions that emerges from Martin's discussion is one according to which a specific disposition is either actual or it is not. To be actual a disposition need not be manifesting any manifestation. Unmanifesting dispositions are not, therefore, unactualized possibilia – a description which, he observes, is more fitting of unmanifested manifestations. In advancing a realist conception of dispositionality, Martin also opposes those who maintain that dispositional properties reduce to …. (shrink)

The development of a compositional model shows the incoherence of such notions as levels of being and both bottom-up and top-down causality. The mathematization of nature through the partial considerations of physics qua quantities is seen to lead to Pythagoreanism, if what is not included in the partial consideration is denied. An ontology of only probabilities, if not Pythagoreanism, is equivalent to a world of primitive dispositionalities. Problems are found with each. There is a need for properties as well as (...) quantities and these properties must be qualitative as well as dispositional. So there is a need for physical qualia (qualities) for the depiction of the intrinsic character of the finest interstices of nature. (shrink)

A correspondence theory of truth involves at least three constituents; the truth bearer, propositions, which stand in a relation of correspondence to the third element, the truth maker, some objects or fact with which the truth maker must correspond. Correspondence theories differ about the nature of truth makers, over whether one needs to include properties, and in particular over whether facts must be assumed in addition in order to give a correct account not merely of the conditions under which propositions (...) are true, but also what makes them true. Simple modal propositions state that objects necessarily or possibly have certain properties. What makes such propositions true? In this paper I want to consider various candidates for an account of the truth makers of modal propositions. After rejecting several alternatives that rely only on objects and properties, i.e., truth conditions, I will present several refinements of a fact based theory culminating in the view that truth makers for modal propositions are actual or non-actual facts which have facts and possible worlds as constituents. (shrink)

As well as aiming to revive interest in Meinong's thought, this book challenges many of the most widespread assumptions of philosophical logic.

In this paper, I make a contribution to a naturalistically-minded theory of truthmakers by proposing a solution to the nasty problem of truthmakers for negative truths. After formulating the difficulty, I consider and reject a number of solutions to the problem, including Armstrong's states of affairs of totality, incompatibility accounts, and JC Beall 's polarity view. I then defend the position that absences of truthmakers are real and are responsible for making negative truths true. According to the positive account of (...) absences I offer, absences of contingent states of affairs are causally relevant mind-independent features of the physical world, located within space and time, and capable of being discovered by scientific inquiry. Recognition of the reality of absences strengthens truthmaker theory as a naturalistic metaphysics, as truth and falsity of each and every contingent proposition finds an ontological grounding in some region of the physical universe. (shrink)

Theories of Truth introduces readers to issues that have been connected with truth—the only book of its kind. Richard Kirkham has an easy writing style and a good sense of what needs to be explained to students new to the literature. These facts make Theories of Truth a serious contender for use in the classroom. As with most introductions, use of the book should be supplemented with readings from the major authors covered. Beyond that supplementation, however, the text still needs (...) to be used with some caution, for there are shortcomings that could seriously mislead students. (shrink)

Amongst those who feel the pull of the truthmaker principle (that truths require for their truth a truthmaker to exist), there is disagreement as to whether it applies to all truths or merely to some distinguished subset. Those in the latter camp, the non-maximalists, argue that there are no ducks in my bath is true not because of something’s existence, but because of the lack of ducks in my bath. Maximalists, by contrast, insist that truths are made true by something’s (...) existence, and so appear to be committed to strange ‘negative’ entities in their ontology. As a consequence, non-maximalists appear to have a more common-sense ontology than maximalists. But things are not so straightforward. I will argue that if maximalism is committed to strange entities then so is non-maximalism; and if non-maximalism can do without strange entities, then so can maximalism. Either way, the non-maximalist has no ontological advantage over the maximalist. (shrink)

Substantial facts are not well-understood entities. Many philosophers object to their existence on this basis. Yet facts, if they can be understood, promise to do a lot of philosophical work: they can be used to construct theories of property possession and truthmaking, for example. Here, I give a formal theory of facts, including negative and logically complex facts. I provide a theory of reduction similar to that of the typed λ -calculus and use it to provide identity conditions for facts. (...) This theory validates truthmaker maximalism : it provides truthmakers for all truths. I then show how the usual truth-in-a-model relation can be replaced by two relations: one between models and facts, saying that a given fact obtains relative to the model, and the other between facts and propositions: the truthmaking relation. (shrink)

According to truthmaker theory, particular truths are true in virtue of the existence of particular entities. Truthmaker maximalism holds that this is so for all truths. Negative existential and other ‘negative’ truths threaten the position. Despite this, maximalism is an appealing thesis for truthmaker theorists. This motivates interest in parsimonious maximalist theories, which do not posit extra entities for truthmaker duty. Such theories have been offered by David Lewis and Gideon Rosen, Ross Cameron, and Jonathan Schaffer. But these theories cannot (...) be sustained, I’ll argue, and hence maximalism comes with a serious ontological cost. Neither Armstrong’s invocation of totality facts nor the Martin-Kukso line on absences can meet this cost satisfactorily. I’ll claim that negative facts are the best (and perhaps only) way out of the problem for the truthmaker maximalist. (shrink)

Negative facts get a bad press. One reason for this is that it is not clear what negative facts are. We provide a theory of negative facts on which they are no stranger than positive atomic facts. We show that none of the usual arguments hold water against this account. Negative facts exist in the usual sense of existence and conform to an acceptable Eleatic principle. Furthermore, there are good reasons to want them around, including their roles in causation, chance-making (...) and truth-making, and in constituting holes and edges. (shrink)

This book explores the thought of Alexius Meinong, a philosopher known for his unconventional theory of reference and predication. The chapters cover a natural progression of topics, beginning with the origins of Gegenstandstheorie, Meinong's theory of objects, and his discovery of assumptions as a fourth category of mental states to supplement his teacher Franz Brentano's references to presentations, feelings, and judgments. The chapters explore further the meaning and metaphysics of fictional and other nonexistent intended objects, fine points in Meinongian object (...) theory are considered and new and previously unanticipated problems are addressed. The author traces being and non-being, and aspects of beingless objects including objects in fiction, ideal objects in scientific theory, objects ostensibly referred to in false science and false history, and intentional imaginative projection of future states of affairs. The chapters focus on an essential choice of conceptual, logical, semantic, ontic and more generally metaphysical problems, and an argument is progressively developed from the first to the final chapter, as key ideas are introduced and refined. Meinong studies have come a long way from Bertrand Russell's off-target criticisms, and recent times have seen a rise of interest in a Meinongian approach to logic and the theory of meaning. New thinkers see Meinong as a bridge figure between analytic and continental thought, thanks to the need for an adequate semantics of meaning in philosophy of language and philosophy of mind, making this book a particularly timely publication. (shrink)

Discusses the old problem of how to characterize apparently intentional states that appear to lack objects. In tandem with critically discussing a recent proposal by Tim Crane, I develop the line of reasoning according to which talking about intentional objects is really a way of talking about intentional states—in particular, it’s a way of talking about their satisfaction-conditions.

Tim Crane has recently defended the view that all intentional states have objects, even when these objects do not exist. In this note I first set forth some crucial elements of Crane’s view: his reasons for accepting intentional objects, his rejection of certain ways of thinking about them, and his distinction between the ‘substantial’ and the ‘schematic’ notion of an object. I then argue that while Crane’s account successfully explains what intentional objects are not, it leaves unexplained how it could (...) make sense to say that intentional objects need not exist. Finally I propose that we can do justice to Crane’s reasons for talking about intentional objects by re‐interpreting talk about intentional objects as talk about the truth‐ or satisfaction‐conditions of intentional states. (shrink)

What are the conceptually necessary and sufficient conditions for a person, or organism, to perceive a given object? More precisely, what is the nature of our ordinary thought about perception that gives rise to our willingness or unwillingness to say that S perceives O? Some form of causal theory of perception is now, I think, widely accepted. Such a theory maintains that it is part of our concept of perception that S perceives O only if O causes a percept, or (...) perceptual state, of S. I accept this causal requirement, though with some qualification. The crucial problem for the theory of perception is what must be added to the causal requirement. Not all causes of a percept are said to be perceived. Smith looks at a tree illuminated by the sun, when the sun is not itself in view. His visual percept is caused by the tree, but not only the tree. The percept's causal ancestry includes the sun and the array of light two inches from Smith's eyes. Why do we say that he sees the tree, but not the sun or the array of light? What principles underlie this invidious choice among causes? Similarly, we think of a bat as perceiving objects in his path, but not as perceiving himself. Yet, since he emits the sonar signals these objects reflect, he is himself a cause of his percepts. Why don't we say he perceives himself? (shrink)

Logical Atomism is a philosophy that sought to account for the world in all its various aspects by relating it to the structure of the language in which we articulate information. In _The Philosophy of Logical Atomism,_ Bertrand Russell, with input from his young student Ludwig Wittgenstein, developed the concept and argues for a reformed language based on pure logic. Despite Russell’s own future doubts surrounding the concept, this founding and definitive work in analytical philosophy by one of the world’s (...) most significant philosophers is a remarkable attempt to establish a novel way of thinking. (shrink)

First published in 1985, D. M. Armstrong's original work on what laws of nature are has continued to be influential in the areas of metaphysics and philosophy of science. Presenting a definitive attack on the sceptical Humean view, that laws are no more than a regularity of coincidence between stances of properties, Armstrong establishes his own theory and defends it concisely and systematically against objections. Presented in a fresh twenty-first-century series livery, and including a specially commissioned preface written by Marc (...) Lange, illuminating its continuing importance and relevance to philosophical enquiry, this influential work is available for a new generation of readers. (shrink)