MODAL LOGIC (OF PREDICATES) AND (PARTIAL AND HETEROGENEOUS) NON-CLASSICAL LOGIC.

Autor: HUERTAS SANCHEZ M. ANTONIA
Año: 1995
Universidad: BARCELONA
Centro de realización: DEPARTAMENTO: LOGICA, HISTORIA I FILOSOFIA DE LA CIENCIA PROGRAMA DE DOCTORADO: LOGICA, HISTORIA Y FILOSOFIA DE LA CIENCIA
Centro de lectura: MATEMATICAS
Director: MANZANO ARJONA MARIA
Tribunal: BENEYTO TORRES RAFAEL , VAN BENTHEM JOHAN , JANSANA RAMON , GONZALEZ PAZOS LUCILA , VERDU SOLANS VENTURA
Resumen de la tesis

EN ESTA TESIS SE ESTUDIA LA LOGICA MODAL DE PREDICADOS. CUANDO ESTA ES COMPARADA CON LA LOGICA MODAL PROPOSIONAL, RESULTA DESCONCERTANTE EL HECHO DE QUE LA PROPOSICIONAL HAYA SIDO BIEN CONOCIDA Y ACEPTADA DESDE KRIPKE (1963) Y, SIN EMBARGO, LA DE PREDICADOS SEA TODAVIA POCO CONOCIDA Y SUFRA UNA CRISIS DE IDENTIDAD. ESTUDIAMOS LA RAZON DE ESTOS DOS COMPORTAMIENTOS TAN DIFERENTES. SE CONOCE LA CORRESPONDENCIA ENTRE LOGICA MODAL PROPOSICIONAL Y LOGICA CLASICA DE PRIMER ORDEN, EN ESTA TESIS SE DEMUESTRA LA CORRESPONDENCIA ENTRE LA LOGICA MODAL DE PREDICADOS Y LA LOGICA HETEROGENEA PARCIAL QUE SE CONSTRUYE A TAL EFECTO. COMO CONSECUENCIA SE DEBE ACEPTAR QUE LA SEMATICA DEBE SER PARCIAL. BASANDOSE EN LA TRADUCCION DEFINIDA ENTRE LOGICA MODAL DE PREDICADOS Y LA HETEROGENEA PARCIAL SE DEFINE LA LOGICA MODAL DE PREDICADOS PARCIAL CON IGUALDAD, Y SE DEMUESTRAN PARA ELLA LOS TEOREMAS DE COMPLETITUD, COMPACIDAD Y LOWENHEIM-SKOLEM.
Materias relacionadas