Truths are determined not by what we believe, but by the way the world is. Or so realists about truth believe. Philosophers call such theories correspondence theories of truth. Truthmaking theory, which now has many adherents among contemporary philosophers, is the most recent development of a realist theory of truth, and in this book D. M. Armstrong offers the first full-length study of this theory. He examines its applications to different sorts of truth, including contingent truths, modal truths, truths about (...) the past and the future, and mathematical truths. In a clear, even-handed and non-technical discussion he makes a compelling case for truthmaking and its importance in philosophy. His book marks a significant contribution to the debate and will be of interest to a wide range of readers working in analytical philosophy. (shrink)

Although the relationship of part to whole is one of the most fundamental there is, this is the first full-length study of this key concept. Showing that mereology, or the formal theory of part and whole, is essential to ontology, Simons surveys and critiques previous theories--especially the standard extensional view--and proposes a new account that encompasses both temporal and modal considerations. Simons's revised theory not only allows him to offer fresh solutions to long-standing problems, but also has far-reaching consequences for (...) our understanding of a host of classical philosophical concepts. (shrink)

Introduction -- The type/token theory introduced -- Motivating the type/token theory : repeatability -- Nominalist approaches to the ontology of music -- Musical anti-realism -- The type/token theory elaborated -- Types I : abstract, unstructured, unchanging -- Types introduced and nominalism repelled -- Types as abstracta -- Types as unstructured entities -- Types as fixed and unchanging -- Types II : platonism -- Introduction : eternal existence and timelessness -- Types and properties -- The eternal existence of properties reconsidered -- (...) Types and patterns -- Defending the type/token theory I -- Unstructuredness and analogical predication -- Musical works as fixed and unchanging -- Abstractness and audibility (again) -- Works and interpretations -- Conclusion and resumé -- Defending the type/token theory II : musical platonism -- Platonism it is : replies to Anderson and Levinson -- The existence conditions of works of music -- Composition as creative discovery -- The nature of the compositional process : replies to objections -- Composition and aesthetic appraisal : a reply to Levinson -- Composition and aesthetic appraisal : understanding, interpretation, and correctness -- Musical works as continuants : a theory rejected -- A theory introduced -- Explicating and motivating the continuant view -- The continuant view and repeatability -- Further objections to the continuant view -- Musical works as compositional actions : a critique -- Currie's action-type hypothesis -- Davies's performance theory -- Sonicism I : against instrumentalism -- Sonicism introduced -- Sonicism motivated : moderate empiricism -- Instrumentation : timbral sonicism introduced -- Scores -- Instrumentation, artistic properties, and aesthetic content -- Levinson's rejoinder -- Sonicism II : against contextualism -- Introduction : formulating contextualism -- Contextualist ontological proposals -- Levinson's doppelgänger thought-experiments -- Artistic, representational, and object-directed expressive properties -- Aesthetic and non-object-directed expressive properties -- Conclusion : the place of context. (shrink)

This second edition has been revised to provide additional coherence to the themes examined and introduces sections on topical issues, for example the chapter on Utilitarianism now includes a discussion on law and economics.

The article analyzes how American philosopher Charles Peirce understands the concept of reality. He identifies the real as that which is independent of what any individual thinks about it and as a type of cognition and as the object of inquiry. Obtrusive realism and projective realism are the two central elements in Peirce's thoughts on reality. A set of problems relating to Peirce's assumption that inquiry must ultimately focus on true beliefs about reality is also presented.

An overview of contemporary part-whole theories, with reference to both their axiomatic developments and their philosophical underpinnings.

Platonism in the philosophy of mathematics is the doctrine that there are mathematical objects such as numbers. John Burgess and Gideon Rosen have argued that that there is no good epistemological argument against platonism. They propose a dilemma, claiming that epistemological arguments against platonism either rely on a dubious epistemology, or resemble a dubious sceptical argument concerning perceptual knowledge. Against Burgess and Rosen, I show that an epistemological anti- platonist argument proposed by Hartry Field avoids both horns of their dilemma.

Many explanations in science make use of mathematics. But are there cases where the mathematical component of a scientific explanation is explanatory in its own right? This issue of mathematical explanations in science has been for the most part neglected. I argue that there are genuine mathematical explanations in science, and present in some detail an example of such an explanation, taken from evolutionary biology, involving periodical cicadas. I also indicate how the answer to my title question impacts on broader (...) issues in the philosophy of mathematics; in particular it may help platonists respond to a recent challenge by Joseph Melia concerning the force of the Indispensability Argument. (shrink)

According to the indispensability argument, the fact that we quantify over numbers, sets and functions in our best scientific theories gives us reason for believing that such objects exist. I examine a strategy to dispense with such quantification by simply replacing any given platonistic theory by the set of sentences in the nominalist vocabulary it logically entails. I argue that, as a strategy, this response fails: for there is no guarantee that the nominalist world that go beyond the set of (...) sentences in the nominalist language such theories entail. However, I argue that what such theories show is that mathematics can enable us to express possibilities about the concrete world that may not be expressible in nominalistically acceptable language. While I grant that this may make quantification over abstracta indispensable, I deny that such indispensability is a reason for accepting them into our ontology. I urge that the nominalist should be allowed to quantify over abstracta whilst denying their existence and I explain how this apparently contradictory practice (a practice I call 'weaseling') is in fact coherent, unproblematic and rational. Finally, I examine the view that platonistic theories are simpler or more attractive than their nominalistic reformulations, and thus that abstract ought to be accepted into our ontology for the same sorts of reasons as other theoretical objects. I argue that, at least in the case of numbers, functions and sets, such arguments misunderstand the kind of simplicity and attractiveness we seek. (shrink)

It's an achievement of the last couple of decades that people who work in linguistic semantics and people who work in the philosophy of language have arrived at a friendly, de facto agreement as to their respective job descriptions. The terms of this agreement are that the semanticists do the work and the philosophers do the worrying. The semanticists try to construct actual theories of meaning (or truth theories, or model theories, or whatever) for one or another kind of expression (...) in one or another natural language; for example, they try to figure out how the temperature could be rising compatibly with the substitutivity of identicals. The philosophers, by contrast, keep an eye on the large, foundational issues, such as: what's the relation between sense and denotation; what's the relation between thought and language; whether translation is determinate; and whether life is like a fountain. Every now and then the philosophers and the semanticists are supposed to get together and compare notes on their respective progress. Or lack thereof. (shrink)

In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (shrink)

In this paper I examine two principles of orthodox truthmaker theory: truthmaker maximalism - the doctrine that every (contingent) truth has a truthmaker, and truthmaker necessitarianism - the doctrine that the existence of a truthmaker necessitates the truth of any proposition which it in fact makes true. I argue that maximalism should be rejected and that once it is we only have reason to hold a restricted form of necessitarianism.

Ernie Lepore and Jerry Fodor have published a series of original and controversial essays on issues relating to compositionality in language and mind; they have...

It's an achievement of the last couple of decades that people who work in linguistic semantics and people who work in the philosophy of language have arrived at a friendly, de facto agreement as to their respective job descriptions. The terms of this agreement are that the semanticists do the work and the philosophers do the worrying. The semanticists try to construct actual theories of meaning (or truth theories, or model theories, or whatever) for one or another kind of expression (...) in one or another natural language; for example, they try to figure out how the temperature could be rising compatibly with the substitutivity of identicals. The philosophers, by contrast, keep an eye on the large, foundational issues, such as: what's the relation between sense and denotation; what's the relation between thought and language; whether translation is determinate; and whether life is like a fountain. Every now and then the philosophers and the semanticists are supposed to get together and compare notes on their respective progress. Or lack thereof. (shrink)

There is a long tradition in philosophy of using a priori methods to draw conclusions about what is possible and what is necessary, and often in turn to draw conclusions about matters of substantive metaphysics. Arguments like this typically have three steps: first an epistemic claim , from there to a modal claim , and from there to a metaphysical claim.

F. H. Bradley was the foremost philosopher of the British Idealist school, which came to prominence in the second half of the nineteenth century. Bradley, who was a life fellow of Merton College, Oxford, was influenced by Hegel, and also reacted against utilitarianism. He was recognised during his lifetime as one of the greatest intellectuals of his generation and was the first philosopher to receive the Order of Merit, in 1924. His work is considered to have been important to the (...) formation of analytic philosophy. In metaphysics, he rejected pluralism and realism, and believed that English philosophy needed to deal systematically with first principles. This work, first published in 1893, is divided into two parts: 'Appearance' deals with exposing the contradictions that Bradley believed are hidden in our everyday conceptions of the world; and in 'Reality', he builds his positive account of reality and considers possible objections to it. (shrink)

Woodward's long awaited book is an attempt to construct a comprehensive account of causation explanation that applies to a wide variety of causal and explanatory claims in different areas of science and everyday life. The book engages some of the relevant literature from other disciplines, as Woodward weaves together examples, counterexamples, criticisms, defences, objections, and replies into a convincing defence of the core of his theory, which is that we can analyse causation by appeal to the notion of manipulation.

NOW IN PAPERBACK"€"Starting from a collection of simple computer experiments"€"illustrated in the book by striking computer graphics"€"Stephen Wolfram shows how their unexpected results force a whole new way of looking at the operation of our universe.

Ever since F. H. Bradley first formulated his famous regress argument philosophers have been hard at work trying to refute it. The argument fails, it has been suggested, either because its conclusion just does not follow from its premises, or it fails because one or more of its premises should be given up. In this paper, the Bradleyan argument, as well as some of the many and varied reactions it has received, is scrutinized.

Does mathematics ever play an explanatory role in science? If so then this opens the way for scientific realists to argue for the existence of mathematical entities using inference to the best explanation. Elsewhere I have argued, using a case study involving the prime-numbered life cycles of periodical cicadas, that there are examples of indispensable mathematical explanations of purely physical phenomena. In this paper I respond to objections to this claim that have been made by various philosophers, and I discuss (...) potential future directions of research for each side in the debate over the existence of abstract mathematical objects. (shrink)

In this major new book, the internationally renowned thinker Jonathan Bennett offers a deeper understanding of what is going on in our own moral thoughts about human behavior. The Act Itself presents a conceptual analysis of descriptions of behavior on which we base our moral judgements, and shows that this analysis can be used as a means toward getting more control of our thoughts and thus of our lives.

If you are a realist about groups there are three main theories of what to identify groups with. I offer reasons for thinking that two of those theories fail to meet important desiderata. The third option is to identify groups with sets, which meets all of the desiderata if only we take care over which sets they are identified with. I then canvass some possible objections to that third theory, and explain how to avoid them.

I argue that mind-independence realism should be characterised in terms of what I call 'essential', rather than 'modal', independence from our mental lives. I explore the connections between the two kinds of independence, and argue that characterizations in terms of essence respect more intuitions about what realism is, harmonize better with standard characterizations of anti-realism, and avert the threat of subversion from Blackburn's quasi-realist.

1 There is a Standard Objection to the idea that concepts might be prototypes (or exemplars, or stereotypes): Because they are productive, concepts must be compositional. Prototypes aren't compositional, so concepts can't be prototypes (see, e.g., Margolis, 1994).2 However, two recent papers (Osherson and Smith, 1988; Kamp and Partee, 1995) reconsider this consensus. They suggest that, although the Standard Objection is probably right in the long run, the cases where prototypes fail to exhibit compositionality are relatively exotic and involve phenomena (...) which any account of compositionality is likely to find hard to deal with; for example, the effects of quantifiers, indexicals, contextual constraints, etc. KP are even prepared to indulge a guarded optimism: "... when a suitably rich compositional theory... is developed, prototypes will be seen ... as one property among many which only when taken altogether can support a compositional theory of combination" (p.56). In this paper, we argue that the Standard Objection to prototype theory was right after all: The problems about compositionality are insuperable in even the most trivial sorts of examples; it is therefore as near to certain as anything in cognitive science ever gets that the structure of concepts is not statistical. Theories of categorization, concept acquisition, lexical meaning and the like, which assume the contrary simply don't work. We commence with a general discussion of the constraints that an account of concepts must meet if their compositionality is to explain their productivity. We'll then turn to a criticism of proposals that OS2 and KP make for coping with some specific cases. (shrink)

Among truthmaker theorists it is generally thought that we are not able to use the entailment principle to ground negative truths. But these theorists usually only discuss truthmakers for truth-functional complexes, thereby overlooking the fact that there are non-truth-functional complexes whose truth values are not solely determined by the truth or falsity of their atomic propositions. And once we expand the class of truths that require their own bespoke truthmakers to also include these, there is no reason to exempt negative (...) truths from grounding. For given that truthmaking is closed under entailment and every negative truths is entailed by some non-truth-functional complex or other, any resources rich enough to ground the truth of the latter will do the same job for the former. (shrink)

Does a commitment to mereological universalism automatically bring along a commitment to the controversial doctrine of mereological extensionalism—the view that objects with the same proper parts are identical? A recent argument suggests the answer is ‘yes’. This paper attempts a systematic response to the argument, considering nearly every available line of reply. It argues that only one approach—the mutual parts view—can yield a viable mereology where universalism does not entail extensionalism.

That there could be ontologically complex concrete particulars is self-evidently true. A reductio may however be formulated which contradicts this truth. In this paper I argue that all of the reasonable ways in which we might refute this reductio will require the existence of at least some tropes.

I first explore the notion of the world's being such that everything in it is a proper part. I then explore the notion of the world's being such that everything in it both is and has a proper part. Given two well recognized assumptions, I argue that both notions represent genuine metaphysical possibilities. Finally I consider, but dismiss, some possible objections.

I examine the link between extensionality principles of classical mereology and the anti‐symmetry of parthood. Varzi's most recent defence of extensionality depends crucially on assuming anti‐symmetry. I examine the notions of proper parthood, weak supplementation and non‐well‐foundedness. By rejecting anti‐symmetry, the anti‐extensionalist has a unified, independently grounded response to Varzi's arguments. I give a formal construction of a non‐extensional mereology in which anti‐symmetry fails. If the notion of ‘mereological equivalence’ is made explicit, this non‐anti‐symmetric mereology recaptures all of the structure (...) of classical mereology. (shrink)