Beruflich Dokumente
Kultur Dokumente
R a l a
Una reseña de la lógica matemática
de Charles S. Peirce (1839 - 1914)*
Arnold Oostra
Doctor en Ciencias Matemáticas.
Profesor, Departamento de Matemáticas y Estadística,
Universidad del Tolima.
oostra@telecom.com.co
Palabras Clave
Resumen
Charles S. Peirce
Luego de una presentación muy general de Charles S. Peirce, en este Lógica matemática
artículo divulgativo se hace una reseña corta de sus trabajos lógico- Conectivos
matemáticos, se propone una clasificación de los mismos según su Cuantificadores
ingreso al corpus matemático y se indican algunas líneas abiertas a Gráficos existenciales
la investigación. Continuo
*
Este artículo hace parte del Proyecto 110106 del Comité Central de Investigaciones de la Universidad del Tolima.
10 REVISTA Universidad EAFIT. Vol. 44. No. 150 | abril, mayo, junio 2008
T
científico en el U. S. Coast and Geodetic Survey,
anto por sus contribuciones técnicas
el servicio geodésico de los Estados Unidos que
como por su empeño constante en
hoy forma parte del NOAA, y desde 1879 hasta
imprimirle rigor matemático a todos los
1884 tuvo la cátedra de lógica en la entonces
argumentos, fueran científicos o filosó-
recién fundada Universidad Johns Hopkins. Poco
ficos, Charles S. Peirce puede ser considerado
después de que le fuera cancelada esta vinculación
uno de los pioneros de la lógica matemática como
se trasladó con su segunda esposa a una casa de
se la concibe hoy en día. Mirado casi siempre
campo en Pennsylvania, donde residió por el resto
como un filósofo, una revisión de sus trabajos
de su vida.
permite verlo más bien como un científico. Más
aún, muchos de sus trabajos indicados como Charles Peirce publicó dos libros y un número muy
aportes a la lógica podrían reclasificarse como considerable de artículos en diversas revistas,
contribuciones a la matemática. periódicos y enciclopedias. Sin embargo, el mayor
volumen de sus escritos no estaba publicado en el
1. Charles S. Peirce, científico y momento de su muerte; de hecho, los manuscritos
filósofo elaborados por Peirce durante sus últimos treinta
años frisan en la exorbitante cantidad de cien mil
Charles Sanders Peirce fue un científico, lógico páginas. Aparte de algunos artículos individuales y
y filósofo norteamericano quien vivió entre 1839 una cantidad de extractos menores, en la primera
y 1914. Despreciado por muchos y olvidado por mitad del siglo XX se publicó la selección titulada
décadas, sin embargo ha sido reconocido como Collected Papers (Peirce, 1931) y desde 1982
una de las mentes más brillantes, originales y se está elaborando una edición cronológica más
versátiles de toda América. Desde hace unos completa conocida como Writings (Peirce, 1982).
treinta años se realizan a nivel mundial ingentes
esfuerzos por recuperar, sistematizar y aplicar su 1.1 Algunos aportes a la ciencia
pensamiento.
Puesto que Charles Peirce siempre mantuvo un
Charles Peirce nació en una destacada familia de muy amplio espectro de intereses, es posible
Boston. Su padre, Benjamin Peirce, fue maestro señalar una gran variedad de aportes originales
de matemáticas y astronomía en Harvard durante y significativos a diferentes ciencias. Por ejemplo,
cuarenta años y sin duda es uno de los pioneros una de sus tareas como científico del U. S. Coast
de la ciencia matemática en América. Charles and Geodetic Survey fue la medición de la gravedad
se graduó con honores de la misma Universidad en diversos puntos de los Estados Unidos.
∗
This article is part of project 110106 of the Central Committee for Research, University of Tolima.
OOSTRA, A. | Una reseña de la lógica matemática de Charles S. Peirce (1839 - 1914) 11
Para ello perfeccionó los péndulos de precisión de la lógica y de la astronomía, y adelantó estudios
empleados con ese fin, alcanzando así renombre en biografías comparadas de grandes personajes
mundial. Estas mediciones, además, le condujeron de la humanidad. Tradujo del latín al inglés
a estudios sobre la elipticidad de la Tierra. Por otro documentos significativos para la historia de la
lado, desde 1879, Peirce propuso establecer la ciencia como el tratado de Petrus Peregrinus y un
medida del metro en términos de la longitud de documento de Fibonacci.
onda de la luz, eliminando así la necesidad de la
comparación con un patrón específico. 1.2 Principales aportes a la filosofía
Figura 1. Charles S. Peirce en 1875 Una de las características notables del legado
de Charles Peirce es que no se trata de una
colección inmensa de aportes desconectados
sino que todos se enmarcan en un gran sistema
general de pensamiento. Los escritos de Peirce
revelan un constante vaivén entre desarrollos
técnicos y científicos particulares, por un lado, e
ideas filosóficas muy generales por el otro. Esto
por supuesto constituye una cierta barrera para la
fácil comprensión de sus trabajos. Pero al mismo
tiempo su sistema general inspira interés creciente
entre muchas personas dedicadas a la filosofía
que lo han reconocido como un aporte valioso a
esa disciplina.
Como lingüista, Peirce escribió una gramática Respecto a la filosofía de la ciencia, además
árabe, un estudio de los jeroglíficos egipcios y de una original clasificación de las ciencias,
guías de pronunciación del griego clásico y del Peirce desarrolló la teoría del método científico,
inglés shakespeariano, entre otros trabajos. Fue, anticipándose con ello por décadas a Albert
además, un precursor en la lingüística comparada. Einstein. Esta teoría se basa en una noción
Fue pionero también en otro campo totalmente normativa de la verdad científica, respecto a la
diferente: sus estudios sobre la sensación del color cual vale la pena destacar una de sus frases más
lo constituyeron en el primer psicólogo experimental citadas (Peirce, 1931, v.1, §135):
en toda América.
De esta primera, y en un sentido, única regla
Charles Peirce también fue historiador. Escribió de la razón, (es decir) que para aprender
tratados sobre la historia de la ciencia, en especial debes desear aprender y deseándolo así
12 REVISTA Universidad EAFIT. Vol. 44. No. 150 | abril, mayo, junio 2008
no estar satisfecho con lo que ya estás la figura de su padre. Benjamin Peirce hizo
inclinado a pensar, se sigue un corolario que contribuciones a la teoría de números y al álgebra
en sí mismo es digno de ser inscrito en cada abstracta así como a la filosofía de la matemática,
pared de la ciudad de la filosofía: a la mecánica celeste y a la geodesia, hasta el
punto de constituirse no solo en el padre de las
No bloquees el camino de la inves-
matemáticas en toda América sino en uno de los
tigación2.
precursores del álgebra abstracta moderna. Es
indudable que estas cualidades ejercieron un peso
2. Charles S. Peirce, matemático
determinante en la educación de su hijo.
En repetidas ocasiones Peirce señaló que había
Figura 2. Charles S. Peirce
dedicado su vida, desde la adolescencia, al
estudio de la lógica. Pero en esa época la lógica
formal como se la concibe hoy en día apenas
estaba en ciernes, de hecho su rumbo actual
estuvo influido de manera decisiva por los aportes
de Peirce. ¿A qué se refiere entonces Charles
Peirce con el término “lógica”? En alguno de sus
escritos describió esta ciencia de una manera muy
general como semiótica formal, esto es, el estudio
de las leyes formales de los signos (Peirce, 2007,
80). Pero como para Peirce, casi cualquier cosa
puede verse como un signo, la conclusión es que
cualquier investigación científica es un ejercicio de
lógica. En estos términos, la lógica se identifica
en buena parte con su gran sistema general de
pensamiento y ello explica por qué Charles Peirce
se consideraba a sí mismo, ante todo, un lógico.
La carrera de Peirce en el U. S. Coast and Geodetic una carta suya le apostó a las máquinas eléctricas3
Survey incluyó mucho trabajo matemático (en y trazó los primeros diagramas conocidos que
particular, los innumerables cálculos se hacían y asocian los conectivos lógicos básicos con ciertos
se corregían a mano) y dio lugar a una variedad de circuitos electrónicos, anticipando así de manera
aportes teóricos a la matemática aplicada. Como notable muchos desarrollos tecnológicos del siglo
ejemplo puede citarse la proyección quincuncial XX (Peirce, 1982, v.5, 421). Peirce también jugó un
del globo terráqueo, una proyección conforme de papel en el nacimiento de la aviación, pues ayudó
la esfera terrestre sobre un cuadrado iterable y que con el soporte teórico y los cálculos matemáticos
durante algún tiempo fue utilizada para trazar rutas a Samuel P. Langley, uno de los pioneros de
aéreas (Peirce, 1982, v.4, 68). Por otro lado, quizás la aeronáutica, cuyo primer vuelo fracasó
los abundantes cálculos sugirieron a Peirce su circunstancialmente pocos días antes del exitoso
interés por las máquinas calculadoras. De hecho, en vuelo de los hermanos Wright (Ketner, 2001).
Además de las investigaciones más significativas en matemática pura, detalladas en la sección 2.2, Peirce
adelantó abundantes trabajos menos conocidos en esta área que resaltan su imagen como matemático.
Por ejemplo, cuando sus ingresos mermaron, intentó realizar varios proyectos matemáticos a fin de
aumentarlos: uno consistió en la redacción de textos de aritmética, álgebra y geometría para la educación
3
“I think electricity would be the best thing to rely on”.
14 REVISTA Universidad EAFIT. Vol. 44. No. 150 | abril, mayo, junio 2008
gráficos existenciales, que en palabras de Peirce sobre la ciencia, Charles Peirce fue ante todo un
es “un diagrama para ilustrar el curso general matemático y hombre de ciencia cuyas reflexiones
del pensamiento” (Peirce, 1931, v.4, §530) 4 y “un filosóficas mayormente fueron fruto de su intensa
diagrama burdo y generalizado de la mente” (Peirce, actividad científica. Esta tesis se ha denominado
1931, v.4, §582)5. Se trata de un método que permite Ley de Eisele en honor a su más aguerrida
defensora.
graficar de manera eficiente las proposiciones
lógicas y luego transformar el diagrama obtenido
Sin embargo, en la comunidad matemática el
para, finalmente, leer conclusiones en el gráfico
panorama es muy diferente ya que allí el trabajo
resultante.
y aun el nombre de Charles Peirce permanecen
La lógica del continuo también ocupó a Peirce prácticamente desconocidos hasta el día de hoy.
durante los últimos decenios de su vida. El estudio En consecuencia, la divulgación constante de
del continuo general empalma con la lógica de los sus ideas y su aplicación a la matemática actual
relativos mediante la divisa siguiente: “La lógica de constituyen un imperativo ineludible para las
relaciones muestra que la continuidad no es más (pocas) personas expertas en matemáticas que
que un tipo superior de lo que conocemos como también se han interesado por el legado de este
generalidad. Es generalidad relacional” (Peirce, científico.
1931, v.6, §190)6. Según Peirce, el continuo
es general y supermultitudinario, reflexivo e 3.1 Una clasificación del trabajo
inextensible, modal y plástico. Estas características matemático
rebasan las del continuo de Cantor, empleado de
manera generalizada en la matemática actual, Tanto los trabajos locales de Peirce en matemática
aunque durante el siglo XX han sido propuestos como sus líneas globales de investigación, pueden
diversos modelos alternativos que comparten una desglosarse en tres grupos, según el destino que
u otra de las propiedades sugeridas por Peirce corrieron en relación con el corpus matemático.
(Zalamea, 2001; Oostra, 2004b).
En primer lugar están los aportes, aquellas ideas
3. Pasado, presente y futuro de la e investigaciones que ingresaron directamente
matemática peirceana a la matemática y que, salvo tergiversaciones u
omisiones históricas, se atribuyen a Peirce. Como
Al abordar el tema de la percepción del legado ejemplo puede citarse la fórmula proposicional
matemático peirceano por la comunidad científica ((p → q) → p) → p, conocida como la ley de Peirce
actual, resulta obligado mencionar a Carolyn porque fue introducida por él en 1885 (Peirce,
Eisele y la titánica labor de recuperación realizada 1931, v.3, §384). En la actualidad esta fórmula
por ella a lo largo de su carrera académica. Desde es reconocida como la diferencia determinante
su primer artículo sobre Peirce, en 1951, hasta su entre la lógica clásica y la intuicionista en el
muerte en el año 2000, Eisele produjo una notable sentido de que si a esta última se añade la ley de
cantidad de artículos, ensayos y ediciones críticas Peirce entonces se obtiene la clásica. Otro aporte
que cambiaron de manera definitiva la percepción indiscutido es la presentación del orden como
sobre la obra de Peirce. En vez de un filósofo una relación reflexiva, transitiva y antisimétrica
ocupado tangencialmente con especulaciones (Peirce, 1931, v.3, §253), además de una cantidad
de nociones y terminología de uso corriente en la
4
“A diagram to illustrate the general course of thought”. teoría de retículos.
5
“A rough and generalized diagram of the Mind”.
La porción algebraica de la lógica de relativos
6
“Now continuity is shown by the logic of relations to be nothing
but a higher type of that which we know as generality. It is
de Peirce –el álgebra de la lógica y la teoría de
relational generality”. la cuantificación– constituye el fundamento de la
16 REVISTA Universidad EAFIT. Vol. 44. No. 150 | abril, mayo, junio 2008
lógica de primer orden. Esta lógica, a su vez, puede para conjuntos infinitos y estudió la relación entre
considerarse uno de los pilares fundamentales ellos (Peirce, 1931, v.3, §288). Propuso una lógica
de la lógica matemática actual y de su rama más con tres valores de verdad (Peirce, 1931, v.4,
pujante, la teoría de modelos. Si bien, en la historia §307), anticipándose varias décadas con ello a
de la matemática su origen se atribuye de manera Post y a los matemáticos de la escuela polaca,
generalizada a otras fuentes, recientemente ha quienes figuran oficialmente como los inventores
sido demostrado de manera concluyente que la de las lógicas multivaluadas. Un anticipo más que
línea de investigadores que dio lugar a la lógica merece mencionarse es la axiomatización de la
de primer orden es Boole – De Morgan – Peirce – lógica proposicional, propuesta por Peirce en 1885
Schröder – Löwenheim – Skolem – Tarski (Brady, (Peirce, 1931, v.3, §376) y redescubierta por otros
2000). Sin duda este es el aporte más significativo autores durante el siglo XX.
de Peirce a la matemática.
Figura 4. Los conectivos binarios completos
En segundo lugar se destacan los anticipos de
Peirce, trabajos realizados por él pero que no p q p|q p q p↓q
recibieron atención y quedaron en el olvido. Años
V V F V V F
o décadas después otros matemáticos, trabajando
de manera totalmente independiente e ignorando V F V V F F
los manuscritos de Peirce, llegaron a conclusiones F V V F V F
idénticas y sus trabajos sí ingresaron al corpus
F F V F F V
matemático. Estos anticipos constituyen una
prueba concreta y sólida para el hecho de que
Fuente: elaboración propia
Charles Peirce estaba adelantado, por mucho, a
su tiempo. Por supuesto, en estos casos no puede
negarse el mérito de los otros investigadores, sin Aunque no se trata estrictamente de anticipos,
embargo, un recuento histórico completo y justo bajo este rótulo pueden incluirse algunas ideas
tendría que incluir también alguna referencia a los de Peirce que fueron desarrolladas de manera
anticipos de Peirce. Un caso notable y clarificador simultánea por otros matemáticos pero con un
es la axiomatización de la aritmética: Peirce publicó enfoque totalmente diferente. También en estos
en 1881 una axiomatización completa (Peirce, casos la historia de la matemática suele favorecer
1931, v.3, §252) pero aparentemente no tuvo a los otros autores y omitir a Peirce. Tal es el caso,
mayor impacto; el matemático italiano Giuseppe por ejemplo, de la enumeración de los números
Peano publicó otra en 1889 que tuvo gran acogida racionales: en la inmensa mayoría de los cursos
y llegó a formar parte de “lo que todo matemático y los textos de teoría de conjuntos se repite el
debe saber” (Oostra, 2003). procedimiento ideado por Cantor mientras el
algoritmo propuesto por Peirce es prácticamente
Otro anticipo de Peirce es el estudio de los dos desconocido (Peirce, 1976, v.3, 910).
conectivos binarios completos (Peirce, 1982,
v.4, 218; Peirce, 1931, v.4, §264). Un conectivo Un tercer grupo de trabajos lógico-matemáticos
proposicional es completo si todos los demás de Peirce está constituido por lo que podrían
pueden obtenerse a partir de él, de tal manera denominarse latencias. Se trata de ideas que
que la lógica clásica puede hacerse con ese no han ingresado al corpus matemático direc-
solo conectivo. Uno de los conectivos estudiados tamente, que no han sido reproducidas por otros
por Peirce en 1902 lleva ahora el nombre de investigadores y que quizás nunca alcancen
Sheffer porque, unos once años después, fue un gran impacto por haber pasado el momento
redescubierto y estudiado por este matemático. oportuno, pero que sin duda tienen un inmenso
Peirce también anticipó diferentes definiciones potencial matemático. Un ejemplo es la notación
OOSTRA, A. | Una reseña de la lógica matemática de Charles S. Peirce (1839 - 1914) 17
de Peirce para los conectivos proposicionales binarios, un sistema completo de signos, de uso fácil, que
revela insospechadas simetrías en la lógica proposicional (Oostra, 2004a). Si bien, en la segunda mitad
del siglo XX, Shea Zellweger diseñó una notación similar, con algunas ventajas respecto a la de Peirce,
ninguna de las dos ha sido usada por la comunidad matemática y su potencial sigue sin ser explotado
(Clark & Zellweger, 1993).
Otro gran trabajo matemático que permanece dejar esa atadura e intentar investigarlos de
latente es la versión gráfica de la lógica de relativos, manera independiente como un sistema lógico en
los gráficos existenciales. Aunque existen varios sí mismo. Una vez consolidado tal sistema, en una
estudios, como una tesis doctoral (Zeman, 1964) etapa posterior sí podrían buscarse empalmes, no
y un par de textos (Roberts, 1973; Shin, 2002), solo con las lógicas conocidas sino también con
no parece cercano el día en que estos gráficos la teoría de categorías, la topología y la variable
sean utilizados de manera generalizada por la compleja (Zalamea, 2007).
comunidad matemática. Ya existe claridad acerca
de la equivalencia de los gráficos alfa con la lógica El segundo programa de investigación, planteado
proposicional clásica, y de los gráficos beta con la con más detalles por Zalamea (2001), consiste
lógica de primer orden, pero las modalidades de en construir un modelo matemático del continuo
los gráficos gama y de los gráficos tinturados no peirceano. Esto es, se busca un modelo matemático
han sido investigadas plenamente. “concreto” que de alguna manera cristalice las
propiedades distinguidas en el continuo conceptual
Finalmente, una latencia que aparece del todo en de Peirce. Ningún modelo puede ser único ni
estado de hibernación es la lógica del continuo último, luego, la tarea consiste en iterar los pasos
(Peirce, 1992), de la cual hasta ahora solo se siguientes en lo que, más que un ciclo vicioso, es
conocen un par de estudios (Zalamea, 2001 y una espiral siempre ascendente.
2003). La matemática actual, empedernida con el 1. Abducción. Construir un modelo proponiendo
continuo cantoriano y buscando más los problemas axiomas formales para las propiedades globales
específicos que las ideas generales, por ahora del continuo.
difícilmente perseguirá el continuo peirceano.
2. Deducción. Obtener consecuencias de la
combinación de los axiomas propuestos.
Cabe mencionar aquí una manera totalmente
sorprendente en la que los trabajos de Peirce 3. Inducción. Contrastar el modelo propuesto con
están ejerciendo influencia en la matemática: a los demás modelos para el continuo: los modelos
través de su enseñanza. La educación matemática elaborados en iteraciones anteriores de esta
constituye una disciplina pujante que ha encontrado espiral; el continuo de Cantor; los principales
en la semiótica de Peirce una fuente de ideas modelos no cantorianos presentados durante el
sólidas (Anderson et al., 2003). siglo XX.
Conclusiones
El análisis de los aportes técnicos de Peirce hace emerger su figura como un científico y, más
específicamente, como un matemático activo. Algunos de sus trabajos en lógica matemática fueron
absorbidos por la ciencia matemática y otros fueron redescubiertos años o décadas después. Aun
así, en el legado peirceano subsisten ideas matemáticas importantes que podrían aplicarse con
éxito a problemas actuales de esta ciencia.
Es evidente que los problemas abiertos, planteados alrededor de la lógica matemática de Peirce son
formidables. Pero aunque su solución final resulte inalcanzable, ellos pueden constituirse en un faro
que permita fijar el rumbo de muchas investigaciones locales conducentes a soluciones parciales.
Bibliografía
Anderson, Myrdene, et. al. (2003). Educational Oostra, Arnold. (2006). “Peirce y la matemática”,
perspectives on mathematics as semiosis: Revista Anthropos, 212. Barcelona, pp.
from thinking to interpreting to knowing. 151-159.
Toronto: Legas, 364 p.
________. (2004a). “La notación diagramática
Brady, Geraldine. (2000). From Peirce to de C. S. Peirce para los conectivos
Skolem. A neglected chapter in the history proposicionales binarios”, Revista de la
of Logic. Amsterdam: North-Holland, 625 p. Academia Colombiana de Ciencias, 28.
Bogotá, pp. 57-70.
Ketner, Kenneth L. (2001). “Carolyn Eisele Peirce, Charles S. (2007). La lógica considerada
(1902–2000)”, Transactions of the Charles S. como semiótica. (Trad. y ed.: Sara Barrena).
Peirce Society, 37. New York, pp. 475-489. Madrid: Biblioteca Nueva, 162 p.
20 REVISTA Universidad EAFIT. Vol. 44. No. 150 | abril, mayo, junio 2008
Peirce, Charles S. (1992). Reasoning and the Thibaud, Pierre. (1982). La Lógica de Charles
Logic of Things: The Cambridge Conferences Sanders Peirce: Del Álgebra a los Gráficos.
Lectures of 1898. (Ed.: Kenneth L. Ketner). Madrid: Paraninfo, 199 p.
Cambridge (Massachussets): Harvard
University Press, 297 p. Zalamea, Fernando. (2007). “Ostruzioni e
passaggi nella dialettica continuo / discreto:
________. (1982). Writings of Charles S. Il caso dei Grafi Esistenziale e della Logica
Peirce: A Chronological Edition. (Eds.: Fisch, dei Fasci”, Dedalus – Rivista di scienza,
Max H. et al.). Bloomington e Indianapolis: filosofia, cultura, 2. Milano, pp. 20-25.
Indiana University Press, 6 vols.
________. (2003). “Peirce’s logic of continuity:
________. (1976). The new elements of existential graphs and non-cantorian
mathematics. (Ed.: Carolyn Eisele). Den continuum”, The Review of Modern Logic, 9.
Haag: Mouton, 4 vols. Milwaukee (Wisconsin), pp. 115-162.
Shin, Sun-Joo. (2002). The Iconic Logic Zeman, J. Jay. (1964). The Graphical Logic of
of Peirce’s Graphs. Cambridge C. S. Peirce. Tesis para optar el título de
(Massachusetts): MIT Press, 208 p. Doctor of Philosophy. University of Chicago,
186 p.