La importancia de la semántica en las diferentes lógicas

Ponente(s): Luis Enrique Aponte Pérez, Iván Martínez Ruiz

La semántica en lingüística es una herramienta que le da una etiqueta (nombre) a diferentes objetos, ideas, sonidos, acciones, etcétera. En matemáticas, la semántica ayuda a interpretar formulas a partir de un lenguaje o propiedades de algún conjunto o clase especial y verificar su veracidad. De ahí su importancia, pues la interpretación de una lógica en un modelo permite determinar la validez de cierta fórmula, valiéndonos de las propiedades de la estructura intrínseca del modelo. Además, el estudio semántico de una Teoría se puede realizar mediante interpretaciones de distintos tipos, por ejemplo mediante semánticas de mundos posibles, algebraicas, multivaluadas, de Kripke y topológicas, entre otras. En esta plática presentaremos diversos ejemplos de lógicas no clásicas, junto con semánticas adecuadas para cada una de ellas