PEIRCE EN EL TOLIMA1

Arnold Oostra
Departamento de Matemticas y Estadstica Universidad del Tolima
Becario de la Fundacin Mazda para el Arte y la Ciencia

1. LUGAR
En el stretto de su precioso ensayo Ariel y Arisbe, Fernando Zalamea propone una visin
integral de Amrica Latina:
... el desarrollo histrico y cultural de Amrica Latina la ha ido conformando
sistemticamente como lugar de enlaces, como lugar relacional en el continuo de
la civilizacin occidental, continuo que no puede tratar de seccionarse, ya que la
misma especificidad del lugar latinoamericano se vera artificialmente mutilada.
(...) Lo relacional es rel de lo diverso, lugar permanente de contrapunteo e
hibridacin en el que no se detiene el flujo de la cultura. (...) Las correlaciones
geogrficas y culturales del lugar lo van haciendo aparecer como un lugar
plenamente tercero, espacio de la mediacin donde confluyen superposiciones
diversas y donde se adjuntan pausas y ritmos, silencios y contrapunteos. (...) El
sustrato relacional del lugar latinoamericano, su ubicacin en un continuo cultural,
su cultura de los lmites, su urdimbre de hibridaciones y resistencias, explican su
tendencia natural a la sntesis. La libertad del lugar no es casual: es libre gracias a
su misma capacidad de universalidad, de hibridacin de lo particular en lo general. 2

Colombia, pas central en Latinoamrica, es un lugar pletrico de enlaces, diversidad y

contrastes. El ttulo de esta nota sin duda refleja esta caracterstica puesto que el
Departamento del Tolima es en muchos aspectos una regin marginal de este pas de
1

Este documento corresponde a una charla del autor en la II Jornada del Grupo de Estudios Peirceanos La
lgica de Peirce y el mundo hispnico, Universidad de Navarra, Pamplona (Espaa), 10 de octubre de 2003.
2
Fernando Zalamea, Ariel y Arisbe. Evolucin y evaluacin del concepto de Amrica Latina en el siglo XX:
una visin crtica desde la lgica contempornea y la arquitectnica pragmtica de C. S. Peirce. Tercer
Lugar, Premio de Pensamiento Latinoamericano. Convenio Andrs Bello, Bogot, 2000.
-1-

hecho su capital, Ibagu, es apenas una de las ciudades intermedias del mismo. Aunque
en esta provincia hay un poco de agricultura, de ganadera y de comercio de consumo, ella
no se destaca de ninguna manera en el mbito nacional.
En Ibagu se han creado dos Universidades, una privada y una pblica o estatal. El
fuerte tradicional de esta ltima la Universidad del Tolima son las ciencias agronmicas
y veterinarias, pero ella tambin cuenta con una Facultad de Ciencias ciencias bsicas o
bien ciencias fsicas, exactas y naturales donde funciona una carrera de Matemticas con
nfasis en Estadstica.

2. HISTORIA
El inters del autor por la lgica matemtica de C. S. Peirce fue motivado de manera directa
por el maestro Fernando Zalamea a travs de sus charlas en diversos eventos matemticos,
de su entusiasmo ejemplar y de su solicitud que le hiciera al autor para escribir una resea
del magnfico libro Studies in the Logic of Charles Sanders Peirce3.
El estudio detallado de Studies condujo inicialmente a una serie de ponencias sobre
la lgica matemtica de Peirce en algunos foros matemticos de carcter nacional y
regional (vase el apndice A1). De manera simultnea se comenzaron a implementar con
xito los grficos existenciales de Peirce en el curso de Lgica de primer ao en la carrera
de Matemticas cabe anotar que en este momento los grficos existenciales aparecen en
los programas oficiales de los cursos regulares de Lgica en la Universidad del Tolima y
en un curso electivo de Lgica Matemtica ofrecido en el ltimo ao de esa carrera. En el
segundo semestre de 2001 se realiz en ese mismo espacio un curso electivo cuyo tema
especfico fue la lgica matemtica de Peirce (vase el apndice A2). Por otro lado, ya en el
ao 2000 se comenzaron algunos trabajos de lectura e investigacin con un grupo de
3

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.
-2-

estudiantes de la carrera de Matemticas, tareas que condujeron finalmente a la

culminacin exitosa de tres Trabajos de Grado, estas son monografas que los alumnos
deben presentar y defender al final de su carrera (vase el apndice A3). Uno de estos
trabajos incluy la traduccin al espaol del artculo de Peirce On the Logic of Number4.

3. METODOLOGA
En un escrito anterior se indican las motivaciones para el estudio de la lgica matemtica
de Charles S. Peirce.
... la lgica de Peirce s incluye la lgica matemtica/simblica/ formal/exacta que
estudiamos hoy como una rama de las ciencias matemticas. Muchos trabajos en
lgica y matemtica del siglo XX fueron anticipados por Peirce; muchas ideas
importantes de la lgica matemtica actual se deben a Peirce, aunque este hecho no
se reconozca de manera universal; mucha matemtica estudiada y sin estudiar se
encuentra en los escritos de Peirce, an en los Collected Papers.
(...) Para comprender a plenitud el pensamiento de Peirce, an desde la
perspectiva de la filosofa, es indispensable mirar con cuidado la matemtica
presente en ese legado. Desde otra ptica, si el matemtico quiere apreciar en la
obra de Peirce algo ms que una coleccin de resultados tcnicos dispersos, aunque
cada uno sea muy interesante en s, es indispensable que mire la arquitectura
filosfica del pensador.
En la tarea de recuperacin del legado lgico-matemtico de Peirce, as
como de otros aspectos de su obra, pueden distinguirse tres niveles. En primer lugar
es preciso leer a Peirce: abordar los temas matemticos presentes en sus escritos y
estudiarlos con rigor. En segundo lugar, cada aspecto de la obra de Peirce debe
interpretarse en contextos variados: sus aportes matemticos pueden compararse
con otros trabajos en el desarrollo de esta ciencia y, por otra parte, deben mirarse en
el contexto filosfico de la obra de Peirce. Por ltimo, la tarea ms difcil pero
tambin ms fructfera es la de construccin: las ideas lgico-matemticas
presentes en el legado de Peirce deben desarrollarse y explotarse para avanzar en el
planteamiento y la solucin de problemas abiertos importantes.5

La metodologa escogida para estos trabajos en la Universidad del Tolima ha consistido en

escoger temas especficos y concretos en la lgica matemtica de Peirce y estudiarlos desde
4

Charles S. Peirce, On the Logic of Number. American Journal of Mathematics 4 (1881) 8595. [Reimpreso
en Collected Papers 3.252288 y en Writings 4.299309.]

-3-

la perspectiva matemtica, esto es, con todos los instrumentos y las rutinas que provee la
matemtica actual. En este nivel se procura tomar como fuente los mismos escritos de
Peirce o bien documentos de autores que han estudiado de manera directa los manuscritos.
Estos esfuerzos locales, puntuales, pronto conducen a buscar conexiones del tema
considerado con aspectos ms generales del legado peirceano, iniciando as la construccin
de un contexto global. En este punto del trabajo se emplean con intensidad documentos de
estudiosos de Peirce que han sintetizado mucho de su legado. Luego se vuelve a mirar un
nuevo tema matemtico local, o un problema matemtico planteado por el tema anterior;
una vez resuelto, se busca ampliar el contexto global; etctera.
En resumen, se emplea un mtodo de vaivn entre contextos locales inspirados en
problemas matemticos planteados o resueltos por C. S. Peirce y contextos generales de la
arquitectnica pragmtica del pensador.

4. RESULTADOS
A las quince ponencias listadas en el apndice A1 pueden aadirse varias exposiciones
realizadas por los estudiantes. Adems de los informes finales de los tres trabajos de grado,
se han elaborado ya once escritos de diversa envergadura sobre los estudios realizados
(vase el apndice A4), siete de los cuales han sido publicados o estn en proceso de
publicacin a nivel nacional. La traduccin al espaol de On the Logic of Number tambin
est sometida a publicacin en una revista colombiana de matemticas, junto con un breve
artculo de presentacin.
Las mltiples preguntas y temas de inters, que complementan los trabajos
mencionados, permiten discernir un incipiente proyecto de investigacin an no
formalizado sobre la lgica matemtica de C. S. Peirce en la Universidad del Tolima.
5

Arnold Oostra, La lgica (matemtica) en Peirce. Indito. Participacin del autor en el Evento Peirce,
Universidad Nacional de Colombia, Bogot, 18 de marzo de 2002.
-4-

Son muy pocos los matemticos colombianos que incluyen la lgica de Peirce entre
sus temas mayores de estudio. Sin embargo puede decirse que la percepcin de Charles S.
Peirce en la comunidad matemtica colombiana es creciente: los matemticos colombianos
ms destacados han escuchado, ledo y opinado sobre el tema; el nombre Peirce aparece
con frecuencia cada vez mayor en las revistas colombianas de matemticas; como un signo
puntual pero significativo, puede sealarse que en el cartel oficial del Encuentro de
Geometra del ao 2003 aparece una fotografa de C. S. Peirce entre las efigies de una
cincuentena de los matemticos ms sobresalientes de la historia (vase el apndice A5).

Arnold Oostra
Departamento de Matemticas y Estadstica
Universidad del Tolima
A. A. 546
Ibagu (Tolima) COLOMBIA

oostra@bunde.tolinet.com.co

-5-

APNDICES

A1. Ponencias en Eventos

La lgica en la obra de C. S. Peirce
Universidad del Tolima, Ibagu, agosto 1998.
Cuatro aportes de Peirce a la lgica
XI Semana de la Licenciatura en Matemticas y Fsica
Universidad del Tolima, Ibagu, octubre 1999.
Los diagramas de la ciencia y la ciencia de los diagramas
II Semana de la Facultad de Ciencias
Universidad del Tolima, Ibagu, octubre 1999.
Propuestas de C. S. Peirce para el siglo XXI
Congreso Nacional de Matemticas - Seccin de Lgica
Universidad de los Andes, Bogot, agosto 2000.
El papel de los dibujos en la matemtica
I Encuentro Departamental de Matemtica Educativa
Colegio INEM, Ibagu, septiembre 2000.
Tres joyas en la lgica de C. S. Peirce
Universidad del Tolima, Ibagu, noviembre 2000.
La notacin de Peirce para los 16 conectivos lgicos
I Jornada Regional de Matemticas y Estadstica
Universidad del Tolima, Ibagu, mayo 2001.

-6-

Simetra y Lgica: La notacin de Peirce para los 16 conectivos binarios

XII Encuentro de Geometra
Universidad Pedaggica Nacional, Bogot, junio 2001.
Cuartetas de cuartetas
Encuentro de Topologa N 20
Universidad Sergio Arboleda, Bogot, octubre 2001.
La lgica (matemtica) en Peirce
Evento Peirce
Universidad Nacional de Colombia, Bogot, marzo 2002.
El concepto de nmero natural segn Charles S. Peirce
XIII Encuentro de Geometra y I Encuentro de Aritmtica
Universidad Pedaggica Nacional, Bogot, junio 2002.
Seminario: La lgica de C. S. Peirce
Universidad EAFIT, Medelln, agosto 2002.
La magia de los espejos en algunas tablas de Peirce
Universidad del Tolima, Ibagu, octubre 2002.
Simetra en algunas tablas de C. S. Peirce
XIV Encuentro de Geometra y II Encuentro de Aritmtica
Universidad Pedaggica Nacional, Bogot, junio 2003.
La notacin diagramtica de C. S: Peirce para los conectivos proposicionales binarios
Festival Acadmico Jairo Charris
Universidad Nacional de Colombia, agosto 2003.

-7-

A2. Curso impartido en la Universidad del Tolima Semestre B 2001

Tpicos en la Lgica de Peirce

Presentacin
Charles S. Peirce (1839 1914) es el mayor pensador americano de todos los tiempos.
Aunque es ms reconocida su influencia en la filosofa, l se consideraba a s mismo, ante
todo, un lgico. Por diversas razones histricas sus aportes relevantes y originales a la
lgica y a la matemtica han pasado desapercibidos, inicindose su recuperacin slo en las
ltimas dcadas del siglo XX.
Con este curso se procura fijar la atencin sobre el importante legado de Peirce estudiando
con cierto detalle algunos de sus aportes a la lgica matemtica. Sin embargo, para tal
estudio es indispensable el desarrollo de marcos histricos y filosficos adecuados para la
elaboracin de una panormica global de la obra del pensador.
A lo largo del curso se establecern conexiones interesantes y, a veces, sorprendentes con
las reas siguientes: Lgica de primer orden (clculo proposicional, clculo de predicados);
teora de conjuntos; lgebra; filosofa (epistemologa de la lgica y de la matemtica,
semitica); historia de la lgica.
Primer Plan de Curso
Perfil de Charles S. Peirce
Una axiomatizacin de los nmeros naturales debida a Peirce
Una enumeracin de los nmeros racionales por Peirce
La notacin de Peirce para los conectivos binarios
Los Grficos Existenciales de Peirce
Elementos del edificio filosfico de Peirce
-8-

Bibliografa
Ivor Grattan-Guiness, Peirce: entre la lgica y las matemticas. Mathesis, Vol 8
(1992), 5572.
Charles Hartshorne y Paul Weiss Collected Papers of Charles Sanders Peirce. Harvard
University Press, 19311935.
Nathan Houser, Don D. Roberts y James van Evra, Studies in the Logic of Charles
Sanders Peirce. Indiana University Press, Bloomington and Indianapolis, 1997.
Charles S. Peirce, Obra Lgico-Semitica. Taurus, Madrid, 1982.
Yuri Poveda, Los Grficos Existenciales de Peirce en los sistemas Alfa0 y Alfa00.
Boletn de Matemticas Nueva Serie Vol VII N 12 (2000).
Mariluz Restrepo, La semitica de Charles S. Peirce. Signo y Pensamiento
(Universidad Javeriana) Vol 9 N 16 (1990) 2746.
Fernando Soto, Edgar Osejo, Rafael Caballero, Acerca de una enumeracin peirceana
de los racionales. Boletn de Matemticas Nueva Serie Vol III N 2 (1996) 8396.
Pierre Thibaud, La Lgica de Charles Sanders Peirce: del lgebra a los Grficos.
Paraninfo, Madrid, 1982.
Fernando Zalamea, Una jabalina lanzada hacia el futuro: anticipos y aportes de C. S.
Peirce a la lgica matemtica del siglo XX. Mathesis, Vol 9 (1993) 391404.
Fernando Zalamea, Lgica Topolgica: una introduccin a los Grficos Existenciales
de Peirce. XIV Coloquio Distrital de Matemticas y Estadstica, Universidad
Pedaggica Nacional, Bogot, 1997.

-9-

A3. Trabajos de pregrado dirigidos en la Universidad del Tolima

Notacin de Peirce para los Conectivos Binarios
Estudiantes Mireya Garca y John Fredy Gmez. Defensa en agosto de 2002.
Este trabajo se centra en el anlisis de una de las contribuciones olvidadas de
Charles Sanders Peirce: una notacin completa e icnica para los 16 conectivos binarios. Se
estudian a fondo las simetras en el conjunto de los conectivos y su reflejo fiel en la
notacin propuesta por Peirce, sin descuidar el anlisis de la manera en que ella ejemplifica
la teora general de los signos debida al mismo Peirce. Adems se muestra cmo la
notacin permite atacar con xito varios problemas del clculo proposicional.
Correspondencia entre algunos sistemas de Lgica Modal y los Grficos Existenciales
Gama de Peirce
Estudiante Fabin Augusto Molina. Defensa en abril de 2003.
En los primeros dos captulos de esta monografa se hace una exposicin de los
grficos alfa y beta. De cada sistema se presentan los grficos, las reglas de transformacin
y algunas deducciones. En el tercer captulo se presentan las lgicas proposicionales
modales ms conocidas, desde una perspectiva sintctica. En el cuarto captulo se
introducen los grficos gama y se delimitan dos subsistemas que corresponden a las lgicas
modales S4 y S5.
Peano, Lawvere, Peirce: Tres Axiomatizaciones de los Nmeros Naturales
Estudiante Lina Mara Bedoya. Defensa en junio de 2003.
En este trabajo se hace una extensa presentacin de las axiomatizaciones
mencionadas en el ttulo haciendo especial nfasis en la de Peirce y se dan indicaciones
acerca de la equivalencia de estos tres sistemas. En el primer captulo se revisa la
axiomatizacin de los nmeros naturales debida a Peano; en el segundo se presenta la
axiomatizacin de Lawvere y se estudia su equivalencia con la de Peano. En el tercer
captulo se resea con detalle el artculo On the Logic of Number (1881) que contiene una
axiomatizacin de los nmeros naturales debida a Peirce; en el cuarto captulo se discute la
equivalencia de las axiomatizaciones de Peano y de Peirce. El quinto y ltimo captulo es la
traduccin al espaol del artculo On the Logic of Number.
- 10 -

A4. Escritos elaborados

En la lista que sigue, el ndice

significa que en la Biblioteca del Grupo de

Estudios Peirceanos en Pamplona se encuentra una copia en papel del

documento; el ndice significa que el escrito est disponible en formato
electrnico (algunos .PDF y otros .DOC); el ndice

significa que el

trabajo est publicado o en proceso de publicacin.

Acercamiento lgico a Peirce
[Artculo-Resea]
Boletn de Matemticas - Nueva Serie, VII N 2 (2000) 60 77.
La notacin de Peirce para los 16 conectivos lgicos
[Nota] Con Mireya Garca y Jhon Fredy Gmez.
Memorias de la I Jornada Regional de Matemticas y Estadstica, Universidad
del Tolima, Ibagu (2001) 3 pginas.
Simetra y Lgica: La notacin de Peirce para los 16 conectivos binarios
[Monografa] Con Mireya Garca y Jhon Fredy Gmez.
Memorias del XII Encuentro de Geometra, Universidad Pedaggica Nacional,
Bogot (2001) 1 26.
La lgica (matemtica) en Peirce
[Nota]
Los diagramas de la matemtica y la matemtica de los diagramas
[Artculo]
Boletn de Matemticas - Nueva Serie, VIII N 1 (2001) 1 7.

- 11 -

El concepto de nmero natural segn Charles S. Peirce

[Artculo]
Memorias del XIII Encuentro de Geometra y I Encuentro de Aritmtica,
Universidad Pedaggica Nacional, Bogot (2002), 1 18.
Simetra en algunas tablas de C. S. Peirce
[Artculo]
Memorias del XIV Encuentro de Geometra y II Encuentro de Aritmtica,
Universidad Pedaggica Nacional, Bogot (2003), por aparecer.
Estudio de algunas tablas de Peirce
[Documento de trabajo]
La notacin diagramtica de C. S. Peirce para los conectivos proposicionales binarios
[Artculo]
Revista de la Academia Colombiana de Ciencias Exactas, Fsicas y Naturales,
sometido a publicacin.
Peirce y los diagramas
[Artculo]
Peirce en el Tolima
[Nota]

- 12 -

A5. Fondo del cartel promocional del XIV Encuentro de Geometra

- 13 -