Theoria: An International Journal for Theory, History and Foundations of Science

Volume 28, Issue 3, September 2013

Andrea Iacona
Pages 439-457

Logical Form and Truth-Conditions

This paper outlines a truth-conditional view of logical form, that is, a view according to which logical form is essentially a matter of truth-conditions. Section 1 provides some preliminary clarifications. Section 2 shows that the main motivation for the view is the fact that fundamental logical relations such as entailment or contradiction can formally be explained only if truth-conditions are formally represented. Sections 3 and 4 articulate the view and dwell on its affinity with a conception of logical form that has been defended in the past. Sections 5-7 draw attention to its impact on three major issues that concern, respectively, the extension of the domain of formal explanation, the semantics of tensed discourse, and the analysis of quantification. 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, respectivamente, a la extensión del dominio de las explicaciones formales, la semántica del discurso temporalizado, y el análisis de la cuantificación.