Tipos de Lógica en el siglo XX

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