Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic thatnorms beliefas classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterizedegrees of determinacy. It applies the methodology above to focus ondegree logic. (...) This is developed first in a basic, single-premise case; and then extended to the multipremise case, and to allowdegreesof consequence. The metatheoretic properties of degree logic are set out. On the positive side, the logic is supraclassical—all classical valid sequents are degree logic valid. Strikingly, metarules such as cut and conjunction introduction fail. (shrink)

In this paper I introduce Horwich’s deflationary theory of truth, called ‘Minimalism’, and I present his proposal of how to cope with the Liar Paradox. The proposal proceeds by restricting the T-schema and, as a consequence of that, it needs a constructive specification of which instances of the T-schema are to be excluded from Minimalism. Horwich has presented, in an informal way, one construction that specifies the Minimalist theory. The main aim of the paper is to present and scrutinize some (...) formal versions of Horwich’s construction. (shrink)

لقد بُذلت محاولات عديدة لتجاوز غموض قضايا العلوم الطبيعية والإنسانية من قبل المناطقة وفلاسفة اللغة، لا سيما خلال القرن العشرين، لكن تبرز منها محاولتان أكثر أهمية من غيرهما؛ تجلت الأولى في تطوير المنطق الرمزي الكلاسيكي ثنائي القيم إلى ما يُعرف بالمنطق متعدد القيم. ووفقًا لهذا الأخير لم يعد الحكم المنطقي – على أية قضية – مقصورًا على قيمتي الصدق التقليديتين: صادقة & كاذبة، كما يقضي بذلك قانون الثالث المرفوع، بل بات لدينا عدد لا متناه من القيم المتصلة التي تتوسط بين (...) الصدق التام والكذب التام. ورغم النجاح النسبي لهذه المحاولة – التي ما زالت تخضع للتطوير والتعديل – إلا أن المشكلة الأساسية ما زالت تطل برأسها في كل استخدام للكلمات وقضايا اللغة، فإذا كان المنطق متعدد القيم قد نجح في التعبير الواضح عن غموض المعرفة، إلا أنه لم يُبدد الغموض ذاته. أما المحاولة الثانية فقد تمثلت في نزعة التقييم الفائق، التي تفترض وجود عدد من التقييمات المقبولة لكل مصطلح غامض أو قضية غامضة. وليست هذه التقييمات في الحقيقة مجرد كيانات خالصة لا علاقة لها بالواقع، بل إن كل تقييم منها – كما تفترض النزعة – هو بمثابة تحديد لكيان واقعي نشير إليه بالاسم أو المصطلح محل الدراسة، ومن ثم فهو يعكس موجودًا فعليًا له حدوده الدقيقة المميزة له عن غيره. ويلزم عن ذلك أننا إذا كنا نقبل العديد من التقييمات المختلفة والمتنوعة لمصطلح واحد، فعلينا أن نقبل أيضًا وجود العديد من الكيانات الواقعية التي يشير إليها ذلك المصطلح الواحد. هذا ما نسعى إلى معالجته في هذا البحث، انطلاقًا من فرضٍ رئيس مؤداه أن ما واجه المنطق الكلاسيكي من مشكلات أدت إلى تطويره، لاسيما مشكلة الغموض، قد واجه بالمثل المنطق متعدد القيم، ولابد وأن يواجه أيضًا أية مقاربة مهما اختلفت أدواتها؛ فالغموض فيما نزعم ظاهرة إبستمولوجية في المحل الأول، مردودها إلى الذات العارفة وقصور إمكاناتها الإدراكية والقياسية، لا إلى الوجود ذاته. وبعبارة أخرى، نزعم من خلال هذه الورقة أن أية مقاربة لمشكلة الغموض ما هي إلا حلقة من حلقات العلاقة الجدلية اللامنتهية بين الإنسان والطبيعة، أو فلنقل بين ما هو مدرك وما هو موجود بالفعل. وقد ركزنا على قضايا وتصورات الجغرافيا كنموذج للتطبيق باعتبارها أحد أقرب العلوم الإنسانية إلى العلوم الطبيعية، وإن كنا نرى أن عمومية مشكلة الغموض – بأبعادها المختلفة – تُحيل أي علم إلى علم إنساني. (shrink)

This article provides an intuitive semantic account of a new logic for comparisons (CL), in which atomic statements are assigned both a classical truth-value and a “how much” value or extension in the range [0, 1]. The truth-value of each comparison is determined by the extensions of its component sentences; the truth-value of each atomic depends on whether its extension matches a separate standard for its predicate; everything else is computed classically. CL is less radical than Casari’s comparative logics, in (...) that it does not allow for the formation of comparative statements out of truth-functional molecules. It is argued that CL provides a better analysis of predicate vagueness than classical logic, fuzzy logic or supervaluation theory. (shrink)

Confused terms appear to signify more than one entity. Carnap maintained that any putative name that is associated with more than one object in a relevant universe of discourse fails to be a genuine name. Although many philosophers have agreed with Carnap, they have not always agreed among themselves about the truth-values of atomic sentences containing such terms. Some hold that such atomic sentences are always false, and others claim they are always truth-valueless. Field maintained that confused terms can still (...) refer, albeit partially, and offered a supervaluational account of their semantic properties on which some atomic sentences with confused terms can be true. After outlining many of the most important theoretical considerations for and against various semantic theories for such terms, we report the results of a study designed to investigate which of these accounts best accords with the truth-value judgments of ordinary language users about sentences containing these terms. We found that naïve participants view confused names as capable of successfully referring to one or more objects. Thus, semantic theories that judge them to involve total reference failure do not comport well with patterns of ordinary usage. (shrink)

The chapter considers two semantic issues concerning will-sentences: Stalnaker’s Asymmetry and modal subordination in Karttunen-type discourses. The former points to a distinction between will and modal verbs, seeming to show that will does not license non-specific indefinites. The latter, conversely, suggests that will-sentences involve some kind of modality. To account for the data, the chapter proposes that will is semantically a tense, hence it doesn’t contribute a quantifier over modal alternatives; a modal feature, however, is introduced in the interpretation of (...) a will-sentence through a supervaluational strategy universally quantifying over possible futures. That this is not part of will’s lexical semantics is shown to have consequences that ultimately contribute to explain Stalnaker’s Asymmetry. Furthermore, that a modal quantification is present in the interpretation of a will-sentence is shown to imply the availability of modal subordination in Karttunen-type discourses. (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)

Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by taking (...) the meaning of the truth predicate to be explained by its inferential relation to assertion. We combine this account of the meaning of the truth predicate with a new diagnosis of the Liar Paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth, which solves the Liar Paradox in a principled manner. We end by showing that our theory and simple extensions thereof have the resources to axiomatize the internal logic of several supervaluational hierarchies, including Cantini’s. This solves open problems of Halbach (2011) and Horsten (2011). (shrink)

Revisionary theories of logic or truth require revisionary theories of mind. This essay outlines nonclassically based theories of rational belief, desire, and decision making, singling out the supervaluational family for special attention. To see these nonclassical theories of mind in action, this essay examines a debate between David Lewis and Derek Parfit over what matters in survival. Lewis argued that indeterminacy in personal identity allows caring about psychological connectedness and caring about personal identity to amount to the same thing. The (...) essay argues that Lewis's treatment of two of Parfit's puzzle cases—degreed survival and fission—presuppose different nonclassical treatments of belief and desire. (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)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any (...) further controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (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)

Scientific anti-realists who appeal to the pessimistic induction (PI) claim that the theoretical terms of past scientific theories often fail to refer to anything. But on standard views in philosophy of language, such reference failures prima facie lead to certain sentences being neither true nor false. Thus, if these standard views are correct, then the conclusion of the PI should be that significant chunks of current theories are truth-valueless. But that is semantic anti-realism about scientific discourse—a position most philosophers of (...) science, anti-realists included, consider anathema today. Therefore, proponents of the PI confront a dilemma: either accept semantic anti-realism or reject common semantic views. I examine strategies (with particular emphasis on supervaluations) for the PI proponent to either lessen the sting of this argument, or learn to live with it. 1 Introduction2 Designation Failure 2.1 Designation failure leads to truth-valueless sentences2.1.1 Direct reference theory2.1.2 Fregeanism2.1.3 Accounts of reference-fixing: why ‘phlogiston’ fails to designate 2.2 Objection: sentences exhibiting designation failure are false not truth-valueless 2.3 Avoiding truth-valuelessness via controversial semantic positions3 What to do? Closing the Gaps4 Conclusion. (shrink)

Recently four different papers have suggested that the supervaluational solution to the Problem of the Many is flawed. Stephen Schiffer (1998, 2000a, 2000b) has argued that the theory cannot account for reports of speech involving vague singular terms. Vann McGee and Brian McLaughlin (2000) say that theory cannot, yet, account for vague singular beliefs. Neil McKinnon (2002) has argued that we cannot provide a plausible theory of when precisifications are acceptable, which the supervaluational theory needs. And Roy Sorensen (2000) argues (...) that supervaluationism is inconsistent with a directly referential theory of names. McGee and McLaughlin see the problem they raise as a cause for further research, but the other authors all take the problems they raise to provide sufficient reasons to jettison supervaluationism. I will argue that none of these problems provide such a reason, though the arguments are valuable critiques. In many cases, we must make some adjustments to the supervaluational theory to meet the posed challenges. The goal of this paper is to make those adjustments, and meet the challenges. (shrink)

Donkey sentences have existential and universal readings, but they are not often perceived as ambiguous. We extend the pragmatic theory of nonmaximality in plural definites by Križ (2016) to explain how context disambiguates donkey sentences. We propose that the denotations of such sentences produce truth-value gaps — in certain scenarios the sentences are neither true nor false — and demonstrate that Križ’s pragmatic theory fills these gaps to generate the standard judgments of the literature. Building on Muskens’s (1996) Compositional Discourse (...) Representation Theory and on ideas from supervaluation semantics, the semantic analysis defines a general schema for quantification that delivers the required truth-value gaps. Given the independently motivated pragmatic theory of Križ 2016, we argue that mixed readings of donkey sentences require neither plural information states, contra Brasoveanu 2008, 2010, nor error states, contra Champollion 2016, nor singular donkey pronouns with plural referents, contra Krifka 1996, Yoon 1996. We also show that the pragmatic account improves over alternatives like Kanazawa 1994 that attribute the readings of donkey sentences to the monotonicity properties of the embedding quantifier. (shrink)

The model of self-referential truth presented in this paper, named Revision-theoretic supervaluation, aims to incorporate the philosophical insights of Gupta and Belnap’s Revision Theory of Truth into the formal framework of Kripkean fixed-point semantics. In Kripke-style theories the final set of grounded true sentences can be reached from below along a strictly increasing sequence of sets of grounded true sentences: in this sense, each stage of the construction can be viewed as an improvement on the previous ones. I want to (...) do something similar replacing the Kripkean sets of grounded true sentences with revision-theoretic sets of stable true sentences. This can be done by defining a monotone operator through a variant of van Fraassen’s supervaluation scheme which is simply based on ω-length iterations of the Tarskian operator. Clearly, all virtues of Kripke-style theories are preserved, and we can also prove that the resulting set of “grounded” true sentences shares some nice features with the sets of stable true sentences which are provided by the usual ways of formalising revision. What is expected is that a clearer philosophical content could be associated to this way of doing revision; hopefully, a content directly linked with the insights underlying finite revision processes. (shrink)

Fictional realists hold that fictional characters are real entities. However, Anthony Everett [“Against Fictional Realism”, Journal of Philosophy (2005)] notes that some fictions leave it indeterminate whether character A is identical to character B, while other fictions depict A as simultaneously identical and distinct from B. Everett argues that these fictions commit the realist to indeterminate and impossible identity relations among actual entities, and that as such realism is untenable. This paper defends fictional realism: for fictions depicting non-classical identity between (...) A and B, the realist should hold that there are two salient fragments, one with a single character (named both ‘A’ and ‘B’) and the other with two (named ‘A’ and ‘B’, respectively). Truth according to the fiction depicting indeterminate identity is determined by supervaluating over truth according to those salient fragments. For fictions depicting impossible identity, truth is determined by subvaluating over truth according to those two salient fragments. (shrink)

The purpose of this essay is to study the extent in which the semantics for different logical systems can be represented game theoretically. I will begin by considering different definitions of what it means to gamify a semantics, and show completeness and limitative results. In particular, I will argue that under a proper definition of gamification, all finitely algebraizable logics can be gamified, as well as some infinitely algebraizable ones (like Łukasiewicz) and some non-algebraizable (like intuitionistic and van Fraassen supervaluation (...) logic). (shrink)

Ted Sider’s Proportionality of Justice condition requires that any two moral agents instantiating nearly the same moral state be treated in nearly the same way. I provide a countermodel in supervaluation semantics to the proportionality of justice condition. It is possible that moral agents S and S' are in nearly the same moral state, S' is beyond all redemption and S is not. It is consistent with perfect justice then that moral agents that are not beyond redemption go determinately to (...) heaven and moral agents that are beyond all redemption go determinately to hell. I conclude that moral agents that are in nearly the same moral state may be treated in very unequal ways. (shrink)

‘Value pluralism’ as traditionally understood is the metaphysical thesis that there are many values that cannot be ‘reduced’ to a single supervalue. While it is widely assumed that value pluralism is true, the case for value pluralism depends on resolution of a neglected question in value theory: how are values properly individuated? Value pluralism has been thought to be important in two main ways. If values are plural, any theory that relies on value monism, for example, hedonistic utilitarianism, is mistaken. (...) The plurality of values is also thought to raise problems for rational choice. If two irreducibly distinct values conflict, it seems that there is no common ground that justifies choosing one over the other. The metaphysical plurality of values does not, however, have the implications for rational choice that many have supposed. A charitable interpretation of value pluralist writings suggests a ‘nonreductive’ form of value pluralism. Nonreductive value pluralism maintains that in the context of practical choice, there are differences between values—whether or not those values reduce to a single supervalue—that have important implications for rational choice. This article examines the main arguments for metaphysical value pluralism, argues that metaphysical value pluralism does not have certain implications that it is widely thought to have, and outlines three forms of nonreductive value pluralism. (shrink)

Since its first appearance in 1966, the notion of a supervaluation has been regarded by many as a powerful tool for dealing with semantic gaps. Only recently, however, applications to semantic gluts have also been considered. In previous work I proposed a general framework exploiting the intrinsic gap/glut duality. Here I also examine an alternative account where gaps and gluts are treated on a par: although they reflect opposite situations, the semantic upshot is the same in both cases--the value of (...) some expressions is not uniquely defined. Other strategies for generalizing supervaluations are considered and some comparative facts are discussed. (shrink)

Most event-referring expressions are vague; it is utterly difficult, if not impossible, to specify the exact spatiotemporal location of an event from the words that we use to refer to it. We argue that in spite of certain prima facie obstacles, such vagueness can be given a purely semantic (broadly supervaluational) account.

We show that any coherent complete partial order is obtainable as the fixed-point poset of the strong Kleene jump of a suitably chosen first-order ground model. This is a strengthening of Visser’s result that any finite ccpo is obtainable in this way. The same is true for the van Fraassen supervaluation jump, but not for the weak Kleene jump.

In researching presuppositions dealing with logic and dynamic of belief we distinguish two related parts. The first part refers to presuppositions and logic, which is not necessarily involved with intentional operators. We are primarily concerned with classical, free and presuppositonal logic. Here, we practice a well known Strawson’s approach to the problem of presupposition in relation to classical logic. Further on in this work, free logic is used, especially Van Fraassen’s research of the role of presupposition in supervaluations logical (...) systems. At the end of the first part, presuppositional logic, advocated by S.K. Thomason, is taken into consideration. The second part refers to the presuppositions in relation to the logic of the dynamics of belief. Here the logic of belief change is taken into consideration and other epistemic notions with immanent mechanism for the presentation of the dynamics. Three representative and dominant approaches are evaluated. First, we deal with new, less classical, situation semantics. Besides Strawson’s theory, the second theory is the theory of the belief change, developed by Alchourron, Gärdenfors, and Makinson (AGM theory). At the end, the oldest, universal, and dominant approach is used, recognized as Hintikka’s approach to the analysis of epistemic notions. (shrink)

This article argues that resolutions to the sorites paradox offered by epistemic and supervaluation theories fail to adequately account for vagueness. After explaining the paradox, I examine the epistemic theory defended by Timothy Williamson and discuss objections to his semantic argument for vague terms having precise boundaries. I then consider Rosanna Keefe's supervaluationist approach and explain why it fails to accommodate the problem of higher-order vagueness. I conclude by discussing how fuzzy logic may hold the key to resolving the sorites (...) paradox without positing indefensible borders to the correct application of vague terms. (shrink)

In this paper, we present a formalism for handling polysemy in spatial expressions based on supervaluation semantics called standpoint semantics for polysemy (SSP). The goal of this formalism is, given a prepositional phrase, to define its possible spatial interpretations. For this, we propose to characterize spatial prepositions by means of a triplet ⟨ image schema, semantic feature, spatial axis⟩⁠. The core of SSP is predicate grounding theories, which are formulas of a first-order language that define a spatial preposition through the (...) semantic features of its trajector and landmark. Precisifications are also established, which are a set of formulae of a qualitative spatial reasoning formalism that aims to provide the spatial characterization of the trajector with respect to the landmark. In addition to the theoretical model, we also present results of a computational implementation of SSP for the preposition ‘in’. (shrink)

The claim that all vagueness must be a feature of language or thought is the current orthodoxy. This is a claim about the “location” of vagueness. “Locating Vagueness” argues that this claim is false, largely by defending the possibility of borderline cases in the absence of language and thought. If the orthodoxy about the location of vagueness is false, then so too is any account of the “nature” of vagueness that implies that orthodoxy. So this paper concludes that various accounts (...) of the nature of vagueness are false. Among such accounts, so this paper argues, are the standard versions of supervaluationism and the standard versions of epistemicism. So I conclude that those accounts are false. Along the way, I present, and uncover ways to motivate, several heretical accounts of the nature of vagueness, including nonstandard versions of both supervaluationism and epistemicism. (shrink)

Lockean theories of personal identity maintain that we persist by virtue of psychological continuity, and most Lockeans say that we are material things coinciding with animals. Some animalists argue that if persons and animals coincide, they must have the same intrinsic properties, including thinking, and, as a result, there are ‘too many thinkers’ associated with each human being. Further, Lockeans have trouble explaining how animals and persons can be numerically different and have different persistence conditions. For these reasons, the idea (...) of a person being numerically distinct but coincident with an animal is rejected and animalists conclude that we simply are animals. However, animalists face a similar problem when confronted with the vagueness of composition. Animals are entities with vague boundaries. According to the linguistic account of vagueness, the vagueness of a term consists in there being a number of candidates for the denotatum of the vague term. It seems to imply that where we see an animal, there are, in fact, a lot of distinct but overlapping entities with basically the same intrinsic properties, including thinking. As a result, the animalist must also posit ‘too many thinkers’ where we thought there was only one. This seems to imply that the animalist cannot accept the linguistic account of vagueness. In this paper the author argues that the animalist can accept the linguistic account of vagueness and retain her argument against Lockeanism. (shrink)

Many philosophers, I suspect, are partial to supervaluational theories of vagueness. And with good reason. Its rivals all seem to promise metaphysical mysteries concerning hitherto unnoticed, and perhaps unnoticeable, sharp boundaries around our concepts, or radical revision in our logical practices. And not only have philosophers been so tempted. The texts are a little unclear, but it seems several economists can be read as adopting supervaluational solutions to the difficulties raised by vagueness in economic concepts. Given its popularity, and plausibility, (...) supervaluationism deserves a book-length defence. Yet this is the first such book in the philosophical canon. (shrink)