Frente al problema del fundamento de la matemtica, Hempel se propone analizar algunas propuestas anteriores.

l considera que las proposiciones de la matemtica no pueden considerarse verdaderas por evidentes argumentando que a)en efecto hay muchos teoremas que no son evidentes an para el especialista b)algunos teoremas son incluso contraevidentes c)la evidencia se presenta como algo subjetivo que puede variar segn el individuo por lo que no puede ser una base para la validez objetiva. Luego, analiza la postura de John Stuart Mill en la que la matemtica tiene un objeto ms general que cualquier otra disciplina y por eso han sido probadas y confirmadas ms ampliamente. Y como esto se produjo a lo largo de la historia, el resultado es que se las considera completamente ciertas y cualitativamente diferentes a las otras. Sin embargo, Hempel considera que esto tambin es errado y marca la diferencia entre las pruebas a hiptesis matemticas y a las hiptesis empricas. stas ltimas se someten a predicciones en el campo de lo emprico que pueden confirmar o disconformar a la hiptesis. A la matemtica no se le puede aplicar ningn tipo de esas pruebas disconformantes, bajo que condiciones se confirma o disconfirma (ejemplo). La verdad entonces depende de definiciones o estipulaciones (convenciones) semejantes que determinan el significado de los trminos por lo que pueden demostrarse no por una prueba emprica sino por un anlisis de la significacin de los trminos concurrentes. A estas proposiciones se las denomina analticas o verdaderas a priori (su verdad es independiente o lgicamente anterior a cualquier verificacin experimental). Por tanto su verdad est asegurada para siempre (a diferencia de los sintticos) pero no aporta informacin fctica. La matemtica es entonces un sistema axiomtico que es un conjunto ordenado de proposiciones formado por: a) axiomas o postulados que aceptamos como verdaderos por convencin sin una prueba. stos estn formulados en trminos primitivos que no tienen definicin en la teora(los postulados seran sus definiciones implcitas pero no definiciones en sentido estricto ya que pueden tener diferentes interpretaciones). Las dems proposiciones son los teoremas que se deducen de los postulados basndose en ciertas reglas (de formacin y de transformacin). De esta manera, el sistema axiomtico de Peano como todos los sistemas que utilizan postulados- que pretende deducir toda la aritmtica de los nmeros naturales, es producto de aceptar ciertos trminos, postulados y reglas por convencin lo que resulta en que lo que entiendo por nmero natural es una convencin. Las proposiciones de la aritmtica son verdaderas por virtud de las convenciones que han quedado asentadas previamente para los conceptos aritmtico. No obstante, no podemos considerar a los postulados como verdaderos o falsos, si hay tres trminos primitivos a los que no se les ha asignado ningn significado especfico. Lo nico que sabemos es que la interpretacin debe hacer a los postulados verdaderos para que todo lo dems est asegurado. Sin embargo que podamos hacer interpretacin que sean modelos no impide el problema que hay un significado especfico aportado por el sentido corriente de nmero que adems es utilizado por los matemticos en sus teoras. Para dar estas definiciones sin apelar a conceptos aritmticos que se encuentran dentro del sistema se debe recurrir a la lgica que nos permitir hacer a los postulados de Peano verdaderos. El nmero puede ser considerado como una clase que me permite agrupar cosas en funcin de alguna propiedad de las mismas. As, 2 se define como 1.xC y yC 2.x =/y 3. si zC entonces o z=x o z=y. Pero para definir el nmero separado de su contexto debemos decir que 2 es la propiedad comn a todos los pares, a todas las clases C tales que n(C)=2 es la clase de todas las clases que compartan la propiedad (2 es la clase de todos los pares y par se ha definido antes con lo anterior). Lo de la carpeta no lo entiendo el numero de una clase es la clase de todas las clases similares a ella (por ejemplo el tro son todos los conjuntos de tres elementos) y el numero es aquello que sea el numero de una clase (!?!?). La nocin de nmero ontolgicamente termina

siendo una clase, un conjunto de las clases de tros, pares, etc...). Una clase es un conjunto de elementos reunidos por un concepto. Se puede definir por extensin dando cuenta de todos los elementos de la clase (enumeracin) o por comprensin dando alguna caracterizacin de todos sus elementos. Para los conjuntos infinitos no puedo utilizar la definicin por extensin y por eso el logicismo utiliza la por comprensin. El sucesor podra ser definido como qu clase queda si se le agrega un elemento a la clase. De esta manera, puede considerarse que todos los trminos de la matemtica quedan bien definidos en trminos de cuatro conceptos de lgica pura. Y, obviamente, los postulados de Peano se hacen verdaderos con la interpretacin de los primitivos dada. Meten de contrabando el principio de infinitud de Russell para el tercer postulado y el de eleccin para algunas cosas. Por lo tanto, no slo todos los conceptos de la matemtica pueden ser definidos segn los trminos de la lgica sino que todos sus teoremas pueden ser deducidos a partir de las definiciones por medio de los principios lgicos. Esto demuestra que la verdades matemticas dependen de las definiciones de los conceptos y tienen entonces la certeza y la carencia emprica de los enunciados analticos. Frente al contrargumento de la aplicabilidad de la matemtica, Hempel contesta que justamente la matemtica simplemente explicita supuestos o enunciados que estn contenidos en las premisas de los argumentos. Es por eso que no aportan nada tericamente nuevo pero s psicolgicamente nuevo en tanto puede que sin las tcnicas de la lgica y la matemtica no nos demos cuenta a qu nos compromete el aceptar un cierto conjunto de premisas. Las otras disciplinas pueden desarrollarse como sistemas puramente deductivos sobre la base de un conjunto de postulados adecuados (no verdaderos o falsos, que deben ser convencionales y no contradictorios). Y de ah se derivarn, siguiendo las leyes lgicas, los teoremas. Si una proposicin T es lgicamente deducible de P, luego toda interpretacin especfica de los primitivos que haga verdaderos a todos los postulados de P, tambin har de T un enunciado verdadero. (Hay un problema con las disciplinas que no provienen de la aritmtico en tanto no podemos definir los trminos primitivos dado que no tienen significado corriente especfico). Esto no significa que la matemtica no sea un poderoso instrumento terico indispensable para el conocimiento cientfico para la validacin y la expresin lingstica del conocimiento (como por ejemplo para la formulacin de predicciones y su aplicacin prctica). Una disciplina emprica puede dar interpretacin a los trminos primitivos, asignarles una significacin y utilizar el sistema para deducir teoremas aplicables en su ciencia emprica.