Supervaluacionismo

En lógica filosófica , el supervaluacionismo es una semántica para tratar términos singulares irreferenciales y 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 tienen. La proposición " A Pegaso le gusta el regaliz ", por ejemplo, a menudo se interpreta como sin valor de verdad, dado el supuesto de que el nombre "Pegaso" no hace referencia a nada . Si efectivamente no hay referencia para "Pegaso", entonces parece que no hay nada que pueda justificar la 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 un ejemplo del esquema válido.${\displaystyle p\vee \neg p}$("${\displaystyle p}$O no-${\displaystyle p}$"), así que, según el supervaluacionismo, debería ser verdadero independientemente de si sus disyuntos tienen o no un valor de verdad; es decir, debería ser verdadero en todas las interpretaciones. Si, en general, algo es verdadero en todas las precisificaciones , el supervaluacionismo lo describe como "superverdadero", mientras que algo falso en todas las precisificaciones se describe como "superfalso". ^{[ 2 ]}

Las supervaluaciones fueron formalizadas por primera vez por Bas van Fraassen . ^{[ 3 ]}

Sea v una valuació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 como máximo 2 ^{At( x )} valuaciones clásicas definidas en cada oración x . Una supervaluación V es una función de oraciones a valores de verdad tal que x es superverdadero (es decir, V ( x )=Verdadero) si y solo si v ( x )=Verdadero para todo v . Lo mismo ocurre con superfalso.

V(x) no está definido cuando existen 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". En ese caso, existen exactamente dos valoraciones clásicas v y v * en Lp , a saber, v(Lp) = Verdadero y v * (Lp) = Falso. Por lo tanto, Lp no es ni superverdadero ni superfalso.

• Semántica de Kripke
• Paradoja de Sorites
• Subvaluacionismo

• Enciclopedia de Filosofía de Stanford
  • El supervaluacionismo como respuesta a la vaguedad
  • El supervaluacionismo como respuesta a la paradoja de Sorites