A Structural Characterization of Extended Correctness-Completeness in Classical Logic
Main Article Content
Abstract
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.
Downloads
Article Details
PLUMX Metrics
Crítica, Revista Hispanoamericana de Filosofía by Universidad Nacional Autónoma de México is licensed under a Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 Internacional License.
Creado a partir de la obra en http://critica.filosoficas.unam.mx/index.php/critica.