Conceptos Clave en Filosofía: Hegel, Parménides y la Lógica Formal

Hegel: La Síntesis de Naturaleza y Espíritu

Hegel busca conceptualizar la síntesis de la Naturaleza y el Espíritu, entendiendo su unión y no solo su separación. Para caracterizar de modo sencillo lo que distingue, según Hegel, la Naturaleza del Espíritu, nos encontramos con una fórmula simple:

• Naturaleza: Es aquello que está ahí (ser en sí).
• Espíritu: Es aquello que soy yo mismo (ser para mí, ser para sí, mismidad).

Pensar la síntesis de naturaleza y espíritu implica también pensar la unión entre realidad y conciencia, entre lo objetivo y lo subjetivo, entre lo exterior y lo interior, y entre los sentidos y la razón.

La Lógica Dialéctica Hegeliana

Para pensar y comprender la unión de los contrarios se hace necesaria la lógica dialéctica. Esta lógica afirma que, más allá del entendimiento (que procede oponiendo conceptos y viendo el límite en todas las cosas), está el poder dialéctico y especulativo de la razón que primero niega para afirmar después en un nivel más alto.

El proceso dialéctico se desarrolla en tres momentos:

1. Tesis (Afirmación): Lo que soy ahora es un momento necesario e insustituible de mi realidad.
2. Antítesis (Negación): Esa realidad tiene que ser negada, pues es finita y pasajera.
3. Síntesis (Superación o Aufhebung): Se afirma o asume tanto la tesis como la negación de esa tesis (antítesis), llegando a la síntesis donde ambas son superadas y conservadas a un tiempo. El ser será plenamente al final de su proceso vital (acaso un proceso infinito) o cuando se reconozca a sí mismo como absoluto.

Las Razones en Filosofía

La Filosofía incorpora figuras propias cuyos mandatos se han de cumplir para ofrecerlas con el rigor debido, como son la razón necesaria y la razón suficiente. Con el fin de situarnos en el asunto, distinguiremos ambas:

Razón Necesaria

La razón necesaria obliga para que se produzca otro suceso.

• Ejemplo: Es necesario resolver los problemas de la economía en España para que no nos embarguen.

Razón Suficiente

La razón suficiente es determinante para que ocurra un suceso, aunque puedan concurrir otros con los mismos efectos.

• Ejemplo: Para satisfacer a los electores es suficiente con que se cumplan las promesas electorales.

Parménides: La Eternidad del Ser y del Mundo

Según Parménides, la reflexión sobre el origen del mundo lleva a la conclusión de su eternidad. El argumento se centra en la imposibilidad de que el Ser provenga del No Ser.

El Mundo: ¿Tiene o No Tiene Origen?

1. El Mundo No Tiene Origen

   El mundo ha de ser eterno. El Ser siempre ha existido y no tiene origen en el tiempo (eternidad).

2. Si el Mundo Tuviera Origen (Dos Opciones)

   • Opción A: Proviene del Ser. Entonces no habría origen, ya que siempre ha existido (eterno).
   • Opción B: Proviene del No Ser. Tendría que venir de la nada o de algo diferente de sí mismo. Esto es impensable.

   La única manera de pensar la totalidad de las cosas y su origen es que no provenga del No Ser. La tesis de la eternidad del cosmos afirma que, si no tiene origen, es que siempre ha estado ahí. El No Ser proviene de la nada, y la nada es impensable, con lo cual esta opción queda descartada.

Conclusión de Parménides: «El mundo ha de ser eterno».

Principio de Atenas y Visión Beatífica

• Principio de Atenas: Si algo no puede ser pensado, no se acepta, ya que la razón es el criterio de verdad.
• Visión Beatífica: Visión de la verdad que alcanza un creyente una vez muerto.

El Formalismo Lógico y Matemático

¿Qué es el Formalismo?

El formalismo es una expresión extensa que se explica principalmente en la matemática y la lógica.

Formalismo Matemático

Es una idea muy clara desde nuestra formación matemática: a la hora de sumar 1 + 1 = 2, da igual si estamos hablando de ballenas o de melones. El resultado es totalmente independiente del objeto en cada caso, y la suma sigue siendo la misma. El formalismo se centra en la estructura de la operación, no en su contenido.

Lógica Formal

La lógica formal es el proceso de llevar enunciados propios del lenguaje natural a un lenguaje artificial. Aquí se produce lo mismo que en las matemáticas: dejamos fuera aquellos contenidos de los que hablamos. No estamos realizando operaciones numéricas, sino una formalización de dos tipos de relaciones, sobre todo relaciones sintácticas.

• Ejemplo: El enunciado «Todo filósofo es crítico o precrítico» puede ser formalizado en castellano o en cualquier otro idioma, ya que la relación lógica subyacente es la misma.

La relación entre matemáticas y lógica es muy estrecha e importante para entender las matemáticas del siglo XX. No podemos entender las matemáticas del siglo XX sin la lógica, y viceversa.