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

Inferencia formal

no figura

Diccionario filosófico marxista · 1946

no figura

Diccionario filosófico abreviado · 1959

Inferencia formal

Se da el nombre de inferencia formal de una proposición (fórmula) E, de un conjunto de premisas de partida D en el sistema formal (lógico) S con los axiomas A1… An y las reglas de deducción R1… Rn, a la sucesión de proposiciones (fórmulas) cada una de las cuales es o un axioma o una de las premisas D o una premisa directamente inferida de las que le preceden en la deducción de las proposiciones (fórmulas) en virtud de una de las reglas R1… Rn. La última de las proposiciones (fórmula) de esta sucesión, es E. La proposición E se denomina conclusión deducida de las premisas dadas D ó fórmula final de la deducción. Sólo tiene sentido hablar de la conclusión E como conclusión de un sistema dado. Tal es el concepto sintáctico de lo deductivo. La relación de lo deductivo se examina también en un sentido semántico: E se sigue lógicamente de A1… An y de D cuando, y sólo cuando, se cumple para cada interpretación (Interpretación y modelo) en que se cumplen A1… An y D.

Diccionario filosófico · 1965:239-240

no figura

Diccionario de filosofía · 1984