Tipos de logica

La lógica matemática se inicia con un “Ensayo acerca de un cálculo del razonamiento deductivo” en el año de 1847 por G.
Boole, que indica como la lógica aparece como un cálculo algebraico; se produce una completa simbolización; los
enunciados lógicos son concebidos como ecuaciones y se formulan leyes lógicas.
Boole desarrolla la lógica de clases y la lógica proposicional, este cálculo es totalmente artificial.
El álgebra se convierte en modelo de la lógica.
Mas tarde CH. S. Peirce hará aportaciones, tales como: la lógica de relaciones, el método de matrices (o tablas de verdad) y
nuevos desarrollos de la lógica proposicional.

De la lógica moderna se desprenden:

 La semiótica
 La deóntica
 La lógica Modal
 La lógica cuantificacional
 La lógica proposicional
 La lógica Dialéctica
 La Simbólica
 La lógica de Clases

La Semiótica es la lógica de símbolos y se divide en 3 partes: sintaxis, semántica y pragmática.

La primera trata de las relaciones de símbolos entre sí, prescindiendo de su contenida.
Las segunda trata de las relaciones entre el símbolo y lo que significa.
La tercera trata de las relaciones entre el símbolo y el sujeto que lo utiliza.

La Deóntica se formaliza a través de conceptos relacionados con el deber. Este tipo de lógica se utiliza en derecho, la
denominada lógica de normas.

La Lógica Modal lo hace en los conceptos de necesidad y posibilidad.

La lógica cuantificacional que estudia de manera detallada los predicados a través del uso de cuantificadores que expresan
cantidad por ejemplo: todos o alguno.

La lógica proposicional analiza los razonamientos formalmente válidos partiendo de proposiciones, conectivas lógicas y
operadores lógicos.

La lógica Dialéctica aunque esta no se puede considerar como integrante de la lógica moderna, toda vez que la misma no
tiene un contenido formal, sino ideológico, ni es pasiva como la lógica formal, sino que es activa, al obtener principios
racionales a través de la interpretación de la historia.

La lógica Simbólica emplea un lenguaje artificial en la que simboliza las proposiciones generalmente con las letras p, q, r,
s, t utilizando operadores lógicos también llamados conectores, para poder construir formulas, operando sobre las variables
proposicionales y las proposiciones complejas.
La lógica de Clases relaciona conceptos con propiedades (sujeto y predicado), estudia además las implicaciones de unas
clases con otras, las cuales suelen ser representadas gráficamente mediante círculos mejor conocidos como diagramas de
ven, empleados en algebra Booleana.