Stewart Shapiro's aim in Vagueness in Context is to develop both a philosophical and a formal, model-theoretic account of the meaning, function, and logic of vague terms in an idealized version of a natural language like English. It is a commonplace that the extensions of vague terms vary with such contextual factors as the comparison class and paradigm cases. A person can be tall with respect to male accountants and not tall with respect to professional basketball players. The main feature (...) of Shapiro's account is that the extensions of vague terms also vary in the course of a conversation, even after the external contextual features, such as the comparison class, are fixed. A central thesis is that in some cases, a competent speaker of the language can go either way in the borderline area of a vague predicate without sinning against the meaning of the words and the non-linguistic facts. Shapiro calls this open texture, borrowing the term from Friedrich Waismann.The formal model theory has a similar structure to the supervaluationist approach, employing the notion of a sharpening of a base interpretation. In line with the philosophical account, however, the notion of super-truth does not play a central role in the development of validity. The ultimate goal of the technical aspects of the work is to delimit a plausible notion of logical consequence, and to explore what happens with the sorites paradox.Later chapters deal with what passes for higher-order vagueness - vagueness in the notions of 'determinacy' and 'borderline' - and with vague singular terms, or objects. In each case, the philosophical picture is developed by extending and modifying the original account. This is followed with modifications to the model theory and the central meta-theorems.As Shapiro sees it, vagueness is a linguistic phenomenon, due to the kinds of languages that humans speak. But vagueness is also due to the world we find ourselves in, as we try to communicate features of it to each other. Vagueness is also due to the kinds of beings we are. There is no need to blame the phenomenon on any one of those aspects. (shrink)

How do we go about weighing evidence, testing hypotheses, and making inferences? According to the model of _Inference to the Best Explanation_, we work out what to infer from the evidence by thinking about what would actually explain that evidence, and we take the ability of a hypothesis to explain the evidence as a sign that the hypothesis is correct. In _Inference to the Best Explanation_, Peter Lipton gives this important and influential idea the development and assessment it deserves. The (...) second edition has been substantially enlarged and reworked, with a new chapter on the relationship between explanation and Bayesianism, and an extension and defence of the account of contrastive explanation. It also includes an expanded defence of the claims that our inferences really are guided by diverse explanatory considerations, and that this pattern of inference can take us towards the truth. This edition of _Inference to the Best Explanation_ has also been updated throughout and includes a new bibliography. (shrink)

"How do we go about weighing evidence, testing hypotheses and making inferences? According to the model of 'inference to the Best explanation', we work out what to inter from the evidence by thinking about what would actually explain that evidence, and we take the ability of a hypothesis to explain the evidence as a sign that the hypothesis is correct. In inference to the Best Explanation, Peter Lipton gives this important and influential idea the development and assessment it deserves." "The (...) second edition has been substantially enlarged and reworked, with a new chapter on the relationship between explanation and Bayesianism, and an extension and defence of the account of contractive explanation. It also includes an expanded defence of the claims that our inferences really are guided by diverse explanatory considerations, and that this pattern of inference can take us towards the truth. This edition of Inference to the Best Explanation has also been updated throughout and incudes a new bibliography."--BOOK JACKET. (shrink)

This paper investigates how naive theories of truth fare with respect to a set of extremely plausible principles of restricted quantification. It is first shown that both nonsubstructural theories as well as certain substructural theories cannot validate all those principles. Then, pursuing further an approach to the semantic paradoxes that the author has defended elsewhere, the theory of restricted quantification available in a specific naive theory that rejects the structural property of contraction is explored. It is shown that the theory (...) validates all the principles in question, and it is argued that other prima facie plausible principles that the theory fails to validate are objectionable on independent grounds. (shrink)

This paper defends a counterexample to Modus Tollens, and uses it to draw some conclusions about the logic and semantics of indicative conditionals and probability operators in natural language. Along the way we investigate some of the interactions of these expressions with 'knows', and we call into question the thesis that all knowledge ascriptions have truth-conditions.

A natural suggestion and increasingly popular account of how to revise our logical beliefs treats revision of logic analogously to the revision of scientific theories. I investigate this approach and argue that simple applications of abductive methodology to logic result in revision-cycles, developing a detailed case study of an actual dispute with this property. This is problematic if we take abductive methodology to provide justification for revising our logical framework. I then generalize the case study, pointing to similarities with more (...) recent and popular heterodox logics such as naïve logics of truth. I use this discussion to motivate a constraint—logical partisanhood—on the uses of such methodology: roughly: both the proposed alternative and our actual background logic must be able to agree that moving to the alternative logic is no worse than staying put. (shrink)

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)

Not only can the influence of Gottlob Frege be found in contemporary work in logic, the philosophy of mathematics, and the philosophy of language, but his projects—and the very terminology he employed in pursuing those projects—are still current in contemporary philosophy. This is undoubtedly why it seems so reasonable to assume that we can read Frege' s writings as if he were one of us, speaking to our philosophical concerns in our language. In Joan Weiner's view, however, Frege's words can (...) be accurately interpreted only if we set that assumption aside. Weiner here offers a challenging new approach to the philosophy of this central figure in analytic philosophy. Weiner finds in Frege's corpus, from Begriffsschrift on, a unified project of remarkable ambition to which each of the writings in that corpus makes a distinct contribution—a project whose motivation she brings to life through a careful reading of his Foundations of Arithmetic. The Frege that Weiner brings into clear view is very different from the familiar figure. Far from having originated one of the standard positions on the nature of reference, Frege turns out not to have had positive doctrines on anything like what contemporary philosophers mean by "reference." Far from having served as a standard-bearer for those who take the realists' side of contemporary disputes with anti-realists, Frege turns out to have had no stake in either side of the controversy. Through Weiner's lens, Frege emerges as a thinker who has principled reasons for challenging the very assumptions and motivations that animate philosophers to dispute these doctrines. This lucidly written and accessible book will generate controversy among all readers with an interest in epistemology, philosophy of language, history of philosophy, and the philosophy of mathematics. (shrink)

Take a correct sequent of formal logic, perhaps a simple logical truth, like the law of excluded middle, or something with premises, like disjunctive syllogism, but basically a claim of the form \.Γ can be empty. If you don’t like my examples, feel free to choose your own, everything I have to say should apply to those as well. Such a sequent attributes the properties of logical truth or logical consequence to a schematic sentence or argument. This paper aims to (...) answer the question of how beliefs in such attributions are justified, on both its descriptive and normative interpretations; I aim to say when we generally take ourselves to be justified in forming such beliefs, and to make it plausible that beliefs formed this way really are justified.We can ask such questions about many domains but there are special difficulties for answering them in logic. Some of the difficulties stem from the fact that logic is thought t.. (shrink)

Logical monists and pluralists disagree about how many correct logics there are; the monists say there is just one, the pluralists that there are more. Could it turn out that both are wrong, and that there is no logic at all?

Some writers object to logical pluralism on the grounds that logic is normative. The rough idea is that the relation of logical consequence has consequences for what we ought to think and h...

This paper is about the putative theoretical virtue of strength, as it might be used in abductive arguments to the correct logic in the epistemology of logic. It argues for three theses. The first is that the well-defined property of logical strength is neither a virtue nor a vice, so that logically weaker theories are not—all other things being equal—worse or better theories than logically stronger ones. The second thesis is that logical strength does not entail the looser characteristic of (...) scientific strength, and the third is that many modern logics are on a par—or can be made to be on a par—with respect to scientific strength. (shrink)

Modern empiricism has been conditioned in large part by two dogmas. One is a belief in some fundamental cleavage between truths which are analytic, or grounded in meanings independently of matters of fact, and truth which are synthetic, or grounded in fact. The other dogma is reductionism: the belief that each meaningful statement is equivalent to some logical construct upon terms which refer to immediate experience. Both dogmas, I shall argue, are ill founded. One effect of abandoning them is, as (...) we shall see, a blurring of the supposed boundary between speculative metaphysics and natural science. Another effect is a shift toward pragmatism. (shrink)

In Contradiction advocates and defends the view that there are true contradictions, a view that flies in the face of orthodoxy in Western philosophy since Aristotle. The book has been at the center of the controversies surrounding dialetheism ever since its first publication in 1987. This second edition of the book substantially expands upon the original in various ways, and also contains the author’s reflections on developments over the last two decades. Further aspects of dialetheism are discussed in the companion (...) volume, Doubt Truth to be a Liar, also published by Oxford University Press in 2006. (shrink)

Anti-exceptionalists about logic maintain that it is continuous with the empirical sciences. Taking anti-exceptionalism for granted, we argue that traditional approaches to explanation are inadequate in the case of logic. We argue that Andrea Woody's functional analysis of explanation is a better fit with logical practice and accounts better for the explanatory role of logical theories.

Given the plethora of competing logical theories of validity available, it’s understandable that there has been a marked increase in interest in logical epistemology within the literature. If we are to choose between these logical theories, we require a good understanding of the suitable criteria we ought to judge according to. However, so far there’s been a lack of appreciation of how logical practice could support an epistemology of logic. This paper aims to correct that error, by arguing for a (...) practice-based approach to logical epistemology. By looking at the types of evidence logicians actually appeal to in attempting to support their theories, we can provide a more detailed and realistic picture of logical epistemology. To demonstrate the fruitfulness of a practice-based approach, we look to a particular case of logical argumentation—the dialetheist’s arguments based upon the self-referential paradoxes—and show that the evidence appealed to support a particular theory of logical epistemology, logical abductivism. (shrink)

How do we go about weighing evidence, testing hypotheses, and making inferences? The model of " inference to the best explanation " -- that we infer the hypothesis that would, if correct, provide the best explanation of the available evidence--offers a compelling account of inferences both in science and in ordinary life. Widely cited by epistemologists and philosophers of science, IBE has nonetheless remained little more than a slogan. Now this influential work has been thoroughly revised and updated, and features (...) a new introduction and two new chapters. Inference to the Best Explanation is an unrivaled exposition of a theory of particular interest in the fields both of epistemology and the philosophy of science. (shrink)

Science depends on judgments of the bearing of evidence on theory. Scientists must judge whether an observation or the result of an experiment supports, disconfirms, or is simply irrelevant to a given hypothesis. Similarly, scientists may judge that, given all the available evidence, a hypothesis ought to be accepted as correct or nearly so, rejected as false, or neither. Occasionally, these evidential judgments can be made on deductive grounds. If an experimental result strictly contradicts a hypothesis, then the truth of (...) the data deductively entails the falsity of the hypothesis. In the great majority of cases, however, the connection between evidence and hypothesis is non-demonstrative, or inductive. In particular, this is so whenever a general hypothesis is inferred to be correct on the basis of the available data, since the truth of the data will not deductively entail the truth of the hypothesis. It always remains possible that the hypothesis is false even though the data are correct. (shrink)

A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.

We consider a paradox involving indicative conditionals (‘ifs’) and deontic modals (‘oughts’). After considering and rejecting several standard options for resolv- ing the paradox—including rejecting various premises, positing an ambiguity or hidden contextual sensitivity, and positing a non-obvious logical form—we offer a semantics for deontic modals and indicative conditionals that resolves the paradox by making modus ponens invalid. We argue that this is a result to be welcomed on independent grounds, and we show that rejecting the general validity of modus (...) ponens is compatible with vindicating most ordinary uses of modus ponens in reasoning. (shrink)

Controversy remains over exactly why Frege aimed to estabish logicism. In this essay, I argue that the most influential interpretations of Frege's motivations fall short because they misunderstand or neglect Frege's claims that axioms must be self-evident. I offer an interpretation of his appeals to self-evidence and attempt to show that they reveal a previously overlooked motivation for establishing logicism, one which has roots in the Euclidean rationalist tradition. More specifically, my view is that Frege had two notions of self-evidence. (...) One notion is that of a truth being foundationally secure, yet not grounded on any other truth. The second notion is that of a truth that requires only clearly grasping its content for rational, a priori justified recognition of its truth. The overarching thesis I develop is that Frege required that axioms be self-evident in both senses, and he relied on judging propositions to be self-evident as part of his fallibilist method for identifying a foundation of arithmetic. Consequently, we must recognize both notions in order to understand how Frege construes ultimate foundational proofs, his methodology for discovering and identifying such proofs, and why he thought the propositions of arithmetic required proof. (shrink)

This article examines a series of Schelling-like models of residential segregation, in which agents prefer to be in the minority. We demonstrate that as long as agents care about the characteristics of their wider community, they tend to end up in a segregated state. We then investigate the process that causes this and conclude that the result hinges on the similarity of informational states among agents of the same type. This is quite different from Schelling-like behavior and suggests that segregation (...) is an instance of macrobehavior that can arise from a wide variety of micromotives. (shrink)

In this article I review attempts to define the term “ad hoc hypothesis,” focusing on the efforts of, among others, Karl Popper, Jarrett Leplin, and Gerald Holton. I conclude that the term is unhelpful; what is “ad hoc” seems to be a judgment made by particular scientists not on the basis of any well-established definition but rather on their individual aesthetic senses. Further, a hypothesis considered ad hoc can apparently be retroactively declared non–ad hoc on the basis of subsequent data, (...) rendering the term meaningless. (shrink)

Introduction to this special issue of The Australasian Journal of Logic.

Logic isn’t special. Its theories are continuous with science; its method continuous with scientific method. Logic isn’t a priori, nor are its truths analytic truths. Logical theories are revisable, and if they are revised, they are revised on the same grounds as scientific theories. These are the tenets of anti-exceptionalism about logic. The position is most famously defended by Quine, but has more recent advocates in Maddy, Priest, Russell, and Williamson. Although these authors agree on many methodological issues about logic, (...) they disagree about which logic anti-exceptionalism supports. Williamson uses an anti-exceptionalist argument to defend classical logic, while Priest claims that his anti-exceptionalism supports nonclassical logic. This paper argues that the disagreement is due to a difference in how the parties understand logical theories. Once we reject Williamson’s deflationary account of logical theories, the argument for classical logic is undercut. Instead an alternative account of logical theories is offered, on which logical pluralism is a plausible supplement to anti-exceptionalism. (shrink)

an observation to formulate a theory, it is no surprise that the resulting theory accurately captures that observation. However, when the theory makes a novel prediction—when it predicts an observation that was not used in its formulation—this seems to provide more substantial confirmation of the theory. This paper presents a new approach to the vexed problem of understanding the epistemic difference between prediction and accommodation. In fact, there are several problems that need to be disentangled; in all of them, the (...) key is the concept of overfitting. We float the hypothesis that accommodation is a defective methodology only when the methods used to accommodate the data fail to guard against the risk of overfitting. We connect our analysis with the proposals that other philosophers have made. We also discuss its bearing on the conflict between instrumentalism and scientific realism. Introduction Predictivisms—a taxonomy Observations Formulating the problem What might Annie be doing wrong? Solutions Observations explained Mayo on severe tests The miracle argument and scientific realism Concluding comments. (shrink)

One of the main reasons for providing formal semantics for languages is that the mathematical precision afforded by such semantics allows us to study and manipulate the formalization much more easily than if we were to study the relevant natural languages directly. Michael Tye and R. M. Sainsbury have argued that traditional set-theoretic semantics for vague languages are all but useless, however, since this mathematical precision eliminates the very phenomenon (vagueness) that we are trying to capture. Here we meet this (...) objection by viewing formalization as a process of building models, not providing descriptions. When we are constructing models, as opposed to accurate descriptions, we often include in the model extra ‘machinery’ of some sort in order to facilitate our manipulation of the model. In other words, while some parts of a model accurately represent actual aspects of the phenomenon being modelled, other parts might be merely artefacts of the particular model. With this distinction in place, the criticisms of Sainsbury and Tye are easily dealt with—the precision of the semantics is artefactual and does not represent any real precision in vague discourse. Although this solution to this problem is independent of any particular semantics a detailed account of how we would distinguish between representor and artefact within Dorothy Edgington's degree-theoretic semantics is presented. (shrink)

John Carroll undertakes a careful philosophical examination of laws of nature, causation, and other related topics. He argues that laws of nature are not susceptible to the sort of philosophical treatment preferred by empiricists. Indeed he shows that emperically pure matters of fact need not even determine what the laws are. Similar, even stronger, conclusions are drawn about causation. Replacing the traditional view of laws and causation requiring some kind of foundational legitimacy, the author argues that these phenomena are inextricably (...) intertwined with everything else. This distinctively clear and detailed discussion of what it is to be a law will be valuable to a broad swathe of philosophers in metaphysics, the philosophy of mind, and the philosophy of science. (shrink)