Principios Fundamentales De La Logica Formal

Principios fundamentales de la lógica formal

La sistematización de la lógica es un proceso de abstracción, por lo que este establece los principios lógicos más universales. El principio de identidad, no contradicción y tercero excluido son principios plateados por Aristóteles y el principio de razón suficiente es planteado por Wilhelm Leibnitz.

1. Identidad

Establece que una cosa es igual a sí misma en las mismas circunstancias.

A=A

Decir que una cosa es idéntica a sí misma significa que una cosa es una cosa. Podemos decir que una cosa cambia constantemente, sin embargo, sigue siendo ese mismo objeto, pues si no fuese así, no podríamos decir que ese objeto ha cambiado.

Todas las cosas, por mucho que éstas cambien, tienen algo que las identifica, un sustrato lógico que nos permite identificarlas en la totalidad de sus diversas situaciones. La identidad es una ley de nuestro pensamiento, ya que éste reclama buscar la identidad de las cosas.

En primera instancia, cuando formalmente aludimos al primer principio lógico llamado de identidad, nos referimos a los objetos o cosas, por lo cual, hablando con rigor, éste sería un principio de carácter ontológico, porque nos referimos a las cosas (la ontología estudia los objetos o cosas). Para que fuera un principio estrictamente lógico tendríamos que aplicarlo o referirlo a los juicios o enunciados, diciendo, por ejemplo: que "todo enunciado es idéntico a sí mismo".

Pues bien, es necesario tomar en cuenta esta misma observación al estudiar los demás principios lógicos supremos que postula la lógica tradicional, en los cuales advertiremos siempre un plano ontológico (cuando se refieren a objetos o cosas) y un plano lógico (cuando se refieren a formas lógicas, como los juicios).

Ejemplo: el cuadrado es una figura geométrica de cuatro lados.

2. No contradicción

Dice que una cosa no puede ser verdadera y falsa al mismo tiempo y en las mismas circunstancias.

"Es imposible que A sea B y no sea B."

Es posible pensar que el objeto pueda ser algo ahora y no ser ese algo después, pero no al mismo tiempo. Yo puedo estar aquí ahora y no estar después, pero no al mismo tiempo.

Así como el principio de identidad nos dice que una cosa es una cosa, el principio de no contradicción nos dice que una cosa no es dos cosas a la vez.

En el plano lógico, de los juicios, este principio de no contradicción nos dice que: dos juicios contradictorios entre sí no pueden ser verdaderos los dos. Por ejemplo:

• "Todos los hombres son mortales."

• "Algunos hombres no son mortales."

En este caso, sólo el primer juicio es verdadero.

Ejemplo: el pizarrón de

...