Acerca del art culo On the Logic of Number, de Charles S.

Peirce
Arnold Oostra

Dedicado a la memoria de nuestro eterno amigo Edward Prez e

Resumen. Esta es una presentacin del notable art o culo On the Logic of Number, publicado por Charles S. Peirce en 1881 y traducido recientemente al espaol. n Palabras clave. C. S. Peirce; axiomatizacin de los nmeros natuo u rales; aritmtica; conjunto ordenado; conjunto nito. e

Introduccin o

En el folclor matemtico se acepta de manera generalizada y un poco a simplista que la axiomatizacin de los nmeros naturales se debe a Giuo u seppe Peano en su trabajo de 1889, Arithmetices Principia Nova Methodo Exposita esto es, Principios de la Aritmtica expuestos mediante un Mtodo e e
Departamento de Matemticas y Estad a stica, Universidad del Tolima. Becario de la Fundacin Mazda para el Arte y la Ciencia. o

Nuevo. Los mritos de este texto son indiscutibles y su inuencia en ciertos e desarrollos de la lgica, inmensa. Pero la axiomatizacin de la aritmtica en o o e s era un problema que estaba en el ambiente y que dio lugar a numerosos y excelentes tratados de la literatura matemtica. Peano mismo indica que a para l fue muy util el escrito de Richard Dedekind, Was Sind und Was e Sollen die Zahlen? Qu son y para qu sirven los Nmeros? publie e u cado en 1888. Tampoco pueden pasarse por alto los trabajos de Gottlob Frege en esta direccin, realizados tres o cuatro aos antes. Y ocho aos o n n antes del escrito de Peano, en 1881, C. S. Peirce public en Norteamrica el o e breve art culo On the Logic of Number Sobre la Lgica del Nmero, que o u contiene una axiomatizacin original de la aritmtica. o e Charles Sanders Peirce cient co, matemtico, lgico y lsofo, entre a o o otros, es considerado uno de los intelectuales ms originales y verstiles a a de Amrica, equiparable a nivel universal solo con Aristteles y Leibniz. La e o historia de su trabajo, de su olvido y de la recuperacin de su legado ya se ha o contado en varias ocasiones anteriores (vase por ejemplo [5, 9, 16, 25, 26]). e Aunque en las ultimas dcadas sus aportes han sido reconocidos y estudia e dos de manera creciente por lsofos, semilogos, lingistas y pedagogos, o o u los lgicos y matemticos permanecen an ignorantes e indiferentes a los o a u tesoros que pueden hallarse en su legado. Pues el contenido autnticamente e matemtico en el trabajo de Peirce no es despreciable [6, 8, 23, 24]. En a particular, sobre la axiomatizacin de la aritmtica por Peirce se conoce solo o e un trabajo anterior [21, 22] aunque ahora se ha elaborado uno en espaol n [2] y el art culo On the Logic of Number aparece traducido al espaol por n primera vez en este nmero del Boletn de Matemticas. u a Benjamin Peirce, el padre de Charles, fue uno de los ms eminentes a matemticos y maestros de matemtica norteamericanos del siglo XIX. a a Su texto ms destacado se titula Linear Associative Algebra Algebra Lia neal Asociativa, fue publicado por primera vez en 1870 y entre sus primeras frases contiene la famosa denicin: o

La matemtica es la ciencia que obtiene conclusiones necesarias. a Despus del fallecimiento de Benjamin, ocurrido en 1880, Charles prepar e o una reedicin de este libro para ser publicada en la revista American Jouro nal of Mathematics. Aparentemente como un homenaje pstumo a su muy o apreciado padre escribi el art o culo On the Logic of Number, que aparece publicado inmediatamente antes de Linear Associative Algebra y cuya tesis central es que la aritmtica consiste en conclusiones necesarias. En efecto, e en la introduccin indica: o El objetivo de ste art e culo es mostrar que ellas [las proposiciones elementales concernientes al nmero] son consecuencias estrictau mente silog sticas de unas pocas proposiciones primarias.

Una lectura

En esta seccin se presenta de manera sucinta el contenido del art o culo On the Logic of Number, traducindolo al lenguaje matemtico actual (vase e a e tambin [17]). Aqu las palabras destacadas corresponden a la terminolog e a empleada por el autor.

Terminolog a
Un sistema de cantidad es un conjunto ordenado, esto es, dotado de una relacin binaria transitiva, reexiva y antisimtrica [15]. Parece que esta es o e la primera ocasin en la literatura matemtica en la que estas propiedades o a aparecen juntas: la denicin tan usual de conjunto ordenado se debe a o Charles S. Peirce. Un sistema de cantidad es simple si es lineal o total; un sistema de cantidad simple es discreto si cada elemento no minimal tiene antecesor inmediato; un sistema de cantidad simple discreto es limitado si tiene elementos m nimo y mximo, semi-limitado si solo tiene m a nimo e ilimitado si no tiene m nimo ni mximo. Un sistema de cantidad simple discreto a 3

semi-limitado es innito si es inductivo: del hecho de que cierta proposicin, o si es vlida para el antecesor inmediato de un elemento tambin lo es para el a e mismo elemento, puede inferirse que la proposicin, si es vlida para algn o a u elemento entonces tambin lo es para todos sus sucesores. e

Los n meros naturales u

Los nmeros ordinarios constituyen un sistema de cantidad simple, discreto, u semi-limitado e innito. De esta manera, Peirce axiomatiza los nmeros u naturales como un conjunto1 N dotado de una relacin binaria R que satisface o las condiciones siguientes. a) R es un orden lineal en N b) N posee elemento m nimo y no posee elemento mximo a c) Todo elemento de N distinto del m nimo posee antecesor inmediato d) Si un subconjunto S N satisface: para cada n N , si S contiene el antecesor inmediato de n entonces contiene a n entonces S satisface: si S contiene un elemento k entonces contiene todos los sucesores de k El nmero m u nimo es uno, 1. Las relaciones ternarias de adicin y mulo tiplicacin se denen como sigue de nuevo, parece que esta es la primera o ocasin en la que aparecen deniciones recursivas en matemticas: o a
Por supuesto, Peirce no emplea la terminolog actual de conjuntos, elementos, cona tenencia, etc.
1

1 + y = siguiente2 de y (1 + x) + y = 1 + (x + y)

1y = y (1 + x)y = y + xy.

A continuacin se demuestra una seleccin de proposiciones acerca de o o los nmeros. Las pruebas presentadas por Peirce se realizan todas por inu duccin, como se dice ahora. o 1. Ley asociativa de la adicin (x + y) + z = x + (y + z) o 2. Ley conmutativa de la adicin x + y = y + x o 3. Ley distributiva, primera clusula (x + y)z = xz + yz a 4. Ley distributiva, segunda clusula x(y + z) = xy + xz a 5. Ley asociativa de la multiplicacin (xy)z = x(yz) o 6. Ley conmutativa de la multiplicacin xy = yx o

Los n meros enteros u

Ahora se estudia un sistema de cantidad simple, discreto, ilimitado e innito en ambas direcciones. No hay m nimo pero cierta cantidad se denomina uno, 1. Los nmeros mayores o iguales que 1 satisfacen los axiomas de los nmeros u u naturales luego admiten las operaciones con sus propiedades demostradas. Para extender cualquiera de estas relaciones a todos los nmeros enteros u basta probar que si es vlida para un nmero, tambin lo es para su antecesor a u e inmediato. De esta manera, Peirce axiomatiza los nmeros enteros como un u conjunto Z dotado de una relacin binaria R que satisface las condiciones o siguientes.
Aunque Peirce no lo indica, de los axiomas se deriva con facilidad que cada elemento tiene sucesor inmediato.
2

a) R es un orden lineal en Z b) Z no posee elemento m nimo ni elemento mximo a c) Todo elemento de Z posee antecesor inmediato d) Si un subconjunto S Z satisface: para cada m Z, S contiene a m si y solo si contiene el antecesor inmediato de m entonces S = Z. La prueba de que las propiedades de las operaciones vlidas para los a nmeros naturales se extienden de manera inmediata a los enteros se simpliu ca en virtud del hecho siguiente. 7. Ley cancelativa de la adicin x + y = x + z implica y = z o El antecesor inmediato de 1 se llama cero, 0. A continuacin Peirce o demuestra estas propiedades adicionales. 8. x + 0 = x 9. x0 = 0 10. Todo elemento x mayor que 0 tiene un negativo x tal que x+(x) = 0 11. (x)y = (xy) 12. x = (x)

Los n meros naturales como ordinales y cardinales u

Una relacin de correspondencia simple es una funcin inyectiva. Una cuenta o o de un conjunto S es una funcin inyectiva c de S en N tal que si n < c(s) o para algn elemento s S entonces existe s S tal que n = c(s ) en u 6

otras palabras, es una funcin biyectiva de S en un segmento inicial de los o nmeros naturales. El nmero de la cuenta es el elemento mximo de su u u a imagen c(S), cuando existe. Un conjunto tiene muchas cuentas que, en principio, podr tener disan tintos nmeros. Peirce demuestra que esto no sucede, mediante las armau ciones siguientes3 cuya prueba vale la pena mirar en detalle. En esencia se est probando que un sistema de cantidad simple, discreto y limitado est a a determinado de manera unica por su cardinal. Lema. Si el nmero de alguna cuenta del segmento inicial de nmeros natuu u rales [1, x] es y entonces el nmero de alguna cuenta de [1, y] es x. u Demostracin. La denicin de cuenta puede desglosarse como sigue. o o 1) Si n x entonces existe c(n) 2) Si m c(n) para algn n x entonces m = c(n ) para algn n x u u 3) y = c(n) para algn n x u 4) Si p < c(n) para algn n x entonces p = y u No es dif vericar que la funcin c1 , inversa de c, tiene las mismas cuatro cil o propiedades y que, por tanto, es una cuenta. Teorema. El nmero de cualquier cuenta del segmento inicial de nmeros u u naturales [1, x] es x. Demostracin por induccin. Para x = 1, el enunciado se sigue de las denio o ciones. Supngase hiptesis de induccin que el nmero de cualquier o o o u cuenta de [1, n] es n. Si el nmero de alguna cuenta de [1, n + 1] es 1, por u el lema el nmero de alguna cuenta de [1, 1] es n + 1 lo cual contradice el u caso x = 1 ya visto. Luego el nmero de cualquier cuenta de [1, n + 1] es u
3

Aunque l no las enuncia ni las destaca como se acostumbra ahora. e

mayor que 1, sea m + 1 el nmero de alguna de estas cuentas. A partir de la u correspondencia biyectiva entre [1, n + 1] y [1, m + 1] puede elaborarse una entre [1, n] y [1, m], de donde m es el nmero de alguna cuenta de [1, n]. Por u hiptesis de induccin m = n, luego tambin m + 1 = n + 1. As el nmero o o e u de cualquier cuenta de [1, n + 1] es n + 1. En palabras de Peirce, el nmero de nmeros menores o iguales que x es u u x. Este hecho tiene consecuencias profundas. En primer lugar, el nmero u de cualquier cuenta de un conjunto es siempre el mismo y no depende de la cuenta. En segundo lugar, si un conjunto S tiene un nmero natural u por cuenta entonces no est en correspondencia biyectiva con ningn suba u conjunto propio. Es decir, si S es nito (est en correspondencia con un a segmento inicial propio de nmeros naturales) entonces es Dedekind-nito u (no es equipotente a ningn subconjunto propio)4 . En los prrafos postreros u a de su art culo, Peirce expresa esta propiedad como sigue: Si todo S es un P y si los P son una agrupacin nita con un nmero que no supera al de los o u S, entonces todo P es un S.

Problemas

En esta ultima seccin se indican algunos problemas abiertos relacionados o con el art culo On the Logic of Number. 1. Segn Paul Shields [22] en los escritos de Charles S. Peirce muchos de u ellos an inditos aparecen otras axiomatizaciones de la aritmtica. u e e Ser muy valioso rastrear todos los sistemas axiomticos peirceanos a a para los nmeros naturales y compararlos de alguna manera con el u trabajo publicado en 1881.
Ms de 40 aos despus Tarski mostr que para la prueba del enunciado rec a n e o proco se requiere el axioma de eleccin. o
4

2. Si bien la axiomatizacin de la aritmtica es diferente en los trabajos o e de Peirce y de Peano, la denicin de las operaciones y la prueba de o sus propiedades es casi idntica. Es inadmisible pensar que Peano haya e tomado las ideas de Peirce en ese caso con seguridad lo habr ina dicado en sus referencias pero s existe la posibilidad de que ambos se hayan inspirado en un mismo trabajo, quizs de uso corriente en la a poca. e Peano menciona entre sus fuentes el texto de Grassmann [7], as que valdr la pena mirar qu contiene este libro sobre la denicin de las a e o operaciones aritmticas y sobre sus propiedades. e 3. No es dif probar, de manera formal, que las axiomatizaciones presencil tadas por Peirce y Peano son equivalentes [2, 21]. Sin embargo, desde un punto de vista conceptual puede argirse que las presentaciones u tienen diferencias intr nsecas: en un caso se trata de un conjunto con una relacin binaria y en el otro de un conjunto con una endofuncin y o o un elemento distinguido. Cmo decidir si esta diferencia es esencial? o Para empezar, es preciso ubicar el problema en un contexto diferente al de la lgica y la teor de conjuntos clsicas. o a a Una metodolog que ha dado excelentes resultados en problemas simia lares consiste en emplear el lenguaje de la teor de categor [1, 4, 11, a as 13, 14]. Basta expresar las dos construcciones en trminos categricos e o y luego recorrer el espectro de las categor en busca de un contexto en as el cual las estructuras no sean isomorfas. La traduccin de los axiomas o de Peano al lenguaje categrico fue realizada de manera magistral por o William Lawvere [2, 12] y el resultado se conoce y se emplea con el nombre de objeto nmeros naturales [4, 10, 14]. u El problema abierto que se plantea consiste en traducir la axiomatizacin de Peirce al lenguaje de la teor de categor o a as.

Bibliograf a
[1] Julio C. Aponte y Carlos A. Cspedes, Caracterizacin de Morsmos e o en algunas Categoras Algebraicas. Tesis (matemticos). Universidad del a Tolima, Ibagu, 2000. e [2] Lina M. Bedoya, Peano, Lawvere, Peirce: Tres axiomatizaciones de los nmeros naturales. Tesis (matemtica). Universidad del Tolima, Ibagu, u a e 2003. [3] Richard Dedekind, Was Sind und Was Sollen die Zahlen? los Nmeros? Alianza Editorial, Madrid. u [4] Peter J. Freyd and Andre Scedrov, Categories, Allegories. NorthHolland, Amsterdam, 1990. [5] Mireya Garc Jhon Fredy Gmez y Arnold Oostra, Simetr y Lgica: a, o a o La notacin de Peirce para los 16 conectivos binarios. Memorias del XII o Encuentro de Geometr y sus Aplicaciones, Universidad Pedaggica a o Nacional, Bogot, 2001. Pginas 126. a a [6] Mireya Garc y Jhon Fredy Gmez, Notacin de Peirce para los Coneca o o tivos Binarios. Tesis (matemticos). Universidad del Tolima, Ibagu, a e 2002. [7] Hermann Grassmann, Lehrbuch der Arithmetik fr Hhere Lehranstalu o ten. Eslin, Berlin, 1861. [8] Ivor Grattan-Guinness, Peirce between Logic and Mathematics. In: Nathan Houser, Don D. Roberts and James Van Evra (Eds.), Studies in the Logic of Charles Sanders Peirce. Indiana University Press, Bloomington and Indianapolis, 1997. Pages 2342. Vieweg,

Braunschweig, 1888. Traducido al espaol: Qu son y para qu sirven n e e

10

[9] Nathan Houser, Introduction: Peirce as logician. In: Nathan Houser, Don D. Roberts and James Van Evra (Eds.), Studies in the Logic of Charles Sanders Peirce. Indiana University Press, Bloomington and Indianapolis (1997). Pages 122. [10] F. William Lawvere, An Elementary Theory of the Category of Sets. Proc. Nat. Acad. Sci. 52 (1964) 15061511. [11] F. William Lawvere and Stephen H. Schanuel, Conceptual Mathematics. A rst introduction to categories. Cambridge University Press, Cambridge, 1997. [12] Saunders Mac Lane and Garrett Birkho, Algebra. Macmillan, London, 1970. [13] Saunders Mac Lane, Categories for the Working Mathematician. Graduate Texts in Mathematics 5. Springer-Verlag, New York, 1971. [14] Saunders Mac Lane and Ieke Moerdijk, Sheaves in Geometry and Logic. A rst introduction to topos theory. Universitext. Springer-Verlag, New York, 1992. [15] Jos M. Muoz, Introduccin a la Teora de Conjuntos. Cuarta Edicin. e n o o Universidad Nacional de Colombia, Facultad de Ciencias, Bogot, 2002. a [16] Arnold Oostra, Acercamiento lgico a Peirce. Bolet de Matemticas o n a Nueva Serie VII (2000) 6077. [17] Arnold Oostra, El concepto de nmero natural segn Charles S. Peirce. u u Memorias del XIII Encuentro de Geometr y sus Aplicaciones y I Ena cuentro de Aritmtica, Universidad Pedaggica Nacional, Bogot, 2002. e o a Por aparecer.

11

[18] Giuseppe Peano, Arithmetices Principia Nova Methodo Exposita. Bocca, Turin, 1889. Translated into english: van Heijenoort, The Principles of Arithmetic, presented by a new method. [19] Benjamin Peirce, Linear Associative Algebra. Private edition, Washington D.C., 1870. Reprinted in: American Journal of Mathematics 4 (1881) 97 229. [20] Charles S. Peirce, On the Logic of Number. American Journal of Mathematics 4 (1881) 8595. Reprinted in: Collected Papers of Charles Sanders Peirce, Volume 3. Harvard University Press, Cambridge, 1932. 252288. Also reprinted in: Writings of Charles S. Peirce: A Chronological Edition, Volume 4. Indiana University Press, Bloomington and Indianapolis, 1989. Pages 299309. [21] Paul Shields, Charles S. Peirce on the Logic of Number. Ph. D. Dissertation. Fordham University, New York, 1981. [22] Paul Shields, Peirces axiomatization of arithmetic. In: Nathan Houser, Don D. Roberts and James Van Evra (Eds.), Studies in the Logic of Charles Sanders Peirce. Indiana University Press, Bloomington and Indianapolis, 1997. Pages 43 52. [23] Fernando Zalamea, Una jabalina lanzada hacia el futuro: Anticipos y aportes de C. S. Peirce a la lgica matemtica del siglo XX. Mathesis 9 o a (1993) 391404. [24] Fernando Zalamea, Lgica Topolgica: Una introduccin a los grcos o o o a existenciales de Peirce. XIV Coloquio Distrital de Matemticas y Esa tad stica, Universidad Pedaggica Nacional, Bogot, 1997. o a [25] Fernando Zalamea, Ariel y Arisbe. Evolucin y evaluacin del concepto o o de Amrica Latina en el siglo XX. Convenio Andrs Bello, Bogot, 2000. e e a

12

[26] Fernando Zalamea, El Continuo Peirceano. Aspectos globales y locales de genericidad, reexividad y modalidad: Una visin del continuo y la o arquitectnica pragmtica peirceana desde la lgica matemtica del siglo o a o a XX. Universidad Nacional de Colombia, Facultad de Ciencias, Bogot, a 2001.

Arnold Oostra Departamento de Matemticas y Estad a stica Universidad del Tolima AA 546 Ibagu, COLOMBIA e oostra@bunde.tolinet.com.co

13