Results for 'supervaluation'

122 found
Order:
See also
  1. Supervaluations Debugged.Nicholas Asher, Josh Dever & Chris Pappas - 2009 - Mind 118 (472):901-933.
    Supervaluational accounts of vagueness have come under assault from Timothy Williamson for failing to provide either a sufficiently classical logic or a disquotational notion of truth, and from Crispin Wright and others for incorporating a notion of higher-order vagueness, via the determinacy operator, which leads to contradiction when combined with intuitively appealing ‘gap principles’. We argue that these criticisms of supervaluation theory depend on giving supertruth an unnecessarily central role in that theory as the sole notion of truth, rather (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  2.  70
    Some Supervaluation-Based Consequence Relations.Philip Kremer & Michael Kremer - 2003 - Journal of Philosophical Logic 32 (3):225-244.
    In this paper, we define some consequence relations based on supervaluation semantics for partial models, and we investigate their properties. For our main consequence relation, we show that natural versions of the following fail: upwards and downwards Lowenheim-Skolem, axiomatizability, and compactness. We also consider an alternate version for supervaluation semantics, and show both axiomatizability and compactness for the resulting consequence relation.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  3. Supervaluations and the Problem of the Many.Neil McKinnon - 2002 - Philosophical Quarterly 52 (208):320-339.
    Supervaluational treatments of vagueness are currently quite popular among those who regard vagueness as a thoroughly semantic phenomenon. Peter Unger's 'problem of the many' may be regarded as arising from the vagueness of our ordinary physical-object terms, so it is not surprising that supervaluational solutions to Unger's problem have been offered. I argue that supervaluations do not afford an adequate solution to the problem of the many. Moreover, the considerations I raise against the supervaluational solution tell also against the solution (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  4.  72
    Supervaluation Can Leave Truth-Value Gaps After All.Michael Morreau - 1999 - Journal of Philosophy 96 (3):148 - 156.
    Among other good things, supervaluation is supposed to allow vague sentences to go without truth values. But Jerry Fodor and Ernest Lepore have recently argued that it cannot allow this - not if it also respects certain conceptual truths. The main point I wish to make here is that they are mistaken. Supervaluation can leave truth-value gaps while respecting the conceptual truths they have in mind.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  20
    Supervaluation on Trees for Kripke’s Theory of Truth.Casper Storm Hansen - 2015 - Review of Symbolic Logic 8 (1):46-74.
    A method of supervaluation for Kripke’s theory of truth is presented. It differs from Kripke’s own method in that it employs trees; results in a compositional semantics; assigns the intuitively correct truth values to the sentences of a particularly tricky example of Gupta’s; and – it is argued – is acceptable as an explication of the correspondence theory of truth.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  78
    Supervaluational Propositional Content.Benjamin Rohrs - 2017 - Synthese 194 (6).
    It’s not clear what supervaluationists should say about propositional content. Does a vague sentence, e.g., ‘Harry is bald’, express one proposition, or a barrage of propositions, or none at all? Or is the matter indeterminate? The supervaluationist canon is not decisive on the issue; authoritative passages can be cited in favor of each of the proposals just mentioned. Furthermore, some detractors have argued that supervaluationism is incapable of providing any coherent account of propositional content. This paper considers each of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7. Presuppositions: Supervaluations and Free Logic.B. C. van Fraassen - 1969 - In K. Lambert (ed.), The Logical Way of Doing Things. Yale University Press. pp. 67-92.
     
    Export citation  
     
    Bookmark   50 citations  
  8.  17
    Supervaluations and the Strict-Tolerant Hierarchy.Brian Porter - forthcoming - Journal of Philosophical Logic:1-20.
    In a recent paper, Barrio, Pailos and Szmuc show that there are logics that have exactly the validities of classical logic up to arbitrarily high levels of inference. They suggest that a logic therefore must be identified by its valid inferences at every inferential level. However, Scambler shows that there are logics with all the validities of classical logic at every inferential level, but with no antivalidities at any inferential level. Scambler concludes that in order to identify a logic, we (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  9. Degree Supervaluational Logic.J. Robert G. Williams - 2011 - Review of Symbolic Logic 4 (1):130-149.
    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 that norms belief as classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterize degrees of determinacy. It applies the methodology above to (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  10.  37
    On Supervaluations in Free Logic.Peter W. Woodruff - 1984 - Journal of Symbolic Logic 49 (3):943-950.
  11.  24
    Supervaluations: Identity, Existence, and Individual Concepts.Brian Skyrms - 1968 - Journal of Philosophy 65 (16):477-482.
  12. Łukasiewicz, Supervaluations and the Future.Greg Restall - 2005 - Logic and Philosophy of Science 3:1-10.
    A B S T R AC T: In this paper I consider an interpretation of future contingents which motivates a unification of a Łukasiewicz-style logic with the more classical supervaluational semantics. This in turn motivates a new non-classical logic modelling what is “made true by history up until now. ” I give a simple Hilbert-style proof theory, and a soundness and completeness argument for the proof theory with respect to the intended models.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  13. Supervaluation Fixed-Point Logics of Truth.Philip Kremer & Alasdair Urquhart - 2008 - Journal of Philosophical Logic 37 (5):407-440.
    Michael Kremer defines fixed-point logics of truth based on Saul Kripke’s fixed point semantics for languages expressing their own truth concepts. Kremer axiomatizes the strong Kleene fixed-point logic of truth and the weak Kleene fixed-point logic of truth, but leaves the axiomatizability question open for the supervaluation fixed-point logic of truth and its variants. We show that the principal supervaluation fixed point logic of truth, when thought of as consequence relation, is highly complex: it is not even analytic. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14. Truth, Dependence and Supervaluation: Living with the Ghost.Toby Meadows - 2013 - Journal of Philosophical Logic 42 (2):221-240.
    In J Philos Logic 34:155–192, 2005, Leitgeb provides a theory of truth which is based on a theory of semantic dependence. We argue here that the conceptual thrust of this approach provides us with the best way of dealing with semantic paradoxes in a manner that is acceptable to a classical logician. However, in investigating a problem that was raised at the end of J Philos Logic 34:155–192, 2005, we discover that something is missing from Leitgeb’s original definition. Moreover, we (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  15.  59
    Attitudes, Supervaluations and Vagueness in the World.N. Angel Pinillos - 2014 - In Vague Objects and Vague Identity. Verlag. pp. 155-172.
    I consider two possible sources of vagueness. The first is indeterminacy about which intension is expressed by a word. The second is indeterminacy about which referent (extension) is determined by an intension. Focusing on a Fregean account of intensions, I argue that whichever account is right will matter to whether vagueness turns out to be a representational phenomenon (as opposed to being “in the world”). In addition, it will also matter to whether supervaluationism is a viable semantic framework. Based on (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  34
    Supervaluation-Style Truth Without Supervaluations.Johannes Stern - 2018 - Journal of Philosophical Logic 47 (5):817-850.
    Kripke’s theory of truth is arguably the most influential approach to self-referential truth and the semantic paradoxes. The use of a partial evaluation scheme is crucial to the theory and the most prominent schemes that are adopted are the strong Kleene and the supervaluation scheme. The strong Kleene scheme is attractive because it ensures the compositionality of the notion of truth. But under the strong Kleene scheme classical tautologies do not, in general, turn out to be true and, as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  77
    Post-Perceptual Confidence and Supervaluative Matching Profile.Tony Cheng - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (3):249-277.
    ABSTRACT Issues concerning the putative perception/cognition divide are not only age-old, but also resurface in contemporary discussions in various forms. In this paper, I connect a relatively new debate concerning perceptual confidence to the perception/cognition divide. The term ‘perceptual confidence’ is quite common in the empirical literature, but there is an unsettled question about it, namely: are confidence assignments perceptual or post-perceptual? John Morrison in two recent papers puts forward the claim that confidence arises already at the level of perception. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  92
    Supervaluations and the Propositional Attitude Constraint.J. A. Burgess - 1997 - Journal of Philosophical Logic 26 (1):103-119.
    For the sentences of languages that contain operators that express the concepts of definiteness and indefiniteness, there is an unavoidable tension between a truth-theoretic semantics that delivers truth conditions for those sentences that capture their propositional contents and any model-theoretic semantics that has a story to tell about how indetifiniteness in a constituent affects the semantic value of sentences which imbed it. But semantic theories of both kinds play essential roles, so the tension needs to be resolved. I argue that (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  47
    Supervaluations and Theories.Ermanno Bencivenga - 1984 - Grazer Philosophische Studien 21 (1):89-98.
    When applying supervaluations to the analysis of a theory, one may encounter the following problem: in supervaluational semantics, contingent statements often have existential presuppositions, and these presuppositions may either contradict the theory or make the application of supervaluations pointless. The most natural way of handling this problem consists in revising the semantics each time a specific theory is considered, and in making the status of the axioms of the theory technically indistinguishable from that of logical truths. Philosophically, this position has (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20. Supervaluation for Papineau's Phenomenal Concepts.Christopher Mole - manuscript
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  58
    Supervaluational Anti-Realism and Logic.Stig Alstrup Rasmussen - 1990 - Synthese 84 (1):97 - 138.
  22.  4
    Supervaluations and Theories.Ermanno Bencivenga - 1984 - Grazer Philosophische Studien 21 (1):89-98.
    When applying supervaluations to the analysis of a theory, one may encounter the following problem: in supervaluational semantics, contingent statements often have existential presuppositions, and these presuppositions may either contradict the theory or make the application of supervaluations pointless. The most natural way of handling this problem consists in revising the semantics each time a specific theory is considered, and in making the status of the axioms of the theory technically indistinguishable from that of logical truths. Philosophically, this position has (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23. Supervaluations Without Truth-Value Gaps.Hans G. Herzberger - 1980 - Canadian Journal of Philosophy, Supplementary Volume 6:15.
  24. On Supervaluations, Meaning and Consequence.Nicholas Jones - unknown
    University of London Jacobsen Prize Essay 2008.
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  18
    Supervaluations Without Truth-Value Gaps.Hans G. Herzberger - 1980 - Canadian Journal of Philosophy 10 (sup1):15-27.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. Arkad1usz chrudz1msk1'.Meinong und Supervaluation - 2004 - In Arkadiusz Chrudzimski & Wolfgang Huemer (eds.), Phenomenology and Analysis: Essays on Central European Philosophy. Ontos. pp. 105.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  31
    Minimalism, Supervaluations and Fixed Points.Sergi Oms - 2020 - Synthese 197 (1):139-153.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  5
    Re-Evaluating Supervaluations.Louis Goble - 1998 - ProtoSociology 11:66-92.
    The method of supervaluations offers an elegant procedure by which semantic theory can come to terms with sentences that, for one reason or another, lack truth-value. I argue, however, that this method rests on a fundamental mistake, and so is unsuitable for semantics. The method of supervaluations, I argue, assigns semantic values to sentences based not on the semantic values of their components, but on the values of other, perhaps homophonic, but nevertheless distinct, expressions. That is because supervaluations are generated (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  13
    Supervaluations and Tarski.Nicholas Griffin - 1978 - Notre Dame Journal of Formal Logic 19 (2):297-298.
  30.  15
    Necessary Truths and Supervaluations.Carlo Nicolai - 2018 - In Alessandro Giordani & Ciro de Florio (eds.), From Arithmetic to Metaphysics: A Path Through Philosophical Logic. De Gruyter. pp. 309-330.
    Starting with a trustworthy theory T, Galvan (1992) suggests to read offš, from the usual hierarchy of theories determined by consistency strength, a finer-grained hierarchy in which theories higher up are capable of ‘explaining’, though not fully justifying, our commitment to theories lower down. One way to ascend Galvan’s ‘hierarchy of explanation’ is to formalize soundness proofs: to this extent it often suffices to assume a full theory of truth for the theory T whose soundness is at stake. In this (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  75
    The Algebra of Supervaluations.Hans G. Herzberger - 1982 - Topoi 1 (1-2):74-81.
  32. Truth Values, Neither-True-nor-False, and Supervaluations.Nuel Belnap - 2009 - Studia Logica 91 (3):305 - 334.
    The first section (§1) of this essay defends reliance on truth values against those who, on nominalistic grounds, would uniformly substitute a truth predicate. I rehearse some practical, Carnapian advantages of working with truth values in logic. In the second section (§2), after introducing the key idea of auxiliary parameters (§2.1), I look at several cases in which logics involve, as part of their semantics, an extra auxiliary parameter to which truth is relativized, a parameter that caters to special kinds (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  33.  58
    Quasi-Truth, Supervaluations and Free Logic.Newton C. A. da Costa & Otavio Bueno - 1999 - History and Philosophy of Logic 20 (3-4):215-226.
    The partial structures approach has two major components: a broad notion of structure (partial structure) and a weak notion of truth (quasi-truth). In this paper, we discuss the relationship between this approach and free logic. We also compare the model-theoretic analysis supplied by partial structures with the method of supervaluations, which was initially introduced as a technique to provide a semantic analysis of free logic. We then combine the three formal frameworks (partial structures, free logic and supervaluations), and apply the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  8
    Meinong Und Supervaluation.Arkadiusz Chrudzimski - 2004 - In Arkadiusz Chrudzimski & Wolfgang Huemer (eds.), Phenomenology and Analysis: Essays on Central European Philosophy. Ontos. pp. 105-130.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. Multi-Criteria Predicates and Supervaluation.Marta Ujvari - 1999 - Acta Analytica 14 (1).
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  22
    Author Correction: Supervaluation-Style Truth Without Supervaluations.Johannes Stern - 2020 - Journal of Philosophical Logic 49 (1):219-219.
    The original version of the article unfortunately contained a mistake. In the Acknowledgments section of the original version of the article, the grant number of the Marie Sklodowska-Curie Individual Fellowship supporting the author’s work was misstated.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37. What Cannot Be Evaluated Cannot Be Evaluated, and It Cannot Be Supervalued Either.Jerry A. Fodor & Ernest Lepore - 1996 - Journal of Philosophy 93 (10):516-535.
  38.  12
    Compactness of a Supervaluational Language.E. Bencivenga - 1983 - Journal of Symbolic Logic 48 (2):384-386.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  39.  11
    What Cannot Be Evaluated Cannot Be Evaluated and It Cannot Be Supervalued Either.Jerry A. Fodor & Ernest Lepore - 1996 - Journal of Philosophy 93 (1):516--35.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  40. (2010) ‘Scope Confusions and Unsatisfiable Disjuncts: Two Problems for Supervaluation- Ism’, in Eds., Cuts and Clouds: Vaguenesss, Its Nature, and Its Logic,.Richard Dietz & Sebastiano Moruzzi (eds.) - 2010 - Oxford University Press.
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  84
    Fara’s Formula and the Supervaluational Thin Red Line.Alex Peter Malpass - 2013 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 28 (2):267-282.
    Este artículo se centra en un argumento presentado por Fara (2010) en contra del supervaluacionismo en el contexto de la vaguedad. Muestro cómo dicho argumento es igualmente aplicable al supervaluacionismo de tiempo ramificado (presentado por primera vez por Thomason 1970), pero no a la semántica 'STRL' de Malpass y Wawer (2012), que está estrechamente relacionada.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  42.  82
    Science and Semantics: The Case of Vagueness and Supervaluation.Joan Weiner - 2007 - Pacific Philosophical Quarterly 88 (3):355–374.
    It is widely assumed that the methods and results of science have no place among the data to which our semantics of vague predicates must answer. This despite the fact that it is well known that such prototypical vague predicates as ‘is bald’ play a central role in scientific research (e.g. the research that established Rogaine as a treatment for baldness). I argue here that the assumption is false and costly: in particular, I argue one cannot accept either supervaluationist semantics, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Remarks on presupposition, truth, and modality in supervaluational logic.Wolfgang Sternefeld - 1979 - Logique Et Analyse 22 (85):31.
    Translate
     
     
    Export citation  
     
    Bookmark  
  44. Mass Nouns, Vagueness and Semantic Variation.Gennaro Chierchia - 2010 - Synthese 174 (1):99 - 149.
    The mass/count distinction attracts a lot of attention among cognitive scientists, possibly because it involves in fundamental ways the relation between language (i.e. grammar), thought (i.e. extralinguistic conceptual systems) and reality (i.e. the physical world). In the present paper, I explore the view that the mass/count distinction is a matter of vagueness. While every noun/concept may in a sense be vague, mass nouns/concepts are vague in a way that systematically impairs their use in counting. This idea has never been systematically (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  45. Confused Terms in Ordinary Language.Greg Frost-Arnold & James R. Beebe - 2020 - Journal of Logic, Language and Information 29 (2):197-219.
    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 (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  46.  53
    Too Much Reference: Semantics for Multiply Signifying Terms.Greg Frost-Arnold - 2008 - Journal of Philosophical Logic 37 (3):239-257.
    The logic of singular terms that refer to nothing, such as ‘Santa Claus,’ has been studied extensively under the heading of free logic. The present essay examines expressions whose reference is defective in a different way: they signify more than one entity. The bulk of the effort aims to develop an acceptable formal semantics based upon an intuitive idea introduced informally by Hartry Field and discussed by Joseph Camp; the basic strategy is to use supervaluations. This idea, as it stands, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  47.  68
    Re Presenting Vague Opinion.Daniel J. McKaughan & John M. Drake - 2012 - Principia: An International Journal of Epistemology 16 (2):341-344.
    http://dx.doi.org/10.5007/1808-1711.2012v16n2p341 Current supervaluation models of opinion, notably van Fraassen’s (1984; 1989; 1990; 1998; 2005; 2006) use of intervals to characterize vague opinion, capture nuances of ordinary reflection which are overlooked by classic measure theoretic models of subjective probability. However, after briefly explaining van Fraassen’s approach, we present two limitations in his current framework which provide clear empirical reasons for seeking a refinement. Any empirically adequate account of our actual judgments must reckon with the fact that these are typically neither (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  48. The Interpretation of Indefinites in Future Tensed Sentences. A Novel Argument for the Modality of Will?Fabio Del Prete - 2014 - In Mikhail Kissine, Philippe de Brabanter & Saghie Sharifzadeh (eds.), Oxford Studies of Time in Language and Thought.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Fregean Free Logics.Siu-Fan Lee - 2009 - Philosophical Researches (Dec):123-129.
    This paper asks which free logic a Fregean should adopt. It examines options within the tradition including Carnap’s (1956) chosen object theory, Lehmann’s (1994, 2002) strict Fregean free logic, Woodruff’s (1970) strong table about Boolean operators and Bencivenga’s (1986, 1991) supervaluational semantics. It argues for a neutral free logic in view of its proximity towards explaining natural languages. However, disagreeing with Lehmann, it claims a Fregean should adopt the strong table based on Frege’s discussion on generality. Supervaluation uses strong (...)
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. Sorting Out the Sorites.David Ripley - 2013 - In Francesco Berto, Edwin Mares & Koji Tanaka (eds.), Paraconsistency: Logic and Applications. pp. 329-348.
    Supervaluational theories of vagueness have achieved considerable popularity in the past decades, as seen in eg [5], [12]. This popularity is only natural; supervaluations let us retain much of the power and simplicity of classical logic, while avoiding the commitment to strict bivalence that strikes many as implausible. Like many nonclassical logics, the supervaluationist system SP has a natural dual, the subvaluationist system SB, explored in eg [6], [28].1 As is usual for such dual systems, the classical features of SP (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   25 citations  
1 — 50 / 122