logica

LOGICA 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, sistemasdeductivos 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 ysusceptibles 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 esuna subdisciplina de la lógica formal.

TIPOS DE LÓGICA FORMAL
Dentro de la lógica formal clásica podemos distinguir cuatro tipos:
Lógica de enunciados


Estudia la validez de los razonamientosteniendo en cuenta únicamente el valor de verdad (verdadero o falso) de cada enunciado tomando los enunciados en bloque sin analizarlos previamente.




Lógica de predicados
Analiza la estructurainterna de los enunciados atribuyendo una propiedad al sujeto.


Lógica de clases
Al contrario que la lógica de predicados, esta atribuye individuos y clases a las características.

Lógica derelaciones
Incorpora a su lenguaje los elementos, símbolos y reglas que son necesarios para expresar un enunciado.



LOGICA INFORMAL
La lógica informal, o lógica no formal, es el estudio de losargumentos natural y en oposición al estudio de los argumentos en una forma técnica o artificial (lógica formal). Esta parte de la lógica se dedica principalmente a diferenciar entre formas correctase incorrectas en que se desarrolla el lenguaje y el pensamiento cotidiano, en especial al estudio de los procesos para obtener conclusiones a partir de información dada. Parte del principio que elpensamiento y el lenguaje humano es a menudo incorrecto, o tendencioso. Se le atribuyen sus inicios a Aristóteles, que hizo el primer estudio de las falacias lógicas, que se encuentran en la vida...