La titularidad de los derechos patrimoniales de esta obra pertenece a las instituciones editoras. Su uso se rige por una licencia Creative Commons BY-NC-ND 4.0 Internacional, https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es, para un uso diferente consultar al responsable jurídico del repositorio por medio del correo electrónico critica.ojs@filosoficas.unam.mx.
Ver términos de la licencia
Amor, José Alfredo
Tipo
Artículo de Investigación
Área del conocimiento
Artes y Humanidades
Título
A Structural Characterization of Extended Correctness-Completeness in Classical Logic
Fecha
2019-01-08
Resumen
In this paper I deal with first order logic and axiomatic systems. I present the metalogical results that show the property of satisfying Modus Ponens as a necessary and sufficient condition for the extended completeness of the system, and to the Deduction Metatheorem as a necessary and sufficient condition for the extended correctness of the system. Both supposing that the system satisfies the corresponding restricted properties. These results show that the choice of that rule of inference and of that metatheorem, for any particular axiomatic system, are not a matter of personal liking or of practical convenience, but they play a fundamental role for the extended correctness-completeness properties of the axiomatic system. As a matter of fact, they can be considered as structural properties that characterize the fulfilling of the Extended Correctness and Completeness theorem for the axiomatic system.
Tema
logical consequence; axiomatic system; compactness; semantics; consecuencia lógica; sistema axiomático; compacidad; semántica
Idioma
eng
ISSN
ISSN electrónico: 1870-4905; ISSN impreso: 0011-1503
DOI
https://doi.org/10.22201/iifs.18704905e.2003.1006
