De manera sucinta resumir el concepto de reduccin de Nagel. Explicar los
conceptos bsicos y en particular el concepto de principio puente. Por qu se requiere este tipo de principio? RESPUESTA: En primer trmino, la reduccin es un tipo de explicacin. Se llama reduccin cuando teora TP puede derivarse de una teora TF. Por Tanto, una teora TP se reduce a una TF sii la primera se puede derivar de la segunda. Tal como las explicaciones cientficas estn tpicamente caracterizadas por estar representadas por una estructura lgica argumental deductiva, la reduccin tambin puede verse como un argumento deductivo (donde las premisas son los enunciados reductores y la conclusin el enunciado reducido ms algunos supuestos auxiliares). Nagel identifica dos tipos de reduccin. -HOMOGNEA: en sta los trminos relevantes encontrados en la conclusin tambin son encontrados en las premisas (los trminos de TP estn en TF) o pueden definirse mediante los trminos de TF (la teora reductora). -HETEROGNEA: En este caso hay por lo menos un trmino que se encuentra en la conclusin (TP) pero no se encuentra en las premisas y tampoco puede definirse directamente utilizando los trminos de las premisas. Esta ltima reduccin ha sido muy problemtica y controversial, por lo que Nagel defiende la propuesta de CORRESPONDENCIA para darle solucin. PROPUESTA DE CORRESPONDENCIA: Uno de los supuestos de esta propuesta lidia con el principal problema de esta concepcin heterognea de la reduccin, es decir, lidia con la dificulta de que al suponerse que la reduccin heterognea tiene una estructura deductiva es difcil explicar slo mediante recursos lgicos por qu hay trminos en la conclusin que no se encuentran en las premisas, por lo cual, segn la propuesta de Nagel, es necesario echar mano de otros recursos, es decir, de las LEYES PUENTE o REGLAS DE
CORRESPONDENCIA, con el fin de que la reduccin de TP a TF sea posible. TP
se deriva de TF sii se agregan a la derivacin las leyes puente. En general se puede caracterizar a las LEYES PUENTE como que establecen conexiones entre los trminos de TP que no estn en TF y los trminos de TF. En concreto, Nagel apunta que las leyes puente formulan HIPTESIS EMPRICAS. Sin embargo, esas hiptesis no son evaluables confrontndolas con instancias observables de las relaciones que postulan. Empero, eso no quiere decir que sea postulaciones arbitrarias y s deben ser evaluadas comparndolas con varias consecuencias implicadas por el sistema de hiptesis al que pertenecen con el resultado de observaciones controlables. Existen dos tipos de leyes puente: a) Las leyes puente de este tipo especifican las condiciones (ya sean estas condiciones en ocasiones necesarias y suficientes, en ocasiones slo necesarias o en ocasiones slo suficientes) formuladas en trminos de la teora reductora, mediante las cuales un atributo de la teora reducida ocurre (atributo: es lo que se predica de algo, un trmino debe referirse a un atributo). b) En stas se establecen identificaciones anlogas entre clases de entidades designadas por diferentes predicados, pertenecientes a una y otra teora. Las leyes puente designan ciertas expresiones que no son equivalentes en ambas teoras, no se pueden usar indistintamente en una u otra teora pero describen entidades idnticas.