LOGICA FORMAL

DEFINICION DE LOGICA FORMAL
Se acostumbra a definir la lógica formal como aquella ciencia que estudia los
razonamientos desde el punto del análisis formal, es decir, desde el punto de vista de su
validez o no validez. Esto significa que se desentiende del contenido empírico de los
razonamientos para solo considerar la forma (estructura sin materia).
La lógica formal no debe ser confundida con la lógica matemática, antes llamada lógica
simbólica, que es una subdisciplina de lógica formal. (Martinez, s.f.)

La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se
dedica al estudio de la inferencia mediante la construcción de lenguajes formales,
sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen
las características esenciales de las inferencias válidas en los lenguajes naturales, pero
que al ser estructuras formales y susceptibles de análisis matemático, permiten realizar
demostraciones rigurosas sobre ellas. (Ortega, s.f.)

La lógica formal también llamada lógica pura - que es la lógica propiamente dicha es precisamente la “ciencia” (en cuanto conocimiento) que determina cuáles son las
formas correctas y válidas de los raciocinios; pero lo hace considerándolos en sí
mismos y con prescindencia de los contenidos concretos de los razonamientos, es
decir, considerando esos contenidos como entes lógicos 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 básico los objetos y las
relaciones entre dichos objetos.

Con respecto a la Psicología. la Lógica se relaciona con la Gramática en tanto que ambas trabajan con el producto del pensar que es el LENGUAJE. pero a la Psicología le importa este pensar en cuanto explica su relación con LAS ACCIONES y a la Lógica sólo le importa explicar la ESTRUCTURA del pensar. significado. LOGICA DE RELACIONES Incorpora a su lenguaje los elementos. todos loa anfibios son vertebrados. alcances y límites del conocer. CARACTERISTICAS Como toda disciplina científica. La Psicología y la Gramática. La lógica formal tiene por objeto MATERIAL de estudio el PENSAR. Sobre esta lógica se formaliza como modelo científico la teoría matemática de conjuntos.LOGICA DE CLASES La lógica de clases analiza la proposición lógica considerando la pertenencia o no pertenencia de un elemento o individuo clasificado por poseer una determinada propiedad. y la manera en que estudia el pensar es explicando la ESTRUCTURA o las condiciones para que ese pensar sea correcto. pero se distingue de ella porque la Matemática se centra en los NÚMEROS y la Lógica estudia el pensar. La lógica Formal se relaciona con disciplinas como la Matemática. la Lógica formal tiene un objeto de estudio material (lo que estudia) y un objeto de estudio formal (la manera en que lo estudia). los dípteros son artrópodos. podemos señalar que a ambas les interesa estudiar el PENSAMIENTO. Una de las disciplinas filosóficas que llega a confundirse con la Lógica formal es la Teoría del Conocimiento. . EJEMPLOS DE LOGICA FORMAL    Los insectos son artrópodos. Todas las ranas son anfibios. luego todas las ranas son vertebrados. Por último. objeto de estudio formal. los dípteros son insectos. todos los flautistas son músicos. Con la Matemática tiene relación porque ambas estudian ESTRUCTURAS. en cambio a la Lógica le interesa el Lenguaje como ESTRUCTURA del Pensar. todos los flautistas son artistas. que como su nombre lo indica estudia el CONOCIMIENTO. Todos los músicos son artistas. sentido. símbolos y reglas que son necesarios para expresar un enunciado. por lo tanto. pero a la Gramática le interesa el lenguaje para explicar aspectos SEMÁNTICOS Y FONÉTICOS de las palabras.

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