Decisions are made under uncertainty when there are distinct outcomes of a given action, and one is uncertain to which the act will lead. Decisions are made under indeterminacy when there are distinct outcomes of a given action, and it is indeterminate to which the act will lead. This paper develops a theory of (synchronic and diachronic) decision-making under indeterminacy that portrays the rational response to such situations as inconstant. Rational agents have to capriciously and randomly choose how to resolve (...) the indeterminacy relevant to a given choice-situation, but such capricious choices once made constrain how they will choose in the future. The account is illustrated by the case of self-interested action in situations where it is indeterminate whether you yourself will survive to benefit or suffer the consequences. The conclusion emphasizes some distinctive anti-hedging predictions of the account. (shrink)

I argue against abductivism about logic, which is the view that rational theory choice in logic happens by abduction. Abduction cannot serve as a neutral arbiter in many foundational disputes in logic because, in order to use abduction, one must first identify the relevant data. Which data one deems relevant depends on what I call one's conception of logic. One's conception of logic is, however, not independent of one's views regarding many of the foundational disputes that one may hope to (...) solve by abduction. (shrink)

What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative is by (...) far more popular, but I argue in favor of the latter, for (i) it does not suffer from a number of serious objections, and (ii) it makes it possible to restore global validity as a defined notion. (shrink)

Motivated by weaknesses with traditional accounts of logical epistemology, considerable attention has been paid recently to the view, known as anti-exceptionalism about logic, that the subject matter and epistemology of logic may not be so different from that of the recognised sciences. One of the most prevalent claims made by advocates of AEL is that theory choice within logic is significantly similar to that within the sciences. This connection with scientific methodology highlights a considerable challenge for the anti-exceptionalist, as two (...) uncontentious claims about scientific theories are that they attempt to explain a target phenomenon and prove their worth through successful predictions. Thus, if this methodological AEL is to be viable, the anti-exceptionalist will need a reasonable account of what phenomena logics are attempting to explain, how they can explain, and in what sense they can be said to issue predictions. This paper makes sense of the anti-exceptionalist proposal with a new account of logical theory choice, logical predictivism, according to which logics are engaged in both a process of prediction and explanation. (shrink)

The purpose of this essay is to shed some light on a certain type of sentence, which I call a borderline contradiction. A borderline contradiction is a sentence of the form F a ∧ ¬F a, for some vague predicate F and some borderline case a of F , or a sentence equivalent to such a sentence. For example, if Jackie is a borderline case of ‘rich’, then ‘Jackie is rich and Jackie isn’t rich’ is a borderline contradiction. Many theories (...) of vague language have entailments about borderline contradictions; correctly describing the behavior of borderline contradictions is one of the many tasks facing anyone offering a theory of vague language. Here, I first briefly review claims made by various theorists about these borderline contradictions, attempting to draw out some predictions about the behavior of ordinary speakers. Second, I present an experiment intended to gather relevant data about the behavior of ordinary speakers. Finally, I discuss the experimental results in light of several different theories of vagueness, to see what explanations are available. My conclusions are necessarily tentative; I do not attempt to use the present experiment to demonstrate that any single theory is incontrovertibly true. Rather, I try to sketch the auxiliary hypotheses that would need to be conjoined to several extant theories of vague language to predict the present result, and offer some considerations regarding the plausibility of these various hypotheses. In the end, I conclude that two of the theories I consider are better-positioned to account for the observed data than are the others. But the field of logically-informed research on people’s actual responses to vague predicates is young; surely as more data come in we will learn a great deal more about which (if any) of these theories best accounts for the behavior of ordinary speakers. (shrink)

A consequence relation is strongly classical if it has all the theorems and entailments of classical logic as well as the usual meta-rules (such as Conditional Proof). A consequence relation is weakly classical if it has all the theorems and entailments of classical logic but lacks the usual meta-rules. The most familiar example of a weakly classical consequence relation comes from a simple supervaluational approach to modelling vague language. This approach is formally equivalent to an account of logical consequence according (...) to which α1, ..., αn entails β just in case □α1, ..., □αn entails □β in the modal logic S5. This raises a natural question: If we start with a different underlying modal logic, can we generate a strongly classical logic? This paper explores this question. In particular, it discusses four related technical issues: (1) Which base modal logics generate strongly classical logics and which generate weakly classical logics? (2) Which base logics generate themselves? (3) How can we directly characterize the logic generated from a given base logic? (4) Given a logic that can be generated, which base logics generate it? The answers to these questions have philosophical interest. They can help us to determine whether there is a plausible supervaluational approach to modelling vague language that yields the usual meta-rules. They can also help us to determine the feasibility of other philosophical projects that rely on an analogous formalism, such as the project of defining logical consequence in terms of the preservation of an epistemic status. (shrink)

Logical pluralism is the view that there is more than one correct logic. In this article, I explore what logical pluralism is, and what it entails, by: (i) distinguishing clearly between relativism about a particular domain and pluralism about that domain; (ii) distinguishing between a number of forms logical pluralism might take; (iii) attempting to distinguish between those versions of pluralism that are clearly true and those that are might be controversial; and (iv) surveying three prominent attempts to argue for (...) logical pluralism and evaluating them along the criteria provided by (ii) and (iii). (shrink)

The classic programme of conceptual engineering (Cappelen, Herman. 2018. Fixing Language: An Essay on Conceptual Engineering. Oxford: Oxford University Press; Eklund, Matti. 2021. “Conceptual Engineering.” In The Routledge Handbook of Social and Political Philosophy of Language, edited by Justin Khoo, and Rachel Sterken, 15–30. London: Routledge) envisages a two-stage ameliorating process. First, we assess ‘F’ and determine what the term should express. Second, we bring it about that ‘F’ expresses what it should express. The second stage gives rise to a (...) practical challenge: the implementation challenge. Engineering advocates need to explain by what means they can implement specific conceptual changes in the natural language shared by a community – a feat Herman Cappelen (2018. Fixing Language: An Essay on Conceptual Engineering. Oxford: Oxford University Press, 2020; “Conceptual Engineering: The Master Argument.” In Conceptual Engineering and Conceptual Ethics, edited by Alexis Burgess, Herman Cappelen, and David Plunkett, 132–151. Oxford: Oxford University Press) argues to be beyond our understanding and control both on an externalist and on an internalist meta-semantics. I devise a new answer to the implementation challenge. Enlisting the influential theory of social norms by Cristina Bicchieri, I argue that engineering social norms in Bicchieri's technical sense amounts to an effective, specific, and feasible means to implement specific conceptual change, at least on internalist premises. I also argue that Bicchieri's social norms are an essential addition to the more familiar conventions and moral norms when it comes to conceptual engineering. (shrink)

ABSTRACTIn this paper I investigate how conceptual engineering applies to mathematical concepts in particular. I begin with a discussion of Waismann’s notion of open texture, and compare it to Shapiro’s modern usage of the term. Next I set out the position taken by Lakatos which sees mathematical concepts as dynamic and open to improvement and development, arguing that Waismann’s open texture applies to mathematical concepts too. With the perspective of mathematics as open-textured, I make the case that this allows us (...) to deploy the tools of conceptual engineering in mathematics. I will examine Cappelen’s recent argument that there are no conceptual safe spaces and consider whether mathematics constitutes a counterexample. I argue that it does not, drawing on Haslanger’s distinction between manifest and operative concepts, and applying this in a novel way to set-theoretic foundations. I then set out some of the questions that need to be engaged with to establish mathematics as involving a kind of conceptual engineering. I finish with a case study of how the tools of conceptual engineering will give us a way to progress in the debate between advocates of the Universe view and the Multiverse view in set theory. (shrink)

I argue that there can be no such thing as a borderline case of the predicate ‘phenomenally conscious’: for any given creature at any given time, it cannot be vague whether that creature is phenomenally conscious at that time. I first defend the Positive Characterization Thesis, which says that for any borderline case of any predicate there is a positive characterization of that case that can show any sufficiently competent speaker what makes it a borderline case. I then appeal to (...) the familiar claim that zombies are conceivable, and I argue that this claim entails that there can be no positive characterizations of borderline cases of ‘phenomenally conscious’. By the Positive Characterization Thesis, it follows that ‘phenomenally conscious’ can not have any borderline cases. (shrink)

Our ordinary assertions are often imprecise, insofar as the way we represent things as being only approximates how things are in the actual world. The phenomenon of assertoric imprecision raises a challenge to standard accounts of both the norm of assertion and the connection between semantics and the objects of assertion. After clarifying these problems in detail, I develop a framework for resolving them. Specifically, I argue that the phenomenon of assertoric imprecision motivates a rejection of the widely held belief (...) that a semantic theory for a language associates a single semantic value with each of the simple and complex expressions of that language, relative to the contexts in which they occur. Instead, I propose that we adopt a framework I call semantic pluralism. (shrink)

This paper motivates and explores an expressivist theory of vagueness, modelled on Allan Gibbard’s normative expressivism. It shows how Chris Kennedy’s semantics for gradable adjectives can be adjusted to fit into a theory on Gibbardian lines, where assertions constrain not just possible worlds but plans for action. Vagueness, on this account, is literally indecision about where to draw lines. It is argued that the distinctive phenomena of vagueness, such as the intuition of tolerance, can be explained in terms of practical (...) constraints on plans, and that the expressivist view captures what is right about several contending theories of vagueness. (shrink)

Using a vague predicate can make commitments about the appropriate use of that predicate in the remaining part of the discourse. For instance, if I assert that some particular pig is fat, I am committed to judging any fatter pig to be fat as well. We can model this update effect by recognizing that truth depends both on the state of the world and on the state of the discourse: the truth conditions of ‘This pig is fat’ rule out evaluation (...) points for which the pig in question in world w is thinner than the cutoff for fatness in the discourse d. Then disagreements about taste are disagreements about the discourse. Unlike disagreements about the world, disagreements about the discourse can be faultless, given that none of the discourse participants has privileged authority to make pronouncements about conventions for appropriate use of a predicate. Thus on the dynamic view developed here, whether or not a dispute about taste turns out to be faultless depends in part on predictable features of the previous discourse. On this account, faultless disagreement involving predicates of personal taste does not force relativizing truth to a judge or assessor. (shrink)

This paper demarcates a theoretically interesting class of "evaluational adjectives." This class includes predicates expressing various kinds of normative and epistemic evaluation, such as predicates of personal taste, aesthetic adjectives, moral adjectives, and epistemic adjectives, among others. Evaluational adjectives are distinguished, empirically, in exhibiting phenomena such as discourse-oriented use, felicitous embedding under the attitude verb `find', and sorites-susceptibility in the comparative form. A unified degree-based semantics is developed: What distinguishes evaluational adjectives, semantically, is that they denote context-dependent measure functions ("evaluational (...) perspectives")—context-dependent mappings to degrees of taste, beauty, probability, etc., depending on the adjective. This perspective-sensitivity characterizing the class of evaluational adjectives cannot be assimilated to vagueness, sensitivity to an experiencer argument, or multidimensionality; and it cannot be demarcated in terms of pretheoretic notions of subjectivity, common in the literature. I propose that certain diagnostics for "subjective" expressions be analyzed instead in terms of a precisely specified kind of discourse-oriented use of context-sensitive language. I close by applying the account to `find x PRED' ascriptions. (shrink)

Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. Thus, supervaluationists (...) can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

An increasing number of philosophers argue that indeterminacy is metaphysical (or worldly) in the sense that indeterminacy has its source in the world itself (rather than how the world is represented or known). The standard arguments for metaphysical indeterminacy are centered around the sorites paradox. In this essay, I present a novel argument for metaphysical indeterminacy. I argue that metaphysical indeterminacy follows from the existence of constitutive social construction; there is indeterminacy in the social world because there is indeterminacy in (...) how the social world is constructed. (shrink)

In this paper I explore the implications of moral vagueness (viz., the vagueness of moral predicates) for non-naturalist metaethical theories like those recently championed by Shafer-Landau, Parfit, and others. I characterise non-naturalism in terms of its commitment to 7 theses: Cognitivism, Correspondence, Atomism, Objectivism, Supervenience, Non-reductivism, and Rationalism. I start by offering a number of reasons for thinking that moral predicates are vague in the same way in which ‘red’, ‘tall’, and ‘heap’ are said to be. I then argue that (...) the moral non-naturalist seeking to countenance moral vagueness faces a dilemma: are moral properties vague, or perfectly sharp? On either horn of the dilemma, serious problems arise for some of the central tenets of non-naturalism: vague properties seem to threaten Objectivism, Supervenience, and Non-reductivism; on the other hand, sharp properties raise problems for Supervenience and Rationalism. The difficulties on each horn of the dilemma are real, and while they may not be insuperable, they do, at the very least, drastically limit the things non-naturalists can consistently say about moral properties, facts, and reasons. (shrink)

What kind of semantics should someone who accepts the epistemicist theory of vagueness defended in Timothy Williamson’s Vagueness (1994) give a definiteness operator? To impose some interesting constraints on acceptable answers to this question, I will assume that the object language also contains a metaphysical necessity operator and a metaphysical actuality operator. I will suggest that the answer is to be found by working within a three-dimensional model theory. I will provide sketches of two ways of extracting an epistemicist semantics (...) from that model theory, one of which I will find to be more plausible than the other. (shrink)

This paper considers a now familiar argument that the ubiquity of context -dependence threatens the project of natural language semantics, at least as that project has usually been conceived: as concerning itself with `what is said' by an utterance of a given sentence. I argue in response that the `anti-semantic' argument equivocates at a crucial point and, therefore, that we need not choose between semantic minimalism, truth-conditional pragmatism, and the like. Rather, we must abandon the idea, familiar from Kaplan and (...) others, that utterances express propositions `relative to contexts' and replace it with the Strawonian idea that speakers express propositions by making utterances in contexts. The argument for this claim consists in a detailed investigation of the particular case of demonstratives, which I argue demand such a Strawsonian treatment. I then respond to several objections, the most important of which allege that the Strawsonian account somehow undermines the project of natural language semantics, or threatens the semantics -pragmatics distinction. Please note that the paper posted here is an extended version of what was published. (shrink)

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...) this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

In an interesting experimental study, Bonini et al. (1999) present partial support for truth-gap theories of vagueness. We say this despite their claim to find theoretical and empirical reasons to dismiss gap theories and despite the fact that they favor an alternative, epistemic account, which they call ‘vagueness as ignorance’. We present yet more experimental evidence that supports gap theories, and argue for a semantic/pragmatic alternative that unifies the gappy supervaluationary approach together with its glutty relative, the subvaluationary approach.

Open texture is a kind of semantic indeterminacy first systematically studied by Waismann. In this paper, extant definitions of open texture will be compared and contrasted, with a view towards the consequences of open-textured concepts in mathematics. It has been suggested that these would threaten the traditional virtues of proof, primarily the certainty bestowed by proof-possession, and this suggestion will be critically investigated using recent work on informal proof. It will be argued that informal proofs have virtues that mitigate the (...) danger posed by open texture. Moreover, it will be argued that while rigor in the guise of formalisation and axiomatisation might banish open texture from mathematical theories through implicit definition, it can do so only at the cost of restricting the tamed concepts in certain ways. (shrink)

Logical pluralism is the view that there is more than one formal logic that correctly (or best, or legitimately) codifies the logical consequence relation in natural language. This essay provides a taxonomy of different variations on the logical pluralist theme based on a five-part structure, and then identifies an unoccupied position in this taxonomy: perspectival logical pluralism. Perspectival pluralism provides an attractive position from which to formulate a philosophy of logic from a feminist perspective (and from other, identity-based perspectives, such (...) as critical race theory). An example of how such an account might be developed is sketched. The essay concludes by defusing an obvious objection to the perspectival approach: the claim that the correct logic (or logics), in virtue of the formal nature of logic, should be independent of considerations regarding the identity of the reasoner. (shrink)

There is an interesting logical/semantic issue with some mathematical languages and theories. In the language of (pure) complex analysis, the two square roots of i’ manage to pick out a unique object? This is perhaps the most prominent example of the phenomenon, but there are some others. The issue is related to matters concerning the use of definite descriptions and singular pronouns, such as donkey anaphora and the problem of indistinguishable participants. Taking a cue from some work in linguistics and (...) the philosophy of language, I suggest that i functions like a parameter in natural deduction systems. This may require some rethinking of the role of singular terms, at least in mathematical languages. (shrink)

In this paper I argue that metalinguistic negotiations are not as common as David Plunkett and Timothy Sundell assume. They make two related controversial claims: the claim that speakers don’t know what they say and the claim that they directly communicate metalinguistic contents. These two claims generate two challenges that the metalinguistic-negotiation view should meet. Firstly, it should clarify why speakers are oblivious to what they are saying and communicating, and secondly, it should explain the mechanism that transforms what seems (...) like a typical object-language disagreement into a metalinguistic dispute. I argue that the way in which Plunkett and Sundell meet these challenges is unsatisfactory. Regarding their answer to the first challenge, I’ll argue that the theoretical cost of postulating massive semantic and pragmatic blindness in otherwise competent speakers is too high. Regarding what they say in relation to the second challenge, I’ll claim that metalinguistic contents can only be conveyed when speakers uttering apparently contradicting claims know that they are using terms with different meanings. If my arguments are correct, then metalinguistic negotiations are certainly not ubiquitous. (shrink)

Sentences \(\varphi\) and \(\psi\) are _cognitive synonyms_ for one when they play the same role in one’s cognitive life. The notion is pervasive (Sect. 1 ), but elusive: it is bound to be hyperintensional (Sect. 2 ), but excessive fine-graining would trivialize it and there are reasons for some coarse-graining (Sect. 2.1 ). Conceptual limitations stand in the way of a natural algebra (Sect. 2.2 ), and it should be sensitive to subject matters (Sect. 2.3 ). A cognitively adequate individuation (...) of content may be intransitive (Sect. 3 ) due to ‘dead parrot’ series: sequences of sentences \(\varphi _1, \ldots, \varphi _n\) where adjacent \(\varphi _i\) and \(\varphi _{i+1}\) are cognitive synonyms while \(\varphi _1\) and \(\varphi _n\) are not (Sect. 3.1 ). Finding an intransitive account is hard: Fregean equipollence won’t do (Sect. 3.2 ) and a result by Leitgeb shows that it wouldn’t satisfy a minimal compositionality principle (Sect. 3.3 )._Sed contra_, there are reasons for transitivity, too (Sect. 3.4 ). In Sect. 4, we come up with a formal semantics capturing this jumble of desiderata, thereby showing that the notion is coherent. In Sect. 5, we re-assess the desiderata in its light. (shrink)

We argue that standard definitions of ‘vagueness’ prejudice the question of how best to deal with the phenomenon of vagueness. In particular, the usual understanding of ‘vagueness’ in terms of borderline cases, where the latter are thought of as truth-value gaps, begs the question against the subvaluational approach. According to this latter approach, borderline cases are inconsistent (i.e., glutty not gappy). We suggest that a definition of ‘vagueness’ should be general enough to accommodate any genuine contender in the debate over (...) how to best deal with the sorites paradox. Moreover, a definition of ‘vagueness’ must be able to accommodate the variety of forms sorites arguments can take. These include numerical, total-ordered sorites arguments, discrete versions, continuous versions, as well as others without any obvious metric structure at all. After considering the shortcomings of various definitions of ‘vagueness’, we propose a very general non-question-begging definition. (shrink)

Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with the (...) so-called paradoxes of higher-order vagueness. We offer a proposal that makes strides on both issues. We argue that the intuitionist’s characteristic rejection of any third alethic value alongside true and false is best elaborated by taking the normal modal system S4M to be the sentential logic of the operator ‘it is clearly the case that’. S4M opens the way to an account of higher-order vagueness which avoids the paradoxes that have been thought to infect the notion. S4M is one of the modal counterparts of the intuitionistic sentential calculus and we use this fact to explain why IPC is the correct sentential logic to use when reasoning with vague statements. We also show that our key results go through in an intuitionistic version of S4M. Finally, we deploy our analysis to reply to Timothy Williamson’s objections to intuitionistic treatments of vagueness. (shrink)

The primary appeal of stakeholder theory in business ethics derives from its promise to help solve two large and often morally difficult problems: (1) how to manage people fairly and efficiently and (2) how to determine the extent of a firm's moral responsibilities beyond its obligations to enhance its profits and economic value. This article investigates a variety of conceptual quandaries that stakeholder theory faces in addressing these two general problems. It argues that these quandaries pose intractable obstacles for stakeholder (...) theory which prevent it from delivering on its large promises. Acknowledging that various versions of stakeholder theory have made a contribution in elucidating the complex nature of firms and business decision making, the article argues that it is time to move on. More precise explications of the nature of modern firms focusing on the application of basic moral principles to different business contexts and situations are likely to prove more accurate and useful. (shrink)

ABSTRACT: This paper argues that the so-called paradoxes of higher-order vagueness are the result of a confusion between higher-order vagueness and the distribution of the objects of a Sorites series into extensionally non-overlapping non-empty classes.

In §2-4, I survey three extant ways of making sense of indeterminate truth and find each of them wanting. All the later sections of the paper are concerned with showing that the most promising way of making sense of indeterminate truth is via either a theory of truthmaker gaps or via a theory of truthmaking gaps. The first intimations of a truthmaker–truthmaking gap theory of indeterminacy are to be found in Quine (1981). In §5, we see how Quine proposes to (...) solve Unger’s problem of the many via positing the possibility of groundless truth. In §6, I elaborate the truthmaker gap model of indeterminacy first sketched by Sorensen (2001, ch.11) and use it to give a reductive analysis of indeterminate truth. In §7, I briefly assess what kind of formal framework can best express the possibility of truthmaker gaps. In §8, I contrast what I dub ‘the ordinary conception of worldly indeterminacy’ with Williamson’s conception of worldly indeterminacy. In §9, I show how one can distinguish linguistic from worldly indeterminacy on a truthmaker gap conception. In §10, I briefly sketch the relationship between truthmaker gaps and ignorance. In §11, I assess whether a truthmaker gap conception of vagueness is really just a form of epistemicism. In §12, I propose that truthmaker gaps can yield a plausible model of (semantic) presupposition failure. In §13, in response to the worry that a truthmaker gap conception of indeterminacy is both parochial and controversial—since it commits us to an implausibly strong theory of truthmaking—I set forth a truthmaking gap conception of indeterminacy. In §14, I answer the worry that groundless truths, of whatever species, are just unacceptably queer. A key part of this answer is that a truthmaker–truthmaking gap model of indeterminacy turns out to be considerably less queer than any model of indeterminacy which gives up on Tarski’s T-schema for truth (and cognate schemas). (shrink)

Problems of logical theory choice are current being widely dis- cussed in the context of anti-exceptionalist views on logic. According to those views, logic is not a special science among others, so, in particular, the methodology for theory choice should be the same in logic as for other scientific disciplines. Richard Routley advanced one such methodology which meshes well with anti-exceptionalism, and argued that it leads one to choosing one single logic, which is a kind of ultralogic. We argue that (...) the choice for only one correct system of logic may be rejected on the basis of the methodology proposed by Routley and, furthermore, that taking anti-exceptionalism about logic seriously recommends that a pluralist view of logic should be accepted. We call this view “full-blooded anti-exceptionalism”, and the resulting view on logic, lacking a proper name, “local pluralism”. (shrink)

This piece gives an overview of the supervaluationist theory of vagueness. According to that theory, a sentence is true if and only if it is true on all ways of making it precise. This yields borderline case predications that are neither true nor false, but yet classical logic is preserved almost entirely. The article presents the view and some of its merits and briefly compares it with other theories of vagueness. It raises issues about higher-order vagueness and the definitely operator (...) and about the supervaluationist's accounts of truth and validity. (shrink)

Ben-Yami presents Wittgenstein’s explicit criticism of the Platonic identification of an explanation with a definition and the alternative forms of explanation he employed. He then discusses a few predecessors of Wittgenstein’s criticisms and the Fregean background against which he wrote. Next, the idea of family resemblance is introduced, and objections answered. Wittgenstein’s endorsement of vagueness and the indeterminacy of sense are presented, as well as the open texture of concepts. Common misunderstandings are addressed along the way. Wittgenstein’s ideas, as is (...) then shown, have far-reaching implications for knowledge of meaning and the nature of logic, and with them to the nature of the philosophical project and its possible achievements. (shrink)

Logical pluralism is commonly described as the view that there is more than one correct logic. It has been claimed that, in order for that view to be interesting, there has to be at least a potential for rivalry between the correct logics. This paper offers a detailed assessment of this suggestion. I argue that an interesting version of logical pluralism is hard, if not impossible, to achieve. I first outline an intuitive understanding of the notions of rivalry and correctness. (...) I then discuss a natural account of rivalry in terms of disagreement about validity claims and the argument from meaning variance that has been raised against it. I explore a more refined picture of the meaning of validity claims that makes use of the character-content distinction of classical two dimensional semantics. There are three ways in which pluralists can use that framework to argue for the view that different logics may be rivals but could nevertheless be equally correct. I argue that none of them is convincing. (shrink)

During the last couple of decades, several attempts have been made to come up with a theory that can handle the various semantic, logical and philosophical problems raised by the vagueness of natural languages. One of the most influential ideas that have come into fashion in recent years is the idea that vagueness should be analysed as a form of context sensitivity. Such contextualist theories of vagueness have gained some popularity, but many philosophers have remained sceptical of the prospects of (...) finding a tenable contextualist solution to the problems of vagueness. This paper provides an introduction to the most popular contextualist accounts, and a discussion of some of the most important arguments for and against them. (shrink)

The phenomenological movement begins in the Prolegomena to Husserl’s Logical Investigations as a philosophy of logic. Despite this, remarkably little attention has been paid to Husserl’s arguments in the Prolegomena in the contemporary philosophy of logic. In particular, the literature spawned by Gilbert Harman’s work on the normative status of logic is almost silent on Husserl’s contribution to this topic. I begin by raising a worry for Husserl’s conception of ‘pure logic’ similar to Harman’s challenge to explain the connection between (...) logic and reasoning. If logic is the study of the forms of all possible theories, it will include the study of many logical consequence relations; by what criteria, then, should we select one consequence relation as correct? I consider how Husserl might respond to this worry by looking to his late account of the ‘genealogy of logic’ in connection with Gurwitsch’s claim that ‘[i]t is to prepredicative perceptual experience … that one must return for a radical clarification and for the definitive justification of logic’. Drawing also on Sartre and Heidegger, I consider how prepredicative experience might constrain or guide our selection of a logical consequence relation and our understanding of connectives like implication and negation. (shrink)

Sex determines much about one's life, but what determines one's sex? The answer is complicated and incomplete: on close examination, ordinary notions of female and male are vague. In 2012, the International Olympic Committee further specified what they mean by woman in response to questions about who, exactly, is eligible to compete in women's Olympic events. I argue, first, that their stipulation is evidence that the use of vague terms is better described by semantic approaches to vagueness than by epistemic (...) approaches. In addition, the IOC's 2012 stipulation was made with sensitivity to its practical consequences. Linguistic actions often have morally relevant consequences, and I contend that, other things equal, we should adopt theories about language that acknowledge the responsibility we bear for what we say. Taking vagueness to be an epistemic phenomenon precludes the sense of agency needed for moral responsibility; taking it to be semantic does not. Thus I advance two arguments for semantic approaches to vagueness, as against epistemic approaches: one descriptive and one normative. (shrink)

We argue that giving up on the closure of rational belief under conjunction comes with a substantial price. Either rational belief is closed under conjunction, or else the epistemology of belief has a serious diachronic deficit over and above the synchronic failures of conjunctive closure. The argument for this, which can be viewed as a sequel to the preface paradox, is called the ‘review paradox'; it is presented in four distinct, but closely related versions.

Logical pluralism is the view that there is more than one correct logic. Stei assumes that the correctness of a logic is a matter of the relation between the formal validity of a logical theory and extra-theoretic validity. I reject the assumption, on the grounds that it’s not clear that extratheoretic validity can be determined independently of formal validity. I formulate instead quietist logical pluralism, which is quietist with respect to the nature of extra-theoretic validity and its relation to formal (...) validity. Because of this, quietist logic pluralism needs a different correctness criterion for logic: correctness is a matter of a logic’s having normative upshot for deductive reasoning. I argue that this approach has the advantage of resisting the collapse of logical pluralism into monism. In particular, I suggest that deductive reasoning has two distinct roles, one with respect to the coherence of our attitudes and another with respect to how our attitudes are based on one another. I give two different normative principles that correspond to these roles; doing so requires abandoning the idea that normative bridge principles are universally quantified over all logics. That idea has been inherited from MacFarlane, but it’s not clear why the pluralist should accept it, as long as she can avoid giving principles that are ad hoc. By tying the principles to crucial roles of deductive reasoning, I aim to avoid both ad hockery and collapse. (shrink)

Causal contextualism holds that sentences of the form ‘c causes e’ have context-sensitive truth-conditions. We consider four arguments invoked by Jonathan Schaffer in favor of this view. First, he argues that his brand of contextualism helps solve puzzles about transitivity. Second, he contends that how one describes the relata of the causal relation sometimes affects the truth of one’s claim. Third, Schaffer invokes the phenomenon of contrastive focus to conclude that causal statements implicitly designate salient alternatives to the cause and (...) effect. Fourth, he claims that the appropriateness of a causal statement depends on what is contextually taken for granted or made salient. We show that causal invariantism can explain these linguistic data at least as well as contextualism. We then argue that pace Schaffer, some causal sentences are always correct and can never be plausibly denied, regardless of the context. (shrink)

Anti-exceptionalists about logic claim that logical methodology is not different from scientific methodology when it comes to theory choice. Two anti-exceptionalist accounts of theory choice in logic are abductivism and predictivism. These accounts have in common reliance on pre-theoretical logical intuitions for the assessment of candidate logical theories. In this paper, I investigate whether intuitions can provide what abductivism and predictivism want from them and conclude that they do not. As an alternative to these approaches, I propose a Carnapian view (...) on logical theorizing according to which logical theories do not simply account for pre-theoretical intuitions, but rather improve on them. In this account, logical theories are ameliorative, rather than representational. (shrink)

The tolerance principle, the idea that vague predicates are insensitive to sufficiently small changes, remains the main bone of contention between theories of vagueness. In this paper I examine three sources behind our ordinary belief in the tolerance principle, to establish whether any of them might give us a good reason to revise classical logic. First, I compare our understanding of tolerance in the case of precise predicates and in the case of vague predicates. While tolerance in the case of (...) precise predicates results from approximation, tolerance in the case of vague predicates appears to originate from two more specific sources: semantic indeterminacy on the one hand, and epistemic indiscriminability on the other. Both give us good and coherent grounds to revise classical logic. Epistemic indiscriminability, it is argued, may be more fundamental than semantic indeterminacy to justify the intuition that vague predicates are tolerant. (shrink)

On a simple and neat view, sometimes called the Relational Analysis of Attitude Ascriptions, a belief ascription on the form ‘S believes that x is F’ is correct if, and only if, S stands in the belief-relation to the proposition designated by ‘that x is F’, i.e., the proposition that x is F. It follows from this view that, for a person to believe, say, that x is a boat, there is one unique proposition that she has to believe. This (...) paper argues against this view. It fails, I contend, to make sense of peripheral concept variation. As we attribute and individuate concepts, two people’s concepts C1 and C2 count as e.g., concepts of boats even if their concepts have different extensions in peripheral, or borderline, cases of boats. Thus, A and B can believe that x is a boat through believing peripherally different propositions. It follows that there is no unique proposition that a person has to believe in order to believe e.g., that x is a boat. (shrink)