Fundamentos de Filosofía, Método Científico y Lógica Proposicional
1. Especificidad del Saber Filosófico
La palabra filosofía procede de dos vocablos griegos: philia (amor, afinidad) y sophia (sabiduría). La filosofía es aquella disciplina que nace auspiciada por el amor a la sabiduría.
Surge hace aproximadamente 2600 años junto a las orillas del Mediterráneo, concretamente en las colonias griegas de Mileto, Éfeso, Abdera, Elea y Crotona. Estas colonias constituyeron la cuna del pensamiento filosófico debido a que en su ambiente sociocultural tuvo lugar un hecho decisivo para la historia de Occidente y de la humanidad: el declinar del mito.
El mito frente al pensamiento racional
Para los antiguos griegos, el ser humano estaba plenamente sometido a las fuerzas de la naturaleza. Esto se comprende teniendo en cuenta que la subsistencia dependía de la agricultura y de los ciclos climáticos. El poder de la naturaleza se concebía bajo dos formas:
- Caótico: un poder caprichoso, azaroso y desvinculado de los anhelos humanos.
- Sagrado: personificado a través de deidades y fuerzas sobrenaturales.
La relación entre el ser humano y los dioses se manifestaba mediante relatos orales llamados mitos. Un mito es una narración ficticia que sugiere una interpretación del cosmos y define la posición del ser humano en él. Sus características definitorias incluyen:
- Tiempo ficticio o falso: se sitúa en un pasado indeterminado y legendario.
- Carácter normativo: instituye los preceptos morales de la sociedad y legitima el orden sociopolítico.
- Sentido vital: otorga propósito a la existencia humana y pauta la conducta diaria.
- Etnocentrismo: ensalza la propia etnia y cultura como modelo superior.
- Adhesión acrítica y emocional: apela a respuestas irracionales y a la fe ciega.
- Atemporalidad y anonimato: carece de autor identificable y se sitúa fuera del devenir histórico verificable.
- Funciones: asegura la cohesión social y dota a la colectividad de una narración fundacional compartida.
Rasgos esenciales del saber filosófico
Frente al mito, la filosofía se erige con unos principios propios:
- Saber racional: persuade contrastando razones y argumentos lógicos, en lugar de apelar a narraciones fantásticas o emociones.
- Saber radical y último: persigue explicar la realidad desde sus cimientos más profundos, alcanzando un grado de fundamentación más allá del cual no es posible retroceder.
- Saber universal: en su objeto, aspira a comprender todas las dimensiones constitutivas de lo real; en su alcance, apela a toda la humanidad sin excepción.
- Saber profano: cuestiona e interpela críticamente incluso el ámbito de lo sagrado.
- Saber normativo: posee legitimidad reflexiva para dictar y fundamentar pautas y normas morales o jurídicas.
- Saber histórico: permanece en constante apertura hacia las revisiones venideras, delimitando la validez de las ideas heredadas de nuestro pasado y presente.
Diferenciación de la filosofía respecto a otros ámbitos
La filosofía no es ciencia
La ciencia investiga la realidad mediante el método experimental o hipotético-deductivo. La filosofía, en cambio:
- No emplea la experimentación de laboratorio, sino que es esencialmente reflexiva e integradora de las distintas esferas de la experiencia.
- Mantiene una voluntad globalizadora frente a la fragmentación del conocimiento científico moderno.
- Reflexiona sobre sí misma, examinando la legitimidad y los fundamentos de la propia actividad cognoscitiva.
- Es un saber normativo: mientras la ciencia explica cómo suceden los fenómenos fácticos y rehúye las prescripciones morales, la filosofía reflexiona sobre el deber ser y el comportamiento virtuoso.
La filosofía no es religión
El saber filosófico no parte de la revelación divina, sino del análisis crítico de la vivencia humana. Requiere razones demostrables en lugar de fe; no promete salvación ultraterrena, sino entendimiento inmanente del mundo; y no se articula a través de dogmas cerrados ni rituales litúrgicos.
La filosofía no es literatura
Existen dos discrepancias fundamentales:
- En la forma: la filosofía construye argumentaciones unidas por el rigor lógico; la literatura articula su discurso sobre tramas, personajes, recursos estilísticos y evocaciones emotivas.
- En el contenido: la filosofía aspira a la descripción rigurosa y verídica de la realidad. La literatura prioriza la creación artística, el entretenimiento y la belleza estética. Mientras la literatura se distancia de los axiomas científicos para explorar las emociones humanas particulares, la filosofía articula lo singular como dato para construir una cosmovisión integral y sistemática.
2. Historia y Estructura del Método Científico
Breve evolución histórica de la ciencia
La ciencia representa un logro tardío dentro del desarrollo cultural. Su raíz matemática se localiza en el filósofo y matemático Pitágoras, quien utilizaba guijarros dispuestos geométricamente para representar los números enteros. Partiendo de que los objetos sensibles se conforman por volúmenes, planos, líneas y puntos, los pitagóricos postularon que cualquier hecho observable podía expresarse numéricamente.
Aquel intento fundacional fracasó temporalmente por dos causas:
- El hallazgo de los números irracionales: evidenció que existen magnitudes físicas no reducibles a fracciones de números enteros.
- La hegemonía del sistema aristotélico: Aristóteles sostenía que amplios sectores del cosmos eran puramente cualitativos (por ejemplo, el estado de reposo o movimiento de un cuerpo) y no cuantificables matemáticamente.
La visión matematizada permaneció relegada durante dos milenios hasta la llegada de la Revolución Científica del Renacimiento. Dicho retorno se explica por factores clave: el agotamiento de la física escolástica, la jerarquización de la observación empírica, el florecimiento del cálculo algebraico y el auge de una metafísica que identificaba como propiedades primarias de la materia solo aquellas medibles.
Galileo Galilei aunó el ideal geométrico pitagórico con la experimentación sistemática, configurando el método hipotético-deductivo sustentado en cinco presupuestos:
- Los fenómenos naturales responden a un orden constante en el tiempo.
- Dicho orden admite formulación matemática precisa.
- La correspondencia de estas formulaciones se ratifica en el laboratorio mediante experimentos.
- La cuantificación posibilita la predicción de acontecimientos futuros.
- La predicción exacta otorga la capacidad de control y aplicación técnica sobre la naturaleza.
Al concebirse que el cuerpo humano forma parte de la materia universal regida por estas dinámicas, emergió la posibilidad de extender la metodología analítica hacia las denominadas ciencias humanas.
Fases del método hipotético-deductivo
- Observación y formulación del problema: un problema científico representa una incógnita sobre el mecanismo causal de un fenómeno. Las cuestiones surgen por exigencia de las teorías teóricas vigentes. Dichos marcos pueden actuar a veces como paradigmas conservadores que omiten datos contradictorios o censuran investigaciones disidentes.
- Exploración de saberes previos: tentativa de solventar el desajuste con el corpus teórico acumulado.
- Invención de hipótesis: respuesta tentativa y verosímil formulada ante el problema. Debe ser contrastable empíricamente. Requiere imaginación tanto para conjeturar explicaciones inéditas como para idear diseños experimentales concluyentes.
- Deducción de consecuencias contrastables: especificación de eventos observables que habrían de ocurrir si la hipótesis fuese correcta.
- Experimentación controlada: a diferencia de la experiencia ordinaria pasiva, el experimento es una situación construida artificialmente para aislar variables. Permite deducir hechos reproducibles. Para que un experimento sea replicable, el fenómeno debe acaecer de modo análogo en instantes temporales distintos y ser percibido con parámetros equivalentes por diferentes observadores (asumiendo que en rigor físico no existen dos sucesos exactamente idénticos en el universo).
- Contrastación empírica: cotejo entre las consecuencias pronosticadas y las mediciones fácticas obtenidas.
- Transformación en ley científica: formulación matemática o conceptual del patrón regular comprobado.
- Integración en una teoría: articulación sistemática de la nueva ley dentro de un cuerpo teórico estructurado.
Modelos de cambio científico: Popper y Kuhn
El falsacionismo de Karl Popper
Para Karl Popper, las transiciones teóricas obedecen a principios rigurosamente lógicos y epistemológicos. La comunidad científica optará por aquella formulación con mayor contenido empírico y capacidad explicativa. Conforme al falsacionismo metodológico, la emergencia de anomalías empíricas concluyentes refuta la teoría en curso y compele su sustitución racional.
La estructura de las revoluciones de Thomas Kuhn
Thomas Kuhn enfoca la transformación desde el estudio sociohistórico real de las disciplinas. Sostiene que los especialistas operan habitualmente bajo un paradigma aceptado y son reticentes a mudanzas epistemológicas. Frente a discrepancias empíricas, la comunidad elabora ajustes periféricos para defender el modelo.
Únicamente cuando la acumulación de anomalías produce un estado insostenible de crisis paradigmática sobreviene una revolución científica, escenario donde el paradigma agotado sucumbe ante una cosmovisión emergente inconmensurable.
La contrastación de hipótesis: verificación y falsación
Límites de la verificación
La verificación juzga una hipótesis como verdadera al confirmar empíricamente los efectos predichos por ella. Sin embargo, incurre en serias inconsistencias epistemológicas:
- La falacia de afirmación del consecuente: el argumento opera formalmente así: «Si A es verdadera, entonces acaece B; sucede B; por consiguiente, A es verdadera». Este razonamiento carece de validez lógica universal, puesto que el suceso B podría originarse en condicionantes alternativos ajenos a la hipótesis postulada (A).
- El problema de la inducción: resulta impracticable inspeccionar empíricamente la totalidad finita e infinita de entidades del universo contenidas en enunciados universales (como «todos los cuervos son negros»). Por consiguiente, tales formulaciones no admiten verificación terminante.
- Inverificabilidad de formulaciones probabilísticas: enunciados probabilísticos tampoco admiten confirmación categórica absoluta.
El rigor del principio de falsación
La falsación opera identificando la ausencia fáctica de las consecuencias deducidas. Se apoya en la regla inferencial deductiva incontrovertible del modus tollens:
Si la hipótesis (A) fuese verdadera, se produciría el fenómeno (B).
No se produce el fenómeno (B).
Por lo tanto, la hipótesis (A) es falsa.
Pese a su validez lógica indiscutible, la falsación afronta escollos metodológicos prácticos:
- Hipótesis ad hoc: ante anomalías empíricas, los científicos tienden a blindar las premisas universales introduciendo modificaciones subsidiarias provisionales mientras no emerja una estructura alternativa superadora.
- Proposiciones particulares negativas: enunciados como «existe al menos un mamífero que no pone huevos» no pueden falsarse, pues requeriría contrastar exhaustivamente cada individuo existente en el universo físico.
- Leyes probabilísticas y equiprobabilidad: los pronósticos formulados en márgenes de probabilidad no son concluyentemente verificables ni falsables mediante contraejemplos singulares.
Leyes, teorías y formalización matemática
Las leyes naturales determinan las regularidades del mundo; las leyes científicas constituyen la formulación teórica de dichas regularidades mediante funciones matemáticas que conectan variables relevantes. La matematización confiere:
- Precisión conceptual: refina el discernimiento empírico y reduce la ambigüedad lingüística.
- Rigor argumental: sustenta deducciones de extremada solidez demostrativa.
- Capacidad predictiva: permite operar lógicamente con las ecuaciones para predecir magnitudes ocultas a partir de mediciones conocidas. No obstante, en ciertas fronteras investigativas, la propia complejidad algorítmica puede convertirse en un escollo para el avance de nuevos modelos.
Por su parte, una teoría científica unifica leyes, postulados teóricos y reglas operativas prácticas orientadas a explicar parcelas de lo observable (como la ley de gravitación universal). El conjunto orgánico de teorías que articula la cosmovisión científica de una época recibe el nombre de paradigma.
Dilemas éticos de la actividad científica
La práctica tecnocientífica suscita retos de carácter axiológico y deontológico:
- El compromiso con la verdad: el científico está obligado a conservar una honestidad metodológica incorruptible. En ocasiones, la rectitud se ve socavada por ambiciones particulares de notoriedad, directrices geopolíticas o dogmatismos ideológicos e intereses corporativos.
- Orientación y financiación de las líneas de trabajo: impera el riesgo de desviar los recursos económicos exclusivamente hacia aplicaciones técnicas inmediatas o mercantiles, marginando la investigación fundamental o básica, indispensable para las grandes innovaciones a largo plazo. Asimismo, se evidencia una asimetría que favorece las patologías y demandas de las naciones con alta capacidad presupuestaria sobre los requerimientos de los países empobrecidos.
- Experimentación con seres sintientes y personas: el uso de modelos animales exige regulación ética estricta. Respecto a la experimentación humana, los ensayos clínicos exigen consentimiento informado, vigilando que no se instrumentalice a poblaciones vulnerables impulsadas por la precariedad económica o la desesperación sanitaria.
- Brecha socioeconómica global: la ingente concentración de medios técnicos punteros amplía las disparidades financieras y geopolíticas entre regiones industrializadas y territorios en desarrollo.
3. Fundamentos de la Lógica Formal y Proposicional
Definición y antecedentes del cálculo lógico
Derivado del vocablo griego logos (que aglutina los significados de palabra, lenguaje, razón y cómputo), la lógica estudia la corrección estructural de las inferencias racionales. Fundada en el siglo IV a. C. por Aristóteles, la disciplina selecciona de los variados usos de la comunicación el discurso apofántico, referido a enunciados que aseveran estados objetivos susceptibles de adquirir valores de verdad o falsedad.
Una argumentación o deducción consiste en un encadenamiento proposicional reglado donde, a partir de premisas asumidas, se deriva inevitablemente una conclusión formal. La lógica construye cálculos dotados de un lenguaje artificial exacto para dirimir si una inferencia preserva la validez deductiva al margen de interpretaciones psicológicas subjetivas.
De la tradición silogística a la lógica simbólica moderna
La lógica clásica o tradicional centró su instrumental metodológico en el análisis del silogismo categórico aristotélico. Filósofos modernos, entre ellos Immanuel Kant, supusieron que la lógica constituía un cuerpo cerrado y perfecto que no demandaba extensiones sustantivas. Sin embargo, los desarrollos lógico-matemáticos contemporáneos inauguraron la lógica simbólica o formal, distanciada del sistema tradicional por cuatro diferencias:
- Sustituye la textura del lenguaje natural por una simbología matemática rigurosa.
- Formaliza conjuntamente constantes lógicas y variables proposicionales.
- Trasciende la mera predicación atributiva (sujeto-predicado), permitiendo formalizar relaciones poliádicas complejas.
- Admite cálculos polivalentes, superando el límite estrictamente bivalente del silogismo antiguo.
Subdisciplinas de la lógica formal
- Lógica proposicional o de enunciados: evalúa las conexiones entre proposiciones tomadas como totalidades no disgregadas.
- Lógica cuantificacional o de predicados: examina la estructura sintáctica interna que relaciona al sujeto con sus cualidades.
- Lógica de clases: formaliza la pertenencia o inclusión de elementos en conjuntos determinados.
- Lógica de relaciones: codifica vínculos existentes entre dos o más entidades.
- Lógica polivalente: frente a los esquemas bivalentes limitados a verdad y falsedad, incorpora valores epistémicos intermedios como la indeterminación o la probabilidad.
Estructura del cálculo proposicional
La lógica de enunciados utiliza dos clases de grafías:
- Símbolos no lógicos:
- Variables proposicionales: letras minúsculas (p, q, r, s...) asignadas a proposiciones con autonomía semántica. Se catalogan en atómicas (simples e indivisibles) y moleculares (articuladas por conectores lógicos).
- Símbolos auxiliares: paréntesis y corchetes que jerarquizan el orden operativo de las fórmulas complejas.
- Símbolos lógicos (conectivas u operadores):
- Monádicos: afectan a una única proposición. Se trata de la negación (representada habitualmente por ¬ o ~).
- Diádicos o juntores: vinculan dos proposiciones para construir estructuras moleculares complejas. Poseen una semántica formal precisa regida por reglas axiomáticas de deducción e inferencia.
Conectivas proposicionales y tablas de verdad
Las tablas de verdad permiten establecer el valor veritativo de cualquier fórmula compuesta en atención a todas las combinaciones posibles de sus variables básicas.
1. Negación (¬p)
Invierte el valor de partida: si una proposición es verdadera, su negación será necesariamente falsa; y si es falsa, su contraparte negativa será verdadera.
2. Conjunción (p ∧ q)
Expresa la coincidencia simultánea de hechos (análoga a la conjunción copulativa «y»). Solamente arroja valor de verdad cuando ambas proposiciones componentes son simultáneamente verdaderas; en cualquier otro caso resulta falsa.
3. Disyunción (p ∨ q)
Presenta dos modalidades formales:
- Disyunción inclusiva: resulta verdadera si al menos una de las proposiciones integrantes es verdadera, siendo falsa exclusivamente si ambas proposiciones resultan falsas a la vez.
- Disyunción exclusiva: admite la verdad solo si una de las opciones es verdadera y la otra falsa, desestimando la coexistencia de ambos valores afirmativos simultáneos.
4. Condicional material o implicación (p → q)
Se lee «si p, entonces q», donde p funge de antecedente y q de consecuente. Su valor es verdadero en todos los supuestos salvo en uno: cuando a partir de un antecedente verdadero se postula un consecuente falso.
5. Bicondicional o coimplicación (p ↔ q)
Se formula «si y solo si p, entonces q». Es verdadera únicamente cuando ambos factores comparten idéntico valor de verdad de modo concomitante (ambos verdaderos o ambos falsos).
Procedimiento algorítmico y formalización
Una deducción es formalmente válida cuando su cálculo matricial resulta en una tautología: una estructura donde la conclusión arroja invariablemente valor de verdad con independencia de las asignaciones de sus premisas elementales, constituyendo así una ley lógica. Por el contrario, si arroja únicamente falsedad constituye una contradicción, y si mezcla valores afirmativos y negativos deviene en una contingencia.
Para computar una tabla de verdad se ejecutan cuatro fases algorítmicas:
- Contabilización de variables atómicas distintas (n): determinar el número de proposiciones elementales intervinientes.
- Dimensionamiento de filas: calcular la cantidad de combinaciones mediante la fórmula exponencial 2n.
- Identificación de la conectiva dominante: localizar el operador lógico principal que comanda la jerarquía del enunciado.
- Resolución iterativa: computar sucesivamente los valores desde las proposiciones y paréntesis más elementales hasta alcanzar la conectiva rectora que sella el resultado final del argumento.