Tipos de Lógica en el siglo XX

Flussdiagrammknoten

• TIPOS DE LÓGICA EN EL SIGLO XX

• Lógica simbólica

• Matemática y logística

• Se encarga de lo abstracto

• Fundamentos y demsotraciones

• A partir de métodos que proporcionen una demostración rigurosa

• Lenguaje Artificial

• Proposiciones

• Operadores lógicos (conectores)

• Fórmulas

• Lógica Proposicional

• Razonamiento formalmente válido

• Proposiciones

• Operadores Lógicos

• P, Q, R, S

• Conjunción: ^ Disyunción: V Implicación: ] Equivalencia: --> Incompatibilidad: /

• Lógica Cuantificacional

• Estudia de manera detallada los predicados

• Cuantificadores

• Cantidad

• Todos  o  Algunos

• Lógica de Clases

• Relaciona conceptos con propiedades

• Implicación de una clases con otras

• Diagrama de Venn

• Usa la álgebra Booleana Estructura algebraica que esquematiza las operaciones lógicas

• Lógica Modal

• Necesidad y posibilidad

• Lógica Deóntica

• Conceptos relacionados con el deber

• Derecho: Lógica de las normas

• Lógica Semiótica

• Símbolos

• Sintaxis

• Semántica

• Pragmática

• Relación entre símbolos entre sí, no su contenido

• Relación entre símbolo y significado

• Relación entre símbolos y sujeto