jueves, diciembre 11, 2008

Inductive narrow conception.

Un error que se incurre frecuentemente en varios libros de texto secundarios y de algunos profesores universitarios, es sostener que las premisas de una inferencia inductiva implican la conclusión de una teoría. La investigación científica se reduce a cuatro estadios:
  1. Observación y recolección de datos.
  2. Análisis y clasificación de estos.
  3. Derivación inductiva de la generalización.
  4. Contrastación ulterior de la generalización.
Pero esto es insostenible por las siguientes razones:
  • No se puede superar el primer paso, pues para reunir todos los habrá que esperar hasta el fin del universo ya que son infinitos.
  • Uno puede ganar tiempo reuniendo datos relevantes pero relevantes respecto de que? y respecto de que los clasificaría? El problema no dice como resolverlo.
Entonces como el tipo de datos concreto a reunir no está determinado por el problema que se está estudiando, sino por el intento de respuesta, el investigador da una conjetura o una hipótesis. Entonces los hechos relevantes por lo tanto sólo se pueden cuantificar como lógicamente relevantes o irrelevantes respecto a una hipótesis de solución dada, y nunca por referencia a un problema dado.
Por otro lado un conjunto de hechos empíricos se pueden clasificar de diversos modos, la mayoría de los cuales no será de ninguna utilidad para la investigación científica. Por lo tanto las conjeturas felices que dan una teoría que luego será aceptada es cuestión de intuición, pensamiento lateral y suerte. No existe una regla mecánica por medio de la cual se pueda inferir una teoría a partir de datos empíricos.

Modus Tollens

Evidentemente es imposible determinar por inspección u observación directa si una hipótesis es correcta pues: Si H es verdadera, entonces lo es I1, I2, …, In aún cuando se verifiquen todas las consecuencias I uno no está seguro que la hipótesis sea verdadera. Entonces el menester saber que papel cumple la inducción en la investigación científica. Es decir: Como se llega en un principio a la hipótesis adecuada? antes de continuar conviene hacer una aclaración de dos mecanismos muy diferentes de inferencia.
  1. Inferencia deductiva, de lo general (una teoría) a lo particular (solución de un problema).
  2. Inferencia inductiva, de lo particular (conjunto de hipótesis) a lo general (una teoría).
En una argumentación deductiva, la conclusión está relacionada de tal modo con las premisas que si las premisas son verdaderas también lo será la conclusión. Es decir la lógica deductiva es reducible a la forma Modus Tollens la cual es:

Si P, entonces Q. No verifica Q tampoco verifica P.

Por el contrario una argumentación inductiva parte de premisas que se refieren a casos particulares y lleva a una conclusión cuya carácter es de una ley o principio general. Pero a diferencia de la anterior la veracidad de las premisas no garantiza la veracidad de la conclusión. Por eso una inferencia inductiva implica que la conclusión es veraz con un cierto grado de probabilidad, mientras que la inferencia deductiva implica la conclusión con certeza.

martes, diciembre 02, 2008

Trígono Astronómico.


Ayer ocurrió un fenómeno raro. La Luna, Júpiter y Venus formaron un trígono fenómeno el cual no se repetirá en no se cuantos cientos de años. Acá muestro una foto cacera sacada con una cámara digital.

lunes, diciembre 01, 2008

El amargo sabor del éxito.

En estos últimos días he sentido el sabor amargo del éxito, en este sentido: en el quito año (son seis) del cursado del idioma japonés, cada vez noto más mi falta de destreza con el idioma comparado con la generaciones actuales con edades que van de 20 a 30 años. Siempre me tuve hacer horas trasero para poder aprender algo, algo que seguro me dura en la memoria, y cuando rendía la nota en el 90% de los casos era acorde a mi estudio. Pero en los dos últimos años de cursado he notado que la nota es mucho más baja que me dedicación al estudio, más aún siempre debo soportar el alarde del resto que dicen saqué tal nota (mayor que la mía) y solo estudié antes de venir. En cambio yo saco una mugrosa nota de aprobación habiendome roto el trasero por tres semanas. Y ni contar el nivel de estres y amargura que me deja el examen.
Uno podría pensar que el objetivo aprobar está cumplido. Pero no, uno no se puede engañar uno no tiene la destreza que tiene ellos. Más aún en las clases de conversación es cuanto más se ve la diferencia.
A veces me pregunto para que sigo algo que no tengo ni media capacidad para hacer algo, pero sigo más para dar un ejemplo a mi prole que ya para mi disfrute personal. Total es un año mas.

The absence of God creates God

Había una vez un nieto que vivía en la casa de su abuela que tenía 201 habitaciones, el nieto podía entrar en las 200 existentes pero no en la última (la 201) la cual estaba cerrada con llave y la llave estaba en poder de la abuela. El nieto le pregunta: abuela que hay en esa habitación? ella le contesta: Nada, no te incumbe abrir la puerta. Al pasar el tiempo el nieto no puede imaginar que detrás de esa puerta hay un formidable tesoro. Al llegar a ser adulto en un arranque de locura mata a la abuela y busca la llave. Cuando abre la puerta se encuentra con la sorpresa que efectivamente no había nada, la habitación 201 estaba vacía. Desesperado por el acto absurdo que había cometido se suicida.

Este cuento muestra que la ausencia de algo es inquietante a la razón no es de extraña que esa ausencia sea la causa de la creación de un objeto por parte del sujeto para llenar ese vacio. Entonces la ausencia de Dios crea a Dios (objeto). Porque para la razón no puede existir un mundo sin Dios. Si existiera, el Dios real siempre será algo nouménico para la razón.

domingo, noviembre 30, 2008

That is the theoretical reductionism in biology


Para entender el reduccionismo teórico, basta con analizar el siguiente paradigma: Los organismo vivos son o no son sistemas meramente o exclusivamente físico químicos (FQ)? Pero, que se querría decir al afirmar que lo son? Entonces uno podría interpretar todo análisis biológico como una visión mecanicista bajo las siguientes dos afirmaciones:
  1. Todas las características de los organismos vivos son características FQ (M1).
  2. Todos los aspectos de la conducta de los organismos vivos que se pueden explicar, se pueden explicar por medio de leyes y teorías FQ (M2).
En lo referente a M1, está claro que, al menos la descripción de los fenómenos biológicos requiere el uso de términos FQ. Pero la tesis M1 va más allá, esta garantiza que las entidades y procesos biológicos como: huevo, célula, núcleo, cromosoma, mitosis; puede ser caracterizado por términos FQ. Es decir célula puede ser definida con la ayuda de términos físico químicos que llamaremos MB1. De manera análoga todos los aspectos de la conducta también deben ser derivadas de las teorías FQ que llamaremos MB2.
Tomando los enunciados MB1 y MB2, estos expresan lo que se conoce como reductibilidad de la biología a la FQ. Pero se puede entonces afirmar que el mecanicismo sostiene la reductibilidad de la biología a la FQ. Si uno niega esta afirmación entonces asume la autonomía de la Biología como tal.
Tonemos otro ejemplo, la informática. Esta está sostenida sobre un álgebra de Bole de ceros y unos los cuales puede ser reducido a un análisis electrónico de conmutadores, moduladores, etc. Más aún el modelo OSI permite hacer un análisis de capas de manera tal de independizar el análisis lógico del electrónico; por lo que es efectivamente reducible la infomática a la Electrónica y a la Física. Y la Electrónica es reducible a la FQ. Entonces como todo código que se ejecuta en una o varias computadoras es reducible a un conjunto de algoritmos, estos serán reducibles por carácter transitivo a la FQ. Ergo todo sistema experto o sistema de Inteligencia Artificial, no es más que una complicación de la articulación de las leyes FQ.
Esta última tesis, es la que permite afirmar que la psicología también pude reducirse a un complejo articulado de leyes FQ. Pero acá hay un pequeño problema. La mente humana como software del cerebro no opera de manera algorítmica. Más aún no hay forma algorítmica que modele el razonamiento lateral, que permite al hombre en general cambiar abruptamente el punto de vista para resolver un problema.
Esto permite afirmar que todo objeto abstracto creado por el hombre se encuadre dentro del teorema de Godel: por muy potente que sea un sistema lógico, siempre existirá la posibilidad de plantear proposiciones o enunciados que ni pueden ser probados, ni pueden ser refutados dentro del propio sistema. Esto llevó a afirmar lo siguiente: resulta imposible construir una máquina que opere como la inteligencia al cerebro humano. Esto es interesante pues, por ahora da por tierra cualquier intento de reduccionismo de la psicología y la conducta a la FQ. Ergo la psicología tiene por ahora autonomía como tal.

viernes, noviembre 28, 2008

That is the fallacy of affirmation consistent in science

Una pregunta que uno puede hacer es: Que efectos observables, si los hubiera, se producirían si la hipótesis fuese verdadera? Esta forma de razonar presupone la verificación si la hipótesis (H) fuese verdadera entonces ocurrirá tal fenómeno. A tal fenómeno se lo llama implicación contrastadora (I). Entonces de manera más simple: Si H es verdadera entonces lo es I. Pero basta recordar que el operador entonces puede ser verdadero si H es falso e I es verdadero la implicación será verdadera, a esto se lo conoce como falacia de afirmación consecuente. Por lo que se puede asegurar que una hipótesis sea falsa, es decir:



de H entonces I, ergo, si I es falsa luego H lo será.


A este tipo de inferencia se la llama modus tollens, es decir si los experimentos muestran que nuestra hipótesis se cumple esto no basta para asegurar que H sea verdadera, pues sino, entraríamos en la trampa de las falacias. Este también es un ejemplo de falacia, muy común aún en el ámbito científico.


Si H es verdadera, entonces lo es I1, I2, …, In

Si se verifica empíricamente I1, I2, …, In como verdaderas

luego H es verdadera


Es decir uno nunca tiene un conjunto completo de observables en ciencias para asegurar que una hipótesis sea correcta. Es decir la ciencia tiene dos caminos uno deductivo (pos-teoría) y otro inductivo (pre-teoría). El modus tollens está en el ámbito inductivo de una teoría a la cual debe verificarse.