Tipos De Logica

Tipos de Lógica

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.

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 modal lo hace en los conceptos de necesidad y posibilidad.

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 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.[73]

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 a través de la interpretación de la historia, utilizando como su estructura en su discurso, la tesis, seguida de la antitesis y su respectiva conclusión denominada síntesis; teniendo sus antecedentes desde los griegos con SOCRATES y PLATÓN quienes la concibieron como una técnica de discusión y de obtención de conclusiones, siendo la misma también estudiada y empleada por algunos filósofos como KANT, HEGEL, MARX, entre otros más. [74]

Leyes de la Lógica

Las leyes lógicas, son proposiciones universales, necesarias, evidentes y verdaderas. Dichas leyes son cuatro, el principio de identidad, el de contradicción, el de tercero excluido y el de razón suficiente.

El principio de identidad nos dice que una cosa es idéntica a si misma, lo que es, es; lo que no es, no es:

A es A, o no A es no A

El principio de contradicción nos dice que es imposible afirmar y negar que una cosa es y no es al mismo tiempo y bajo la misma circunstancia.

A no es no A

O bien, también puede enunciarse que dos proposiciones contradictorias no pueden ser a la vez verdaderas

El principio de tercero excluso nos dice que una cosa es o no es, no cabe un término medio:

A es B, o A no es B.

O bien, también puede enunciarse como no hay medio entre dos proposiciones contradictorias

El principio de razón suficiente nos señala que todo ser tiene una razón de ser, es decir, una razón suficiente que lo explique:

A es la razón de B

Concepto

Los conceptos con representaciones mentales de un objeto sin afirmar ni negar algo acerca de él.

Los conceptos carecen de color, tamaño, figura; no son imágenes, sino que son representaciones mentales captadas por la inteligencia humana.

La mente humana fija su atención en un objeto de conocimiento, que logra captar mediante la sensación y la abstracción sus características esenciales y accidentales.

Los conceptos que son captados por la inteligencia humana de un sujeto, logran manifestarse o expresarse mediante palabras o términos.

La palabra es sonido o conjunto de sonidos mediante los cuales se expresa el concepto, el término es un signo, de todo aquello conocido que nos lleva al conocimiento de otra cosa.

En la lógica jurídica, tenemos que el jurista logra captar ideas del conocimiento jurídico, del cual logra obtener los conceptos jurídicos, ejemplos de ello, tenemos al delito, al acto jurídico, al órgano jurisdiccional, acto administrativo, título de crédito, acto de comercio, obligación, acción, prueba, etc. Por citar sólo algunos.

Entre los conceptos denominados supremos de máxima extensión, tenemos a las categorías, también denominadas predicativos.

Cabe señalar la estrecha relación entre la lógica y la metafísica, pues para la segunda rama del conocimiento filosófico, los conceptos son entes, que se componen de esencias (conceptos en la lógica) y sus respectivos predicativos o categorías, que metafísicamente se les denomina como accidentes.

ARISTOTELES analizó todas las formas posibles de atribuir un predicado a un sujeto mediante el verbo ser. Señala como categorías que puede tener una esencia o sustancia, la cantidad, cualidad, relación, tiempo, lugar, posesión, situación, acción y pasión.

KANT por su parte entiende a las categorías como los conceptos puros del entendimiento, las condiciones a priori que hacen posible el conocimiento, es decir estructuras formales que se hallan en todos los sujetos. Dichas categorías son de cantidad: unidad, pluralidad, totalidad; cualidad: realidad, negación, limitación; relación: sustancia, causalidad, comunidad; y de modalidad: posibilidad, existencia

...