Tiempo y espacio en la lógica formal

Título original:

Time and Space in Formal Logic

Contenido del libro:

Time and Space in Formal Logic comienza con un análisis de los supuestos sobre cómo se relacionan la lógica y el lenguaje. Luego, en la primera sección, se considera que los tiempos se establecen mediante proposiciones verdaderas, y éstas se relacionan como antes y después con conectivos proposicionales temporales.

En la segunda sección, los tiempos se tratan como cosas que pueden seleccionarse y contarse, lo que conduce a una lógica de predicados que permite la cuantificación de los tiempos. En la tercera sección, las ubicaciones en el espacio también se tratan como cosas que se pueden elegir y contar, lo que conduce a una lógica de predicados que permite la cuantificación tanto de tiempos como de ubicaciones.

Muchas aplicaciones de los sistemas formales a la formalización de proposiciones e inferencias del lenguaje ordinario aclaran mejor las suposiciones que hacemos en los razonamientos que tienen en cuenta el tiempo y el espacio, precisándolas en los sistemas formales. Los apéndices sobre acontecimientos, tiempos de ramificación, intenciones y nombres descriptivos amplían el alcance de la obra.