Filosofía en español
Filosofía en español
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
Diccionario de filosofía · 1984