Académique Documents
Professionnel Documents
Culture Documents
Es posible clasificar los tipos de lgica desde dos puntos de vista: la lgica
clsica y la moderna. Esta clasificacin slo sirve para efectos histricos, de ah
que se pueda dividir, los distintos tipos de lgica, respecto a los objetos que trata.
La Lgica Formal es conocida tambin como lgica clsica o aristotlica, Se
atribuye al filosofo Aristteles ser el creador de la misma, aunque ya existan
antecedentes en Parmnides de Elea. Asimismo 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, 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.
ASESORA:
Mtra. Edith Gonzlez Aldana
ALUMNO:
Miguel Antonio Aguilar Barojas
Grupo I
Lic. en Derecho 2o. Semestre.