Scribd
Cargar
4K vistas4 páginas

Comprensiòn de Las Caracteristicas de La Lógica Formal

Cargado por

Luis Tánchez

La lógica formal estudia la inferencia mediante la construcción de lenguajes, sistemas y semánticas formales que capturen las características de las inferencias válidas en los lenguajes naturales. Se divide en lógica de enunciados, lógica de predicados, lógica de clases y lógica de relaciones. Analiza el pensamiento explicando la estructura para que sea correcto. Se relaciona con la matemática, psicología y gramática, pero se distingue de ellas en su objeto de estudio.

Copyright:

© All Rights Reserved
Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
Descargar como docx, pdf o txt

Comprensiòn de Las Caracteristicas de La Lógica Formal

Cargado por

Luis Tánchez
4K vistas4 páginas
La lógica formal estudia la inferencia mediante la construcción de lenguajes, sistemas y semánticas formales que capturen las características de las inferencias válidas en los lenguajes naturales. Se divide en lógica de enunciados, lógica de predicados, lógica de clases y lógica de relaciones. Analiza el pensamiento explicando la estructura para que sea correcto. Se relaciona con la matemática, psicología y gramática, pero se distingue de ellas en su objeto de estudio.

Descripción original:

v fvvv

Derechos de autor

© © All Rights Reserved

Formatos disponibles

DOCX, PDF, TXT o lea en línea desde Scribd

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

La lógica formal estudia la inferencia mediante la construcción de lenguajes, sistemas y semánticas formales que capturen las características de las inferencias válidas en los lenguajes naturales. Se divide en lógica de enunciados, lógica de predicados, lógica de clases y lógica de relaciones. Analiza el pensamiento explicando la estructura para que sea correcto. Se relaciona con la matemática, psicología y gramática, pero se distingue de ellas en su objeto de estudio.

Copyright:

© All Rights Reserved
Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
Descargar como docx, pdf o txt
4K vistas4 páginas

Comprensiòn de Las Caracteristicas de La Lógica Formal

Cargado por

Luis Tánchez
La lógica formal estudia la inferencia mediante la construcción de lenguajes, sistemas y semánticas formales que capturen las características de las inferencias válidas en los lenguajes naturales. Se divide en lógica de enunciados, lógica de predicados, lógica de clases y lógica de relaciones. Analiza el pensamiento explicando la estructura para que sea correcto. Se relaciona con la matemática, psicología y gramática, pero se distingue de ellas en su objeto de estudio.

Copyright:

© All Rights Reserved
Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
Descargar como docx, pdf o txt
Está en la página 1/ 4

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.

También podría gustarte