1-Inferencia formal

Inferencia formal

No figura en el Diccionario filosófico marxista · 1946

No figura en el Diccionario filosófico abreviado · 1959

Diccionario filosófico · 1965:239-240

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.

No figura en el Diccionario de filosofía · 1984

Comparte este artículo