Introducción a la Lógica: Razonamiento, Símbolos y Validez

La Lógica: Fundamentos del Pensamiento Correcto

Nos centraremos en los modos de pensar correctos. Poseemos estructuras mentales que se acompañan de lenguaje, pero sin un razonamiento correcto, no podemos comprender el mundo ni a nosotros mismos. Para ello, se utiliza la lógica.

La Lógica como Disciplina Científica

La palabra "lógica" proviene del griego Logos, que tiene varios significados:

1. Ciencia: Como en bio-logía, psico-logía, etc.
2. Palabra, lenguaje
3. Razón

Estos tres significados están intrínsecamente vinculados. La razón opera con conceptos, juicios y razonamientos, que se expresan a través del lenguaje. Este proceso culmina en la ciencia. No puede existir ciencia sin rigor entre el pensamiento, la expresión y la argumentación.

Por lo tanto, la lógica es la ciencia que estudia la razón; es decir, la ciencia que se ocupa de las reglas de validez de los razonamientos.

Símbolos Interpretados y No Interpretados

• Símbolos interpretados: Son aquellos cuyo significado conocemos. La realidad a la que se refieren existía antes que el símbolo que la representa. Por ejemplo, los árboles existían antes que la palabra "árbol". Su campo de aplicación es limitado.
• Símbolos no interpretados: No hacen referencia a ninguna realidad preexistente, ya que son creaciones de la mente humana, sin una intención concreta inicial. Por ello, su campo de aplicación es amplio y pueden adquirir diferentes significados según el contexto. La lógica utiliza este tipo de símbolos, ya que proporcionan mayor rigor, como sucede en las matemáticas.

Verdad y Validez del Pensamiento

Un razonamiento es válido cuando la conclusión se deriva necesariamente de las premisas. No importa el contenido específico, sino la correcta relación entre los juicios.

Ejemplo:

• Premisa₁: A todos los amantes de la literatura les gusta escuchar música clásica.
• Premisa₂: Los cocodrilos son amantes de la literatura.
• Conclusión: A los cocodrilos les gusta escuchar música clásica.

Aunque este razonamiento sea absurdo en su contenido, es válido formalmente, ya que la conclusión se sigue de las premisas. Es posible encontrar razonamientos válidos que sean falsos (como el anterior). Lo crucial es que la estructura esté correctamente construida. Para determinar la validez de un razonamiento, se emplean las reglas de inferencia. Por lo tanto, la lógica estudia las reglas que permiten determinar si una conclusión se deriva necesariamente de un conjunto de premisas.

La lógica, al igual que las matemáticas, es:

• Formal (estudia estructuras sin contenido específico).
• Deductiva (se construye a partir de axiomas).
• Instrumental (facilita el correcto funcionamiento de la razón).

Componentes del Cálculo Lógico

La lógica formal es un cálculo, es decir, un conjunto sistemático de operaciones con símbolos no interpretados. Como cualquier lenguaje natural, la lógica posee una sintaxis. Todo cálculo lógico debe incluir:

• Elementos primitivos: Un conjunto de símbolos primitivos bien definidos.
• Reglas de formación de fórmulas: Permiten combinar correctamente los símbolos primitivos.
• Reglas de transformación de fórmulas: Combinaciones de símbolos que permiten transformar una expresión en otra equivalente.