UNIVERSIDAD DE SOTAVENTO, A. C.

Incorporada a la UNAM
LICENCIATURA EN DERECHO

METODOLOGA JURDICA

UNIDAD 1
LGICA

1.2 Lgica y su clasificacin.

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 filsofo ARISTTELES ser el creador de la misma, aunque ya existan
antecedentes en PARMNIDES y ZELEO. Con el paso del tiempo, con la
evolucin de algunas corrientes matemticas, especficamente las
aportaciones realizadas al lgebra por los matemticos LEONHARD PAUL
EULER, conocido como (Leonhard Euler) y GEORGE BOOLE, se da inicio a la
lgica moderna, matemtica, simblica o logstica.

De esta lgica moderna, se desprenden la semitica, la lgica dentica, la

lgica modal, la lgica de clases, la lgica cuantificacional y la lgica
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 s, 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 es la que se utiliza en el derecho, infirindose del
mismo, la denominada lgica de las normas.

La lgica modal, se formaliza en el estudio de 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 estudia de manera ms detallada los predicados

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

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, utilizndolos de operadores lgicos, tambin llamados conectores,
functores, juntores, para poder construir formulas operando sobre las
variables proposicionales y las proposiciones complejas.

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 su estructura en su discurso, la
tesis, seguida de la anttesis y su respectiva conclusin denominada sntesis;
tiene sus antecedentes desde los griegos con SCRATES 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 IMMANUEL KANT, FRIEDRICH HEGEL, KARL MARX, entre otros
ms.