logica

Lógica formal

Se ha sugerido que este artículo o sección sea fusionado con Lógica matemática (discusión).
Una vez que hayas realizado la fusión de artículos, pide la fusión de historiales aquí.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 ysemá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 deaná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 subdisciplinade la lógica formal.

Tipos de lógica formal[editar]
Dentro de la lógica formal clásica podemos distinguir:

Lógica de enunciados Lógica de predicados Lógica de clases Lógica de relacionesEstudia 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. Analiza laestructura interna de los enunciados atribuyendo una propiedad al sujeto. Al contrario de la lógica de predicados, esta atribuye individuos y clases a las características. Incorpora a su lenguaje loselementos, símbolos y reglas que son necesarios para expresar un enunciado.
Lógica informal
La lógica informal, o lógica no formal, es el estudio de los argumentos naturales y en oposición al estudio delos argumentos en una forma técnica o artificial (lógica formal). Esta parte de la lógica se dedica principalmente a diferenciar entre formas correctas e incorrectas en que se desarrolla el lenguaje yel pensamiento cotidiano, en especial al estudio de los procesos para obtener conclusiones a partir de información dada. Parte del principio que el pensamiento y el lenguaje humano es a menudo...