En lógica filosófica , el supervaluacionismo es una semántica para tratar con términos singulares irreferenciales y vaguedad . [1] Permite aplicar las tautologías de la lógica proposicional en los casos en que los valores de verdad no están definidos.
Según el supervaluacionismo, una proposición puede tener un valor de verdad definido incluso cuando sus componentes no lo tengan. La proposición "A Pegaso le gusta el regaliz ", por ejemplo, a menudo se interpreta como que no tiene valor de verdad dado el supuesto de que el nombre "Pegaso" no se refiere . Si de hecho falla la referencia para "Pegasus", entonces parece que no hay nada que pueda justificar una asignación de un valor de verdad a cualquier afirmación aparente en la que aparece el término "Pegasus". La declaración "A Pegaso le gusta el regaliz o a Pegaso no le gusta el regaliz", sin embargo, es una instancia del esquema válido. (" o no-"), por lo que, según el supervaluacionismo, debería ser cierto independientemente de que sus disyuntos tengan o no valor de verdad; es decir, debería ser verdad en todas las interpretaciones. Si, en general, algo es cierto en todas las precisiones , el supervaluacionismo describe como "superverdadero", mientras que algo falso en todas las precisiones se describe como "superfalso". [2]
Las supervaluaciones fueron formalizadas por primera vez por Bas van Fraassen . [3]
Abstracción de ejemplo
Sea v una valoración clásica definida para cada enunciado atómico del lenguaje L y sea At ( x ) el número de enunciados atómicos distintos en x . Entonces hay como máximo 2 valoraciones clásicas de At ( x ) definidas en cada oración x . Una supervaluación V es una función de oraciones a valores de verdad tales que x es súper verdadero (es decir, V (x) = Verdadero si y solo si v (x) = Verdadero para cada v . Igualmente para superfalso.
V (x) no está definida cuando hay exactamente dos valoraciones v y v * que tal v (x) = True y V * (x) = False. Por ejemplo, sea Lp la traducción formal de "A Pegaso le gusta el regaliz". Hay, pues, exactamente dos valoraciones clásicas v y v * en Lp , es decir, v (Lp) = True y v * (Lp) = false. Entonces Lp no es ni superverdadero ni superfalso.
Ver también
Referencias
- ^ Shapiro, Stewart , "Vaguedad y conversación" en Beall, editado (2003). Mentirosos y montones . Oxford, Inglaterra: Clarendon. ISBN 0-19-926481-3.
- ^ "Supervaluación: definición de Answers.com" . Diccionario Oxford de Filosofía . Prensa de la Universidad de Oxford. 2005 . Consultado el 4 de marzo de 2012 .
- ^ Lógica libre (Enciclopedia de filosofía de Stanford)