GOTTLOB FREGE

CONCEPTOGRAFA
*
LOS FUNDAMENTOS DE
LA ARITMTICA
OTROS ESTUDIOS FILOSFICOS

Traduccin de HUGO PADILLA

UNIVERSIDAD NACIONAL AUTNOMA DE MXICO

INSTITUTO DE INVESTIGACIONES FILOSFICAS

1972

INSTITUTO DE INVESTIGACIONES FILOSFICAS

Coleccin: FILOSOFA CONTEMPORNEA
Serie: TEXTOS FUNDAMENTALES Director: DR. FERNANDO SALMERN
Secretario: MTRO. ALEJANDRO ROSSI

Ttulos originales:
Begriffsschritt, eine der arithmetischen nachgebildete Formelsprache des reinen
Denkens, Halle, 1879
Die Grundlagen der Arithmetik, eine logisch-marhematische Untersuchung ueber den
Begriff der Zahl, Breslau, 1884
Ueber die wissenschaftliche Berechtigung einer Begriffsschrift, 1882
Funktion und Begriff, Jena, 1891
Ueber Begriff und Gegenstand, 1892
Was ist eine Funktion?, 1904
Primera edicin en espaol: 1972
DR 1972. Universidad Nacional Autnoma de Mxico
Ciudad Universitaria. Mxico 20, D. F.

UNIVERSIDAD NACIONAL AUTNOMA DE MXICO

DIRECCIN GENERAL

DE

PUBLICACIONES

Impreso y hecho en Mxico

CONCEPTOGRAFA a
UN LENGUAJE DE FORMULAS, SEMEJANTE AL DE LA ARITMTICA,
PARA EL PENSAMIENTO PURO

PRLOGO
El conocimiento de una verdad cientfica pasa, como regla, por varios grados de certidumbre. Quiz
conjeturada al principio sobre la base de un nmero insuficiente de casos particulares, una proposicin
general se consolida cada vez ms seguramente al cobrar conexin con otras verdades a travs de cadenas
de inferencias, ya sea que de ella se deriven consecuencias que encuentren confirmacin de otra manera,
ya sea que, a la inversa, se la reconozca como consecuencia de proposiciones ya establecidas. Segn esto,
por una parte se puede preguntar por el modo en que gradualmente se gana una proposicin y, por la otra,
por la manera en que finalmente se la fundamenta con mxima firmeza. Acaso la primera cuestin sea
contestada de modo diferente por diferentes hombres: la ltima es ms definida y su respuesta se conecta
con la naturaleza interna de la proposicin considerada. Es patente que la ms firme es la prueba lgica
pura, la cual, prescindiendo de las caractersticas particulares de la cosa, slo, se funda en las leyes sobre
las que descansa todo conocimiento. Por tanto, dividimos en dos clases todas las verdades que requieren
una fundamentacin; mientras que la prueba puramente lgica puede preceder a las unas, las otras deben
apoyarse en hechos empricos. Pero es perfectamente compatible el que una proposicin pertenezca a la
primera clase y que, sin embargo, jams llegara a ser consciente en una mente humana si no hubiera actividad sensorial.1 De esta manera, no es el modo psicolgico de producirse, sino el tipo ms completo de
prueba lo que est en la base de la clasificacin. Mientras me somet a la pregunta de a cul de estas dos
clases pertenecen los juicios matemticos, deb ensayar qu tan lejos se podra llegar en (8) b la aritmtica
exclusivamente por medio de inferencias, apoyado slo en las leyes del pensamiento que se elevan sobre
todas las particularidades. Mi procedimiento fue ste: primero, busqu retrotraer el concepto de ordenacin en una serie al de consecuencia lgica y de aqu progresar hasta el concepto de nmero.
Adems, para que no pudiera introducirse inadvertidamente algo intuitivo, se debi llegar a suprimir toda laguna en la cadena de inferencias. Al procurar cumplir lo ms rigurosamente posible con
este requerimiento, me encontr, junto a todas las dificultades que surgen de la expresin, un
obstculo en la inadecuacin del lenguaje: cuanto ms complicadas eran las relaciones tanto menos poda alcanzar la exactitud requerida por mi propsito. De estas necesidades naci la idea de la
presente conceptografa. Por lo pronto, sta debe servir para probar de la manera ms segura la precisin de una cadena de inferencias y para denunciar toda proposicin que quisiera co larse inadvertidamente y poder investigarla en su origen. Por ello, se renuncia a expresar todo aquello que carezca de significado para la secuencia de inferencias. En 3, he designado como contenido conceptual
exclusivamente aquello que me era de importancia. Esta explicacin se deber tener siempre en mente si
se quiere entender correctamente la naturaleza de mi lenguaje de frmulas. Tam bin de aqu
result el nombre: "conceptografa". Puesto que me he limitado a expresar, por primera vez, relaciones independientes de las propiedades especficas de las cosas, pude tambin emplear la expresin "lenguaje de frmulas para el pensamiento puro". La semejanza, que he indicado en el ttulo, con el lenguaje
de frmulas de la aritmtica se refiere ms a las ideas fundamentales que a las conformaciones
particulares. Estuvo del todo lejos de m cualquier propsito de establecer una semejanza artificial por
entender al concepto como suma de sus notas. El ms inmediato contacto de mi lenguaje de frmulas
con el de la aritmtica consiste en el modo de utilizar las letras.
Creo poder hacer muy clara la relacin de mi conceptografa con el lenguaje comn si la comparo
con la que hay entre el microscopio y el ojo. Este ltimo, por el campo de su aplicabilidad y la movilidad
con que se sabe adaptar a las ms diversas situaciones, posee gran superioridad frente al microscopio.
Considerado como aparato ptico, muestra sin duda muchas imperfecciones, las cuales pasan desapercibidas, por lo comn, slo como consecuencia de su estrecha conexin con la vida mental. Pero tan pronto
como los propsitos cientficos establecen mayores exigencias en la precisin de las distinciones, el
ojo resulta insuficiente. Por el (9) contrario, el microscopio es de lo ms apropiado para tales fines,
aunque, por ello, no es utilizable para otros.
As, esta conceptografa ha sido ideada como un auxiliar para determinados propsitos cientficos y
no se la puede sentenciar porque no sirva para otros. Si de algn modo corresponde a estos fines, no importa que se puedan echar de menos verdades nuevas en mi trabajo. Me consolara, sobre esto, la conciencia de que tambin un desarrollo del mtodo hace prosperar a la ciencia. Pues Bacon consider preferible
inventar un medio por el cual se pudiera descubrir fcilmente cualquier cosa, a descubrir algo particular,
1

Puesto que sin percepcin sensorial es imposible algn desarrollo mental en los seres que nos son conocidos, entonces lo ltimo
vale para todos los juicios.

y, por cierto, todos los grandes progresos cientficos recientes han tenido su origen en un perfeccionamiento del mtodo.
Tambin Leibniz conoci la ventaja de un modo de simbolizacin adecuado. Su idea de una caracterstica general, de un calculus philosophicus o raciocinator,2 era tan gigantesca que el intento de desarrollarla hubo de quedarse en los meros preparativos. El entusiasmo que prendi en su creador cuando ponder el inmenso incremento de la capacidad mental humana que podra surgir de un mtodo de simbolizacin apropiado a las cosas mismas, lo hizo estimar demasiado estrechamente las dificultades que se oponen a una empresa as. Pero si tampoco se puede alcanzar tan alta meta en un intento, no hay que desesperar de obtener una aproximacin ms lenta, paso a paso. Si una tarea parece irresoluble en su plena generalidad, provisionalmente se la ha de limitar; pues, tal vez, se la logre vencer por medio de ampliaciones
graduales. En los smbolos aritmticos, geomtricos, qumicos, se pueden ver realizaciones de la idea
leibniziana respecto a campos particulares. La conceptografa aqu propuesta, adems, aade una nueva a
stas, y ciertamente una situada en el medio paredao a las otras. A partir de aqu, por tanto, se abren las
ms amplias perspectivas para llenar las lagunas de los lenguajes de frmulas existentes, para conectar en
un solo dominio campos separados hasta ahora y para ampliarse a campos en los que tal lenguaje faltaba.
Sobre todo, confo en una feliz aplicacin de mi conceptografa cuando deba ser puesto un valor especial en la precisin de una prueba, como cuando se trata de los fundamentos del clculo diferencial e
integral.
Me parece todava ms fcil extender el campo de este lenguaje de frmulas a la geometra. Slo se
han de aadir algunos smbolos para las relaciones intuitivas que ah aparecen. De esta manera se obtendra una especie de analysis situs. (10)
El paso a la teora del movimiento puro, y aun a la mecnica y a la fsica, podran seguirse de aqu.
En los ltimos campos, donde junto a la necesidad racional se hace valer la necesidad natural, es donde
primero es de prever un mayor desarrollo del modo de simbolizacin de acuerdo con el progreso del conocimiento. Pero, por eso, no es necesario esperar hasta que parezca excluida la posibilidad de tales transformaciones.
Si es una tarea de la filosofa romper el dominio de la palabra sobre la mente humana al descubrir los engaos que sobre las relaciones de los conceptos surgen casi inevitablemente en el
uso del lenguaje, al liberar al pensamiento de aquellos con que lo plaga la naturaleza de los medios lingsticos de expresin, entonces mi conceptografa, ms desarrollada para estos propsitos, podra ser un instrumento til a los filsofos. Ciertamente, tampoco volver puros a los pensamientos,
como que no es posible otra cosa con un medio de presentacin externo; pero, por una parte, se pueden
limitar estas discrepancias a aquellas inevitables e inocuas y, por otra parte, en virtud de que son
de un tipo totalmente distinto al de las que son propias del lenguaje, se ofrece ya una protec cin
contra, una influencia unilateral de este medio de expresin. La mera invencin de esta conceptografa, me parece, ha hecho prosperar a la lgica. Espero que los lgicos, si no se dejan intimidar por
una primera impresin frente a lo extrao, no negarn su asentimiento a las innovaciones a que me vi
impelido por una necesidad inherente al asunto mismo. Estas discrepancias con lo tradicional
encuentran su justificacin en que la lgica, hasta ahora, siempre se ha ajustado muy estrechamente al lenguaje y a la gramtica. En especial, creo que la sustitucin de los conceptos de sujeto y predicado por los de argumento y funcin, se acreditar con el tiempo. Es fcil ver cmo la aprehensin de
un contenido como funcin de un argumento surte el efecto de una aprehensin formadora de conceptos.
Ms an, la demostracin de la conexin entre los significados de las palabras s, y, no, o, existe, algunos, todos, etc., merece atencin.
Ya nicamente requiere mencin especial lo siguiente. La restriccin a un solo modo de inferencia,
expresada en 6, se justifica en virtud de que en la fundamentacin de una conceptografa de este tipo, los
componentes primitivos se deben tomar tan simples como sea posible si se ha de producir orden y claridad. Esto no excluye el que, posteriormente, transiciones de varios juicios a uno nuevo, transiciones que
segn este solo modo de inferencia nicamente son posibles de manera mediata, se transformen por abreviacin en inmediatas. De hecho, esto se podra recomendar (11) para alguna aplicacin posterior. De
esta manera, pues, surgiran ms modos de inferencia.
Suplementariamente, he sealado que las frmulas (31) y (41) podran reducirse a

por la que son posibles an algunas simplificaciones.

2

Sobre esto, vase: Tredelenburg, Historische Beitrge zur Philosophie, tomo III.
4

Como he sealado al principio, la aritmtica ha sido el punto de partida del curso de pensamiento
que me ha conducido a mi conceptografa. A esta ciencia, por tanto, pens aplicarla primero, tratando de
analizar ms sus conceptos y de fundamentar ms a fondo sus teoremas. Por lo pronto, en la tercera seccin comunico algo que apunta en esta direccin. La prosecucin del camino indicado, la elucidacin de
los conceptos de nmero, magnitud, etc., ser objeto de otras investigaciones que aparecern inmediatamente despus de este escrito.
Jena, 18 de diciembre de 1878.