NOTAS Y REFERENCIAS AL LIBRO
Resumen y Referencias al libro
LA INVESTIGACIN CIENTFICA. Su estrategia y su filosofa
Mario Bunge
Barcelona: Ariel, 1973
Sobre este resumen
Es heterogneo. Los Captulos 1 y 2, no estn propiamente resumidos. Estn entresacadas las ideas ms importantes o menos conocidas, presentando slo la idea y su localizacin en el libro. No son sistemticos, y estn concebidos de cara a ayudar en una clase, supuesto un conocimiento de la materia por el docente. Recogen ideas que no se deben olvidar, a modo de recordatorio, junto con su localizacin en el libro. Los captulos 3 a 5 estn propiamente resumidos, en forma sistemtica y medianamente exhaustiva, pudindose seguir directamente como introduccin a sus temas. Tienen asimismo referencias al libro, para facilitar su ampliacin, o precisar las ideas que no queden suficientemente claras tras la lectura.
Mis palabras estn entre llaves ({Juan Antonio Salas Mesa})
ndice
Un cuento para empezar
Parte IPlanteamiento e instrumentos
Captulo 1El planteamiento cientficoCaptulo 2ConceptoCaptulo 3DilucidacinParte IILas ideas cientficas
Captulo 4ProblemaCaptulo 5HiptesisCaptulo 6Ley
Captulo 7Teora: esttica
Captulo 8Teora: dinmica
Parte III La aplicacin de las ideas cientficasCaptulo 9Explicacin
Captulo 10Prediccin
Captulo 11Accin
Parte IV La contrastacin de las ideas cientficas
Captulo 12Observacin
Captulo 13Medicin
Captulo 14Experimento
Captulo 15La inferencia cientfica
p. 13
Un cuento para empezar
La cosa rara
Una reina interroga a cinco sabios, sobre la cosa rara existente en la vecina repblica, siendo sucesivamente decapitados tras sus respuestas. El ltimo huye y escribe un informe sobre la misma. Su traduccin es este libro.{ y su resumen, estas pginas}
-Un enorme registro
-Un molino de informacin. Un calculador
-Un juego esotrico. Un lenguaje
-Un visionario flagelante. Un meditador que no se enorgullece nunca
-Informe sobre la cosa rara, su Anatoma, su Fisiologa y su comportamiento
p. 19
Parte I.Planteamiento e instrumentos Captulo 1El planteamiento cientfico
Conocimiento cientfico frente a ordinario
Parte del conocimiento previo de que arranca toda investigacin es conocimiento ordinario, esto es, conocimiento no especializado, y parte de l es conocimiento cientfico. ... A medida que progresa, la investigacin corrige o hasta rechaza porciones del acervo del conocimiento ordinario. As se enriquece este ltimo con los resultados de la ciencia. Parte del sentido comn de hoy da es resultado de la investigacin cientfica de ayer.
Un aspecto de la objetividad que tienen en comn el buen sentido y la ciencia es ... la negativa a admitir entidades no naturales (por ejemplo un pensamiento desencarnado) y fuentes o modos de conocimiento no naturales (por ejemplo, la intuicin metafsica. Pero el sentido comn, reticente como es a lo inobservable, ha tenido a veces un efecto paralizador de la imaginacin cientfica.
Falibilismo: reconocimiento de que el conocimiento humano es provisional e incierto.
Dicho brevemente, las opiniones cientficas son racionales, y objetivas como las del sano sentido , pero que diferencia, pues, si no es su objeto, ambos saberes? :... la forma (procedimiento) y el objetivo. El planteamiento cientfico, pues, est constituido por el mtodo cientfico y por el objetivo de la ciencia.
La ciencia como estilo de pensamiento, reciente, provechoso y universal.
Distincin entre la investigacin (el trabajo) y el conocimiento (el fruto).
p. 26
Algunas reglas del mtodo cientfico:
-Planteamiento preciso y, al principio, especfico del problema
-Proponer conjeturas bien definidas y fundadas-Someter las hiptesis a contrastacin dura, no laxa
-No declarar verdadera una hiptesis confirmada, sino corregible o refutable
-Preguntarse por qu las respuesta es como es
p. 29
Regla de oro
.. acaso la nica regla de oro del trabajo cientfico: Audacia en el conjeturar, rigurosa prudencia en el someter a contrastacin las conjeturas
p. 35
Tres tcnicas cientficas casi universales:
-El cuestionario ramificado, metodizacin del procedimiento por ensayo y error
-Procedimientos iterativos, con progresivo acercamiento a la solucin
-Muestreo al azar
p. 38
Las ramas de la ciencia
p. 39
Frmulas analticas
O que pueden convalidarse por medio del anlisis racional
p. 39
Ciencia factual frente a ciencia formal
La ciencia factual presupone la ciencia formal
p. 47
Unidad de la ciencia La unidad de la ciencia no estriba en una teora nica que lo abrace todo, ni siquiera en un lenguaje unificado apto para todos los fines, sino en la unidad de su planteamiento.
El proceso de reconstruccin del mundo mediante ideas y de contrastacin de toda reconstruccin parcial es un proceso infinito, a pesar de la infundada, pero frecuente, esperanza de que la teora definitiva est a punto de presentarse.
p. 51
La necesidad de una aptitud cientfica
La adopcin de una actitud cientfica ... nos hara ms cautos
p.54
Seudociencia
Caractersticas diferenciales:
-Negacin a fundamentar sus doctrinas
-Negacin a someter a contraste sus doctrinas
-Carencia de mecanismo autocorrectorEjemplos: casos de
-Rhabdomancia (sensibilidad a las heterogeneidades subterrneas entre los zahores)
-Parasicologa-Sicoanlisis-Tesis ajenas a la sicologa, la antropologa y la biologa, y a menudo incompatibles con ellas
-Hiptesis incontrastables. {Ejemplo}
(Aristteles crea que la materia era continua. Demcrito sostena que la materia era inherentemente granular y que todas las cosas estaban compuestas por tomos. Muchas hiptesis contrastables hubieron de elaborarse, para contrastar este que hoy sigue siendo invisible a nuestros microscopios, incluyendo la proporcionalidad en la combinacin de las sustancias, el efecto browniano, el experimento de Rutherford, etc.. La contrastabilidad de esta hiptesis, y su posterior contrastacin tardaron 2 milenios en llegar. Vase Historia del tiempo, Stephen W. Hawking, Captulo 5)
-Las hiptesis contrastables no han sido contrastadas-Los sueos son realizaciones de deseos.
-La catarsis provocara descarga de agresividad en la contemplacin de filmes violentos. {Cmo es la realidad?}
-Estudios demuestran la falta de correlacin entre las primeras costumbres de alimentacin y excrecin y rasgos de la personalidad-Las terapias no tienen incidencia en el curso clnico de las neurosis. En cambio, la tcnica cientfica de recondicionamiento tiene xito en la mayora de los casos.
p.59
-Se resiste a la crtica, denunciando una 'resistencia'Captulo 2Concepto
Captulo 2, p. 61
Sobre los lenguajes cientficos
Tambin sobre proposiciones, aspectos de lgica, reglas de formacin de proposiciones bien construidas. Ampliar si se desea.
p. 75
Sobre trmino y concepto
Tambin sobre niveles de designacin y referencia:
-Lingstico-Conceptual-Fsico (Slo este sera referencia)
Denotacin = designacin + referenciap. 77
Conceptos categoremticos, capaces de referir, y sincategoremticos.
p.78- 79
Tipos de conceptos
Conceptos individuales, se refieren a individuos concretos
Conceptos de claseConceptos relacionalesOperadores. Concepto comparativos, que permiten ordenar un conjunto. Predicados polidicos. Grado de un predicado (n-dico). Propiedades simtrica o antisimtrica, reflexiva, y transitiva de las relaciones. Conceptos cuantitativos. Funciones. Derivacin de conceptos relacionales (de ordenacin), a partir de los cuantitativos. Derivacin de conceptos clasificatorios a partir de los relacionales. Los pasos inversos, son ms difciles, y marcan el duro camino habitual por el cual los conceptos se hacen ms cientficos. {Ampliado en resumen de artculo La estructura de los conceptos cientficos, Investigacin y Ciencia, XXX 198?.
El concepto de variable
p.84
Extensin e intensin
Intensin o connotacin. Extensin o conjunto de referencias.
Significacin.
pp. 94-97
Divisin, ordenacin y Sistemtica
Varias operaciones se pueden llevar a cabo con los conceptos que se refieren a individuos: Clasificacin. Divisin. Dicotoma. Ordenacin por alguna caracterstica con propiedad antisimtrica. Clasificacin sistemtica por una o varias caractersticas, o Taxonoma, o jerarqua clasificatoria.
p.103
La sistemtica terica
El paso de la sistemtica pretertica a la teortica. Ejemplo de la taxonoma basada en los caracteres exosomticos, a la filogentica. Ejemplo de la sistemtica qumica, hasta la tabla de Mendeleie?
pp. 109-114
Sistemtica de conceptos
Densas clasificaciones de los conceptos:
Los conceptos teorticos (incluidos en alguna teora) factuales, se clasifican en
-Genricos-Ontolgicos: Materia, sistema, proceso, ley, azar
-Metacientficos: Hiptesis, contrastacin
-Especficos-Observacionales: Cuerpo, posicin
-No observacionales-Variables intermedias: Centro de gravedad, entropa, impulso (en sicologa)
-Construcciones hipotticas: tomo
Estos dos ltimos tipos son difciles de distinguir. Simplifiquemos diciendo que a las construcciones hipotticas se les atribuyen algo ms de realidad que a las variables intermedias
p. 118
Captulo 3Dilucidacin
Varios son los problemas que pueden afectar a nuestro aparato conceptual, al nacimiento, crianza, y seleccin de la poblacin de conceptos de una ciencia. Y su cuidado es parte de la tarea cientfica.
Vaguedad
La ambigedad es caracterstica habitual de los signos, an los matemticos. Vaguedad intensional, indeterminacin parcial de las propiedades, o intensin. Vaguedad extensional, determinable por el rendimiento del concepto en las dicotomas de los posibles miembros. La vaguedad intensional es condicin necesaria, pero no suficiente de la vaguedad extensional. A veces, adoptando unos cuanto criterios prcticos de decisin, podemos eliminar la vaguedad extensional de un concepto, aun cuando persista la vaguedad intensional. Otras veces la vaguedad proviene del carcter no discreto de la realidad, que presenta toda suerte de formas de transicin.
p. 129
Precisin
Llega un momento en la vida de un concepto en que este debe ser precisado. Muchos conceptos son tomados del lenguaje cotidiano (p. ejemplo. fuerza), y posteriormente son precisados o refinados (concepto fsico de fuerza) para su uso especfico. Otros, como entropa, son introducciones de las propias teoras.
Una va corriente de progreso conceptual es la exportacin de ideas (y conceptos), muchas veces de una a otra rama, distantes, de la ciencia. Para que esto sea fructfero, deben sugerir nuevos problemas fecundos, o ser asimilados por una teora de la rama que acoge el concepto.
Muchas veces, en el proceso de precisin de un concepto, este puede deformarse, generalmente de manera progresiva. Algunos conceptos son particularmente tiles para ampliar y precisar conceptos. As, por ejemplo, el concepto de conjunto y su teora. De toda la matemtica y la lgica puede decirse lo mismo.
Hoy reconocemos varias maneras de introducir y precisar conceptos:
-Definicin-Ejemplificacin-Descripcin informal-Clasificacin-Incluyndolo en la redaccin de una teoraUn concepto puede especificarse por su relacin con otros signos (aislante = no conductor), o por su relacin con entes o hechos de la realidad (refericin)
p. 139
Definicin
Correspondencia signo-signo, en dos fases:
-Se introduce formalmente un trmino en un sistema de signos
-Se especifica en alguna medida su significacin.
Suelen clasificarse los conceptos en :
-bsicos (no suelen definirse)
-derivados (definidos con la ayuda de los bsicos).
p. 141
Las definiciones pueden ser:
-Explcitas: definiendo y definiens estn claramente separados, uno a cada lado de la igualdad
-Implcitas: el definiendum no est slo en un lado de la equivalencia. As podemos definir la igualdad de temperaturas: Dos cuerpos estn a la misma temperatura si y solo s no fluye calor a travs de un tercer cuerpo conductor que los conecte
Definiciones recursivas.
{No lo entiendo. Podra ejemplificarse con la definicin de cualquier curva monstruosa. O con la descripcin recursiva de la forma de un rbol}
Definiciones inductivas {tampoco las entiendo muy bien}
Definiciones postulacionales, o contextuales, las que se suelen usar para definir los conceptos bsicos en los axiomas. {Por ejemplo: Por dos puntos separados slo puede pasar una lnea recta puede considerarse una definicin de la recta, y an del punto. Dos trminos bsicos se definen de un plumazo: Son definiciones un tanto especiales}
p.151
Problemas de la definicin
-Debe ser consistente-Consigo misma
-Con el cuerpo de la teora
-Definiendum y definiens se pueden intercambiar en cualquier expresin
-Presuponen la existencia de algo a lo que se refieran. Falacias de definicin.
-Siempre que sea posible, deben definir lo superior por lo inferior o igual. Lo sicolgico mediante lo fsico, pero no al revs.
p. 158
Funciones de la definicin
-Introduccin de nuevos signos (ms econmicos, por ejemplo) para conceptos existentes
-Introduccin de conceptos nuevos
-Especificacin o precisin de significaciones de conceptos viejos
-Interrelacin de conceptos, sistematizando su vinculacin-Identificacin de objetos-Higiene lgica: para reducir ambigedad y vaguedad
-No incrementan el conocimiento, aunque ayudan a ello.
Interpretacin
-Interpretar un hecho es explicarlo-Interpretar un signo es averiguar (o estipular) lo que significaAlgunos smbolos significan aquello que designan, mientras otros no designan nada.
La significacin, y por tanto la interpretacin de los signos es siempre contextual o relativa, no intrnseca.
p. 163
Cuadro de las relaciones entre signos y el mundo
p. 165
Relacin entre contrastabilidad y significacin. Algunos autores identifican ambos trminos, de forma que una sentencia es significativa si y slo si es contrastable o verificable. Pero los conceptos significan (aunque sea contextualmente), y lo que son verificables son las sentencias completas.
Procedimientos interpretativos
Las refiriciones ostensivas (Esto es un lpiz) son ms bien puentes entre la experiencia en bruto y el lenguaje. Los nombres universales, las propiedades no visibles ni empricas, y muchas otros conceptos no pueden introducirse as.
Las refiriciones coordinativas, por ejemplo al definir una especie en base a un individuo analizado en el laboratorio se supone que el nombre de las especie nombra a un conjunto de individuos parecidos al analizado y expuesto en el museo local. Suelen ser sustituidas por definiciones ms precisas cuando se puede. As sucedi, por ejemplo, con la definicin del metro en base al meridiano terrestre primero y a una barra de platino iridiado (definicin coordinativa sta), sustituidas por una definicin explcita en base al espectro del tomo de kripton.
El operativismo filosfico sostiene que slo las mediciones pueden suministrar significacin a los trminos cientficos. Ello est relacionado con los siguientes errores:
-Confusin entre definido con determinado
-Confusin entre definicin y refericin
-Confusin de significacin con significacin emprica
-Confusin entre significacin y contrastabilidad
p. 173
Reglas semnticas
Refericiones nominales o reglas de designacin: convencin lingstica: estipulan nombresPostulados de interpretacin: propone una asociacin entre un concepto formal (como lnea matemtica) y entidades fsicas (un rayo de luz), que llenara de significado y haran el concepto formal ms cercano a la experiencia, si se acepta la asociacin. Sin ellos, las ciencias formales seran exclusivamente un esqueleto sin conexin con el mundo real. No obstante, en la prctica, no suele bastar con estas reglas para dar significado a los trminos, y menos an para que ste significado quede claro en nuestro cerebro. Para ello suele ser necesario la discusin de ejemplos y supuesto prcticos para conseguir la comprensin de los conceptos teorticos.
p. 177
Validez
Existe algn criterio seguro de discriminacin entre conceptos cientficamente vlidos y no vlidos?
Los conceptos cientficos deben tener una significacin intensional en al menos algn contexto terico.
Su extensin tambin deber ser suficientemente precisa. Debe tener un correlato real, si este es claro en el espacio-tiempo, el concepto ser vlido.
Tambin se puede decir que es vlido si y solo si denota operaciones posibles de alguna clase. Ntese que el concepto de 0 absoluto no cumple este requisito, puesto que en la prctica parece inalcanzable.
Para algunos puntos de vista, un concepto con intensin y extensin que funcione como primitivo de una teora es vlido si y slo si denota entidades observables. Esta exigencia slo se le hace en este caso a los concepto primitivos de la teora. Pero en la prctica , muchas teoras tienen que tener como elementos bsicos realidades no observables.
Por ltimo se puede exigir simplemente que los conceptos sean sistemticos, o sea presentado dentro de algn sistema cientfico. Esta definicin, quizs la ms cierta slo tiene un problema {Es balad}.
p. 189
Parte II. Las ideas cientficasCaptulo 4. Problema
El conocimiento cientfico es el resultado de la investigacin. Esta se sirve de el mtodo, en pos del objetivo de la ciencia. Para ello, trata continuamente con problemas. La investigacin puede tratar con problemas originales, cuyo mtodo de resolucin no se conoce y se pretende establecer, pero rutinariamente trata tambin con problemas conocidos, cuyo mtodo de resolucin est establecido.
La Fuente de la Ciencia
Todos los animales se enfrentan con problemas y poseen cierta capacidad de explorarlos y resolverlos, maximizando el beneficio sobre el organismo con algunas conductas, generalmente innatas. El hombre percibe y an inventa problemas nuevos. El adecuado planteamiento de problemas es tan necesario a la ciencia como su posterior resolucin. Newton, por ejemplo, plante problemas suficientes como para proporcionar trabajo a la ciencia durante siglos.
Un descubrimiento arqueolgico, por ejemplo, puede resolver problemas previos, pero a buen seguro plantear otros nuevos. A los resultados de la investigacin que resuelven problemas, se les puede llamar conclusiones, pero generalmente no concluyen la investigacin, y suelen ser provisionales. Llamar datos a estas conclusiones es asimismo problemtico, puesto que no son dados al cientfico, sino extrados por l.
Las necesidades prcticas son fuente habitual de problemas, pero no la nica. En una empresa colectiva como la ciencia, el largo plazo es lo que cuenta. Algunos problemas permanecen a la espera mucho tiempo, como el problema de tres cuerpos, antes de ser resueltos o, en el peor de los casos, establecida su irresolubilidad. Algunos problemas son pequeos, abarcables y proporcionan una sensacin de seguridad al investigador. Otros constituyen tareas ingentes, para largos periodos de investigacin, y sin gran esperanza de resolucin.
Algunas tcnicas para encontrar problemas fecundos y resolubles son:
-Buscar puntos dbiles en las soluciones y conocimiento existentes.
-Aplicar soluciones conocidas a situaciones nuevas, y ver como se comportan.
-Generalizar viejos problemas, amplindolos a otros dominios.
Como consejo general, se debe empezar por problemas muy claros y restringidos. Las teoras generales se conseguirn, si se consiguen, como sntesis de las teoras parciales que resuelven problemas parciales.
p. 195
Lgica de problemas
En el problema Quin es el culpable? distinguimos, simplificando:
-C(x)
Generador del problema
-(Ex) [C(x)]Presupuesto: Existe un x, tal que x es el culpable
-(?x) C(x)
Enunciado del problema: Quin es el culpable?
-C(c)
Solucin: c es el culpable
Los presupuestos suelen ser muchos y no estn puesto, de momento, en tela de juicio al enunciarse el problema. Un presupuesto bsico, por ejemplo, el preguntarnos Es verdadero p?, es que slo puede ser verdadero o no verdadero.
Existen problemas sobre individuos, que preguntan por los valores que tendrn determinadas variables en uno o ms individuos: Qu masa tendr Urano?, y problemas sobre funciones: Qu relacin guarda el paro con la marginacin en la barriada de Las Moreras?.
Todo problema incluye una o ms incgnitas, sobre individuos o funciones. Se pueden enunciar problemas con ms de una incgnita por combinacin de problemas elementales. Las reglas vlidas de combinacin de problemas no estn totalmente establecidas por lo que sera una lgica de problemas plenamente desarrollada. Tales problemas combinados se enfrentan luego en la prctica por reglas de descomposicin de problemas. As descompondremos algunos problemas en dos subproblemas, de manera que sea necesario resolver ambos subproblemas para resolver el original: descomposicin conjuntiva. A veces podremos descomponer un problema en dos subproblemas de tal manera que baste resolver cualquiera de ellos para dar una solucin al problema global; as, para conocer el valor de una funcin matemtica en un punto, podremos hacerlo por mtodos analticos (resolviendo la ecuacin por alguno de los mtodos matemticos existentes u otro nuevo), o por mtodos aproximativos (probando valores hasta acercarnos suficientemente a la respuesta), bastando cualquiera de los dos procesos para dar solucin al problema global: descomposicin disyuntiva.
Existen muchas clasificaciones por diferentes criterios de los problemas. Aristteles distingua entre cuestiones de hecho y cuestiones dialcticas. Hay problemas de hallar y problemas de demostrar. Los problemas, en su forma ms simple se llaman problemas de decisin, cuya respuesta es simplemente un s o un no. La esperanza de todo cientfico emprico es que, por complejo que sea su problema podr ser reducido a una secuencia finita del problemas de decisin. En este paso suele perderse la capacidad de resolver un problema fuerte, como el de identificar un miembro de un conjunto infinito, en aras de la capacidad de resolver un conjunto finito de problemas dbiles, como el de decidir si determinado individuo pertenece o no a dicho conjunto. Pero en estos casos no hay eleccin: o emprendemos la resolucin del problema dbil o nos quedamos con el problema fuerte sin resolver.
Como todo problema conlleva una serie de presupuestos, debemos hacer la siguiente definicin: Un problema est bien concebido si y slo si ninguno de sus presupuestos es una frmula manifiestamente falsa o indecidida en el mismo contexto. Decimos que un problema est bien formulado si, adems de estar bien formado, de acuerdo a las reglas 1 a 4, y est bien concebido.
R1.El generador de un problema bien formado contiene tantas variables como incgnitas
R. 2.El generador de un problema bien formado lleva prefijados tantos signos de interrogacin cuantas son las variables
R. 3Todo problema elemental bien formado tiene alguna de las formas siguientes:(?x) (...x...),(?P) (...P...)en las cuales x es la variable individual que se presenta en el generador (...x...) y P es la variable predicativa que se presenta en el generador (...P...)
R. 4Todo problema bien formado no elemental es una combinacin de problemas elementales bien formados
R. 5Todo problema debe estar bien concebidoLos presupuestos se pueden rastrear exhaustivamente en las ciencias formales, hasta llegar a los axiomas ltimos de las mismas, pero en las factuales hemos de negarnos a aceptar axiomas fcticos ltimos e inamovibles. Los presupuestos tienen en stas un carcter mutable. Lo mismo podemos decir del contexto terico en que se enuncian los problemas, sujeto a cambios.
p. 208
Problemas cientficos
Son un subconjunto de los problemas de conocimiento. Si el objetivo de la investigacin es ms prctico que terico, nos encontraremos con un problema de ciencia aplicada o tecnologa, no siendo siempre tajante esta diferenciacin.
Distingamos entre los problemas cientficos:
-Sustantivos o de objeto (Cuantos A existen?)
-Empricos-Hallazgo de datos
-Observacin
-Enumeracin
-Medicin
-Fabricacin de instrumentos, calibracin, elaboracin de frmacos
-Conceptuales-Descripcin
-Ordenacin
-Dilucidacin
-Deduccin
-Cmputo
-Demostracin
-Comprobacin de soluciones
-Explicacin
-Proyeccin: prediccin o retrodiccin de hechos
-Construccin: invencin de ideas
-Introduccin de nuevos conceptos
-Introduccin de generalizaciones empricas
-Introduccin de hiptesis de nivel superior que subsuman generalizaciones empricas
-Construccin de sistemas de hiptesis de nivel alto (teoras)
-Metalgica: descubrimiento y eliminacin de inconsistencias, demostraciones de consistencia e independencia
-De estrategia o procedimiento (Cmo se pueden contar los A?)
-Metodolgicos-Convenciones: establecimiento de reglas de designacin, escalas de medicin, unidades, niveles de relevancia, etc..
-Tcnicas: arbitrio de tcticas para examinar problemas, observar, etc..
-Disposicin de experimentos: preparacin de experimentos
-Disposicin de teoras: preparacin de la construccin de teoras
-Examen de mtodos: examen y crtica de los anteriores tipos
-Valorativos-Estimacin de datos, hiptesis, teoras, tcnicas y equipo material en base a los objetivos dados
-Estimacin fundamental: examen de los objetivos mismos
En las ciencias formales, por definicin, no se plantean problemas empricos. Es difcil encontrar problemas empricos sin aspectos conceptuales. Los problemas metodolgicos son de particular importancia en las ciencias ms jvenes. La mayora de los problemas cientficos enteros tienden a caer simultneamente bajo las cuatro categoras bsicas a la vez. Por ejemplo en el problema de averiguar el efecto de una droga sobre el sistema nervioso, contiene tareas:
-Metodolgicas (arbitrar experimentos adecuados, elegir el nivel de relevancia de las correlaciones)
-Empricas (confeccionar la droga, purificarla, administrarla, registrar sus efectos)
-Conceptuales (interpretacin de datos y formulacin de hiptesis acerca del mecanismo de accin de la droga)
-Valorativas (averiguar si la droga es mejor o peor, para determinados fines, que otras propuestas)
Algunos aspectos de los problemas cientficos no son propiamente cientficos: de presupuesto, de divisin del trabajo, de suministro, de entrenamiento del personal, etc., aunque pudieran ser susceptibles de planteamiento cientfico.
Tras esta taxonoma de los problemas, pasemos a su filognesis. No nacen en el vaco, sino en el seno de un estado de conocimientos. Su seleccin est determinada por las lagunas del conocimiento, nuestros fines, y nuestras posibilidades metodolgicas. Cuando el estado del conocimiento es insuficiente para afrontar problemas importantes, la investigacin intenta resolver, en ese campo, problemas ms modestos, mientras que los ms difciles e importantes son enfrentados por las seudociencias.
Los problemas y su seleccin se ven influenciados por el acervo de conocimientos del investigador, su curiosidad, su visin, sus estmulos y tendencias. Es tambin importante la disponibilidad de datos relacionados con el problema, que a veces son demasiado pocos, y a veces son demasiados. Asimismo, conviene que al elegir problemas para su estudio, estemos seguros de reconocer fcilmente su solucin si llegamos a encontrarla. Para ello debemos saber qu clase de solucin se considerar adecuada, y qu clase de comprobacin se requerir para as considerarla. Deberamos pensar tambin en la existencia y unicidad de la solucin. En ciencias formales esto suele ser relativamente fcil, y adems es menos tolerable la no unicidad de la solucin.
Resumiendo, para encontrarnos ante un problema cientfico bien formulado, ste:
-Tiene que ser accesible un cuerpo de conocimiento en el cual pueda tratar de resolverse
-Tiene que superar las exigencias formales anteriormente referidas (R.1 a R.5)
-Tiene que estar bien concebido, sin presupuesto falsos o indecididos
-Tiene que estar delimitado, paso a paso.
-Hay que hallar las condiciones de existencia y unicidad de la solucin-Hay que anticipar que tipo de solucin ser aceptable, y que comprobaciones sern necesarias para reconocerla.
Con esto, un problema ser cientfico, pero puede ser irrelevante, sin inters. Y en la investigacin se exige pasin para que sea fecunda. Este inters sobre cada problema es susceptible a los avatares de las modas cientficas, y el clima intelectual, e incluso no intelectual, del momento. Pensemos en las investigaciones en la fisin atmica en el periodo de entreguerras y durante la 2 gran guerra.
Una vez nos aseguramos que nos interesa un problema, nos deberamos asegurar de que su resolucin ser fecunda, pero su fecundidad no es siempre predecible, pues al ser los problemas sistmicos, esto es, enmarcados en un sistema, es probable que tenga efectos no previstos, y posiblemente fecundos, sobre otras partes del sistema de conocimientos en el que se incrustar su solucin.
p. 217
Un paradigma, un marco y una comparacin
Los problemas cientficos son miembros de sistemas problemticos, o conjuntos de problemas lgicamente interrelacionados. Un sistema problemtico es un conjunto parcialmente ordenado de problemas, esto es una secuencia ramificada de problemas dispuestos en orden de prioridad lgica.
El establecimiento de esta ordenacin parcial es parte de la estrategia de la investigacin, estrategia necesaria para que la investigacin no sea casual, y por tanto estril. Los problemas de rutina pueden tratarse con estrategias ya fijadas, pero para los llamados problemas de investigacin deben establecerse estrategias especficas. No es raro que esta estrategia deba ser cambiada a lo largo de la investigacin a medida que los resultados arrojan nueva luz sobre los problemas iniciales. La investigacin no es libre por carecer de plan, sino por tener la libertad de elegir sistemas problemticos, y planteamientos y mtodos para llegar a sus soluciones sin ms objetivo que la bsqueda de la verdad.
Este paradigma de la estrategia investigadora asume las siguientes tesis:
-Los problemas se presentan en grupos o sistemas-Estos sistemas tienen que analizarse hasta llegar a problemas unidad-Estos problemas unidad tienen que ordenarse, provisionalmente al menos
-Esta ordenacin depende de la naturaleza del problema, y no debe obedecer a presiones extracientficas-Toda estrategia de la investigacin tiene que tratar con problemas conceptuales y metodolgicos, y no limitarse al tratamiento de datos
y tiene unos pasos fundamentales: formulacin, exploracin preliminar, descripcin, interpretacin, y control de la solucin, que a su vez se subdividen:
-Formulacin-Qu es el problema?: Identificacin del problema
-Cuales son sus datos?: Acervo de informacin-Cuales son sus supuestos?: Acervo de ideas-Cuales son los medios, por ejemplo las tcnicas?: Acervo de procedimientos-Cuales son las relaciones lgicas implicadas, por ejemplo, entre los datos y la incgnita?: Condiciones que relacionan los constituyentes del problema
-Que clase de solucin se desea?: Esquema
-Qu tipo de comprobacin se necesita?: Identificacin de la solucin-Por qu se busca una solucin?: Finalidad-Exploracin preliminar-Qu aspecto tiene?: Bsqueda de analogas con lo conocido
-Est definido? Si lo est, Cmo?: En el caso de conceptos-Est presupuesto? Si lo est, Sobre qu base?: En el caso de supuestos-Est tomado como hiptesis? Si lo est, con qu evidencia favorable?: En el caso de supuestos
-Es observable?: En el caso de objetos fsicos-Es contable o medible?: En el caso de objetos fsicos
-Cmo puede contarse o medirse?: En el caso de objetos fsicos
-Descripcin-Qu es?: Correlato
-Cmo es?: Propiedades-Dnde est?: Lugar-Cuando ocurre?: Tiempo-De qu est hecho?: Composicin-Cmo estn sus partes, si las tiene, interrelacionadas?: Configuracin
-Cuanto?: Cantidad-Interpretacin-Cuales son las variables relevantes?: Factores-Cuales son los factores determinantes?: Causas-Cmo estn relacionadas las variables relevantes?: Leyes-Cmo funciona?: Mecanismo-De donde o de qu procede?: Origen fsico o lgico
-En qu se transforma?: Prediccin-Control de la solucin-Cual es el dominio de validez de la solucin?: Lmites-Puede obtenerse la misma solucin por otros medios?: Posible comprobacin independiente
-Era conocida la solucin?: Originalidad-Es la solucin coherente con el cuerpo de conocimiento aceptado?: Insercin-Qu diferencia, si la supone, significa la solucin para el cuerpo de conocimiento accesible?: EfectoNotemos que a diferencia de los crucigramas, no hay soluciones finales para problemas cientficos relativos a hechos, que quedan a perpetuidad expuestos a la aparicin de evidencia o argumentacin falsadora, pero ntese tambin que muchos de los pasos antes descritos para la investigacin, son tambin aplicables a dichos pasatiempos.
p. 224
Heurstica
No se conocen recetas infalibles para resolver problemas, salvos para los problemas de rutina, pero he aqu una docena de reglas para intentarlo:
-Formulacin clara del problema
-Identificar los constituyentes-Descubrirlos presupuestos-Localizar el problema, insertarlo en una disciplina y en su historia reciente
-Seleccionar el mtodo, o crear una estrategia par el mismo
-Simplificar, eliminar redundancias e irrelevancias
-Analizar el problema: desmenuzar el problema en sus pasos ms cortos
-Planear, programar su estrategia-Buscar problemas anlogos resueltos
-Transformar el problema, conviertindolo en un problema tratable, desplazndolo hacia otro problema equivalente
-Exportar el problema, por ejemplo de la fisiologa humana a la de la rana
-Controlar la solucinp. 230
El fin de los problemas cientficos
Los problemas pueden ser olvidados, eliminados, aclarados, resueltos, declarados irresolubles, o abandonados, legndose a futuras generaciones.
El olvido
En la causa del, muchas veces progresivo, olvido de algunos problemas, como algunos relativos al origen de las instituciones, o como el descenso del inters hacia la zoologa de los invertebrados, pueden concurrir muchos factores, muchas veces extracientficos. As la exigencia del carrerismo, dada la profesionalizacin de la ciencia, de estar siempre al da, conlleva cierto olvido de viejos problemas. Pueden surgir tareas nuevas y ms urgentes. Una nueva teora puede desplazar los centros de inters. Puede ser que se reconozca la inexistencia de una teora, o de medios materiales, imposibilitando afrontar el problema; en estos casos, el olvido puede no ser total, pudiendo reaparecer en el futuro.
Eliminacin
Un problema puede ser eliminado por su falta de inters, como el problema de contar los granos de arena del ocano, o la construccin de tablas de funciones poco usadas. No es tan importante el nmero de problemas que una ciencia solucione, como la importancia de los que resuelve.
Tambin se eliminan los seudoproblemas, Cuando cre dios el universo?, y las quimeras, como la bsqueda de la piedra filosofal, lo cual no significa que la seudociencias no sigan tratndolos.
Aclaracin
No se resuelven algunos problemas, sino que se reformulan con ms precisin. As sucedi con la cuestin de Qu es la vida?
Resolucin
Las soluciones son de tres tipos, por su valor veritativo:
-Verdaderas
-Aproximadamente verdaderas
-Falsas
La mayora de los problemas de la ciencias factuales slo tienen soluciones aproximadas. No se exige que la solucin sea exacta, pero si es importante poseer medios para ir perfeccionando las soluciones.
En ciencias formales muchas veces se descubren tcnicas normadas para resolver problemas (algoritmos) o para comprobar soluciones (tcnicas de decisin). Segn esto, los problemas se clasifican en:
-Resolubles-Efectivamente: Se dispone de algoritmo y tcnicas de decisin
-Bien determinado: No se dispone de algoritmo pero s de tcnicas de decisin
-Mal determinados: No se dispone de algoritmo ni de tcnicas de decisin
-Irresolubles: Est demostrado que no puede alcanzarse ninguna solucin del problema con los medios dados. La irresolubilidad no es total, sino contextual.
p. 236
Qu sucede despus de alcanzada la solucin de un problema?
Lo ms probable es que se susciten o identifiquen otros nuevos, ms numerosos, ms profundos y ms generales.
El mejor criterio para averiguar si una disciplina sigue viva es mirar si an plantea problemas nuevos y fecundos. En ste sentido est muerta la mecnica de Aristteles, y no la de Newton. En una doctrina muerta no pueden plantearse nuevos problemas.
{Se puede agotar no ya una teora, sino toda una rama de la ciencia, como la fsica?. Vase Historia del Tiempo, Stephen W. Hawking, Cap. 10, La unificacin de la fsica}
p. 248
Captulo 5. Hiptesis
Planteado y examinado un problema, y no habindose demostrado su irresolubilidad, se le busca solucin.
A algunos problemas se le busca en el mundo, interrogndolo con observaciones, mediciones, experimentos.
Otros necesitan la elaboracin de teoras contrastables acerca del mundo
Los ms necesitan ambos procesos en la bsqueda de su solucin.
Esta bsqueda comienza con conjeturas llamadas hiptesis, contina con la elaboracin de leyes, y llega a construir sistemas de leyes llamados teoras.
p. 249
Significaciones de Hiptesis
Que la tierra es redonda no fue un hecho observable hasta hace escasas dcadas, pero hace dos milenios largos era mera hiptesis.
Definicin: una frmula es una hiptesis factual si y slo si se refiere inmediata o mediatamente a hechos no sujetos hasta ahora a experiencia o, en general, no sometibles a la misma, y es corregible a la vista de nuevo conocimiento.
Hiptesis no significa ficcin, ni se contrapone al hecho.
Las hiptesis son bien distintas de los datos, que se refieren a resultados singulares registrados en experiencias ya efectuadas. Los datos no se contrastan en el mismo sentido que las hiptesis, lo cual no significa que no puedan ser errneos, por ejemplo por haber sido medidos o manipulados errneamente. Una hiptesis puede intentar representar todo un conjunto de datos, mientras que otras hiptesis se refieren a su vez a realidades no observables.
Las hiptesis son el centro de la actividad cognitiva de los seres humanos. Los datos se utilizan como evidencia en favor o en contra de las hiptesis. La mera recoleccin de datos, presupone algn tipo de hiptesis. El mdico gua la entrevista con su paciente en algunas direcciones determinadas, y no al azar, por la mera recoleccin de datos.
En la vida ordinaria estamos construyendo hiptesis continuamente. El mundo no nos est nunca dado al completo, por lo que la parte no observada demanda ser reconstruida, y en ello las hiptesis tienen un papel importante.
En el sentido lgico de la palabra son hiptesis todos los supuestos iniciales (axiomas de una teora, formal o factual: se les suele llamar hiptesis fundamentales o bsicas, o supuestos.
El procedimiento que consiste en desarrollar una teora empezando por formular sus puntos de partida o hiptesis bsicas y deduciendo luego sus consecuencias con la ayuda de las subyacentes teoras formales se llama mtodo hipottico deductivo. Todas las teoras, formales o factuales, son sistemas hipottico-deductivos.
No suele presentarse ntegramente el trasfondo de un problema, de una hiptesis o una teora. Los supuestos tcitos e indiscutidos de una idea son sus presupuestos. Los presupuestos pueden ser genricos, a los diversos campos de investigacin, o especficos de un campo.
p. 249
Formulacin
Los datos no determinan las hiptesis. Suelen ser muchas las hiptesis que pueden ser concebidas para cubrir cualquier conjunto de datos. Es necesario reglar la formulacin de hiptesis, que deben ser:
-Bien formada, sintcticamente
-Significativa, no vaca, semnticamente
-Empricamente contrastableCumplidos estos requisitos, y con independencia de que sea verdad o mentira, ser una hiptesis cientfica y estar disponible el camino para intentar refutarla.
Como ejemplo, ante la contemplacin de un bastn semisumergido como aparentemente doblado, podra uno admirar el fenmeno, pero tambin podra intentar comprenderlo, y al tiempo, habra que formular algn tipo de hiptesis sobre el hecho. Tres se proponen:
-H 1. Se trata de una ilusin-H 2. Se ha doblado el bastn
-H 3. Los haces de luz, en la superficie de contacto entre el aire y el agua, se doblan (difraccin)
Ahora, slo queda inferir consecuencias, y contrastarlas con la informacin emprica ya poseda o nueva.
H 1. Consecuencias contrastables: Si es una ilusin perceptiva, ser subjetiva, y otro experimentador podra no sentirla, o ser una confusin inducida por la iluminacin, colores del palo, del fondo, sombras, y en general por las condiciones externas de la observacin. En ese caso sera sensible a los cambios en estas condiciones externas.
Confrontacin con la experiencia: Ms bien cambiaremos ambas variables a la vez, sujeto y condiciones externas. Si en ninguna de las experiencias conseguimos que el resultado cambie, hemos de pensar en ir descartando la hiptesis. El proceso que para ello se sigue puede reconstruirse, pues es la formalizacin lgica del proceso inverso al seguido hasta ahora (modus tollendo tollens).
H 2. Consecuencias contrastables: Si el bastn est doblado, podremos apreciar con la mano su doblez.
Confrontacin con la experiencia: Yo lo hice, de nio.
La hiptesis es falsa. {En un sentido ligeramente distinto a la anterior}.
H 3. Consecuencias contrastables: Si la apariencia quebrada es un hecho ptico, es bastn mismo es irrelevante: {Podra sustituirse por cualquier otro objeto, o mejor, quitarse de en medio:}
Contrastacin con la experiencia: Si un simple rayo de luz atravesase dicha superficie sufrir el efecto de la refraccin. Si iluminamos una botella protegida de la luz, con un fino haz de luminoso, podremos ver directamente como su trayectoria se desva de la recta justo en la superficie del agua, a poco que contaminemos el agua y el aire con polvo en suspensin, o dispongamos estratgicamente dispositivos que intercepten la trayectoria del rayo, pues como se sabe, los rayos de luz no se ven en medios trasparentes como el aire o el agua puros. Con lo cual parece confirmarse el origen ptico del fenmeno. Sin embargo, no podemos decir que hayamos confirmado el fenmeno.
Conforme insertemos esta explicacin en una teora, {por ejemplo la teora ondulatoria de la luz, o la teora corpuscular de la luz (ambas explican el fenmeno)} la hiptesis recibe as un nuevo tipo de confirmacin. La lgica formal nos capacita para refutar hiptesis, pero no para establecerlas, y no existe una lgica de la confirmacin (cfr. cap. 15).
Se desarrolla luego el ejemplo de la bsqueda de hiptesis que expliquen la mayor frecuencia estadstica de cncer de pulmn entre los fumadores, y su contrastacin. Se proponen dos tipos de hiptesis:
-Fumar cigarrillos causa cncer de pulmn
-El fumar cigarrillos y el cncer estn ambos determinados por un tercer factor {gentico} desconocido.
p. 264
Clases: Forma y Contenido
Formalmente (sintcticamente)
Por la estructura de sus predicados, por el grado de los predicados.
Por su alcance, no siempre son universales:
-Singulares-Pseudosingulares. Aparentan referirse a hechos singulares, pero, por ejemplo, a intervalos de tiempo eternos, que hacen que no se pueda hablar de un solo hecho. Por ejemplo: El sistema solar es dinmicamente estable {para siempre}
-Existenciales indeterminadas: Por ejemplo: Hay partculas indivisibles (elementales)
-Existenciales localizadoras. Hay gran cantidad de hierro en el ncleo terrestre.
-Cuasi-generales. Cuando un sistema se encuentra aislado pasar en la mayora de los casos a estados de superior entropa. Admite excepciones.
-Estadsticas. Las personas ectomrficas tienden a ser cerebrotnicas. Establecen correlaciones, tendencias, mdulos, promedios, dispersiones u otras propiedades globales (colectivas).
-Universales restringidas, por ejemplo, para un tiempo limitado, o un conjunto de casos limitado.
-Universales no restringidas. Como lo fueron las leyes de la ptica antes de ser leyes.
Por la sistematicidad (semntica), una hiptesis puede ser aislada o sistmica (perteneciente a algn sistema).
Por su potencia deductiva: Se llaman especificables las hiptesis de las cuales pueden derivarse proposiciones singulares por simple sustitucin de sus variables por constantes. Se llaman parcialmente especificables, como en el caso de una ecuacin, cuando tras una adecuada manipulacin (resolverla) pueden ser aplicadas a casos concretos. Son inespecificables las que no permiten inferir proposiciones singulares
Segn su orden o categora semntica, pueden hablar de individuos, o de propiedades o relaciones.
Segn su precisin, se suelen distinguir las hiptesis en bruto de las refinadas.
Segn donde se encuentre el correlato de sus predicados rectores, se distinguen:
-Correlato experimental. con conceptos que se refieren a las experiencia sensible.
-Correlato experimental y fctico-Correlato fctico. Puramente son imposibles. Hablaran slo de hechos.
-Correlato en un modelo terico. Sin correlato inmediato.
p. 271
Clases: Punto de vista Epistemolgico
Por su arranque
-Analgicamente halladas. Inferidas mediante argumentos de analoga, o por la captacin intuitiva de parecidos.
-Inductivamente halladas. De hechos particulares a enunciados generales, y de estos a enunciados ms generales an (de segundo orden). La induccin emprica ha sido a veces sobreestimada como fuente de hiptesis. El induccionismo se ha visto adems estimulado por las doctrinas conductista (watsoniana) y mecanicista (paulovista).
-Intuitivamente halladas. No han sido planeadas, y tienen un aspecto natural y obvio. {Suelen no obstante exigir mucho conocimiento sobre el tema, as que no son casuales}.
-Deductivamente halladas. Se deducen de proposiciones ms fuertes.
-Construcciones ms o menos elaboradas y que no se infieren de nada, sino que se imaginan con la ayuda explcita de algunos instrumentos conceptuales. La hiptesis del cuadrado de las distancias par explicar las trayectorias gravitacionales.
Aunque a veces parecen agudezas libremente inventadas, y no existen tcnicas infalibles para su generacin, existen determinadas vas de aproximacin para la generacin de hiptesis, tantas como modos de pensar. Un modo de pensar caracterstico de nuestra poca es el estilo probabilstico. {Las teoras de nivel ms bsico, como la matemtica para el fsico, la fsica para el bilogo, la biologa para el socilogo, o la sociologa para el historiador, son fuente de inspiracin habitual para la generacin de hiptesis}
p. 274
Segn su grado de ostensividad.
-Observacionales, o de bajo nivel, no contiene ms que conceptos relativos a cualidades observables
-No observacionales. Contienen conceptos no observacionales, sean variables intervinientes (promedio), sean construcciones hipotticas (inercia). En las hiptesis no observacionales teorticas, slo se encuentra conceptos no observacionales. Todos los predicados deben ser escrutables.
p. 275
Segn su profundidad
-Fenomenolgicas, que no se refieren al funcionamiento interno, sino slo a su comportamiento externo. Caja negra.
-Representacionales, o mecanicistas (por que hablan del mecanismo interno). Caja traslcida.
p. 280
Fundamento
Las hiptesis estn todas ms o menos basadas en conocimiento previo. La mejor fundamentacin de las hiptesis es su inclusin en una teora. Pero incluso la hiptesis mejor fundada debe proponerse con una sonrisa.
A veces la fundamentacin de una hiptesis no es muy convincente, o no convence a la ciencia de su tiempo. Por ejemplo, en 1847 el fsico viens I. Semmelweis explic la mortal fiebre puerperal como consecuencia del transporte involuntario, por comadronas y mdicos, de material cadavrico manejado en la sala de diseccin. No se le crey y termin en la locura. Segn la patologa de la poca, la enfermedad se desarrolla y reside en nuestros cuerpos (teora de los factores endgenos).
A veces procedemos poco menos que por ensayo y error, lo que implica una mnima fundamentacin de las hiptesis, pero maximiza el nmero de las que pueden probarse.
En la operacin de conjeturar podemos distinguir los grados de:
-Ocurrencias. Predominan en la especulacin y la seudociencia
-Empricas. No estn fundamentadas tericamente, pero s empricamente.
-Plausibles. Fundamentadas, pero no contrastadas
-Convalidadas. Fundadas y contrastadas.
La transicin entre estos tipos de hiptesis es una de las tareas de la ciencia
Un ejemplo se desarrolla: el de el descubrimiento preobservacional de Neptuno y/o Plutn a raz de unas anomalas en las rbitas de Urano.
p.289
Contrastabilidad
A toda proposicin se le debe poder asignar un valor de verdad, (cierta o falsa). La contrastabilidad emprica es un medio para encontrar valores de verdad factuales. Las llamadas proposiciones de protocolo, formuladas en un lenguaje fenomenalista. (Veo en este momento una mancha roja) no son conocimiento cierto, sino corregible, y sujeto a errores en la percepcin, adems de no ser mucho su inters cientfico, aunque al ser las que menos comprometen, son las menos sujetas a error.
Otro problema a la contrastabilidad es la vaguedad, tan frecuente en muchos usos del lenguaje.
La referencia a objeto inescrutables es seguro de incontrastabilidad.
Las hiptesis ad hoc, introducidas frecuentemente para sostener teoras que se empiezan a derrumbar, son un desafo a la contrastabilidad. Ejemplos.
Algunas hiptesis no son incontrastables, pero s difciles de contrastar con suficiente amplitud. Por ejemplo el principio de exclusin en biologa: Competidores completos no coexisten durante mucho tiempo
p. 295
Las hiptesis que pueden verse apoyadas por datos empricos se llaman confirmables (Hay neutrinos), y son ms dbilmente contrastables; las que pueden verse desconfirmadas se llaman refutables; el resto tiene ambas caractersticas a la vez. Las hiptesis probabilitarias son dbilmente refutables.
No quiere decirse que las hiptesis deban ser directamente contrastables. Pueden serlo indirectamente, por sus consecuencias contrastables. Si una hiptesis no llega a tener consecuencias contrastables, slo puede ser desbancada de su posicin desde arriba, invalidando las partes superiores de la teora.
La contrastabilidad pragmtica se refiere a la posibilidad de mostrar que la frmula es conveniente o fecunda.
p. 301
Requisitos
Antes de que una conjetura reciba el ttulo de hiptesis debe demostrar sus consistencia lgica, compatibilidad con el conocimiento existente, y contrastabilidad.
La fuerza lgica de una proposicin A es mayor que la de otra B si y slo si A implica B. Las tautologas tienen pues una fuerza mnima, las contradicciones mxima. En lgica intentamos establecer frmulas mximamente dbiles. En la matemtica preferimos en cambio las suposiciones ms fuertes compatibles con la lgica, o sea, las afirmaciones que den de s el conjunto ms rico de teoremas recprocamente coherentes. En las ciencias factuales seguimos una va intermedia.
Las hiptesis necesitan contenido informativo, y las frmulas ms fuertes pueden almacenar ms informacin. Las verdades formales (su contenido es nulo) y las contradicciones (su contenido es universal, de ellas se deduce todo) son indeseables. Tambin debemos evitar, si se puede, las proposiciones modales, como Es posible volver vivo de la luna, que se pueden unir sin contradiccin a es posible volver muerto de la luna, y por tanto, dice demasiado. Las hiptesis deben ser sintticas (no analticas, sino factualmente significativas) y tener la fuerza lgica mxima respecto de las evidencias empricas relevantes para ellas.
No deseamos que todas nuestras hiptesis sean deducibles de un determinado cuerpo de conocimiento, pero si que muchas sean deducibles de otras de ms alto nivel: deben ser todo lo aproximadamente analticas que sea posible respecto del cuerpo del conocimiento disponible. En resumen el ideal sera analiticidad mxima respecto de la experiencia y el conocimiento previo, y sinteticidad mxima respecto a la nueva experiencia.
Cuanto ms fuerza tiene una frmula, mayor es la clase de apoyos o falsadores que puede recibir. Cuanto ms fuerte es una hiptesis, tanto mayor es su contrastabilidad (K. R. Popper). La contrastabilidad y la fuerza no son, a pesar de ello, interdefinibles. La contrastabilidad depende del conocimiento previo, y los procedimiento empricos posibles; La hiptesis contrastables no lo son independientemente de todo conocimiento. La existencia de hiptesis ad hoc, que sean inconstrastables independientemente de las hiptesis que protegen, es indeseable. Se permiten algunas hiptesis no claramente contrastables, en, por ej. la mecnica cuntica, pero al menos han de poder ser indirectamente contrastables, gracias a frmulas de la teora que s disfruten de apoyo emprico.
En general, una hiptesis implica una consecuencia contrastable que puede compararse con la experiencia. No decimos que la hiptesis implica a los datos que se pueden producir como evidencia favorable o contraria a la hiptesis.
p. 308
Funciones
Algunos confan exclusivamente en las proposiciones empricas singulares (empirista), otros admiten slo las deducidas de los principios eternos de la razn humana (racionalismo), mientras otros slo tienen en cuenta las derivadas mediante inteleccin inmediata, total e infalible (intucionismo).
Las hiptesis se presentan en muchos pasos de la investigacin, por ejemplo cuando resumimos y generalizamos las observaciones, al intentar interpretar generalizaciones previas, al justificar o fundamentar nuestras opiniones, o durante el curso de un experimento de contrastacin. No hay piezas autocontenidas de la ciencia, que no contengan hiptesis. Por sus funciones, detectamos varios tipos de hiptesis:
-Para la generalizacin de la experiencia-Como desencadenadores de la inferencia, si se sospecha su falsedad, para ayudar a demostrarlo, muchas veces por el mtodo de reduccin al absurdo.
-Como guas de las investigacin
-Hiptesis explicativas, para la interpretacin.
-Proteccin de otras hiptesis. As, por ejemplo, Harvey en 1628 lanz la hiptesis de que pequeos capilares unen arterias con venas, para proteger su hiptesis de la circulacin de la sangre. Posteriormente se detectaron con el microscopio.
p. 313
Las hiptesis ms complejas son menos deseables, por que suponen demasiado, que las ms simples. La argumentacin basada en la simplicidad tiene mucha fuerza en estadios preteorticos. {En gravedad, por ejemplo, es sencilla la dependencia del inverso de los cuadrados, pero no es la ms sencilla imaginable).
Salvo los convencionalistas, que no hacen remilgos a las hiptesis ad hoc, ests estn mal vistas. Se les debe exigir que sean contrastables por separado. Como ejemplo, baste citar la teora de los istopos, propuesta para salvar la teora del nmero discreto de partculas en el tomo, en discordancia con las mediciones. As, cada tomo seguira siendo discreto en sus componentes, pero no necesariamente exactamente igual a otro tomo, siendo los elementos mezclas de ambos tipos de tomos. En este caso el carcter ad hoc fue un mero accidente en el nacimiento de la teora.
En ltima instancia, la contrastabilidad no es relativa a la hiptesis, sino dependiente de los medios al alcance. Ejemplo de la hiptesis de la contraccin de todos los cuerpos en la direccin de su movimiento.
Cuando una teora que ha prestado servicios valiosos se encuentra con una excepcin, siempre surge la tentacin de acudir a una hiptesis ad hoc que la proteja, por lo menos de esta excepcin. Pero hay hiptesis protectoras que son capaces de proteger excesivamente, casi todo. Son sospechosas. No obstante, no hay por qu minimizar el uso de hiptesis en su prctica cientfica, lo que hay que hacer es maximizar su control. Hay que tener la mente abierta, no vaca.
p. 319
Hiptesis filosficas en la ciencia
An cuando las ideas filosficas no suelen aparecer en la redaccin final y acabada de las teoras cientficas, la investigacin cientfica presupone y controla ciertas importantes hiptesis filosficas. En particular:
p. 319
Realismo
El mundo existe fuera del sujeto y en el se puede buscar la verdad factual. La ciencia no est centrada slo en el sujeto, y no antropomorfiza el mundo (animismo).
p. 321
Pluralismo
La realidad tiene una estructura de varios niveles, caracterizado cada uno de ellos por propiedades y leyes propias. Los niveles superiores arraigan en los inferiores. Si un nivel es insuficiente para dar explicacin, hemos de ahondar para buscarla en los niveles contiguos. No debemos saltarnos niveles gratuitamente.
p. 323
Determinismo ontolgico
En el mundo hay leyes, no magia. Estas leyes no son caprichosamente cambiantes. Nada nace de la nada ni se sume en ella. El determinismo laxo admite leyes estocsticas y reconoce la objetividad del azar, pero niega que los acontecimiento carezcan de ley. El determinismo ontolgico qued derrotado por teora de los cuantos, que reconoce la intervencin del azar no slo como rasgo de los sistemas complejos, sino incluso al nivel de las partculas elementales. El azar tambin obedece a leyes.
p. 324
Determinismo epistemolgico: Cognoscibilidad
Toda cosa puede ser conocida. Esta forma de determinismo se abandon de iure al reconocerse la imposibilidad de conocer exhaustivamente los campos de fuerzas, dados sus infinitos grados de libertad. La fsica demostr que es imposible conocer a la vez y con precisin la posicin y velocidad de una partcula (Principio de incertidumbre). Hay que adoptar la hiptesis de una cognoscibilidad limitada. Esto lo presuponen hoy todos los sistemas cientficos.
p. 327
Formalismo: La autonoma de la lgica y la matemtica.
Un buen instrumento no debera alterarse con el uso: de otro modo no habra manera de terminar tarea alguna con su ayuda. La lgica es un tal instrumento de la ciencia. La lgica es autosuficiente desde los puntos de vista de su objeto y de su mtodo. Lo mismo puede decirse de la matemtica. La ciencia formal es independiente del mundo, entre otras razones por que no se ocupa de l.
La lgica presupuesta por la ciencia factual no es sino una entre las innumerables teoras lgicas posibles (consistentes), la llamada lgica ordinaria bivalente. Las dems lgicas son interesante en s mismas, pero no se aplican al anlisis del discurso cientfico. Si se abandonara el principio lgico de identidad, o la regla de no contradiccin, o el principio de inferencia no podramos distinguir entre inferencias correctas e incorrectas.
p. 329
En resumen no se trata de basar la filosofa en la ciencia ni viceversa, se trata de reconocer que la una no existe sin la otra. Aunque la filosofa no pueda convalidar las ideas y los procedimiento cientficos, puede y debe examinarlos, criticarlos, afirmarlos y proponer y especular otras alternativas posibles. Es necesario una actitud cientfica para reconocer que la mayor parte de la filosofa se encuentra an en un estado precientfico, y es necesaria una mentalidad filosfica para darse cuenta de las inevitables debilidades y algunas de las posibilidades inexploradas que presenta la ciencia en cada uno de sus estados. No hace falta decir que una tal mentalidad filosfica no es propiedad exclusiva de los filsofos.
PGINA 20
