TIPOS DE LOGICA

Existen diferentes tipos de lógica.
Explicare los mas importantes en esta área

*Lógicas clásicas: Expresión que ese utiliza para referirse al conjunto de cálculos lógicos como los desarrollados en los Principia Mathematica de Ruseel. La Lógica clásica reconoce solamente dos valores de verdad a sus formulas (verdadero o falso).

*Lógicas no clásicas: Son aquellos sistemas lógicos propuestos como alternativas a la lógica clásica.

• Lógicas Polivalentes: Cálculos que admiten dos valores de verdad.
• Lógicas Combinatorias: Estudia los conceptos de la lógica, con el fin de llegar a una fundamentacion única.
• Lógica Modal:Se ocupa de los operadores modales:

1. Necesario
2. Contingente
3. Posible
4. Imposible

• Logica cuántica: Trata de los problemas creados por la mecánica cuántica 

*Logicas modales :La lógica modal intenta acercarse más al pensamiento humano y del lenguaje natural, y lo hace complementando la lógica de predicados (una cualquiera) con modalidades que indican las condiciones en las que es cierta o falsa cada proposición. Por ejemplo, añade palabras como puede, podría, quizás, ha de, posiblemente, necesariamente, a veces, etc.

*Lógica informal: La lógica informal, por otra parte, es la más antigua de todas, quizás por su utilidad práctica. Consiste en el estudio del pensamiento crítico, y de cómo hemos de hablar para convencer a la gente. 

*Lógica Metalogica: 

• Consistencia: Es la propiedad que tienen los sistemas formales, cuando no es posible deducir una contradicción dentro del sistema.

1. Lenguaje Formal

• Axiomas
• Reglas de inferencia

• Decibilidad: Es una propiedad de los sistemas formales cuando para cualquier formula en el lenguaje del sistema,existe un método efectivo.

• Completitud: Tienen los sistemas formales cuando las formulas logicamente validas del sistema son ademas teoremas del sistema.