Sistemas lógico modales, necesidad física y contrafácticos

• Autores: José Miguel Sagüillo Fernández-Vega
• Directores de la Tesis: R. Beneyto (dir. tes.)
• Lectura: En la Universidade de Santiago de Compostela ( España ) en 1988
• Idioma: español
• Tribunal Calificador de la Tesis: Manuel Garrido (presid.), Luis Villegas Forero (secret.), Javier Echeverría Ezponda (voc.), Juan José Acero Fernández (voc.), Juan Vázquez Sánchez (voc.)
• Materias:
  • Lógica
    • Lógica deductiva
      • Lógica modal
  • Filosofía
    • Filosofía de la ciencia
      • Filosofía de la lógica
• Texto completo no disponible (Saber más ...)
• Resumen

  • UNO DE LOS PROBLEMAS MAS RECALCITRANTES AL TRATAMIENTO LOGICO EXTENSIONAL ESTANDAR ES EL DE LA FORMALIZACION DE LOS ENUNCIADOS CAUSALES, LEYES DE LA NATURALEZA, ENUNCIADOS DISPOSICIONALES Y CONTRAFACTICOS, EN LA TESIS DOCTORAL SE PRESENTA UNA VERSION DESDE EL PUNTO DE VISTA DE LA DEDUCCION NATURAL DEL CALCULO DE LAS PROPOSICIONES CAUSALES DE A. BURKS, QUE INCORPORA NO SOLO MODALIDADES LOGICAS SINO TAMBIEN MODALIDADES FISICAS. SE PRESENTAN TRES ENFOQUES SEMANTICOS DISTINTOS PARA DICHO CALCULO, ESTABLECIENDOSE SEIS RESULTADOS METATEORICOS:

    1. CONSISTENCIA SEMANTICA CON RESPECTO AL ENFOQUE SEMANTICO 1. 2. INCOMPLETUD SEMANTICA CON RESPECTO AL ENFOQUE SEMANTICO 1. 3. CONSISTENCIA SEMANTICA CON RESPECTO AL ENFOQUE SEMANTICO 2. 4. INCOMPLETUD SEMANTICA CON RESPECTO AL ENFOQUE SEMANTICO 2. 5. CONSISTENCIA SEMANTICA CON RESPECTO AL ENFOQUE SEMANTICO 3. 6.

    COMPLETUD SEMANTICA CON RESPECTO AL ENFOQUE SEMANTICO 3 MEDIANTE PRUEBA TIPO HENKIN.

    FINALMENTE SE DISCUTE Y ANALIZA BAJO NUEVAS PERSPECTIVAS REALISTAS EL PROBLEMA FILOSOFICO DE LA IDENTIDAD TRANSMUNDANA.