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.
Dentro de la lógica formal clásica podemos distinguir cuatro tipos:
Lógica de enunciados
Lógica de predicados
Lógica de clases
Lógica de relaciones
Estudiala 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 que 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.

Caracteristicas
Primera: que es una ciencia que trabaja con ideas
Segunda: es una ciencia formal porque estudia las formasvalidas de razonar y expresar esos razonamientos a traves de sus respectivos argumentos, no sobre los contenidos de ellos.
Tercera: es una rama de la logica general a la cual se le divide en: logicaformal o dialectica,logica material o critica, y logica metodologica o logica aplicada a cada una de las ciencias particulares. Desde luego que esta clasificacion ya no se usa. Hoy se habla de logicamoderna, logica matematica, logica de clases, logica borrosa, logica juridica, logica temporal, logica modal, logica bivalente, logica trivalente, logica intuicionista, logica no monotona.


LA...