COMPRENSIÒN DE LAS CARACTERISTICAS DE LA LÓGICA FORMAL

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.
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 la lógica formal.

Tipos de lógica formal

Dentro de la lógica formal clásica podemos distinguir:

Lógica de Lógica de
Lógica de enunciados Lógica de clases
predicados relaciones

Estudia la validez de los Incorpora a su

Analiza la
razonamientos teniendo en Al contrario de la lenguaje los
estructura
cuenta únicamente el valor lógica de elementos,
interna de los
de verdad (verdadero o predicados, esta símbolos y reglas
enunciados
falso) de cada enunciado atribuye individuos y que son
atribuyendo una
tomando los enunciados en clases a las necesarios para
propiedad al
bloque sin analizarlos características. expresar un
sujeto.
previamente. enunciado.

Características de la Lógica Formal.

Como toda disciplina científica, 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). La lógica 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 filosóficas que llega a confundirse con la Lógica formal es la Teoría del
Conocimiento, que como su nombre lo indica estudia el CONOCIMIENTO, sentido, significado,
alcances y límites del conocer.
La lógica Formal se relaciona con disciplinas como la Matemática, La Psicología y la
Gramática. Con la Matemática tiene relación porque ambas estudian ESTRUCTURAS, pero
se distingue de ella porque la Matemática se centra en los NÚMEROS y la Lógica estudia el
PENSAR .
Con respecto a la Psicología, podemos señalar que a ambas les interesa estudiar el
PENSAMIENTO, 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.
Por último, 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 Gramática le interesa el lenguaje para
explicar aspectos SEMÁNTICOS Y FONÉTICOS de las palabras, en cambio a la Lógica le
interesa el Lenguaje como ESTRUCTURA del Pensar.
 INSTITUTO NACIONAL DE EDUCACIÓN DIVERSIFICADA
SAN ANDRÉS

GRADO: 4º. BACHILLERATO EN ELECTRICIDAD

CURSO: FILOSOFIA
CATEDRÁTICO: LETICIA

TEMA:
COMPRENSIÓN DE LAS CARACTERISTICAS DE LA LÓGICA FORMAL

ALUMNO: JOSUE ROBERTO GONZALEZ

FECHA DE ENTREGA:
14 DE JULIO DE 2017
 INTRODUCCIÒN

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.
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 la lógica formal.