Fundamentos de Lógica y Epistemología: Conceptos Clave y Corrientes Filosóficas

Los Signos Lingüísticos

Los signos son los elementos básicos de un código.

Lo designado es el conjunto de personas, animales o cosas de cualquier género que están representadas en los signos.

Lo denotado es el conjunto de personas a las que se dirigen los signos para que puedan interpretar la información que transmiten. (Ejemplo: "te amo").

Si se considera la relación entre el signo y lo designado, existen dos clases de signos:

• Signos Naturales (también denominados indicios): Son aquellos en los que la relación entre el signo y lo designado obedece a un nexo causal, donde el signo es el efecto y lo designado la causa.
• Signos Convencionales: Son los que se establecen voluntaria y libremente sin que exista ninguna relación causal entre el signo y lo designado.

Deducción Natural en la Lógica de Enunciados

Se ocupa de estudiar la validez formal de los razonamientos.

La deducción natural consiste en inferir correctamente una conclusión a partir de unas premisas dadas previamente, mediante la aplicación de leyes y reglas del cálculo proposicional.

(Constantes lógicas, conectivas, conjuntores y variables proposicionales).

Leyes Lógicas y Deducción Natural

Leyes Lógicas

Son esquemas de inferencia siempre válidos (o tautologías). Son infinitas y algunas reciben nombres especiales por ser de uso muy frecuente:

• Ley de Identidad: Toda proposición es idéntica a sí misma. Ejemplos: p → p, p ↔ p.
• Ley de No Contradicción: Ninguna proposición puede aparecer afirmada y negada al mismo tiempo y bajo el mismo aspecto. Ejemplo: ¬(p ∧ ¬p).
• Ley del Tercero Excluido: Entre tener o no tener una cosa no hay una tercera posibilidad. Ejemplo: p ∨ ¬p.
• Modus Ponens (MP): Si se da una condicional y la afirmación del antecedente, se sigue la afirmación del consecuente. Ejemplo: [(p → q) ∧ p] → q.
• Modus Tollens (MT): Si se da una condicional y la negación del consecuente, se sigue la negación del antecedente. Ejemplo: [(p → q) ∧ ¬q] → ¬p.
• Ley de la Doble Negación: La negación de una negación es una afirmación. Ejemplo: ¬¬p ↔ p.

El Proceso de Deducción Natural

El punto de partida del procedimiento deductivo es un conjunto de premisas de las que se quiere inferir una conclusión mediante la aplicación de determinadas reglas.

Alcance y Límites del Conocimiento

Kant definía la Ilustración como la salida del hombre de su autoculpable minoría de edad.

Filosofía Antigua

Sócrates, Platón y Aristóteles consideraban que la razón humana tiene la capacidad de desvelar las causas íntimas de lo que realmente existe. Platón sostenía que las Ideas pueden ser el objeto propio del conocimiento racional, mientras que las cosas que nacen, se transforman y perecen, y se perciben a través de los sentidos, no pueden ser conocidas racionalmente. De lo particular a lo concreto solo puede haber opinión, no ciencia.

Aristóteles (contrario a Platón) afirmaba que lo universal y necesario son las esencias (que constituyen el objeto propio del conocimiento racional) y no las Ideas Platónicas.

Filosofía Moderna

Descartes, representante del racionalismo, negaba el valor cognitivo de los sentidos y exaltaba el valor de la razón.

Locke y después Hume representaron el empirismo, postulando que no conocemos el ser oculto de las cosas, sino aquello que la experiencia nos muestra.

Filosofía de la Ilustración

Kant llegó a la conclusión de que el conocimiento objetivo no se puede obtener ni solo a través de la experiencia sensible ni solo a través de la razón pura.

Filosofía de los Siglos XIX y XX

Hegel representó el idealismo y Popper representó el racionalismo crítico.