COMPRENSIN DE LAS CARACTERISTICAS DE LA LGICA FORMAL

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.
La lgica formal no debe ser confundida con la lgica matemtica, antes llamada lgica
simblica, que es una subdisciplina de la lgica formal.

Tipos de lgica formal

Dentro de la lgica formal clsica podemos distinguir:

Lgica de Lgica de
Lgica de enunciados Lgica 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 lgica de elementos,
interna de los
de verdad (verdadero o predicados, esta smbolos 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 caractersticas. expresar un
sujeto.
previamente. enunciado.

Caractersticas de la Lgica Formal.

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.
 INSTITUTO NACIONAL DE EDUCACIN DIVERSIFICADA
SAN ANDRS

GRADO: 4. BACHILLERATO EN ELECTRICIDAD

CURSO: FILOSOFIA
CATEDRTICO: LETICIA

TEMA:
COMPRENSIN DE LAS CARACTERISTICAS DE LA LGICA FORMAL

ALUMNO: JOSUE ROBERTO GONZALEZ

FECHA DE ENTREGA:
14 DE JULIO DE 2017
 INTRODUCCIN

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.
La lgica formal no debe ser confundida con la lgica matemtica, antes llamada lgica
simblica, que es una subdisciplina de la lgica formal.