Semánticas de Mundos Posibles
Una de las tesis centrales de la semántica filosófica contemporánea es que el significado de un enunciado determina las condiciones que el mundo debe satisfacer para hacer al enunciado verdadero. Como vimos en detalle en un post anterior, para que el enunciado “El arroz ya está listo para comer” sea verdadero es necesario que en el mundo exista el arroz al que se refiere el enunciado y que éste se encuentre en un estado listo para comer. En los últimos siglos se han desarrollado varias técnicas para especificar e manera sistemática las condiciones de verdad de los enunciados. Las mas comunes son las así llamadas semánticas de mundos posibles. La idea básica detrás de este tipo de semánticas es que, dado un enunciado contingente cualquiera, hay muchas maneras en que el mundo pudo haber sido. En unas de ellas el enunciado será verdadero y en otras no. Será verdadero en aquellas en que se satisfacen sus condiciones de verdad y sólo en ellas. Por lo tanto, podemos identificar la...