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 formica es blanco y el pizarrón de formica no es blanco.

3. Tercero excluido

Dice que una cosa tiene una propiedad o no la tiene y no hay una tercera posibilidad, o sea, que dos preposiciones contradictorias no pueden ser simultáneamente falsas y que una de ella debe ser verdadera.

“A es B” ó “A no es B”

Si decimos, por ejemplo, que "el perro es un mamífero" y que "el perro no es mamífero", no podemos rechazar estas dos proposiciones como falsas, pues no hay una tercera posibilidad.

En el principio de tercero excluido es preciso reconocer que una alternativa es falsa y otra verdadera y que no cabría una tercera posibilidad.

Ejemplo: el pizarrón de formica es blanco o no es blanco.

4. Razón suficiente

Dice que nada es sin que haya una razón para que sea. Este principio a diferencia de los primeros tres fue por plateado por Wilhelm

...