Tans Pimentel, Claudia Luca

Problemas de Lgica
EA 2016-2
13/04/16

LA LGICA FREGEANA: MOTIVACIONES Y LOGROS

INTRODUCCIN
La lgica cuantificacional de primer rden revolucion el mbito de la lgica que se haba
considerado acabado despus de las aportaciones de Aristteles. Gracias al trabajo de Gottlob
Frege, se logr reavivar este rubro de la filosofa que, posteriormente, sera de gran importancia
para el desarrollo de la matemtica y de varias ramas de la ciencia moderna.
Debido a que el sistema de Frege requiri de un gran esfuerzo por parte de este pensador,
vale la pena preguntarse por las motivaciones que tuvo para desarrollar el sistema, as como las
repercusiones del mismo. Sin esto, sera difcil entender en su totalidad la importancia que tuvo la
lgica fregeana para la lgica tal como se entiende en la actualidad.
Esta investigacin pretende explorar a grandes rasgos qu factores histricos en la filosofa
influyeron en la creacin de la lgica de Frege, cmo se relaciona con el proyecto logicista y en qu
consisti ste y, finalmente, cules fueron las consecuencias de la creacin de este sistema. Para ello
me valdr sobre todo de dos textos de Frege: Conceptografa y Los Fundamentos de la Aritmtica.

MOTIVACIONES DE FREGE
EL PROYECTO LOGICISTA
La idea de un lenguaje universal puede rastrearse a lo largo de la historia en distintos tipos de
narraciones. Una de stas es la historia de La Torre de Babel que aparece en el Gnesis y que ya
expone la idea de que la multiplicidad de lenguajes provoca confusin entre los hombres. Parece
que este es el caso de cualquier lenguaje natural y esto llevo a buscar la manera de crear un lenguaje
que fuese menos susceptible de ser vago. Uno de los pensadores que consider esto fue Descartes,
quien planteaba la posibilidad de dos lenguas universales: una utilitaria diseada para el pueblo y
otra filosfica diseada, precisamente, para desarrollar el pensamiento (Mostern, 2000).
Frege concordaba con la idea de que era necesario un lenguaje universal para mejorar la
claridad en la definicin, el uso y la demostracin de trminos cientficos. Dndose cuenta de los
problemas que haba habido histricamente para hablar de conceptos como el infinito, la negacin,
la continuidad, etctera, propuso considerar definiciones ms precisas. Adems de esto, Frege le dio
1

Tans Pimentel, Claudia Luca

Problemas de Lgica
EA 2016-2
13/04/16

gran importancia al rigor en las pruebas debido a que pensaba que era preferible tener pruebas
rigurosas (deductivas) en vez de pruebas por induccin en las matemticas. Esto ltimo permitira
averiguar si hay ciertos juicios bsicos, es decir axiomas, pues poco a poco se ira depurando el
lenguaje hasta llegar a enunciados bsicos de los cuales se puede partir (Frege, The Foundations of
Arithmetic, 1960).
La aspiracin a un lenguaje universal y a un mtodo de prueba ms riguroso fue de suma
importancia en la conformacin del proyecto logicista de Frege, el cual pretenda enunciar los
postulados de la aritmtica en forma de proposiciones lgicas de acuerdo a su sistema: la
conceptografa. Con esto no se pretenda que absolutamente todos los enunciados aritmticos fueran
demostrables sino que fuese ms evidente cules servan como fundamento (Frege, Translation of
parts of Frege's Grundgesetze der Arithmetik, 1960). Aunque tal vez sta fue la motivacin
principal, Frege tambin tena preocupaciones de ndole filosfica, las cuales respondan a una
importante pregunta kantiana: las verdades de la aritmtica son analticas o sintticas? Sin
embargo, Frege consideraba que la respuesta a esta pregunta tena que apelar a la fundamentacin
de esas verdades y, por ello, requera forzosamente de la ayuda de las matemticas (Frege, The
Foundations of Arithmetic, 1960).

PARADIGMA MATEMTICO Y GEOMTRICO

Todo lo expuesto responde, a su vez, a un paradigma matemtico y geomtrico que inicia
con Euclides y llega hasta Boole y Leibniz, siendo este ltimo quien puede considerarse el primer
logicista puesto que tena como objetivo un tipo de reduccionismo habra que analizar todas las
ideas del espritu humano, hasta reducirlas a sus presuntos componentes elementales, las ideas
simples (Mostern, 2000).
En general, el proyecto de Frege era el proyecto logicista puesto que el logicismo se
planteaba la necesidad de una mayor claridad en el lenguaje y una reduccin de la aritmtica a la
lgica. Si bien hay ciertos matices en las interpretaciones que cada exponente de este proyecto da a
ciertos trminos, se puede observar una concordancia en los objetivos de Frege, Dedekind y Peano.
El proyecto logicista tom ms fuerza con Dedekind y Peano quienes fueron
contemporneos de Frege. Tanto Dedekind como Peano estuvieron contacto con Frege y
concordaron en gran medida con l. Dedekind admite que tuvo ideas similares a las de Frege con
respecto a la esencia del nmero y ste a su vez intercambia correspondencia con Peano en la que se
2

Tans Pimentel, Claudia Luca

Problemas de Lgica
EA 2016-2
13/04/16

discute qu tipo de formalizacin es mejor, si la de Frege que incluye esquemas bidimensionales o

la de Peano que sera adoptada posteriormente por Russell y Whitehead para desarrollar la lgica
cuantificacional actual (Mostern, 2000).

CONCEPTOGRAFA
El prlogo a la Conceptografa explica claramente los propsitos del sistema lgico de Frege y sus
pretenciones. Es claro que Frege tiene como preocupacin central una mayor claridad con respecto
lenguaje natural y de acuerdo a esto dice que:
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 (Frege, Conceptografa / Los
fundamentos de la aritmtica / Otros estudios filosficos, 1972)

Con la cita anterior tambin se evidencia que una de las motivaciones del sistema fregeano
es la aplicacin filosfica. Si bien Frege aborda sobre todo temas de aritmtica, especialmente en su
sistema lgico, tambin hay una clara preocupacin por la filosofa del lenguaje la cual lo llevar
posteriormente a desarrollar teoras clave en el estudio de este tema como, por ejemplo, la propuesta
en Sobre Sentido y Referencia.
En cuanto al sistema formal, Frege parte de su ms claro antecesor en el mbito de la
lgica: Aristteles. Su Conceptografa inicia por retomar la nocin de juicio. Frege explica que no
considerar la forma sujeto-predicado para sus juicios y que, en todo caso, la nocin de sujeto debe
entenderse como el concepto de que trata el juicio (Frege, Conceptografa / Los fundamentos de
la aritmtica / Otros estudios filosficos, 1972), sin importar en qu parte del juicio aparece,
mientras que el predicado ser el smbolo , el cual se escribe antes de un juicio cuando ste se
afirma, siendo la barra vertical una barra de juicio y la horizontal una barra de contenido. Una
vez aclarado lo anterior, Frege define el condicional en trminos muy parecidos a los actuales
puesto que se considerar verdadero si el antecedente es falso, independientemente del valor de
verdad del consecuente. La manera en la que Frege expresa este condicional es con una forma como
la presentada en la fiura 1 donde B es el antecedente y A es el consecuente, y la negacin se
expresa trazando una lnea perpendicular a las lneas de juicio tal como se expresa en la figura 2
3

Tans Pimentel, Claudia Luca

Problemas de Lgica
EA 2016-2
13/04/16

donde se est negando el consecuente A (Frege, Conceptografa / Los fundamentos de la

aritmtica / Otros estudios filosficos, 1972):
A

B
Figura 2

Figura 1

Otras nociones importantes consideradas en el sistema fregeano son la igualdad entre dos
nombres, las funciones y los argumentos y la generalidad. Frege explica que la igualdad se da entre
dos nombres cuando el contenido de los smbolos que representa a cada uno es el mismo pero ha
sido determinado de forma diferente. Con esto se quiere decir que podemos utilizar el smbolo p
para expresar el padre de la lgica moderna y usar q para expresar Gottlob Frege pero dado
que el contenido de p y q es el mismo, podemos decir que p es igual a q. En cuanto a las
funciones, stas pueden ser entendidas como lo que se dice de un objeto. De esta manera, cuando se
dice que la UNAM es autnoma, podra expresarse como A(u) donde A es la funcin ser
autnoma y u es el nombre que utilizaremos para expresar UNAM. En este caso, u
representa el argumento de la funcin A. La generalidad, por su parte, introduce ya las bases de la
lgica cuantificacional como la conocemos hoy en da. sta considera que las letras gticas en la
concavidad de la barra de contenido indican que cualquier cosa que sea argumento de esa funcin
ser un hecho y se puede expresar como en la figura 3, donde la letra gtica h representa el
argumento a reemplazar. Esto, aunado a las negaciones y tomando en cuenta el cuadro de oposicin
aristotlico, provee una forma de tratar juicios utilizando una lgica mucho ms completa de la que
se tena hasta entonces (Frege, Conceptografa / Los fundamentos de la aritmtica / Otros estudios
filosficos, 1972).

h
F(h)
G(h)
Figura 3

El condicional, la negacin, la igualdad, la funcin y argumento y la generalidad son los

elementos clave del sistema fregeano. Juntos permiten la elaboracin de pruebas deductivas
utilizando el Modus Ponens como regla principal.
4

Tans Pimentel, Claudia Luca

Problemas de Lgica
EA 2016-2
13/04/16

LOGROS DE LA PROPUESTA FREGEANA

Si bien no fue posible la creacin de un lenguaje universal perfecto, la lgica fregeana
inaugura un nuevo discurso en la lgica que posteriormente permeara distintas reas de la filosofa
y, sobre todo, llegara a tener aplicaciones importantes en matemticas y ciencias afines. Dado que
la lgica de Frege sent las bases para la lgica cuantificacional, la cual permite una mayor
expresividad con respecto a la lgica aristotlica e incluso la estoica, se puede considerar a Frege
como el padre de la lgica moderna.
Es importante recordar que el anlisis lgico que se puede hacer con la lgica fregeana
tambin constituye una forma novedosa de analizar juicios, dejando atrs la estructura sujetopredicado imperante hasta el momento. Esto hizo posible que se pudiera representar de manera ms
clara las funciones y relaciones, teniendo efectos muy positivos en el anlisis lingstico y en las
pruebas formales.

CONCLUSIONES
Es evidente que el trabajo de Frege es una hazaa digna de ser considerada. Tanto l como
Aristteles tuvieron que realizar una labor titnica de investigacin y representacin de sistemas
formales que, si bien tienen motivaciones distintas, son de igual importancia en el desarrollo
histrico de la lgica. La aportacin de Frege en su obra Conceptografa es enorme debido a que es
en gran medida novedosa. La manera en la que trata la forma de los juicios permite una mayor
claridad con respecto al papel que juega cada elemento como funcin o argumento, lo cual permite
un anlisis claro de las propiedades de ciertos objetos.
Habiendo establecido los logros de la lgica de Frege, cabe preguntarse acerca de las
aplicaciones que ha tenido. Si bien es claro que el lenguaje natural tiene problemas de ambigedad,
parece que la aplicacin del sistema fregeano a la filosofa en realidad slo limitara la expresividad.
Tal vez su uso en la aritmtica hubiera sido menos controversial (de haber funcionado) puesto que
los enunciados de esta rama de las matemticas no requieren expresar, por ejemplo, intencionalidad.
Sin embargo, aunque es entendible que se desee una mayor claridad en las definiciones filosficas,
habra ms que perder que en la filosofa y, curiosamente, uno de los campos que se ve mayormente
afectado sera la filosofa del lenguaje, rama en la cual Frege tena especial inters. Es importante

Tans Pimentel, Claudia Luca

Problemas de Lgica
EA 2016-2
13/04/16

destacar que Frege tena claro que la lgica que propona deba servir ms como herramienta que
como lengua principal en la cual deba expresarse la totalidad de la aritmtica o de la filosofa.
Por ltimo, me parece pertinente destacar que no hubo mayor justificacin acerca de por
qu Frege escogi esa semntica por encima de otras, en la que se adopta un condicional similar al
propuesto por Filn (condicional material) en vez del que considera Didoro (condicional modal) o
Crisipo (condicional estricto) (Emprico, 1993).

BIBLIOGRAFA
Emprico, S. (1993). Esbozos pirrnicos. Madrid: Gredos.
Frege, G. (1960). The Foundations of Arithmetic. Nueva York: Basil Blackwell & Mott.
Frege, G. (1960). Translation of parts of Frege's Grundgesetze der Arithmetik. En M. Black, & P.
Geach, Philosophical Writings (pgs. 137-158). Oxford: Basil Blackwell & Mott.
Frege, G. (1972). Conceptografa / Los fundamentos de la aritmtica / Otros estudios filosficos.
Mxico: Instituto de Investigaciones Filosficas.
Mostern, J. (2000). Los Lgicos. Madrid: Espasa Calpe.