A critique of Malpass's argument against Supervaluationism

Supervaluationism is one of the most discussed approaches to the semantics of future tense sentences in a branching time. In this paper, we consider the criticism advanced by Malpass against Supervaluationism. This criticism relies on the fact that supervaluationists must accept as supertrue disjunctions whose disjuncts are not only supertrue—which supervaluationists are ready to acknowledge—but also not satisfiable. In order to show this, Malpass proposes a formula, , which shows the existence of a satisfiable disjunction with unsatisfiable disjuncts in supervaluationist models. In reply, we show that formula cannot be expressed within a model (whether Ockhamist or supervaluationist) because it quantifies on models. It can be correctly characterised only within a meta‐model that has the resources to quantify on various models. However, once that is done, is, for the advocates of Supervaluationism, no more demanding than other disjunctions because it just generalises at the meta‐theoretical level what supervaluationists already acknowledge at the theoretical level

Argument (complex analysis) · Branching (polymer chemistry) · Criticism · Economics · Epistemology · Mathematical economics · Order (exchange) · Political science · Programming language · Semantics (computer science) · Computer Science · Law · Logic, Reasoning, and Knowledge · Mathematics · Philosophy · Philosophy and History of Science · Philosophy and Theoretical Science

• Indeterminist time and truth‐value gaps 1

  Open Access•Richmond H Thomason•Theoria•1970

  Añadir item

• Vagueness, truth and logic

  Open Access•Kit Fine•Synthese•1975

  Añadir item

• A future for the thin red line

  Open Access•Alex Malpass, Jacek Wawer•Synthese•2012

  Añadir item

• Indeterminism and the Thin Red Line

  Nuel Belnap, Mitchell Green•Philosophical Perspectives•1994

  Añadir item