De Interpretatione is among Aristotle's most influential and widely read writings; C. W. A. Whitaker presents the first systematic study of this work, and offers a radical new view of its aims, its structure, and its place in Aristotle's system. He shows that De Interpretatione is not a disjointed essay on ill-connected subjects, as traditionally thought, but a highly organized and systematic treatise on logic, argument, and dialectic.

Recasting important questions about truth and objectivity in new and helpful terms, his book will become a focus in the contemporary debates over realism, and ...

Vagueness provides the first comprehensive examination of a topic of increasing importance in metaphysics and the philosophy of logic and language. Timothy Williamson traces the history of this philosophical problem from discussions of the heap paradox in classical Greece to modern formal approaches such as fuzzy logic. He illustrates the problems with views which have taken the position that standard logic and formal semantics do not apply to vague language, and defends the controversial realistic view that vagueness is a kind (...) of ignorance--that there really is a grain of sand whose removal turns a heap into a non-heap, but we cannot know which one it is. (shrink)

In the literature on supervaluationism, a central source of concern has been the acceptability, or otherwise, of its alleged logical revisionism. I attack the presupposition of this debate: arguing that when properly construed, there is no sense in which supervaluational consequence is revisionary. I provide new considerations supporting the claim that the supervaluational consequence should be characterized in a ‘global’ way. But pace Williamson (1994) and Keefe (2000), I argue that supervaluationism does not give rise to counterexamples to familiar inference-patterns (...) such as reductio and conditional proof. (shrink)

Although the Evans argument against vague identity has been much discussed, proposah for blocking it have not so far satisfied general conditions which any solution ought to meet. Moreover, the relation between ontically vague identity and ontic vagueness more generally has not yet been satisfactorily addressed. I advocate a way of resisting the Evans argument which satisfies the conditions. To show how this approach can vindicate particular cases of ontically vague identity, I develop a framework for describing ontic vagueness in (...) general in terms of multiple actualities. This provides aprìncipled approach to ontically vague identity which is unaffected by the Evans argument. (shrink)

This article investigates the claim that some truths are fundamentally or really true — and that other truths are not. Such a distinction can help us reconcile radically minimal metaphysical views with the verities of common sense. I develop an understanding of the distinction whereby Fundamentality is not itself a metaphysical distinction, but rather a device that must be presupposed to express metaphysical distinctions. Drawing on recent work by Rayo on anti-Quinean theories of ontological commitments, I formulate a rigourous theory (...) of the notion. In the final sections, I show how this package dovetails with ' interpretationist' theories of meaning to give sober content to thought that some things — perhaps sets, or gerrymandered mereological sums — can be 'postulated into existence'. (shrink)

Following Lewis, it is widely held that branching worlds differ in important ways from diverging worlds. There is, however, a simple and natural semantics under which ordinary sentences uttered in branching worlds have much the same truth values as they conventionally have in diverging worlds. Under this semantics, whether branching or diverging, speakers cannot say in advance which branch or world is theirs. They are uncertain as to the outcome. This same semantics ensures the truth of utterances typically made about (...) quantum mechanical contingencies, including statements of uncertainty, if the Everett interpretation of quantum mechanics is true. The ‘incoherence problem’ of the Everett interpretation, that it can give no meaning to the notion of uncertainty, is thereby solved. IntroductionMetaphysicsPersonal fissionBranching worldsPhysicsObjections. (shrink)

If it is not now determined whether there will be a sea battle tomorrow, can an assertion that there will be one be true? The problem has persisted because there are compelling arguments on both sides. If there are objectively possible futures which would make the prediction true and others which would make it false, symmetry considerations seem to forbid counting it either true or false. Yet if we think about how we would assess the prediction tomorrow, when a sea (...) battle is raging (or not), it seems we must assign the utterance a definite truth-value. I argue that both arguments must be given their due, and that this requires relativizing utterance-truth to a context of assessment. I show how this relativization can be handled in a rigorous formal semantics, and I argue that we can make coherent sense of assertion without assuming that utterances have their truth-values absolutely. (shrink)

Is Bayesian decision theory a panacea for many of the problems in epistemology and the philosophy of science, or is it philosophical snake-oil? For years a debate had been waged amongst specialists regarding the import and legitimacy of this body of theory. Mark Kaplan had written the first accessible and non-technical book to address this controversy. Introducing a new variant on Bayesian decision theory the author offers a compelling case that, while no panacea, decision theory does in fact have the (...) most profound consequences for the way in which philosophers think about inquiry, criticism and rational belief. The new variant on Bayesian theory is presented in such a way that a non-specialist will be able to understand it. The book also offers new solutions to some classic paradoxes. It focuses on the intuitive motivations of the Bayesian approach to epistemology and addresses the philosophical worries to which it has given rise. (shrink)

Is Bayesian decision theory a panacea for many of the problems in epistemology and the philosophy of science, or is it philosophical snake-oil? For years a debate had been waged amongst specialists regarding the import and legitimacy of this body of theory. Mark Kaplan had written the first accessible and non-technical book to address this controversy. Introducing a new variant on Bayesian decision theory the author offers a compelling case that, while no panacea, decision theory does in fact have the (...) most profound consequences for the way in which philosophers think about inquiry, criticism and rational belief. The new variant on Bayesian theory is presented in such a way that a non-specialist will be able to understand it. The book also offers new solutions to some classic paradoxes. It focuses on the intuitive motivations of the Bayesian approach to epistemology and addresses the philosophical worries to which it has given rise. (shrink)

The pragmatic character of the Dutch book argument makes it unsuitable as an "epistemic" justification for the fundamental probabilist dogma that rational partial beliefs must conform to the axioms of probability. To secure an appropriately epistemic justification for this conclusion, one must explain what it means for a system of partial beliefs to accurately represent the state of the world, and then show that partial beliefs that violate the laws of probability are invariably less accurate than they could be otherwise. (...) The first task can be accomplished once we realize that the accuracy of systems of partial beliefs can be measured on a gradational scale that satisfies a small set of formal constraints, each of which has a sound epistemic motivation. When accuracy is measured in this way it can be shown that any system of degrees of belief that violates the axioms of probability can be replaced by an alternative system that obeys the axioms and yet is more accurate in every possible world. Since epistemically rational agents must strive to hold accurate beliefs, this establishes conformity with the axioms of probability as a norm of epistemic rationality whatever its prudential merits or defects might be. (shrink)

Using formal systems to represent and reason about uncertainty.

This paper deals with the truth-Conditions and the logic for vague languages. The use of supervaluations and of classical logic is defended; and other approaches are criticized. The truth-Conditions are extended to a language that contains a definitely-Operator and that is subject to higher order vagueness.

Are there questions for which 'there is no determinate fact of the matter' as to which answer is correct? Most of us think so, but there are serious difficulties in maintaining the view, and in explaining the idea of determinateness in a satisfactory manner. The paper argues that to overcome the difficulties, we need to reject the law of excluded middle; and it investigates the sense of 'rejection' that is involved. The paper also explores the logic that is required if (...) we reject excluded middle, with special emphasis on the conditional. There is also discussion of higher order indeterminacy (in several different senses) and of penumbral connections; and there is a suggested definition of determinateness in terms of the conditional and a discussion of the extent to which the notion of determinateness is objective. And there are suggestions about a unified treatment of vagueness and the semantic paradoxes. (shrink)

In this paper we aim to disentangle the thesis that the future is open from theses that often get associated or even conflated with it. In particular, we argue that the open future thesis is compatible with both the unrestricted principle of bivalence and determinism with respect to the laws of nature. We also argue that whether or not the future (and indeed the past) is open has no consequences as to the existence of (past and) future ontology.

Aristotle's treatise De Interpretatione is one of his central works; it continues to be the focus of much attention and debate. C. W. A. Whitaker presents the first systematic study of this work, and offers a radical new view of its aims, its structure, and its place in Aristotle's system, basing this view upon a detailed chapter-by-chapter analysis.By treating the work systematically, rather than concentrating on certain selected passages, Whitaker is able to show that, contrary to traditional opinion, it forms (...) an organized and coherent whole. He argues that the De Interpretatione is intended to provide the underpinning for dialectic, the system of argument by question and answer set out in Aristotle's Topics; and he rejects the traditional view that the De Interpretatione concerns the assertion and is oriented towards the formal logic of the Prior Analytics. In doing so, he sheds valuable new light on some of Aristotle's most famous texts. (shrink)

Most expressions in natural language are vague. But what is the best semantic treatment of terms like 'heap', 'red' and 'child'? And what is the logic of arguments involving this kind of vague expression? These questions are receiving increasing philosophical attention, and in this book, first published in 2000, Rosanna Keefe explores the questions of what we should want from an account of vagueness and how we should assess rival theories. Her discussion ranges widely and comprehensively over the main theories (...) of vagueness and their supporting arguments, and she offers a powerful and original defence of a form of supervaluationism, a theory that requires almost no deviation from standard logic yet can accommodate the lack of sharp boundaries to vague predicates and deal with the paradoxes of vagueness in a methodologically satisfying way. Her study will be of particular interest to readers in philosophy of language and of mind, philosophical logic, epistemology and metaphysics. (shrink)

Aristotle's theory of truth, which has been the most influential account of the concept of truth from Antiquity onwards, spans several areas of philosophy: philosophy of language, logic, ontology and epistemology. In this 2004 book, Paolo Crivelli discusses all the main aspects of Aristotle's views on truth and falsehood. He analyses in detail the main relevant passages, addresses some well-known problems of Aristotelian semantics, and assesses Aristotle's theory from the point of view of modern analytic philosophy. In the process he (...) discusses most of the literature on Aristotle's semantic theory to have appeared in the last two centuries. His book vindicates and clarifies the often repeated claim that Aristotle's is a correspondence theory of truth. It will be of interest to a wide range of readers working in both ancient philosophy and modern philosophy of language. (shrink)

Book synopsis: Vagueness is currently the subject of vigorous debate in the philosophy of logic and language. Vague terms-such as "tall", "red", "bald", and "tadpole"—have borderline cases ; and they lack well-defined extensions. The phenomenon of vagueness poses a fundamental challenge to classical logic and semantics, which assumes that propositions are either true or false and that extensions are determinate. Another striking problem to which vagueness gives rise is the sorites paradox. If you remove one grain from a heap of (...) sand, surely you must be left with a heap. Yet apply this principle repeatedly as you remove grains one by one, and you end up, absurdly, with a solitary grain that counts as a heap. This anthology collects papers in the field. After an introduction that surveys the field, the essays form four groups, starting with some historically notable pieces. The 1970s saw an explosion of interest in vagueness, and the second group of essays reprints classic papers from this period. The following group of papers represent current work on the logic and semantics of vagueness. The essays in the final group are contributions to the continuing debate about vague objects and vague identity. (shrink)

It is advisable to treat some sorts of discourse about fiction with the aid of an intensional operator "in such-And-Such fiction...." the operator may appear either explicitly or tacitly. It may be analyzed in terms of similarity of worlds, As follows: "in the fiction f, A" means that a is true in those of the worlds where f is told as known fact rather than fiction that differ least from our world, Or from the belief worlds of the community in (...) which the fiction originated. (shrink)

Both in dealing with the semantic paradoxes and in dealing with vagueness and indeterminacy, there is some temptation to weaken classical logic: in particular, to restrict the law of excluded middle. The reasons for doing this are somewhat different in the two cases. In the case of the semantic paradoxes, a weakening of classical logic (presumably involving a restriction of excluded middle) is required if we are to preserve the naive theory of truth without inconsistency. In the case of vagueness (...) and indeterminacy, there is no worry about inconsistency; but a central intuition is that we must reject the factual status of certain sentences, and it hard to see how we can do that while claiming that the law of excluded middle applies to those sentences. So despite the different routes, we have a similar conclusion in the two cases. (shrink)

This thesis is a systematic investigation of whether there might be conceptual room for the idea that the world itself might be vague, independently of how we describe it. This idea – the existence of so-called ontic vagueness – has generally been extremely unpopular in the literature; my thesis thus seeks to evaluate whether this ‘negative press’ is justified. I start by giving a working definition and semantics for ontic vagueness, and then attempt to show that there are no conclusive (...) arguments that rule out vagueness of this kind. I subsequently establish what type of arguments I think would be most effective in establishing ontic vagueness and provide some arguments of this form. I then highlight a potential worry for this type of argument, but argue that it can be circumvented. Finally, I consider the main ways that the opponent of ontic vagueness would be likely resist the arguments I have offered, and argue that these strategies of response are methodologically problematic. I conclude by claiming that ontic vagueness is a perfectly plausible ontological commitment. (shrink)