LOGICA FORMAL

DEFINICION DE LOGICA FORMAL

Se acostumbra a definir la lgica formal como aquella ciencia que estudia los
razonamientos desde el punto del anlisis formal, es decir, desde el punto de vista de su
validez o no validez. Esto significa que se desentiende del contenido emprico de los
razonamientos para solo considerar la forma (estructura sin materia).
La lgica formal no debe ser confundida con la lgica matemtica, antes llamada lgica
simblica, que es una subdisciplina de lgica formal. (Martinez, s.f.)

La lgica formal es la parte de la lgica que, a diferencia de la lgica informal, se

dedica al estudio de la inferencia mediante la construccin de lenguajes formales,
sistemas deductivos y semnticas formales. La idea es que estas construcciones capturen
las caractersticas esenciales de las inferencias vlidas en los lenguajes naturales, pero
que al ser estructuras formales y susceptibles de anlisis matemtico, permiten realizar
demostraciones rigurosas sobre ellas. (Ortega, s.f.)

La lgica formal tambin llamada lgica pura - que es la lgica propiamente dicha es precisamente la ciencia (en cuanto conocimiento) que determina cules son las
formas correctas y vlidas de los raciocinios; pero lo hace considerndolos en s
mismos y con prescindencia de los contenidos concretos de los razonamientos, es
decir, considerando esos contenidos como entes lgicos abstractos, de tal manera que
las leyes a aplicar tengan validez para cualquier contenido concreto. ( liceo digital,
s.f.)
TIPOS DE LOGICA FORMAL

LOGICA DE ENUNCIADOS
LOGICA DE PREDICADOS
LOGICA DE CLASES
LOGICA DE RELACIONES

LOGICA DE ENUCIADOS
Estudia la validez de los razonamientos teniendo en cuenta nicamente el valor de
verdad (verdadero o falso) de cada enunciado tomando los enunciados en bloque sin
analizarlos previamente.
LOGICA DE PREDICADOS
Estudia las frases declarativas con mayor grado de detalle, considerando la estructura
interna de las proposiciones. Se tomara como elemento bsico los objetos y las
relaciones entre dichos objetos.

LOGICA DE CLASES
La lgica de clases analiza la proposicin lgica considerando la pertenencia o no
pertenencia de un elemento o individuo clasificado por poseer una determinada
propiedad. Sobre esta lgica se formaliza como modelo cientfico la teora matemtica
de conjuntos.
LOGICA DE RELACIONES
Incorpora a su lenguaje los elementos, smbolos y reglas que son necesarios para
expresar un enunciado.

CARACTERISTICAS

Como toda disciplina cientfica, la Lgica formal tiene un objeto de estudio material (lo
que estudia) y un objeto de estudio formal (la manera en que lo estudia). La lgica
formal tiene por objeto MATERIAL de estudio el PENSAR, y la manera en que estudia
el pensar es explicando la ESTRUCTURA o las condiciones para que ese pensar sea
correcto, objeto de estudio formal.
Una de las disciplinas filosficas que llega a confundirse con la Lgica formal es la
Teora del Conocimiento, que como su nombre lo indica estudia el CONOCIMIENTO,
sentido, significado, alcances y lmites del conocer.
La lgica Formal se relaciona con disciplinas como la Matemtica, La Psicologa y la
Gramtica. Con la Matemtica tiene relacin porque ambas estudian ESTRUCTURAS,
pero se distingue de ella porque la Matemtica se centra en los NMEROS y la Lgica
estudia el pensar.
Con respecto a la Psicologa, podemos sealar que a ambas les interesa estudiar el
PENSAMIENTO, pero a la Psicologa le importa este pensar en cuanto explica su
relacin con LAS ACCIONES y a la Lgica slo le importa explicar la ESTRUCTURA
del pensar.
Por ltimo, la Lgica se relaciona con la Gramtica en tanto que ambas trabajan con el
producto del pensar que es el LENGUAJE, pero a la Gramtica le interesa el lenguaje
para explicar aspectos SEMNTICOS Y FONTICOS de las palabras, en cambio a la
Lgica le interesa el Lenguaje como ESTRUCTURA del Pensar.
EJEMPLOS DE LOGICA FORMAL

Los insectos son artrpodos; los dpteros son insectos; por lo tanto, los dpteros
son artrpodos.
Todas las ranas son anfibios; todos loa anfibios son vertebrados; luego todas las
ranas son vertebrados.
Todos los msicos son artistas; todos los flautistas son msicos; todos los
flautistas son artistas.

Todos los hombres son mortales; todos los griegos son hombres; todos los
griegos son mortales.