Reduccionismo

Richard Jones divide el reduccionismo ontológico en dos: el reduccionismo de las sustancias (p. ej., la reducción de la mente a la materia) y la reducción del número de estructuras que operan en la naturaleza (p. ej., la reducción de una fuerza física a otra). Esto permite a científicos y filósofos afirmar el primero, al tiempo que se muestran antirreduccionistas respecto del segundo. ^{[ 13 ]}

Nancey Murphy ha afirmado que existen dos tipos de reduccionismo ontológico: uno que sostiene que los todo no son más que sus partes; y el reduccionismo atomista, que afirma que los todo no son "realmente reales". Admite que la expresión "realmente real" es aparentemente absurda, pero ha intentado explicar la supuesta diferencia entre ambos. ^{[ 14 ]}

El reduccionismo ontológico niega la idea de emergencia ontológica y afirma que la emergencia es un fenómeno epistemológico que solo existe a través del análisis o la descripción de un sistema, y ​​que no existe fundamentalmente. ^{[ 15 ]}

En algunas disciplinas científicas, el reduccionismo ontológico adopta dos formas: la teoría de la identidad de tokens y la teoría de la identidad de tipos . ^{[ 16 ]} En este caso, "token" se refiere a un proceso biológico. ^{[ 17 ]}

El reduccionismo ontológico de tokens postula que todo elemento existente es una suma de elementos. En el caso de los elementos perceptibles, afirma que todo elemento perceptible es una suma de elementos con un grado menor de complejidad. La reducción ontológica de tokens de los elementos biológicos a elementos químicos es generalmente aceptada.

El reduccionismo ontológico de tipos postula que cada tipo de elemento es una suma de tipos de elementos, y que cada tipo de elemento perceptible es una suma de tipos de elementos con un grado menor de complejidad. La reducción ontológica de elementos biológicos a elementos químicos suele ser rechazada.

Michael Ruse ha criticado el reduccionismo ontológico como un argumento impropio contra el vitalismo . ^{[ 18 ]}

En un contexto biológico, el reduccionismo metodológico significa intentar explicar todos los fenómenos biológicos en términos de sus procesos bioquímicos y moleculares subyacentes. ^{[ 19 ]}

Los antropólogos Edward Burnett Tylor y James George Frazer emplearon algunos argumentos reduccionistas religiosos . ^{[ 20 ]}

La reducción de teorías es el proceso mediante el cual una teoría más general absorbe una teoría particular. ^{[ 2 ]} Puede dividirse además en traducción, derivación y explicación. ^{[ 21 ]} Por ejemplo, tanto las leyes de Kepler sobre el movimiento de los planetas como las teorías de Galileo sobre el movimiento formuladas para objetos terrestres son reducibles a las teorías newtonianas de la mecánica porque todo el poder explicativo de las primeras está contenido en las segundas. Además, la reducción se considera beneficiosa porque la mecánica newtoniana es una teoría más general, es decir, explica más eventos que las de Galileo o Kepler. Más allá de las teorías científicas, la reducción de teorías, en términos más generales, puede ser el proceso mediante el cual una explicación engloba a otra.

En matemáticas , el reduccionismo puede interpretarse como la filosofía que sostiene que todas las matemáticas pueden (o deben) basarse en un fundamento común, que para las matemáticas modernas suele ser la teoría axiomática de conjuntos . Ernst Zermelo fue uno de los principales defensores de esta postura; además, desarrolló gran parte de la teoría axiomática de conjuntos. Se ha argumentado que el método generalmente aceptado de justificar los axiomas matemáticos mediante su utilidad en la práctica común puede debilitar la afirmación reduccionista de Zermelo. ^{[ 22 ]}

Jouko Väänänen ha defendido la lógica de segundo orden como fundamento de las matemáticas en lugar de la teoría de conjuntos, ^{[ 23 ]} mientras que otros han defendido la teoría de categorías como fundamento de ciertos aspectos de las matemáticas. ^{[ 24 ] [ 25 ]}

Los teoremas de incompletitud de Kurt Gödel , publicados en 1931, generaron dudas sobre la posibilidad de alcanzar un fundamento axiomático para todas las matemáticas. Dicho fundamento tendría que incluir axiomas lo suficientemente potentes como para describir la aritmética de los números naturales (un subconjunto de todas las matemáticas). Sin embargo, Gödel demostró que, para cualquier sistema axiomático consistente , recursivamente enumerable y lo suficientemente potente como para describir la aritmética de los números naturales, existen proposiciones verdaderas (desde el punto de vista de la teoría de modelos) sobre los números naturales que no pueden demostrarse a partir de los axiomas. Estas proposiciones se conocen como proposiciones formalmente indecidibles . Por ejemplo, la hipótesis del continuo es indecidible en la teoría de conjuntos de Zermelo-Fraenkel, como demostró Cohen .

El pensamiento y los métodos reduccionistas constituyen la base de muchos de los temas bien desarrollados de la ciencia moderna , incluyendo gran parte de la física , la química y la biología molecular . La mecánica clásica, en particular, se considera un marco reduccionista. Por ejemplo, el Sistema Solar se comprende en términos de sus componentes (el Sol y los planetas) y sus interacciones. ^{[ 26 ]} La mecánica estadística puede considerarse una reconciliación de las leyes termodinámicas macroscópicas con el método reduccionista de explicar las propiedades macroscópicas en términos de componentes microscópicos , aunque se ha argumentado que la reducción en física «nunca llega al final en la práctica». ^{[ 27 ]}

En informática, el concepto de reducción puede entenderse como una formalización matemática precisa e inequívoca de la idea filosófica del reduccionismo teórico . En términos generales, se dice que un problema (o conjunto) es reducible a otro (o conjunto) si existe un método computable/factible para traducir las cuestiones del primero al segundo, de modo que, si se sabe cómo resolver computable/factiblemente el segundo problema, entonces se puede resolver computable/factiblemente el primero. Por lo tanto, la resolución del segundo problema solo puede ser al menos tan difícil como la del primero.

La reducción en la informática teórica es omnipresente tanto en los fundamentos matemáticos abstractos de la computación como en el análisis del rendimiento o la capacidad de los algoritmos en el mundo real . Más específicamente, la reducción es un concepto fundamental y central, no solo en el ámbito de la lógica matemática y la computación abstracta en la teoría de la computabilidad (o recursiva) , donde adopta la forma de, por ejemplo, la reducción de Turing , sino también en el ámbito de la computación del mundo real en el análisis de la complejidad temporal (o espacial) de los algoritmos, donde adopta la forma de, por ejemplo, la reducción en tiempo polinomial . Además, en el dominio aún más práctico del desarrollo de software, la reducción puede considerarse como la inversa de la composición y el proceso conceptual que un programador aplica a un problema para producir un algoritmo que lo resuelva mediante una composición de algoritmos existentes (codificados como subrutinas o subclases).

Los filósofos de la Ilustración trabajaron para aislar el libre albedrío humano del reduccionismo. Descartes separó el mundo material de la necesidad mecánica del mundo del libre albedrío mental. Los filósofos alemanes introdujeron el concepto del reino " nouménico ", que no se rige por las leyes deterministas de la naturaleza " fenoménica ", donde cada evento está completamente determinado por cadenas de causalidad. ^{[ 28 ]} La formulación más influyente fue la de Immanuel Kant , quien distinguió entre el marco causal determinista que la mente impone al mundo —el reino fenoménico— y el mundo tal como existe para sí mismo, el reino nouménico, que, según él, incluía el libre albedrío. Para aislar la teología del reduccionismo, los teólogos alemanes del siglo XIX posteriores a la Ilustración, especialmente Friedrich Schleiermacher y Albrecht Ritschl , utilizaron el método romántico de fundamentar la religión en el espíritu humano, de modo que es el sentimiento o la sensibilidad de una persona sobre asuntos espirituales lo que constituye la religión. ^{[ 29 ]}

La mayoría de las concepciones filosóficas comunes de la causalidad implican reducirla a un conjunto de hechos no causales. Los opositores a estas posturas reduccionistas han argumentado que los hechos no causales en cuestión son insuficientes para determinar los hechos causales. ^{[ 30 ]}

La metafísica de Alfred North Whitehead se oponía al reduccionismo. Él lo denominaba la « falacia de la concreción mal aplicada ». Su propuesta consistía en formular una comprensión racional y general de los fenómenos, derivada de nuestra realidad.

An alternative term for ontological reductionism is fragmentalism,^[31] often used in a pejorative sense.^[32] In cognitive psychology, George Kelly developed "constructive alternativism" as a form of personal construct psychology and an alternative to what he considered "accumulative fragmentalism". For this theory, knowledge is seen as the construction of successful mental models of the exterior world, rather than the accumulation of independent "nuggets of truth".^[33] Others argue that inappropriate use of reductionism limits our understanding of complex systems. In particular, ecologist Robert Ulanowicz says that science must develop techniques to study ways in which larger scales of organization influence smaller ones, and also ways in which feedback loops create structure at a given level, independently of details at a lower level of organization. He advocates and uses information theory as a framework to study propensities in natural systems.^[34] The limits of the application of reductionism are claimed to be especially evident at levels of organization with greater complexity, including living cells,^[35]neural networks (biology), ecosystems, society, and other systems formed from assemblies of large numbers of diverse components linked by multiple feedback loops.^[35][36]