En lógica filosófica , el supervaluacionismo es una semántica para tratar los términos singulares irreferenciales y la vaguedad . [1] Permite aplicar las tautologías de la lógica proposicional en casos donde 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 hace referencia . Si de hecho la referencia falla para "Pegaso", entonces parece como si no hubiera nada que pueda justificar una asignación de un valor de verdad a cualquier afirmación aparente en la que aparezca el término "Pegaso". Sin embargo, la afirmación "a Pegaso le gusta el regaliz o a Pegaso no le gusta el regaliz" es una instancia del esquema válido (" o no- "), por lo que, según el supervaluacionismo, debería ser verdadera independientemente de que sus disyunciones tengan o no un valor de verdad; es decir, debería ser verdadera en todas las interpretaciones. Si, en general, algo es verdadero en todas las precisiones, el supervaluacionismo lo 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]
Sea v una valoración clásica definida en cada oración atómica del lenguaje L y sea At( x ) el número de oraciones atómicas distintas en una fórmula x . Hay entonces como máximo 2 valoraciones clásicas 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 superverdadera (es decir, V ( x ) = Verdadera) si y solo si v ( x ) = Verdadera para cada v . Lo mismo ocurre con las superfalsas.
V(x) no está definida cuando hay exactamente dos valoraciones v y v * tales que v(x) = Verdadero y v * (x) = Falso. Por ejemplo, sea Lp la traducción formal de "A Pegaso le gusta el regaliz". Hay entonces exactamente dos valoraciones clásicas v y v * en Lp , es decir, v(Lp) = Verdadero y v * (Lp) = Falso. Por lo tanto, Lp no es ni superverdadero ni superfalso.
{{cite book}}: |first=tiene nombre genérico ( ayuda )