Fundamentos de la Lógica: Tipos, Criterios y el Desafío de la Paradoja de Russell

Introducción a la Lógica: Definición y Criterios Fundamentales

La lógica es el estudio de los razonamientos y las inferencias, entendiendo la inferencia como el proceso mediante el cual se llega a una conclusión a partir de premisas. Se trata de un conjunto de cuestiones que han permitido comprender cómo se diferencian los argumentos válidos de las falacias y de qué manera llegamos a estas conclusiones.

Criterios de un Sistema Lógico

En términos generales, para considerar a un sistema como lógico, se deben cumplir tres criterios esenciales:

• Consistencia: Que no haya contradicciones internas.
• Solidez: Que no existan falsas inferencias.
• Completud: Que todas las premisas deban poder probarse o ser demostrables.

Las Cuatro Ramas Principales de la Lógica

Para el estudio de estos criterios ha sido indispensable el desarrollo de distintos sistemas y formas de estudio, que han derivado en cuatro grandes tipos de lógica:

Lógica Formal (o Lógica Tradicional)

Trata el estudio de las inferencias con contenido puramente formal y explícito.

Lógica Informal

Estudia, evalúa y analiza los argumentos desplegados en el lenguaje natural o cotidiano, centrándose en el mensaje.

Lógica Simbólica

Analiza las relaciones entre los símbolos para formar un nuevo lenguaje.

Lógica Matemática

Consiste en la aplicación del lenguaje matemático en la construcción de sistemas lógicos que buscan reproducir la mente humana.

Figuras Clave y Obras Fundamentales

Aristóteles y el Órganon

Aristóteles fue reconocido como el fundador de la lógica. La primera gran obra lógica de la filosofía occidental es su obra el Órganon.

Wittgenstein y el Tractatus Logico-Philosophicus

Otra obra muy importante es el Tractatus Logico-Philosophicus de Ludwig Wittgenstein, en la que se enfrenta a los problemas centrales de la filosofía que tienen que ver con el mundo, el pensamiento y el lenguaje.

La Paradoja de Russell: Desafío a los Fundamentos de la Lógica

Bertrand Russell: Lógico y Matemático del Siglo XX

Destacable es también Russell y su paradoja. Es uno de los matemáticos y lógicos más importantes del siglo XX.

Russell estaba inmerso en sus investigaciones sobre los fundamentos lógicos de las Matemáticas, lo que le llevó a examinar las relaciones entre conjuntos. Lo que realmente le importaba era la lógica abstracta de los conjuntos.

La Naturaleza de la Paradoja

Supongamos que un conjunto esté formado por varios elementos que a su vez sean conjuntos de otros. Es decir, el conjunto AULA está formado por pizarra, mesa, silla, lápices, rotuladores, bolígrafos… A su vez, estos tres últimos elementos pueden formar el conjunto de instrumentos para escribir, lo que quiere decir que un conjunto puede pertenecer a otro.

A partir de ahí, a Russell le surgió la duda de si un conjunto podía pertenecer a sí mismo. Para ilustrarlo, imaginemos dos conjuntos:

El Conjunto T (Conjunto de No-Relojes)

Imaginemos un conjunto con todas las cosas que no pueden ser relojes. Es el conjunto T. Ese conjunto (T) tampoco es un reloj y, en consecuencia, debería estar contenido en ese conjunto T.

El Conjunto R (Conjunto de Relojes)

Otro conjunto, R, es el conjunto formado por todos los relojes de cualquier tipo. Ese conjunto (R) no es un reloj, por lo que no puede estar integrado en el conjunto R.

Pero los dos conjuntos deben pertenecer a un tipo o a otro. El T pertenece a sí mismo, pero, ¿y el R? ¿A qué conjunto pertenece? Si no es un reloj, no puede pertenecer a R. Pero como no es un reloj, podría pertenecer al T; sin embargo, el conjunto R está formado por cosas que no pueden pertenecer a T.

Así surge la paradoja de Russell, lo que ponía en duda la posibilidad de construir las matemáticas sobre la lógica.

Conclusión: Implicaciones de las Paradojas Lógicas

En definitiva, la lógica no puede traducir enunciados formales sin riesgo, porque entonces surgen paradojas que corroboran el fracaso de la misma en su intento de ser un sistema completamente cerrado y autosuficiente.