You are on page 1of 8

Bolet´ de Matem´ticas ın a Nueva Serie, Volumen X No. 1 (2003), pp.

14–21

ACERCA DEL ART´ ICULO ON THE LOGIC OF NUMBER, DE CHARLES S. PEIRCE
ARNOLD OOSTRA (*)

Dedicado a la memoria de nuestro eterno amigo Edward P´rez e
Resumen. Esta es una presentaci´n del notable art´ o ıculo On the Logic of Number, publicado por Charles S. Peirce en 1881 y traducido al espa˜ol n en el Art´ ıculo que antecede a ´ste en el presente n´mero. e u Palabras clave. C. S. Peirce; axiomatizaci´n de los n´ meros naturales; o u aritm´tica; conjunto ordenado; conjunto finito. e

1.

´ Introduccion

En el folclor matem´tico se acepta de manera generalizada –y un poco simplista– a que la axiomatizaci´n de los n´meros naturales se debe a Giuseppe Peano en o u su trabajo de 1889, Arithmetices Principia Nova Methodo Exposita – esto es, Principios de la Aritm´tica expuestos mediante un M´todo Nuevo. Los m´ritos e e e de este texto son indiscutibles y su influencia en ciertos desarrollos de la l´gica, o inmensa. Pero la axiomatizaci´n de la aritm´tica en s´ era un problema que o e ı estaba en el ambiente y que di´ lugar a “numerosos y excelentes tratados de la o literatura matem´tica”. Peano mismo indica que para ´l fue muy util el escrito a e ´
(*) Arnold Oostra. Departamento de Matem´ticas y Estad´ a ıstica, Universidad del Tolima. Becario de la Fundaci´n Mazda para el Arte y la Ciencia. o A.A. 546 Ibagu´, COLOMBIA e e-mail: oostra@bunde.tolinet.com.co .
14

ACERCA DEL ART´ ICULO ON THE LOGIC OF NUMBER

15

de Richard Dedekind, Was Sind und Was Sollen die Zahlen? —¿Qu´ son y para e qu´ sirven los N´meros? — publicado en 1888. Tampoco pueden pasarse por ale u to los trabajos de Gottlob Frege en esta direcci´n, realizados tres o cuatro a˜os o n antes. Y ocho a˜os antes del escrito de Peano, en 1881, C. S. Peirce public´ en n o Norteam´rica el breve art´ e ıculo On the Logic of Number —Sobre la L´gica del o N´mero—, que contiene una axiomatizaci´n original de la aritm´tica. u o e Charles Sanders Peirce —cient´ ıfico, matem´tico, l´gico y fil´sofo, entre a o o otros—, es considerado uno de los intelectuales m´s originales y vers´tiles de a a Am´rica, equiparable a nivel universal solo con Arist´teles y Leibniz. La hise o toria de su trabajo, de su olvido y de la recuperaci´n de su legado ya se ha o contado en varias ocasiones anteriores (v´ase por ejemplo [5, 9, 16, 25, 26]). e Aunque en las ultimas d´cadas sus aportes han sido reconocidos y estudiados ´ e de manera creciente por fil´sofos, semi´logos, ling¨istas y pedagogos, los l´gio o u o cos y matem´ticos permanecen a´n ignorantes e indiferentes a los tesoros que a u pueden hallarse en su legado. Pues el contenido aut´nticamente matem´tico e a en el trabajo de Peirce no es despreciable [6, 8, 23, 24]. En particular, sobre la axiomatizaci´n de la aritm´tica por Peirce se conoce solo un trabajo anteo e rior [21, 22] aunque ahora se ha elaborado uno en espa˜ol [2] y el art´ n ıculo On the Logic of Number aparece traducido al espa˜ol —por primera vez— en este n n´mero del Bolet´ de Matem´ticas. u ın a Benjamin Peirce, el padre de Charles, fue uno de los m´s eminentes matem´tia a cos —y maestros de matem´tica— norteamericanos del siglo XIX. Su texto m´s a a ´ destacado se titula Linear Associative Algebra —Algebra Lineal Asociativa—, fue publicado por primera vez en 1870 y entre sus primeras frases contiene la famosa definici´n: o La matem´tica es la ciencia que obtiene conclusiones necea sarias. Despu´s del fallecimiento de Benjamin, ocurrido en 1880, Charles prepar´ una e o reedici´n de este libro para ser publicada en la revista American Journal of o Mathematics. Aparentemente como un homenaje p´stumo a su muy apreciado o 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 aritm´tica consiste en conclusiones necesarias. En efecto, en la introducci´n e o indica: El objetivo de ´ste art´ e ıculo es mostrar que ellas [las propiedades elementales concernientes al n´mero] son consecuencias estricu tamente silog´ ısticas de unas pocas proposiciones primarias.

16

ARNOLD OOSTRA

2.

Una lectura

En esta secci´n se presenta de manera sucinta el contenido del art´ o ıculo On the Logic of Number, traduci´ndolo al lenguaje matem´tico actual (v´ase tambi´n e a e e [17]). Aqu´ las palabras destacadas corresponden a la terminolog´ empleada ı ıa por el autor. Terminolog´ Un sistema de cantidad es un conjunto ordenado, esto es, dotaıa. do de una relaci´n binaria transitiva, reflexiva y antisim´trica [15]. Parece o e que esta es la primera ocasi´n en la literatura matem´tica en la que estas o a propiedades aparecen juntas: la definici´n tan usual de conjunto ordenado se o debe a 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 m´ximo, semi-limitado si solo tiene m´ a ınimo e ilimitado si no tiene m´ ınimo ni m´ximo. Un sistema de cantidad simple discreto semia limitado es infinito si es inductivo: del hecho de que cierta proposici´n, si es o v´lida para el antecesor inmediato de un elemento tambi´n lo es para el mismo a e elemento, puede inferirse que la proposici´n, si es v´lida para alg´n elemento o a u entonces tambi´n lo es para todos sus sucesores. e Los n´ meros naturales. Los n´meros ordinarios constituyen un sistema de u u cantidad simple, discreto, semi-limitado e infinito. De esta manera, Peirce axiomatiza los n´meros naturales como un conjunto1 N dotado de una relaci´n u o binaria R que satisface las condiciones siguientes. a) R es un orden lineal en N b) N posee elemento m´ ınimo y no posee elemento m´ximo 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 n´mero m´ u ınimo es uno, 1. Las relaciones ternarias de adici´n y multiplicaci´n o o se definen como sigue —de nuevo, parece que esta es la primera ocasi´n en la o que aparecen definiciones recursivas en matem´ticas—: a 1 + y = siguiente2de y (1 + x) + y = 1 + (x + y)
1

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

Por supuesto, Peirce no emplea la terminolog´ actual de conjuntos, elementos, conteıa

nencia, etc.

ACERCA DEL ART´ ICULO ON THE LOGIC OF NUMBER

17

A continuaci´n se demuestra “una selecci´n de proposiciones” acerca de los o o n´meros. Las pruebas presentadas por Peirce se realizan todas por inducci´n, u o como se dice ahora. 1. Ley asociativa de la adici´n (x + y) + z = x + (y + z) o 2. Ley conmutativa de la adici´n x + y = y + x o 3. Ley distributiva, primera cl´usula (x + y)z = xz + yz a 4. Ley distributiva, segunda cl´usula x(y + z) = xy + xz a 5. Ley asociativa de la multiplicaci´n (xy)z = x(yz) o 6. Ley conmutativa de la multiplicaci´n xy = yx o Los n´ meros enteros. Ahora se estudia un sistema de cantidad simple, disu creto, ilimitado e infinito en ambas direcciones. No hay m´ ınimo pero cierta cantidad se denomina uno, 1. Los n´meros mayores o iguales que 1 satisfacen u los axiomas de los n´meros naturales luego admiten las operaciones con sus u propiedades demostradas. Para extender cualquiera de estas relaciones a todos los n´meros enteros basta probar que si es v´lida para un n´mero, tambi´n lo u a u e es para su antecesor inmediato. De esta manera, Peirce axiomatiza los n´meros u enteros como un conjunto Z dotado de una relaci´n binaria R que satisface las o condiciones siguientes. a) R es un orden lineal en Z b) Z no posee elemento m´ ınimo ni elemento m´ximo 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 v´lidas para los n´meros a u naturales se extienden de manera inmediata a los enteros se simplifica en virtud del hecho siguiente. 7. Ley cancelativa de la adici´n x + y = x + z implica y = z o El antecesor inmediato de 1 se llama cero, 0. A continuaci´n Peirce demuestra o 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)
2Aunque Peirce no lo indica, de los axiomas se deriva con facilidad que cada elemento

tiene sucesor inmediato.

18

ARNOLD OOSTRA

Los n´ meros naturales como ordinales y cardinales. Una relaci´n de u o correspondencia simple es una funci´n inyectiva. Una cuenta de un conjunto S o es una funci´n inyectiva c de S en N tal que si n < c(s) para alg´n elemento o u s ∈ S entonces existe s ∈ S tal que n = c(s ) — en otras palabras, es una funci´n biyectiva de S en un segmento inicial de los n´meros naturales. El o u n´mero de la cuenta es el elemento m´ximo de su imagen c(S), cuando existe. u a Un conjunto tiene muchas cuentas que, en principio, podr´ tener distintos ıan n´meros. Peirce demuestra que esto no sucede, mediante las afirmaciones siu guientes3 cuya prueba vale la pena mirar en detalle. En esencia se est´ probando a que un sistema de cantidad simple, discreto y limitado est´ determinado de a manera unica por su cardinal. ´ Lema. Si el n´mero de alguna cuenta del segmento inicial de n´meros natuu u rales [1, x] es y entonces el n´mero de alguna cuenta de [1, y] es x. u Demostraci´n. La definici´n de cuenta puede desglosarse como sigue. o o 1) 2) 3) 4) Si n ≤ x entonces existe c(n) Si m ≤ c(n) para alg´n n ≤ x entonces m = c(n ) para alg´n n ≤ x u u y = c(n) para alg´n n ≤ x u Si p < c(n) para alg´n n ≤ x entonces p = y u

No es dif´ verificar que la funci´n c1 , inversa de c, tiene las mismas cuatro ıcil o propiedades y que, por tanto, es una cuenta. Teorema. El n´mero de cualquier cuenta del segmento inicial de n´meros u u naturales [1, x] es x. Demostraci´n por inducci´n. Para x = 1, el enunciado se sigue de las definio o ciones. Sup´ngase —hip´tesis de inducci´n— que el n´mero de cualquier cuenta o o o u de [1, n] es n. Si el n´mero de alguna cuenta de [1, n + 1] es 1, por el lema el u n´mero de alguna cuenta de [1, 1] es n + 1 lo cual contradice el caso x = 1 ya u visto. Luego el n´mero de cualquier cuenta de [1, n + 1] es mayor que 1, sea u m + 1 el n´mero de alguna de estas cuentas. A partir de la correspondencia u biyectiva entre [1, n + 1] y [1, m + 1] puede elaborarse una entre [1, n] y [1, m], de donde m es el n´mero de alguna cuenta de [1, n]. Por hip´tesis de inducci´n u o o m = n, luego tambi´n m + 1 = n + 1. As´ el n´mero de cualquier cuenta de e ı u [1, n + 1] es n + 1.
3Aunque ´l no las enuncia ni las destaca como se acostumbra ahora. e

ACERCA DEL ART´ ICULO ON THE LOGIC OF NUMBER

19

En palabras de Peirce, el n´mero de n´meros menores o iguales que x es x. Este u u hecho tiene consecuencias profundas. En primer lugar, el n´mero de cualquier u cuenta de un conjunto es siempre el mismo y no depende de la cuenta. En segundo lugar, si un conjunto S tiene un n´mero natural por cuenta entonces u no est´ en correspondencia biyectiva con ning´n subconjunto propio. Es decir, si a u S es finito (est´ en correspondencia con un segmento inicial propio de n´meros a u naturales) entonces es Dedekind-finito (no es equipotente a ning´n subconjunto u propio)4. En los p´rrafos postreros de su art´ a ıculo, Peirce expresa esta propiedad como sigue: Si todo S es un P y si los P son una agrupaci´n finita con un n´mero o u que no supera al de los S, entonces todo P es un S.

3.

Problemas

En esta ultima secci´n se indican algunos problemas abiertos relacionados con ´ o el art´ ıculo On the Logic of Number. 1. Seg´n Paul Shields [22] en los escritos de Charles S. Peirce —muchos de u ellos a´n in´ditos— aparecen otras axiomatizaciones de la aritm´tica. u e e Ser´ muy valioso rastrear todos los sistemas axiom´ticos peirceanos ıa a para los n´meros naturales y compararlos de alguna manera con el u trabajo publicado en 1881. 2. Si bien la axiomatizaci´n de la aritm´tica es diferente en los trabajos o e de Peirce y de Peano, la definici´n de las operaciones y la prueba de o sus propiedades es casi id´ntica. Es inadmisible pensar que Peano haya e tomado las ideas de Peirce —en ese caso con seguridad lo habr´ inıa dicado en sus referencias— pero s´ existe la posibilidad de que ambos ı se hayan inspirado en un mismo trabajo, quiz´s 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 definici´n de las ıa e o operaciones aritm´ticas y sobre sus propiedades. e 3. No es dif´ probar, de manera formal, que las axiomatizaciones presenıcil tadas por Peirce y Peano son equivalentes [2, 21]. Sin embargo, desde un punto de vista conceptual puede arg¨irse que las presentaciones u tienen diferencias intr´ ınsecas: en un caso se trata de un conjunto con una relaci´n binaria y en el otro de un conjunto con una endofunci´n y o o un elemento distinguido. ¿C´mo decidir si esta diferencia es esencial? o Para empezar, es preciso ubicar el problema en un contexto diferente al de la l´gica y la teor´ de conjuntos cl´sicas. o ıa a
4M´s de 40 a˜ os despu´s Tarski mostr´ que para la prueba del enunciado rec´ a n e o ıproco se

requiere el axioma de elecci´n. o

20

ARNOLD OOSTRA

Una metodolog´ que ha dado excelentes resultados en problemas ıa similares consiste en emplear el lenguaje de la teor´ de categor´ ıa ıas [1, 4, 11, 13, 14]. Basta expresar las dos construcciones en t´rminos e categ´ricos y luego recorrer el espectro de las categor´ en busca de o ıas un contexto en el cual las estructuras no sean isomorfas. La traducci´n o de los axiomas de Peano al lenguaje categ´rico fue realizada de manera o magistral por William Lawvere [2, 12] y el resultado se conoce —y se emplea— con el nombre de objeto n´meros naturales [4, 10, 14]. u El problema abierto que se plantea consiste en traducir la axiomatizaci´n de Peirce al lenguaje de la teor´ de categor´ o ıa ıas.

Bibliograf´ ıa
[1] Julio C. Aponte y Carlos A. C´spedes, Caracterizaci´n de Morfismos en algunas Catee o gor´ Algebraicas. Tesis (matem´ticos). Universidad del Tolima, Ibagu´, 2000. ıas a e [2] Lina M. Bedoya, Peano, Lawvere, Peirce: Tres axiomatizaciones de los n´meros natuu rales. Tesis (matem´tica). Universidad del Tolima, Ibagu´, 2003. a e [3] Richard Dedekind, Was Sind und Was Sollen die Zahlen? Vieweg, Braunschweig, 1888. Traducido al espa˜ol: ¿Qu´ son y para qu´ sirven los N´meros? Alianza Editorial, n e e u Madrid. [4] Peter J. Freyd and Andre Scedrov, Categories, Allegories. North-Holland, Amsterdam, 1990. [5] Mireya Garc´ Jhon Fredy G´mez y Arnold Oostra, Simetr´ y L´gica: La notaci´n de ıa, o ıa o o Peirce para los 16 conectivos binarios. Memorias del XII Encuentro de Geometr´ y sus ıa Aplicaciones, Universidad Pedag´gica Nacional, Bogot´, 2001. P´ginas 1–26. o a a [6] Mireya Garc´ y Jhon Fredy G´mez, Notaci´n de Peirce para los Conectivos Binarios. ıa o o Tesis (matem´ticos). Universidad del Tolima, Ibagu´, 2002. a e [7] Hermann Grassmann, Lehrbuch der Arithmetik f¨r H¨here Lehranstalten. Eslin, Berlin, u o 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 23–42. [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 1–22. [10] F. William Lawvere, An Elementary Theory of the Category of Sets. Proc. Nat. Acad. Sci. 52 (1964) 1506–1511. [11] F. William Lawvere and Stephen H. Schanuel, Conceptual Mathematics. A first introduction to categories. Cambridge University Press, Cambridge, 1997. [12] Saunders Mac Lane and Garrett Birkhoff, Algebra. Macmillan, London, 1970.

ACERCA DEL ART´ ICULO ON THE LOGIC OF NUMBER

21

[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 first introduction to topos theory. Universitext. Springer-Verlag, New York, 1992. [15] Jos´ M. Mu˜ oz, Introducci´n a la Teor´ de Conjuntos. Cuarta Edici´n. Universidad e n o ıa o Nacional de Colombia, Facultad de Ciencias, Bogot´, 2002. a [16] Arnold Oostra, Acercamiento l´gico a Peirce. Bolet´ de Matem´ticas - Nueva Serie VII o ın a (2000) 60–77. [17] Arnold Oostra, El concepto de n´mero natural seg´n Charles S. Peirce. Memorias del u u XIII Encuentro de Geometr´ y sus Aplicaciones y I Encuentro de Aritm´tica, Univerıa e sidad Pedag´gica Nacional, Bogot´, 2002. Por aparecer. o a [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) 85–95. Reprinted in: Collected Papers of Charles Sanders Peirce, Volume 3. Harvard University Press, Cambridge, 1932. §252–288. Also reprinted in: Writings of Charles S. Peirce: A Chronological Edition, Volume 4. Indiana University Press, Bloomington and Indianapolis, 1989. Pages 299–309. [21] Paul Shields, Charles S. Peirce on the Logic of Number. Ph. D. Dissertation. Fordham University, New York, 1981. [22] Paul Shields, Peirce’s 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 l´gica matem´tica del siglo XX. Mathesis 9 (1993) 391–404. o a [24] Fernando Zalamea, L´gica Topol´gica: Una introducci´n a los gr´ficos existenciales de o o o a Peirce. XIV Coloquio Distrital de Matem´ticas y Estad´ a ıstica, Universidad Pedag´gica o Nacional, Bogot´, 1997. a [25] Fernando Zalamea, Ariel y Arisbe. Evoluci´n y evaluaci´n del concepto de Am´rica o o e Latina en el siglo XX. Convenio Andr´s Bello, Bogot´, 2000. e a [26] Fernando Zalamea, El Continuo Peirceano. Aspectos globales y locales de genericidad, reflexividad y modalidad: Una visi´n del continuo y la arquitect´nica pragm´tica o o a peirceana desde la l´gica matem´tica del siglo XX. Universidad Nacional de Colombia, o a Facultad de Ciencias, Bogot´, 2001. a