Similaridad intermundana y lógica multicondicional

Résumé

Analisis logico (formal e informal) de los enunciados condicionales de los lenguajes naturales, para ello, se define el sistema de logica multicondicional mcl, que incluye cuatro operadores condicionales diferentes: implicacion analitica, implicacion fisica, implicacion actual e implicacion contingente. En la dimension semantica se define la clase de modelos de similaridad material, sm-modelos, modelos basados en relaciones de similaridad (definidas materialmente) entre mundos posibles. En base a la logica y semantica definidas, se analizan y explican diversos aspectos y problemas importantes en torno a los enunciados condicionales: vaguedad contextual; distincion entre subjuntivo e indicativo; antecedentes absurdos, o imposibles; polemica entre los paradigmas de la maxima, mediana y minima similaridad.