CUESTIONARIO HEMPEL 1

1- Esta concepcin tropieza con algunas dificultades a) Muchos teoremas son tan difciles de establecer que estn muy lejos de parecer evidentes b) Algunos de los resultados ms interesantes de la matemtica, (especialmente en teora de los conjuntos abstractos) choca contra las intuiciones ms profundamente arraigadas, contra el sentimiento habitual de lo evidente c) La existencia de conjeturas matemticas que, a pesar de ser bastante elementales en su contenido, permanecen todava indecisas hasta hoy da, ciertamente demuestran que no toda verdad matemtica puede ser evidente de suyo d) Si se atribuyera carcter de evidencia slo a los postulados bsicos de la matemtica, los juicios acerca de qu deba considerarse evidente de suyo, son de ndole subjetiva; y no constituirn una base adecuada para decidir la validez objetiva de las proposiciones matemticas.

2- Mill considera a la matemtica como una ciencia emprica que difiere de otras ramas por tener un objeto ms general y, porque sus proposiciones han sido probadas y confirmadas ms ampliamente que las de las otras ciencias. De acuerdo con este punto de vista, el grado hasta el cual las leyes matemticas han sido corroboradas es tan aplastante que INJUSTIFICADAMENTE hemos llegado a considerar los teoremas matemticos como CUALITATIVAMENTE DIFERENTES de las hiptesis de las otras ramas de las ciencias: las consideramos ciertas mientras que a las otras teoras las consideramos muy probables. Esta posicin ofrece serias objeciones segn Hempel. Considerando la matemtica como ciencia emprica, de una hiptesis de carcter emprico es posible deducir predicciones al efecto de que, en ciertas condiciones especficas ocurrirn ciertos de fenmenos especficos observables. La efectiva realizacin de estos fenmenos proporciona un elemento de prueba confirmante, mientras que su defecto ofrece elemento de prueba disconformante de la hiptesis. Consideremos ahora: 2 3=5. Si esta es una generalizacin de experiencias pasadas, sera posible establecer qu clase de elementos de prueba nos obligara a conceder que la hiptesis no era despus de todo, verdadera en general. La ilustracin siguiente podra considerarse tpica: colocamos 2 microbios y luego 3 en el portaobjeto. Luego, contamos todos los microbios para comprobar si en este ejemplo 2 y 3 suman 5. Supongamos que hayamos contado 6 microbios en total. Supondramos haber cometido una equivocacin al contar, o que uno de los microbios se dividi en 2 entre la primera y la segunda cuenta. Pero bajo ninguna circunstancia el fenmeno podra invalidar la suposicin aritmtica involucrada ; pues esta ltima no asevera nada acerca del comportamiento de los microbios; sino que establece meramente que cualquier conjunto que consista de 3 2 objeto puede considerrselo como que consiste de 5 objetos, desde la perspectiva de Hempel. Y esto es as porque los smbolos 32 y 5 denotan el mismo nmero: son sinnimos en virtud del hecho de que los smbolos 2, 3, 5 y se definen ( o entienden tcitamente) de manera tal que aquella identidad se mantiene como consecuencia de la asignacin adjudicada a los conceptos involucrados.

3- Los enunciados de la matemtica son verdaderos simplemente en virtud de definiciones o de estipulaciones similares que determinan el significado de los trminos puestos en juego. Enunciados de este tipo, cuya validez no requiere prueba emprica, pueden demostrarse que son verdaderos por medio de un sencillo anlisis de la significacin de los trminos concurrentes. En el lenguaje de la lgica a las sentencias de este tipo se las llama analticas o verdaderas a priori, lo que indica que su verdad es independiente de, o lgicamente anterior a, cualquier verificacin experiencial. Y mientras los enunciados de la ciencia emprica, que son sintticos y que pueden ser verificados slo a posteriori estn sujetos continua revisin, por otra parte la verdad de un enunciado analtico puede ser establecida definitivamente. El precio que hay que pagar por esta certidumbre terica es que el enunciado analtico no proporciona informacin fctica alguna. No tiene implicaciones fcticas ni contenido emprico; por eso es que el enunciado puede ser verificado sin recurrir a elementos de prueba empricos. La validez de la matemtica no se apoya si en carcter de evidencia de suyo ni sobre ninguna base emprica, sino que proviene de las convenciones que determinan el significado de los conceptos matemticos y que las proposiciones de la matemtica son, esencialmente verdaderas por definicin. El desarrollo riguroso de una teora matemtica no arranca de un conjunto de definiciones, sino, de un conjunto de proposiciones no probadas dentro de la teora. Estn formulados en trminos de ciertos conceptos primitivos. Una vez sentados los trminos primitivos y los postulados, la teora queda determinada; cada trmino de la teora es definible en virtud de los primitivos, y cada proposicin de la teora es deducible lgicamente de los postulados.

4- Un sistema de postulados no puede ser considerado como un conjunto de definiciones implcitas de los trminos primitivos. Porque si bien los postulados limitan en un sentido especfico los primitivos, cualquier sistema coherente de postulados admite muchas interpretaciones diferentes de estos trminos, mientras un conjunto de definiciones, en el sentido estricto de la palabra, determina los significados de los definienda de una nica manera. De lo anterior se sigue que las convenciones establecidas en el sistema de Peano para los nmeros naturales no legitima la conclusin de que sus postulados definen implcitamente a dichos nmeros , ya que el sistema permite muchas interpretaciones diferentes, mientras que tanto el lenguaje cotidiano como el cientfico otorga una significacin especfica a los conceptos de la aritmtica.

6- Es necesario definir los trminos primitivos del sistema axiomtico de Peano mediante trminos no aritmticos ya que no es suficiente legitimar su validez demostrando que el sistema total es deducible de los postulados de Peano ms ciertas definiciones adecuadas. Se hace menester inquirir si los postulados de Peano son verdaderos cuando se entienden los primitivos en su sentido corriente. Se pueden reformular definiciones rigurosas y demostrar que los conceptos as definidos convierten a los postulados de Peano en enunciados verdaderos. Debemos este importante resultado a Frege Russell y Whitehead.

8- El nmero natural puede definirse, segn la propuesta logicista, como una caracterstica de ciertas clases de objetos. 2 es la clase de todos los pares, la clase de todas las clases C para las cuales n (C)=2. Anlogamente 1 es la clase de todas las clases unitarias; 0 es la clase de todas las clases nulas (solamente hay una nica clase tal) y as sucesivamente con todos los nmeros. El definiens contiene meras expresiones tomadas del campo de la lgica, incluyendo los signos de identidad y diferencia, as como las 7 expresiones siguientes: incluyendo variables tales como x y C; no, y, si.luego; para todo objeto x sucede que; hay algn objeto x tal que; x es un elemento perteneciente a la clase C; la clase de todas las cosas x tal(es) que. Y an es posible reducir el nmero de los conceptos lgicos que necesitamos apenas cuatro: los tres primeros de estos conceptos son definibles en trminos de ni-ni, el quinto es definible por medio del cuarto y por ni-ni con lo cual todos los trminos de la matemtica quedan bien definidos en trminos de cuatro conceptos de la lgica pura.

9- La matemtica tiene un status diferente de la geometra y las diversas ramas del lgebra abstracta, ya que puede deducrsela de la lgica en el siguiente sentido: a) Todos los conceptos de la matemtica, esto es de la aritmtica, del lgebra y el anlisis, pueden ser definidos en trminos de cuatro conceptos de la lgica pura. b) Todos los teoremas de la matemtica pueden ser deducidos a partir de aquellas definiciones por medio de los principios lgicos (incluyendo los axiomas de infinitud y eleccin).

Un procedimiento anlogo no es aplicable a aquellas disciplinas no provenientes de la aritmtica. Adems los primitivos de las diversas ramas del lgebra abstracta no tienen significado corriente especfico alguno; o tendran que constituirse referidos a ciertas entidades fsicas.

10-Hempel distingue entre un contenido tericamente nuevo y psicolgicamente nuevo; ya que al ser las verdades matemticas verdaderas en virtud de los conceptos que involucran, gozan de una certeza indubitable pero carecen de contenido emprico. Aunque la matemtica haya sido aplicada a cuestiones empricas no es predictiva sino analtica por eso el razonamiento matemtico revela que las premisas contienen-como si estuviese escondido en ellas- un aserto sobre el caso todava no observado. Tanto el razonamiento matemtico como el lgico es una tcnica conceptual de hacer explcito aquello que est implcitamente contenido en un conjunto de premisas. Las conclusiones no dicen nada tericamente nuevo en el sentido de que no haya estado contenido en las premisas. Pero los resultados pueden ser psicolgicamente nuevos: puede que no nos hayamos dado cuenta antes de usar las tcnicas de la lgica y la matemtica, a que nos comprometa el aceptar un cierto conjunto de supuestos o aserciones.