Lógica modal de primer orden

Título original:

First-Order Modal Logic

Contenido del libro:

Fitting y Mendelsohn presentan un tratamiento exhaustivo de la lógica modal de primer orden, junto con algunos antecedentes proposicionales.

Adoptan un triple enfoque. Desde el punto de vista semántico, utilizan modelos de mundos posibles; la maquinaria de la prueba formal son tablas; y se proporcionan discusiones filosóficas completas sobre la forma en que los desarrollos técnicos afectan a problemas filosóficos bien conocidos.

El libro abarca la cuantificación propiamente dicha, incluida la diferencia entre cuantificadores actualistas y posibilistas; la igualdad, que conduce a un tratamiento del rompecabezas estrella matutina/estrella vespertina de Frege; la noción de existencia y los problemas lógicos que la rodean; las constantes no rígidas y los símbolos de función; la abstracción de predicados, que abstrae un predicado de una fórmula, proporcionando de hecho una función de alcance para las constantes y los símbolos de función, lo que conduce a una aclaración de las lecturas ambiguas en el corazón de varios problemas filosóficos; la distinción entre no existencia y no designación; y las descripciones definidas, tomando prestado de los paradigmas fregeano y russelliano.