Filosofía en español 
Filosofía en español

Teorema deductivo

no figura

Diccionario filosófico marxista · 1946

no figura

Diccionario filosófico abreviado · 1959

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, &c. 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).

Diccionario filosófico · 1965:451

no figura

Diccionario de filosofía · 1984