COMO SE CLASIFICA LA LOGICA?

Podemos clasificar los tipos de lgica desde dos puntos de vista, la lgica
clsica y la moderna. Sin embargo dicha clasificacin slo sirve para efectos
histricos, de ah que mejor proponemos dividir, los distintos tipos de lgica,
respecto a los objetos que trata.

La Lgica Formal es conocida tambin como lgica clsica o aristotlica, Se

imputa al filosofo ARISTOTELES ser el creador de la misma, aunque ya
existan antecedentes en PARMENIDES y ZELEO.. As mismo con el paso del
tiempo, con la evolucin de algunas corrientes matemticas, especficamente
las aportaciones realizadas por los matemticos EULER y BOOLE, a la
lgebra, se da inicio a la Lgica Moderna, Matemtica, Simblica o Logstica.

De esta lgica moderna, se desprende la semitica, lgica dentica, modal,

cuantificacional y proposicional.

La Semitica es la lgica de los smbolos y se divide en tres partes: sintaxis,

semntica y pragmtica. La primera trata de las relaciones de los smbolos
entre si, prescindiendo de su contenido. La segunda trata de las relaciones
entre el smbolo y lo que significa. La tercera trata de las relaciones entre el
smbolo y el sujeto que lo utiliza.

La lgica dentica se formaliza a travs de conceptos relacionados con el

deber. Este tipo de lgica se utiliza en el Derecho, infirindose del mismo, la
denominada lgica de las normas.

La lgica modal lo hace en los conceptos de necesidad y posibilidad.

La lgica de clases relaciona conceptos con propiedades (sujeto y predicado),

estudia adems las implicaciones de unas clases con otras, las cuales suelen
ser representados grficamente mediante crculos (mejor conocidos como
diagramas de Venn) empleando la denominada lgebra booleana.

La lgica cuantificacional que estudia de manera ms detallada los

predicados a travs del uso de cuantificadores que expresan cantidad (todos
o algunos ).

La lgica proposicional analiza los razonamientos formalmente vlidos

partiendo de proposiciones y conectivas proposicionales (operadores lgicos).

Esta lgica simblica, 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 lgicos, tambin llamados conectores, functores,
juntores, para poder construir formulas operando sobre las variables
proposicionales y las proposiciones complejas.[73]

Finalmente existe otro tipo de lgica que es la dialctica, aunque sta no la

podemos considerar como integrante de la lgica moderna, toda vez que la
misma no tiene un contenido formal, sino ideolgico; ni es pasiva como la
lgica formal, sino que es activa, al obtener principios racionales a travs de la
interpretacin de la historia, utilizando como su estructura en su discurso, la
tesis, seguida de la antitesis y su respectiva conclusin denominada sntesis;
teniendo sus antecedentes desde los griegos con SOCRATES y PLATN
quienes la concibieron como una tcnica de discusin y de obtencin de
conclusiones, siendo la misma tambin estudiada y empleada por algunos
filsofos como KANT, HEGEL, MARX, entre otros ms. [74]

Fuente(s):http://www.tuobra.unam.mx/publicadas/050...