Lógica y Filosofía de la Ciencia

La Lógica y Filosofía de la Ciencia son pilares fundamentales para comprender cómo construimos el conocimiento y cómo validamos nuestras ideas. Este artículo, pensado para estudiantes, explora los conceptos esenciales de la lógica, desde las proposiciones y los razonamientos hasta los métodos de investigación científica más influyentes, como el falsacionismo de Popper y el método deductivo de Semmelweis. Abordaremos cómo se estructura el pensamiento correcto y las herramientas que nos permiten discernir la verdad y la validez en el ámbito científico y cotidiano. Sumérgete en este resumen de Lógica y Filosofía de la Ciencia para dominar sus principios.

¿Qué es la Lógica y Filosofía de la Ciencia?

La lógica es una ciencia formal que se desinteresa del contenido informativo de los razonamientos. Su enfoque principal es el modo correcto o incorrecto en que se derivan unas proposiciones de otras, es decir, las relaciones de implicación. No estudia las leyes del pensamiento como proceso psicológico, sino la estructura formal de los argumentos.

El Objeto de Estudio de la Lógica: Los Razonamientos

Los razonamientos son la esencia de la lógica. Un razonamiento se compone de proposiciones que sirven como puntos de partida (premisas) y una conclusión que se deriva de ellas. La lógica evalúa si esta derivación es correcta o incorrecta desde un punto de vista estrictamente formal, sin importar la verdad del contenido.

Por ejemplo, si un estudiante razona: "Estudiaré psicología o sociología. No estudiaré psicología. Así que estudiaré sociología", la lógica analiza la forma en que se conectan las ideas. La corrección formal es clave: la conclusión debe desprenderse necesariamente de las premisas.

La Lógica como Ciencia Formal

Como ciencia formal, la lógica se diferencia de las ciencias fácticas. No se ocupa de hechos empíricos ni de la experiencia, sino de las estructuras y formas del pensamiento válido. Su validez es a priori, es decir, independiente de la experiencia. Esto la vincula directamente con la clasificación de las ciencias como disciplina formal.

Las Proposiciones: Bloques Fundamentales del Razonamiento

Los razonamientos se construyen a partir de proposiciones, que son oraciones de uso informativo que afirman o niegan algo del sujeto. La información contenida en una proposición puede ser verdadera o falsa. Por ejemplo, “San Martín cruzó los Andes” o “Todos los hombres son mortales” son proposiciones.

Tipos de Proposiciones según su Cantidad

Las proposiciones se clasifican en tres tipos según la cantidad de elementos sobre los que informan:

• Proposiciones singulares: Informan algo sobre un solo elemento de una clase o conjunto. Por ejemplo, “Juan lee” informa sobre el individuo “Juan”. Su verdad o falsedad se determina por la correspondencia con los hechos.
• Proposiciones universales: Informan algo sobre todos los elementos de una clase o conjunto. “Todos los hombres leen” es un ejemplo. Pueden referirse a un conjunto limitado (“Todos los alumnos del aula 4 leen”) o infinito. Determinar la verdad de una proposición universal sobre un conjunto infinito es imposible, pero basta un solo caso que la contradiga para que sea falsa.
• Proposiciones particulares: Informan algo sobre al menos un elemento de una clase o conjunto. “Algunos hombres leen” significa que hay al menos un hombre que lee. Para verificar su verdad, basta un solo caso que la cumpla. Determinar su falsedad es complejo, ya que implicaría verificar todos los casos posibles.

Estas proposiciones singulares, universales y particulares son cruciales en la investigación científica. Las singulares se usan para describir hechos o registrar datos, mientras que las hipótesis, leyes y teorías científicas se expresan mediante enunciados universales.

La Formalización de Proposiciones: Variables y Constantes

Para la lógica, lo importante no es el contenido sino la forma. Por ello, las proposiciones se formalizan, abstraer su contenido informativo para revelar su estructura. En una proposición como “Todos los hombres son mortales”:

• Los términos variables (“hombres”, “mortales”) pueden ser reemplazados por letras (A, B) sin cambiar la forma de la proposición.
• Los términos constantes (“Todos”, “son”) indican la cantidad o conectan los términos y no pueden ser sustituidos por letras sin alterar la forma.

Así, la forma de “Todos los hombres son mortales” es “Todo A es B”. Negando o cambiando el cuantificador, obtenemos las cuatro formas que Aristóteles identificó:

• Universales Afirmativas: Todo S es P
• Universales Negativas: Ningún S es P
• Particulares Afirmativas: Algunos S son P
• Particulares Negativas: Algunos S no son P

Relaciones Lógicas entre Proposiciones (Cuadro de Oposición de Aristóteles)

Aristóteles estableció relaciones lógicas entre estas cuatro formas de proposiciones:

1. Proposiciones Contrarias: Universales afirmativas y negativas (Todo A es B / Ningún A es B). No pueden ser ambas verdaderas, pero pueden ser ambas falsas.
2. Proposiciones Subalternas: De una proposición universal se deduce una particular correspondiente. Si “Todos los alumnos son estudiantes de medicina” es verdad, entonces “Algunos alumnos son estudiantes de medicina” también lo es. La inversa (de particular a universal) no es lógicamente correcta.
3. Proposiciones Contradictorias: Lo que hace falsa a una universal afirmativa es una particular negativa, y viceversa. “Todos los alumnos son porteños” es falsa si “Algunos alumnos no son porteños” es verdad.
4. Proposiciones Subcontrarias: Particulares afirmativas y negativas (Algunos A son B / Algunos A no son B). No pueden ser ambas falsas, aunque pueden ser ambas verdaderas.

La Lógica Proposicional Moderna

Desde finales del siglo XIX, figuras como Boole y Frege desarrollaron la lógica proposicional. Aquí, las proposiciones completas se reemplazan por letras minúsculas (p, q, r, etc.). Por ejemplo, “Juan ama a María” = p; “Llueve” = q.

Proposiciones Atómicas y Moleculares

La lógica proposicional distingue:

• Proposiciones atómicas: No contienen otras proposiciones en su interior (ej. “Juan lee”). Se representan con una letra (p) y pueden ser V o F.
• Proposiciones moleculares: Son proposiciones compuestas, formadas por atómicas unidas por nexos o conectivas lógicas (ej. “Juan lee y escribe”). Su valor de verdad depende de las atómicas que la conforman y del tipo de nexo.

Nexos o Conectivas Lógicas

Los nexos modifican el sentido de las proposiciones moleculares. Los principales son:

• Conjunción (.): Conecta, agrega (“y”, “pero”, “aunque”). Ej. p. q.
• Disyunción (V o W): Propone alternativas.
• Inclusiva (V): Pueden ser ambas verdaderas. Ej. p V q (“Juan lee o escribe”).
• Exclusiva (W): La verdad de una excluye la de la otra. Ej. p W q (“Juan está vivo o muerto”).
• Negación (-): Rechaza lo afirmado por una proposición. Ej. -p (“Juan no lee”).
• Condicional (→): Plantea una relación de antecedente a consecuente. Ej. p → q (“Si hay fuego, entonces hay calor”).

Tablas de Verdad

Las tablas de verdad muestran el valor de verdad de las proposiciones moleculares según sus nexos:

• Conjunción (p. q): Verdadera solo si todas sus atómicas son verdaderas.

p. q
V V V
V F F
F F V
F F F

• Disyunción Inclusiva (p V q): Falsa solo si todas sus atómicas son falsas.

p V q
V V V
V V F
F V V
F F F

• Negación (-p): Invierte el valor de verdad de la proposición.

p - p
V F
F V

• Condicional (p → q): Falsa solo si el antecedente (p) es verdadero y el consecuente (q) es falso.

p → q
V V V
V F F
F V V
F V F

Razonamientos: Validez y Tipos Lógicos

La relación de implicación es central en los razonamientos: una proposición se sigue necesariamente de otra u otras. Esto significa que la conclusión está “plegada” o implícita en las premisas. La lógica se enfoca en si esta implicación es correcta o incorrecta, más allá de la verdad de las proposiciones individuales.

Verdad vs. Validez en Lógica

Es crucial distinguir entre verdad y validez:

• Proposiciones: Son verdaderas o falsas (un problema fáctico, no lógico).
• Razonamientos: Son válidos o inválidos. Un razonamiento es válido si la conclusión se deduce necesariamente de sus premisas. La validez es una cuestión lógica y formal, independiente del contenido. Un razonamiento válido no garantiza que la conclusión sea verdadera, pero sí que, si las premisas son verdaderas, la conclusión debe ser verdadera.

Por ejemplo, el razonamiento “Todo A es B, Todo B es C, por lo tanto Todo A es C” es válido, porque la conclusión está implícita en las premisas. Gráficamente, si A está en B y B está en C, entonces A está en C.

Un razonamiento inválido no garantiza que la conclusión se siga de las premisas, incluso si las proposiciones individuales son verdaderas. Un razonamiento válido tiene una estructura tautológica, es decir, su conclusión no añade información nueva que no estuviera ya contenida en las premisas.

Razonamientos Deductivos

En los razonamientos deductivos, la conclusión afirma lo que ya estaba contenido implícitamente en las premisas. Si las premisas son verdaderas, la conclusión necesariamente también lo es. No aportan conocimiento nuevo en la conclusión.

Razonamientos deductivos válidos:

• Modus Ponens: (p → q). p / q (Si es hombre, es mortal. Es hombre. Por lo tanto, es mortal.)
• Modus Tollens: (p → q). -q / -p (Si es hombre, es mortal. No es mortal. Por lo tanto, no es hombre.)
• Silogismo Disyuntivo: (p V q). -p / q (Iré al cine o al teatro. No iré al cine. Por lo tanto, iré al teatro.)
• Silogismo Hipotético: (p → q). (q → r) / (p → r) (Si gano dinero, iré a España. Si voy a España, visitaré Barcelona. Por lo tanto, si gano dinero, visitaré Barcelona.)

Las características de un razonamiento deductivo válido son:

• Si las premisas son V, la conclusión es necesariamente V.
• Si la conclusión es F, entonces las premisas son F.
• La verdad de la conclusión no garantiza que las premisas sean V.

Razonamientos Deductivos Inválidos (Falacias Formales)

Las falacias formales son razonamientos deductivos que parecen válidos, pero no lo son. La conclusión no se deduce necesariamente de las premisas, lo que permite que las premisas sean verdaderas y la conclusión falsa.

• Falacia de Afirmación del Consecuente: (p → q). q / p (Si es hombre, es mortal. Es mortal. Por lo tanto, es hombre. Inválido, pues un perro también es mortal.)
• Falacia de Negación del Antecedente: (p → q). -p / -q (Si es hombre, es mortal. No es hombre. Por lo tanto, no es mortal. Inválido, pues una mujer también es mortal.)

Razonamientos No Deductivos

Los razonamientos no deductivos extraen conclusiones sobre cosas no experimentadas a partir de observaciones particulares. La conclusión no está necesariamente implícita en las premisas, sino que aporta más información. La relación es de implicación probable, no necesaria. Se basan en la experiencia (a posteriori) y presuponen leyes de regularidad en la realidad.

• Inducción: Parte de proposiciones singulares para llegar a un enunciado universal. La conclusión puede ser falsa aunque las premisas sean verdaderas. Ej. “Juan fuma y tose, Carlos fuma y tose... Por lo tanto, todos los que fuman, tosen.”
• Inductivos Incompletos: La conclusión informa más datos que las premisas.
• Inductivos Completos: La conclusión no aporta más información que las premisas (se acercan a los deductivos).
• Analogía: Atribuye una característica común a un elemento nuevo debido a su similitud con elementos ya conocidos. La conclusión es solo probable. Ej. “El cobre conduce electricidad, el hierro conduce electricidad... El mercurio es un metal. Por lo tanto, el mercurio conduce electricidad.”

Falsacionismo de Karl Popper: Crítica al Inductivismo

Karl Popper propuso un giro radical con su falsacionismo, atacando las concepciones inductivistas y el verificacionismo. Sus principales rasgos son:

1. Antiinductivismo: No hay base lógica para derivar enunciados universales de hechos singulares. Ningún conjunto de enunciados observacionales puede justificar la verdad de una teoría universal.
2. Carácter Hipotético o Conjetural del Conocimiento Científico: Todas las teorías científicas son conjeturas cuya verdad nunca puede asegurarse. Solo se pueden sostener si hay evidencias que las avalan y no se han encontrado refutaciones. La verdad es un ideal inalcanzable.
3. Falsacionismo Metodológico: Las teorías científicas deben ser refutables o falsables para ser consideradas científicas. Falsable significa que debe poder proporcionar consecuencias observacionales refutatorias, es decir, casos posibles que, de ocurrir, probarían que la hipótesis es falsa.

Popper establece la falsabilidad como criterio de demarcación para distinguir entre enunciados científicos y no científicos. La refutación es el punto de apoyo seguro de la investigación, ya que se basa en el modus tollens, un razonamiento deductivo válido:

[(H → CO). -CO] → -H (Si una hipótesis H es verdadera, deberían producirse ciertas CO; pero como no se producen, entonces H es falsa.)

Hay una asimetría: la confirmación se apoya en una falacia (afirmación del consecuente), mientras que la refutación en un razonamiento válido. El científico debe buscar hechos que refuten sus teorías. Si los encuentra, se elimina una explicación falsa, lo que es un conocimiento valioso. Si no se encuentran refutaciones, la hipótesis se mantiene provisoriamente como la mejor explicación.

Pasos del Método Falsacionista

1. Frente a problemas de investigación, proponer hipótesis como soluciones tentativas.
2. Deducir de la hipótesis consecuencias observacionales que puedan refutarla.
3. Realizar observaciones o experimentos para encontrar estas refutaciones.
4. Si se refuta, se busca otra hipótesis. Si no, se conserva provisionalmente.

La ciencia progresa por conjeturas y refutaciones, eliminando errores y produciendo explicaciones mejores.

Criterio de Falsabilidad de Popper

Una explicación es científica si es falsable, es decir, si es posible deducir de ella consecuencias observacionales refutatorias. Estas consecuencias son hechos posibles que, si se producen, la contradicen y prueban su falsedad. Ejemplos de hipótesis falsables no falsadas: “El bacilo de Koch es la causa de la tuberculosis”. Ejemplos de hipótesis falsadas: “La velocidad de caída de un cuerpo depende de su peso”.

Los enunciados científicos deben negar ciertos estados de cosas. Si no se pueden deducir refutaciones, la explicación es no falsable y, por tanto, no científica.

Enunciados No Falsables

Popper identifica cuatro tipos de enunciados no falsables:

1. Enunciados y teorías tautológicos: Siempre verdaderos por su forma lógica, por lo tanto irrefutables (ej. “La planta de beleño causa sueño porque posee una virtud dormitiva”).
2. Enunciados y teorías metafísicos: Aluden a objetos cuya naturaleza impide deducir enunciados observacionales contrastables (ej. Dios como creador del universo).
3. Enunciados y teorías vagos e imprecisos: No establecen un estado claro del mundo que permita definir refutaciones (ej. “gran parte de los argentinos presenta trastornos emocionales”).
4. Teorías omniexplicativas: Explican cualquier estado posible del universo, siendo lógicamente tautológicas y, por tanto, irrefutables. La astrología es el ejemplo paradigmático para Popper, ya que cualquier suceso puede ser interpretado por la influencia astral.

Críticas al Falsacionismo

El falsacionismo, aunque influyente, ha recibido críticas:

1. La refutación depende de la verdad de los enunciados observacionales: La seguridad del modus tollens se basa en que las premisas sean verdaderas. Pero los enunciados observacionales se construyen con supuestos teóricos que pueden ser falsos, llevando a refutar una hipótesis correcta (ej. la refutación inicial de la teoría heliocéntrica de Copérnico por mediciones erróneas).
2. La solución precaria del convencionalismo: Popper termina aceptando que los enunciados observacionales se aseguran por acuerdo entre científicos, lo que introduce un elemento convencionalista y el problema de la carga teórica de la observación. Si no comparten un marco teórico, no pueden acordar sobre las observaciones.
3. Complejidad de las situaciones de contrastación: En una investigación, junto a la hipótesis principal, existen hipótesis auxiliares (ej. del diseño experimental) que también pueden ser las responsables de una refutación. Los científicos deben evaluar a qué hipótesis afecta la refutación. Un ejemplo es el caso de Alexander Fleming y la penicilina, donde la hipótesis errónea no era la penicilina, sino la dosis.

• Hipótesis auxiliares: Sirven para salvar la hipótesis principal de una refutación y explicar una aparente excepción.
• Hipótesis ad hoc: Se usan para impedir la refutación de una hipótesis que los científicos consideran segura, sin aportar nuevas direcciones a la investigación. Su uso debilita el falsacionismo, ya que siempre se podría salvar una hipótesis, impidiendo que las hipótesis básicas sean refutadas. Históricamente, la defensa de hipótesis básicas ha llevado a nuevos descubrimientos (ej. el descubrimiento de Neptuno que salvó la teoría newtoniana).

Estas críticas sugieren que el falsacionismo (y otros métodos formales) son más un marco normativo de cómo deberían proceder los científicos que una descripción de su práctica real. Thomas Kuhn, con sus estudios históricos y sociológicos, ofrecería un abordaje menos formalista.

El Método Deductivo en la Práctica Científica: El Caso Semmelweis

El trabajo de Ignaz Philipp Semmelweis (1818-1865) sobre la fiebre puerperal es un excelente ejemplo histórico del método deductivo en acción. A mediados del siglo XIX, la fiebre puerperal causaba alta mortalidad en los hospitales.

Semmelweis, médico en el Hospital General de Viena, notó que la División Primera tenía una mortalidad del 10% por fiebre puerperal, mientras que la División Segunda, menos del 4%. Esto llevaba a las mujeres a preferir la División Segunda o incluso dar a luz en la calle.

Hipótesis Descartadas por Incompatibilidad o Refutación

Semmelweis examinó y descartó varias hipótesis comunes:

• Cambios atmosféricos: Incompatible, ya que afectaría a ambas divisiones y partos callejeros por igual, lo cual no sucedía.
• Hacinamiento: Incompatible, la División Segunda (con menor mortalidad) estaba más concurrida.
• Cuidado o comidas: Descartado, eran similares en ambas divisiones.
• Lesiones por reconocimientos poco cuidadosos: Refutada. Las lesiones naturales del parto eran mayores, y las comadronas de la División Segunda realizaban exámenes similares sin las mismas consecuencias. Al reducir los estudiantes, la mortandad aumentó.

El Descubrimiento Fortuito y la Hipótesis de la "Materia Cadavérica"

En 1847, la muerte de un colega por una herida de bisturí durante una autopsia, con síntomas idénticos a los de la fiebre puerperal, fue clave. Semmelweis formuló la hipótesis de que la "materia cadavérica" introducida en el torrente sanguíneo causaba la enfermedad. Dedujo que los estudiantes, al pasar de las autopsias a las salas de parto sin desinfectarse, infectaban a las parturientas.

Para contrastar, ordenó a los estudiantes lavarse las manos con una solución de cal clorurada. La mortalidad en la División Primera descendió drásticamente, igualando a la Segunda.

Confirmación y Reformulación de la Hipótesis

La hipótesis de Semmelweis explicaba:

• La causa de la fiebre puerperal en la División Primera.
• La menor mortalidad en la División Segunda (atendida por comadronas sin contacto con cadáveres).
• La baja mortalidad en partos callejeros (no eran examinadas).
• La infección de recién nacidos por madres enfermas.

Un tiempo después, nuevas muertes tras examinar a una paciente con cáncer cervical y luego a otras sin desinfectarse, obligaron a Semmelweis a ampliar su hipótesis: no solo la materia cadavérica, sino también la “materia pútrida procedente de organismos vivos” causaba la fiebre puerperal. Esto llevó a la desinfección antes y después de cada examen.

Resistencia y Aceptación de las Ideas de Semmelweis

Las ideas de Semmelweis fueron resistidas inicialmente. Muchos médicos se sintieron atacados. Sus recomendaciones solo fueron ampliamente aceptadas cuando Louis Pasteur confirmó la teoría de los gérmenes como causantes de infecciones y Joseph Lister aplicó métodos de asepsia. Esto demuestra que la verificación científica, por sí sola, no siempre es suficiente para la aceptación de una idea; los factores externos a la ciencia también juegan un papel.

Preguntas Frecuentes (FAQ) sobre Lógica y Filosofía de la Ciencia

¿Cuál es la diferencia entre verdad y validez en lógica?

La verdad se aplica a las proposiciones individuales y se refiere a su correspondencia con los hechos. Una proposición es verdadera si lo que afirma se cumple en la realidad. La validez, en cambio, se aplica a los razonamientos y describe si la conclusión se deduce necesariamente de las premisas, independientemente de si estas son verdaderas o falsas. Un razonamiento válido con premisas verdaderas garantiza una conclusión verdadera, pero un razonamiento válido puede tener premisas falsas y aún así ser válido formalmente.

¿Qué son las proposiciones atómicas y moleculares?

Las proposiciones atómicas son las unidades más simples de la lógica proposicional; no contienen otras proposiciones dentro de sí (por ejemplo, "El cielo es azul"). Las proposiciones moleculares son compuestas, formadas por dos o más proposiciones atómicas unidas por conectivas lógicas como "y", "o", "si... entonces...", o "no" (por ejemplo, "El cielo es azul y el pasto es verde"). El valor de verdad de una proposición molecular depende del valor de verdad de sus proposiciones atómicas y del tipo de conectiva que las une.

¿Qué es el falsacionismo de Popper y por qué es importante?

El falsacionismo de Karl Popper es una teoría epistemológica que sostiene que una teoría científica no puede ser verificada categóricamente, sino solo refutada o "falsada". Según Popper, para que una teoría sea científica, debe ser posible diseñar experimentos u observaciones que, de resultar negativos, la demuestren como falsa. Su importancia radica en que propone un criterio de demarcación claro entre ciencia y no ciencia (la falsabilidad) y enfatiza que la ciencia progresa a través de la eliminación de errores, no de la acumulación de confirmaciones. Fomenta una actitud crítica y la búsqueda activa de pruebas que contradigan las hipótesis, en lugar de solo confirmarlas.

¿Cómo se aplica el método deductivo en la ciencia, según el ejemplo de Semmelweis?

El método deductivo en ciencia implica partir de una hipótesis general o teórica y deducir de ella consecuencias observables específicas. Si estas consecuencias no se cumplen, la hipótesis original se considera refutada. El caso de Semmelweis ilustra esto: él formuló la hipótesis de que la "materia cadavérica" causaba la fiebre puerperal. Deduciendo que si esta hipótesis era cierta, entonces lavar las manos eliminaría la enfermedad. Al observar una disminución drástica en la mortalidad tras implementar el lavado de manos, sus observaciones confirmaron la predicción, aunque posteriormente tuvo que refinar su hipótesis al descubrir otras fuentes de "materia pútrida". Este proceso muestra cómo las hipótesis se ponen a prueba mediante la deducción de resultados esperados y la observación de su cumplimiento o no.

¿Por qué se critica el falsacionismo de Popper?

Las principales críticas al falsacionismo incluyen la carga teórica de la observación, es decir, que los enunciados observacionales utilizados para refutar una hipótesis están a su vez impregnados de supuestos teóricos y podrían ser erróneos, llevando a refutar una hipótesis correcta (como el caso de Copérnico). Otra crítica es la complejidad de la contrastación, donde una refutación podría no afectar la hipótesis principal sino alguna hipótesis auxiliar o del diseño experimental. Además, la posibilidad de introducir hipótesis ad hoc para salvar teorías impide que las hipótesis básicas sean refutadas, lo que va en contra del espíritu crítico del falsacionismo y demuestra que los científicos a menudo defienden sus teorías, lo que históricamente ha llevado a descubrimientos importantes.