Logical form and truth-conditions

Abstract

Este artículo esboza una concepción veritativo-condicional de la forma lógica, es decir, una concepción de acuerdo con la cual la forma lógica es esencialmente una cuestión de condiciones de verdad. La sección 1 proporciona algunas clarificaciones preliminares. La sección 2 muestra que la principal motivación para esta concepción es el hecho de que hay relaciones lógicas fundamentales, como la implicación o la contradicción, que sólo pueden explicarse formalmente si las condiciones de verdad se representan formalmente. Las secciones 3 y 4 articulan dicha concepción y profundizan en su afinidad con una concepción de la forma lógica que ha sido defendida en el pasado. Las secciones 5 a 7 destacan su impacto sobre tres asuntos principales que conciernen, tespectivamente, a la extensión del dominio de las explicaciones formales, la semántica del discurso temporalizado, y el análisis de la cuantificación.