Teorema deductivo
No figura en el Diccionario filosófico marxista · 1946
No figura en el Diccionario filosófico abreviado · 1959
Diccionario filosófico · 1965:451
Teorema deductivo
Uno de los teoremas más importantes de la metalógica. Dice: si la
proposición B se infiere (inferencia) de cierto conjunto de premisas
dando por supuesto que existe también la premisa A, sin esta
suposición (que existe A), del conjunto de premisas dado se infiere:
“Si A, entonces B”. El teorema deductivo se aplica a muchos sistemas
lógicos importantes: a los cálculos clásicos y constructivos de
preposiciones y predicados, a la aritmética formal, etc. Para algunos
sistemas es no-significativo, verbigracia para ciertos sistemas de la
lógica modal. Este teorema también se utiliza ampliamente en los
razonamientos no-formalizados. Aplicándolo se simplifica el curso de
la demostración. Herbrand fue el primero en formular (1928) y
demostrar (1930) el teorema deductivo para un sistema particular.
Como principio metodológico general ha sido formulado por Tarski
(1930).
No figura en el Diccionario de filosofía · 1984