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.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados