"ARBOLES SEMANTICOS PARA LOGICA MODAL CON ALGUNOS RESULTADOS SOBRE SISTEMAS NORMALES"

Autor: SALGUERO LAMILLAR FRANCISCO JOSE
Año: 1990
Universidad: SEVILLA
Centro de realización: DEPARTAMENTO: FILOSOFIA, LOGICA Y FILOSOFIA DE LA CIENCIA, ESTETICA Y TEORIA DE LAS ARTES PROGRAMA DE DOCTORADO: LOGICA Y FILOSOFIA DE LA CIENCIA
Centro de lectura: FILOSOFIA Y CIENCIAS DE LA EDUCACION
Director: DIAZ ESTEVEZ EMILIO
Tribunal: PEREZ BALLESTAR JORGE , PEREZ DE GUZMAN INMACULADA , VILLEGAS FORERO LUIS , BURRIEZA MUÑIZ ALFREDO , NEPOMUCENO FERNANDEZ ANGEL
Resumen de la tesis

EN LAS ULTIMAS DECADAS HAN PROLIFERADO LOS ESTUDIOS SEMANTICOS REFERIDOS A LOGICAS INTENSIONALES, TANTO DESDE EL PUNTO DE VISTA DE LA TEORIA DE MODELOS COMO DESDE EL DE LA FILOSOFIA DEL LENGUAJE Y EL ANALISIS DE LOS LENGUAJES NATURALES. SOBRE LA BASE DE ESTOS ESTUDIOS, SE PLANTEAN ALGUNOS PROBLEMAS PROPIOS DE LOS LENGUAJES INTENSIONALES EN LA TEORIA SEMANTICA MAS RECIENTE Y SE PROPONE UNA SEMANTICA LOGICA PARA LOS SISTEMAS NORMALES DE LOGICA MODAL ASI COMO UN PROCEDIMIENTO SEMANTICO DE DECISION PARA ALGUNOS DE ESTOS SISTEMAS. TAL PROCEDIMIENTO, BASADO EN LOS ARBOLES SEMANTICOS DE SMULLYAN, PROVEE AL LOGICO DE UNA HERRAMIENTA UTIL PARA DESARROLLAR RESULTADOS METATEORICOS EN EL AMBITO DE LA LOGICA MODAL CLASICA, ASI COMO PARA EXTENDER ESTOS RESULTADOS A OTRO TIPO DE LOGICAS INTENSIONALES. FINALMENTE, SE DESCRIBE UN CALCULO LOGICO PARA LOGICA MODAL EN SENTIDO LATO QUE, AL ESTAR EMPARENTADO CON EL PROCEDIMIENTO DE ARBOLES SEMANTICOS, SE ENCUENTRA EN FORMA NORMAL DE SUYO, POR LO QUE ES FACILMENTE IMPLEMENTABLE.
Materias relacionadas