Universidad del Valle Departamento de Filosofa Introduccin a la teora de la argumentacin Profesor: Jaime Sanclemente Estudiante: Juan David Madroero

Codigo: 1138713 Resea sobre Fundamentos de la aritmtica II

Hasta ahora sabemos muy bien de la teora de Frege que el contenido de una proposicin numrica es una asercin sobre un concepto, ya se tiene acordado igualmente que todos los nmeros pueden ser derivados del 0, el 1 y la nocin de incremento en 1, pero falta entonces definir estos nmeros individuales y la nocin dicha nocin de incremento . Frege para estos postula entonces 3 definiciones que parecen resolver esto, las cuales voy a citar textualmente: A) El numero 0 pertenece a un concepto F si, sea A lo que fuere, A no cae bajo F B) El numero 1 pertenece a un concepto F si, sea A lo que fuere, A no cae bajo F, pero si A cae bajo F y B cae bajo F, entonces es el caso que A es lo mismo que B C) En nmero (n+1) pertenece al concepto F si hay un objeto A que cae bajo F, y es de naturaleza tal que el numero n pertenece al concepto: Caer bajo F, pero no es lo mismo que A (Los fundamentos de la aritmtica II, A Kenny, pg 106) Hasta aqu pareciese que se satisface las incgnitas planteadas antes, mas dice el texto que Frege plantea que con estas definiciones no podemos concluir con certeza que si, (tomare un ejemplo que toma el autor en el texto), el numero julio cesar pertenece o no a un concepto, esto nos trae la reflexin de que con estas postulaciones que ataen a todos los nmeros naturales, no podemos concluir que los toma solo a estos, y esto genera una laguna; tambin encontramos otro problema y es que no podemos, con las definiciones que tenemos, probar claramente que si el numero A pertenece al concepto F y el numero B pertenece al mismo concepto entonces necesariamente A y B son iguales . La conclusin que Frege expone es que la definicin que le hemos dado al 0 y al 1 es solo una ilusin ya que solo les hemos fijado el sentido.

Frege dice entonces que un nmero es un objeto independiente, mas esto genera algunas dudas ya que Cmo se puede conciliar que el nmero es una asercin sobre un concepto, y a la vez un objeto independiente? Para argumentar esto Frege empieza diciendo que no es un nmero: Primeramente decimos que un nmero no es espacial ya que no tiene consistencia material, no ocupa un lugar en el espacio, mas es objetivo, ya que sin importar de que cultura sea o de que planeta, los nmeros se utilizaran de la misma manera. Adems, un nmero no es una imagen mental, como ya vimos en fundamentos de la aritmtica I, esto fue la causa de la confusin entre la psicologa y la filosofa. Un nmero no es una propiedad de un concepto, tomemos el ejemplo el concepto: el numero 0 pertenece al concepto F, vemos que el numero 0 pertenece al concepto, pero la propiedad del concepto no es el propio numero sino mas bien la propiedad de que el numero 0 pertenece a l, veamos esto ms en profundidad: Sabemos que existencia y unicidad son propiedades de los conceptos, un concepto tiene la propiedad de la existencia si no tiene un objeto que cae bajo l, y un concepto tiene la propiedad de unicidad si adems de tener la propiedad de la existencia tiene a lo sumo un objeto que cae bajo el. Para seguir sustentando esto Frege retoma los tres principios fundamentales que guiaban su investigacin, estos principios apoyan la teora de que los nmeros son objetos independientes. Para sustentar esto nuevamente Frege muestra que los nmeros se comportan en las proposiciones como nombres propios, ejemplo de ello es: Jpiter tiene 4 lunas puede verse tambin como el numero de lunas de Jpiter es 4 o en otro ejemplo , aqu podemos ver que el numeral no se comporta como una palabra concept y de estos ejemplos que el numero es susceptible de ser el sujeto de un contenido judicable singular porque el numero individual constituye solo una parte de lo que se est afirmando. Mas el argumento ms importante que Frege utiliza es, recordando que la caracterstica principal de un objeto es la de ser algo que posee una identidad susceptible de ser reconocida una y otra vez, entonces, si tenemos una ecuacin que es un enunciado de identidad, ya que el igual representa en el idioma la palabra es , entonces, en la suma 1+1=2 ambos lados del igual representan un nombre del mismo objeto, el hecho de que los nmeros figuren en las ecuaciones muestra que estos son objetos independientes. Como los nmeros entonces son objetos independientes, las ecuaciones por tanto tienen que ser proposiciones que expresen nuestro reconocimiento de que un nmero es siempre el

mismo nmero, ya que necesitamos un criterio que para decidir si un nmero es igual al otro, un criterio de identidad para un objeto. Frege toma la concepcin de Leibniz para la identidad que dice: Dos cosas son respectivamente iguales si una de ellas puede ser sustituida por la otra sin la perdida de verdad (Los fundamentos de la aritmtica II, A Kenny, pg 113). Entonces propone ahora definir numero en trminos de a es el mismo nmero que B y pone un concepto diferente para explicar esto: Dos lneas son paralelas entre si ambas tienen la misma direccin, para definir ese paralelismo es necesario tomarlo en trminos de direccin, una vez se tenga esa direccin es fcil decir si dos lneas son paralelas. Mas Cmo saber si ambas lneas tienen la misma direccin?, esta dificultad se resuelve contando con que: si la lnea A es paralela a la lnea B, entonces la extensin del concepto lnea paralela a la lnea A es idntica a la extensin del concepto lnea paralela a la lnea B, e inversamente, entonces, si las extensiones de ambos conceptos son idnticos, entonces A es paralela a B, (Tomando por extensin de un concepto la totalidad de objetos que caen bajo este). En la anterior definicin se encuentra un problema y es que solo se puede extender el concepto cuando es un predicado monadico, pero la extensin de un concepto relacional (didico) se integra a la definicin. Luego entonces se da una definicin anloga con la definicin de direccin, la cual dice que el numero que pertenece al concepto F es la extensin del concepto numricamente equivalente al concepto F, esto se debe de ver en correspondencia biunvoca para poder que no se entre en circularidad o redundancia con la definicin. Lo que Frege pasa a hacer despus de esto es definir todos los nmeros naturales en trminos de 0 y 1, e incremento en 1, entonces Frege comienza definiendo el 0 como: el numero que pertenece al concepto: no igual a s mismo. Para definir el uno lo hace por medio de la definicin de sucesor, por tanto, uno seria: Hay un concepto, idntico a cero, y un objeto que cae bajo el, cero, tal que el nmero que corresponde al concepto idntico a cero es 1, y el numero que corresponde al concepto idntico a cero pero no idntico a cero es 0, Con esto se define entonces los nmeros por medio de la sucesin como: 0 es el numero que pertenece al concepto no idntico a si mismo. 1 es el numero que pertenece al concepto idntico a cero.

2 es el numero que pertenece al concepto idntico a 0 o a 1. 3 es el numero que pertenece al concepto idntico a 0 o a 1, o a De esto se pasa a definir los nmeros que corresponden al concepto de nmero finito. Frege en su conclusin, dice el texto, espera haber demostrado la probabilidad de que las leyes de la aritmtica sean no solamente a priori sino analticas.