LÓGICA FORMAL
INTRUDUCCIÓN
El término lógica proviene del griego logos, que significa palabra o expresión del
pensamiento, cuyo fin es ayudar a expresar los pensamientos de una manera
racional. La lógica formal se dedica a investigar las diversas formas de los juicios
humanos, de los argumentos, interesándose sólo por si están o no construidos en
consonancia con las reglas de la lógica (Diccionario filosófica, s.f.).
Los avances y postulados en lógica no se han generado de un día para el otro, ya
que la evolución de la lógica está intrínsecamente ligada a la evolución intelectual
del ser humano. Existen varios enfoques acerca de cómo interpretar está
evolución, por lo que dentro del contenido de este tema, se explicarán
oportunamente, varios argumentos esenciales en la aplicación y evolución de la
lógica formal. Por último, se llegarán a conclusiones en las que se identificarán la
importancia del estudio de la lógica en el campo jurídico.
Página 1|9
DESARROLLO
4.1 LÓGICAS IRREVERSIBLES E REVERSIBLES
Cuando hablamos de reversibilidad del pensamiento, nos referimos a la capacidad
de volver a un punto de partida o a una situación inicial, cuando se realiza una
acción física o una acción mental. También se entiende como la capacidad de
reconocer y de hacer una acción cualquiera en un sentido y en el contrario. Es
decir, a partir de un resultado o situación final deducir los datos o la situación
inicial. Según Piaget esta es la característica más definida de la inteligencia. Si el
pensamiento es reversible entonces puede seguir el curso del razonamiento hasta
el punto del cual partió. El pensamiento reversible promueve una visión más
amplia de la realidad y la resolución de sus dilemas (La reversibilidad del
pensamiento, 2018). Por su parte, lo irreversible es aquello que no se puede
revertir: es decir, que no es posible que recupere la condición, el estado o la
propiedad que tuvo con anterioridad. Cuando algo es irreversible, no tiene vuelta
atrás (Pérez & Gardey, 2018).
4.2 LÓGICA IRREVERSIBLE DE ARISTÓTELES
Aristóteles, fue el primer pensador en formalizar el sistema lógico de tal manera
que sus propuestas han trascendido hasta nuestros días. La lógica aristotélica
supone que la mente reproduce sólo la realidad, la existencia de las cosas tal y
como son, por ello es una ciencia objetiva que se dedica a estudiar conceptos,
desglosándolos en predicables y predicamentos. La lógica analiza juicios y formas
de razonamiento y su manera de expresar resultados es el silogismo o
razonamiento deductivo categórico.
El elemento básico es el término o concepto. Este representa un objeto en la
mente del hombre de manera que no pueda ser afectado por los sentidos, la
Página 2|9
memoria o la mente, es por ello que se considera un proceso de lógica irreversible
(EcuRed, 2008).
4.3 LÓGICA ARISTOTÉLICA IRREVERSIBLE EN EL DERECHO
POSITIVO DEL SIGLO XX
El derecho positivo está constituido por el conjunto normativo vigente en un
momento determinado; es decir, es el conjunto de reglas que, por hallarse en
vigor, han de aplicarse a los casos que lo ameriten con la garantía última del
Estado. En este sentido, puede decirse que el Derecho positivo se contrapone al
Derecho natural por cuanto éste representa un conjunto de normas posibles de
aplicar pero que, por no estar recogidas en el ordenamiento jurídico, no gozan de
la vigencia propia del Derecho positivo (Enciclopedia jurídica, 2020).
Por su parte, todos los historiadores de la Lógica están de acuerdo en que fue
Aristóteles si no el creador sí por lo menos el sistematizador y estructurador de la
Lógica, considerándola como el indispensable e inevitable instrumento de todo
conocimiento científico. Para Aristóteles la ley, cumple una función ordenadora,
tomando en cuenta la variedad de los hechos, pero es imperfecta debido a esta
misma multiplicidad de hechos, esto se podrá resolver a través de la equidad que
tratará de ser el justo equilibrio. De aquí la necesidad de suplir las imperfecciones
de la ley positiva con la equidad. De igual manera la ley tiene que asentarse en los
usos engendrados a lo largo del tiempo para poder perdurar y ser efectiva.
Aristóteles expone su filosofía jurídica que la Ley puede determinarse sólo en
relación con lo que es justo, y, según él, lo justo debe ser entendido en el sentido
de la igualdad (Zambrano, 2020). Está argumentación jurídica va más allá de la
sola lógica analítica y de la sola teoría de la argumentación, para extenderse a
toda una variedad de métodos que cubre todo el espectro argumentativo
estudiado por Aristóteles en sus escritos lógicos.
Página 3|9
4.4 LÓGICAS REVERSIBLES DE WILHELM SCHUPPE Y WILLIAM
HAMILTON
Wilhelm Schuppe es considerado el mayor representante de la corriente que fue
llamada la filosofía de la inmanencia, siempre mantuvo la demanda de adhesión a
la experiencia y el rechazo de toda metafísica. Su lógica, como reflexión,
presupone el pensamiento como juicio, expresión de lo concreto del conocer, que
incluye tanto el mundo de los objetos percibidos, como la elaboración del
pensamiento, el cual procede con arreglo a sus propias leyes y se realiza de
diversa manera según los sujetos, pero viene luego confirmado por la experiencia.
La lógica se identifica así con la ontología; ésta nada nos dice sobre el
pensamiento puro, carente de objeto (lo que sería absurdo), sino sobre el
pensamiento concreto sobre algo, cuyas normas pone en claro (Enciclopedia,
2020).
Por su parte William Hamilton fue un filósofo idealista y lógico inglés que concibió
el conocimiento como "averiguación de las condiciones" de existencia del objeto,
negaba la verdad objetiva y adoptaba una posición agnóstica; "lo absoluto", es
decir, la realidad material, según Hamilton, sólo es cognoscible a través de la
revelación divina. La principal contribución de Hamilton a la lógica es la doctrina de
la cuantificación del predicado: dada la necesidad de explicitar lo que
implícitamente es pensado, Hamilton afirma que la cantidad del predicado debe
explicitarse al igual que la cantidad del sujeto (EcuRed, s.f).
4.5 LÓGICA REVERSIBLE DE LOS ESTOICOS
La lógica estoica es el sistema de lógica proposicional desarrollado por los
filósofos estoicos en la antigua Grecia. Fue uno de los dos grandes sistemas de
lógica en el mundo clásico. Fue construido y conformado en gran parte por
Crisipo, el tercer director de la escuela estoica en el siglo III a. C (sophivorus, s. f.).
Página 4|9
La lógica de los estoicos desarrolló un gran avance con respecto al sistema de la
lógica aristotélica, debido a los signos y la aplicación de la lógica proposicional.
Esta es una aproximación a la lógica basada en las declaraciones o proposiciones,
en lugar de términos, por lo que es muy diferente de la de Aristóteles
Dentro del sistema de la lógica estoica, encontramos cuatro categorías:
- Objeto calificado
- Sustrato (género y especie de un objeto)
- Disposición
- Disposición relativa.
Todo este sistema de los estoicos es nominalista, y basta con decir una palabra y
un objeto, lo cual podría ser analizado en términos de sustrato y diferenciación. El
sistema de la lógica de los estoicos marcó una gran diferencia del esquema
platónico, con respecto a la definición de objetos por sub-división continua de
clases que contenían los objetos. La conjunción disyuntiva, fue el método esencial
de los estoicos (Misari, 2013).
4.5.1 CONJUNCIÓN, DISYUNCIÓN Y EXCLUSIÓN
La conjunción es un conjunto de elementos que unen o establecen un nexo entre
componentes lingüísticos que son agrupados para formar unidades de oración
más amplias. En otras palabras, una conjunción es capaz de unir dos fragmentos
de oración o frases, con la finalidad de construir una tercera con total sentido y
complementación lógica, permitiendo al individuo expresar o enunciar una idea de
forma coherente. La conjunción puede ser una palabra o un conjunto de ellas, que
pueden unir palabras, sintagmas, proposiciones (oraciones simples) y frases
(Adrián, 2021). Sin embargo, para los estoicos no era de índole gramatical sino de
Página 5|9
orden lógico-filosófico, aflora sus bases en la expresión de la verdad y la falsedad
para desarrollar el sistema conjuncional.
-Disyunción: Es un tipo de conjunción cuya principal característica es el unir o
tratar de enlazar las partes de una oración, expresando opciones de elegir entre
una de ellas, también pueden utilizarse para anteponer la primera posibilidad de la
segunda. De todo esto se puede deducir, sin muchas dificultades, que, entre las
características que la filosofía estoica atribuyó a la disyunción, se encuentran el
hecho de que una de las dos proposiciones („p‟ o „q‟) tenía que ser
necesariamente verdadera y el de que, por tanto, las dos no podían ser falsas.
Esta parece ser la estructura formal o sintáctica de la disyunción que puede ser
calificada de universal, pues, a lo largo de los siglos y desde diferentes supuestos
o marcos, se continuó atribuyéndole tales propiedades (López, 2018).
-Exclusión: En la lógica de los estoicos las conjunciones y preposiciones son las
portadoras de lo verdadero y lo falso. Los estoicos distinguieron entre la verdad y
lo verdadero, en relación con los argumentos: un argumento es verdadero si y sólo
si es válido y tiene premisas verdaderas. Si no es válido o tiene una premisa falsa,
se dice que es falso (Muñoz, s.f.)
4.5.2 LA CONDICIONAL
La condicional es probablemente el concepto clave del aporte estoico a la lógica.
Es un argumento válido, distinto de uno verdadero, es uno en el que la conjunción
de sus premisas se opone a la negación de su conclusión. Uno verdadero,
además de ser válido, debe tener premisas verdaderas. En cuanto al condicional,
éste es un axioma que tiene la conectiva ‘si’ y ésta indica que otra proposición se
sigue de ella, de modo que es verdadero siempre y cuando no sea el caso que el
antecedente es verdadero y el consecuente falso, aquello que hoy día se conoce
como implicación material.
Página 6|9
Con estas nociones de base, Crisipo postuló sus cinco indemostrables,
argumentos cuya validez no requiere demostración, constituidos, al menos los dos
primeros, por condicionales:
I. Si es el caso que A, será B. Es A, luego es B.
II. Si es el caso que A, será B. No es B, por lo tanto no es A.
III. No (es el caso que A y B). Es A, por lo tanto, no es B.
IV. O bien es A o bien es B. Es A, por lo tanto no es B.
V. O bien es A o bien es B. No B, por lo tanto es A (Lozano, 2011).
CONCLUSIONES
Los abogados son parte de una clase profesional que monitorea cualquier omisión
lógica, por lo que es importante usar un lenguaje correcto y gramaticalmente
apropiado. Siendo las conjunciones, condicionales y disyunciones una parte muy
importante de la lengua española.
Los postulados de los diferentes movimientos y pensamientos desarrollados a lo
largo del presente trabajo dieron origen a la lógica jurídica, ya que el Derecho es
una de las ciencias que han elogiado indudablemente la utilización de la lógica
como herramienta aplicada a la obtención de razonamientos, desde la
presentación de los hechos, en la demanda, hasta la redacción de los puntos
resolutivos de la sentencia, pasando por la demostración cierta y veraz, por lo
tanto todo el juicio se inscribe en el contenido de la lógica, lo que asegura un buen
proceso, y sirve como herramienta en la toma de las decisiones.
Página 7|9
BIBLIOGRAFÍA
- Adrián, Y. (2021, 18 noviembre). Conjunciones. Concepto de - Definición de.
Recuperado 3 de febrero de 2022, de [Link]
- de Enciclopedias, R. (2020). Elementos de Lógica y Teoría del Conocimiento,
Wilhelm Schuppe | Crítica de Libros. Crítica de Libros. Recuperado 3 de febrero de
2022, de [Link]
logica-y-teoria-del-conocimiento-wilhelm-schuppe/#:%7E:text=Elementos%20de
%20L%C3%B3gica%20y%20Teor%C3%ADa%20del%20Conocimiento%2C
%20Wilhelm%20Schuppe,-publicado%20enMetaliteratura&text=La%20l
%C3%B3gica%20se%20identifica%20as%C3%AD,cuyas%20normas%20pone
%20en%20claro.
- Diccionario filosófico. (s. f.). La lógica formal. Recuperado 3 de febrero de 2022,
de [Link]
%20formal%20es%20la,la%20Naturaleza%20y%20la%20Sociedad).&text=Las
%20leyes%20de%20la%20l%C3%B3gica%20formal%20son
%20contrapuestas,leyes%20de%20la%20l%C3%B3gica%20dial%C3%A9ctica.
- EcuRed. (2008). Lógica aristotélica - EcuRed. Recuperado 3 de febrero de 2022,
de [Link]
- EcuRed. (s.f). William Hamilton - EcuRed. Recuperado 3 de febrero de 2022, de
[Link]
- [Link]. (2020). Derecho positivo. Enciclopedia jurídica.
Recuperado 3 de febrero de 2022, de
[Link]
- LA REVERSIBILIDAD DEL PENSAMIENTO. (2018, 14 marzo). Fun4us.
Recuperado 3 de febrero de 2022, de [Link]
reversibilidad-del-pensamiento/
- López, M. (2018). Evidencias a favor de una sintaxis del pensamiento: El caso de
la disyunción. Ciencias Humanas y Sociales, 34(18), 2443–2463.
Página 8|9
- Lozano, A. (2011, 21 septiembre). Voz: Estoicismo. Philosophica. Recuperado 3
de febrero de 2022, de
[Link]
- Misari, D. (2013). Estoicos: la virtud y el conocimiento [Diapositivas]. Slideshare.
[Link]
- Muñoz, E. (2020). Los estoicos antiguos (No 75). Revista filosófica.
[Link]
%20UCR/Vol.%20XXXI/No.75/Los%20estoicos%[Link]
- Pérez, J., & Gardey, A. (2018). Definición de irreversible. [Link].
Recuperado 3 de febrero de 2022, de [Link]
- sophivorus. (s. f.). Lógica estoica - Sophivorus. Recuperado 3 de febrero de
2022, de [Link]
- Zambrano, A. (2020). EL DERECHO EN LA MENTE DE ARISTÓTELES.
Página 9|9
