TIPOS DE LOGICA:
Podemos clasificar los tipos de lógica desde dos puntos de vista, la lógica clásica
y la moderna. Sin embargo dicha clasificación sólo sirve para efectos históricos,
de ahí que mejor proponemos dividir, los distintos tipos de lógica, respecto a los
objetos que trata.
La Lógica Formal es conocida también como lógica clásica o aristotélica, Se
imputa al filosofo ARISTOTELES ser el creador de la misma, aunque ya existían
antecedentes en PARMENIDES y ZELEO.. Así mismo con el paso del tiempo, con
la evolución de algunas corrientes matemáticas, específicamente las
aportaciones realizadas por los matemáticos EULER y BOOLE, a la álgebra, se da
inicio a la Lógica Moderna, Matemática, Simbólica o Logística.
De esta lógica moderna, se desprende la semiótica, lógica deóntica, modal,
cuantificacional y proposicional.
Ejemplos
•La Semiótica es la lógica de los símbolos y se divide en tres partes:
sintaxis, semántica y pragmática. La primera trata de las relaciones de los
símbolos entre si, prescindiendo de su contenido. La 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 lógica deóntica se formaliza a través de conceptos relacionados con el
deber. Este tipo de lógica se utiliza en el Derecho, infiriéndose del mismo,
la denominada lógica de las normas.
•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 representados gráficamente mediante círculos (mejor
conocidos como diagramas de Venn) empleando la denominada “álgebra
booleana”.
•La lógica modal lo hace en los conceptos de necesidad y posibilidad.
•La lógica cuantificacional que estudia de manera más detallada los
predicados a través del uso de cuantificadores que expresan cantidad
(todos ∀ o algunos ∃).
•La lógica proposicional analiza los razonamientos formalmente válidos
partiendo de proposiciones y conectivas proposicionales (operadores
lógicos).
•Esta lógica simbólica, de la que nos estamos refiriendo, emplea un
lenguaje artificial en la que simboliza las proposiciones generalmente con
las letras p, q, r, s, t utilizando de operadores lógicos, también llamados
conectores, functores, juntores, para poder construir formulas operando
sobre las variables proposicionales y las proposiciones complejas.
•Finalmente existe otro tipo de lógica que es la dialéctica, aunque ésta no
la podemos 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
