Supervaluationism and good reasoning

Abstract

This paper is a tribute to Delia Graff Fara. It extends her work on failures of meta-rules (conditional proof, RAA, contraposition, disjunction elimination) for validity as truth-preservation under a supervaluationist identification of truth with supertruth. She showed that such failures occur even in languages without special vagueness-related operators, for standards of deductive reasoning as materially rather than purely logically good, depending on a context-dependent background. This paper extends her argument to: quantifier meta-rules like existential elimination; ambiguity; deliberately vague standard mathematical notation. Supervaluationist attempts to qualify the meta-rules impose unreasonable cognitive demands on reasoning and underestimate her challenge.; Este artículo es un tributo a Delia Graff Fara. Extiende su trabajo acerca del colapso de las metareglas (prueba condicional, reductio ad absurdum, contraposición, eliminación de la disyunción) para la validez entendida como preservación de la verdad bajo una identificación de la verdad con superverdad. Graff Fara demostró que dicho colapso se da incluso en lenguajes que no poseen operadores especiales relacionados con la vaguedad, para estándares de razonamiento deductivo tanto material como lógicamente correctos, dependiendo de factores sensibles al contexto. En este artículo se extiende su argumento a: meta-reglas cuantificacionales, como la eliminación existencial; ambigüedad; notación matemática estándar deliberadamente vaga. Los intentos supervaluacionistas de cualificar las meta-reglas imponen exigencias cognitivas poco cabales sobre el razonamiento y subestiman sus retos.