Frege y la controversia acerca del psicologismo

G L A D Y S PA L A U

D
ESDE FREGE Y HASTA APROXIMADAMENTE LOS AOS 70 del siglo XX, tanto
la presentacin formal de la lgica, como la concepcin filosfica
acerca de la naturaleza de las leyes lgicas, han estado regidas por el
pensamiento fregeano. Sus ideas podran fundamentarse en las siguientes tesis:

F1 Un sistema lgico (o lgica) consiste en un conjunto de frmulas

basado en axiomas y reglas de inferencia;
F2 La matemtica y la lgica tienen la misma naturaleza y sus leyes son
exactas y precisas;
F3 Las leyes de la matemtica y la lgica no se conocen por medio de la
intuicin ni son probadas por observaciones psicolgicas, sino que son
verdades a priori y analticas;
F4 Las leyes o principios lgicos son universales, es decir, no son
especficos de ningn dominio en particular, ni pertenecen a un
contexto determinado, i.e., no estn indexados a ninguna especie; y,
F5 La matemtica y la lgica no son disciplinas psicolgicas, porque
mientras las leyes psicolgicas versan sobre hechos psicolgicos, las
leyes de la lgica versan sobre pensamientos.

Las tesis F1 y F2, se explican a partir de la adhesin de Frege a la tradicin

LeibnizBolzano sobre la naturaleza de la lgica y la matemtica. En efecto, en
Ars combinatoria, al sostener la posibilidad de construir un lenguaje simblico
artificial cuya estructura fuese reflejo del pensamiento puro y que permitiera
liberar al estudio lgico de las vaguedades del lenguaje ordinario, Leibniz inici
una forma de encarar la problemtica lgica desde el paradigma del
pensamiento matemtico. Su formacin filosfica, enrolada en el ms puro
racionalismo y sus contribuciones a la matemtica, condicionaron una

G. Palau () Disputatio. Philosophical Research Bulletin

Vol. 5, No. 6, Dic. 2016, pp. 417-425
Universidad de Buenos Aires, Argentina
ISSN: 2254-0601 | www.disputatio.eu
email: gadi1@fibertel.com.ar

NOTA CRTICA
418 | GLADYS PALAU

concepcin de la lgica independiente de todo matiz psicolgico, tal como lo

muestran su teora de la identidad, el tratamiento de la nocin de necesidad y
la consecuente caracterizacin de las verdades lgicas como verdades de razn
o verdades en todos los mundos posibles. Posteriormente, B. Bolzano (1781
1848), en sus obras Teora de la Ciencia (Wissenschaftslehre, 1837) y Paradojas del
Infinito (Paradoxien des Unendlichen, 1851), ampliar este enfoque aportando
ideas originales que marcarn el pensamiento lgico posterior, como por
ejemplo, que una proposicin es un objeto real cuya verdad o falsedad es
independiente de cualquier contexto, i.e., son independientes del sujeto que las
piensa; que el concepto de verdad es objetivo, i.e., no es ni epistmico ni
psicolgico; y que una proposicin es universalmente vlida o lgicamente
verdadera, cuando todas sus variantes son verdaderas.
Entroncado en esta tradicin, notificado del tratamiento algebraico de la
lgica de De Morgan, Boole y en particular del de E. Schrder, y conocedor
profundo del estado de la matemtica de su poca, Frege super el supuesto
leibniziano de que la matemtica y la lgica tienen la misma naturaleza,
afirmando que es posible reducir la primera a la segunda. El primer paso del
programa logicista la construccin de la lgica de predicados de segundo
orden con identidad es dado por Frege en su Conceptografa (Begriffsschrift,
1879), y cuyo ttulo completo es ilustrativo reproducir en forma completa:
Notacin conceptual: Un lenguaje de frmulas del pensamiento puro, modelado bajo el de
la aritmtica.
En general, se coincide en sostener que las restantes tesis, es decir F3F5,
fijan la posicin filosfica del logicismo frente a la naturaleza de la lgica, que
ellas son absolutamente consecuentes con las primeras y, por ende, que
tambin son consistentes con la tradicin leibniziana. Sin descartar
radicalmente esta afirmacin, sostenemos que ellas adquieren otra dimensin
significativa si son analizadas a la luz del debate sobre el psicologismo que se
desarroll en la vida acadmica alemana entre los aos 1870 y 1920. En efecto,
sus obras La fundamentacin de la aritmtica (Die Grundlagen der Arithmetik, 1884) y
Leyes bsicas de la aritmtica (Grundgesetze der Arithmetik, 18931903), fueron
escritas en medio de ese debate y es precisamente en ellas donde, adems de
completar su programa logicista, Frege se encarga de exponer sus argumentos
principales en contra del psicologismo. En otras palabras, es donde su logicismo
deviene en antipsicologismo. Pero a su vez, es donde su crtica al psicologismo
deviene en filosofa de la lgica. Creemos que sto es as por las siguientes
razones:

Disputatio 5:6 (2016), pp. 417-425

 FREGE Y LA CONTROVERSIA ACERCA DEL PSICOLOGISMO | 419

1. Porque los argumentos en torno a la naturaleza de las verdades lgicas

expuestos por Frege estn dirigidos esencialmente a diferenciar la
lgica de la psicologa;
2. Porque la diferencia se establece mediante una distincin precisa y
clara entre las leyes lgicas y las leyes de la psicologa experimental
recientemente surgida; y,
3. Porque su fin principal es refutar definitivamente la posibilidad de una
la reduccin de la lgica a la psicologa, tal como lo sostena el
psicologismo de Wundt y Sigwart.

Esquemticamente expuestas, sus crticas siguen la siguiente lnea de

argumentacin: si a los fines de su rigurosidad y validacin, la matemtica
puede ser reducida a conceptos y afirmaciones lgicas, entonces
necesariamente las leyes lgicas no pueden ser reducidas a leyes psicolgicas,
porque si lo fueran, las leyes lgicas seran leyes descriptivas de hechos
psicolgicos y por ello, vagas e imprecisas. Pero como las leyes de la lgica son
exactas y precisas (F2), las leyes lgicas no pueden ser leyes psicolgicas, sino
que por el contrario, son analticas y a priori. Parece evidente entonces que su
antipsicologismo se sigue naturalmente de su concepcin previa de la
matemtica y la lgica involucrada en su programa logicista.
La mayora de los comentaristas de Frege creen reconocer la misma actitud
en sus obras esencialmente filosficas. Hay razones para ello. Por ejemplo, se
sostiene que, cuando en El pensamiento. Una investigacin lgica (Der Gedanke eine
logissche Untersuchung, 19181923) Frege hace referencia a la palabra
pensamiento, sta no tiene un significado psicolgico, ya que los pensamientos
no son concebidos como entidades mentales, sino en tanto informaciones o
significados de oraciones aseverativas. En otras palabras, como lo afirma
Susan Haack (1978, p. 240), el sentido de una oracin no es para Frege una
entidad mental o idea, sino un pensamiento en tanto proposicin u objeto
abstracto. As, uno de los objetivos de la lgica creada por Frege ser establecer
las leyes de cmo componer pensamientos verdaderos (o proposiciones) a
partir de otros pensamientos (o proposiciones) tambin verdaderos. En
palabras de Frege, las leyes lgicas son las leyes de la verdad.

Disputatio 5:6 (2016), pp. 417-425

420 | GLADYS PALAU

El fracaso del programa logicista, si bien hace caer, aunque parcialmente, la

tesis F2, no arrastra consigo el necesario abandono de la concepcin fregeana
acerca de la naturaleza universal de la lgica y de sus principios sostenida en F4.
Sin embargo, las recientes investigaciones producidas en el campo de la lgica
han aparejado una reformulacin total de las tesis F1 y F4. En efecto, afectan
directamente a estas tesis los hechos actualmente indiscutidos acerca de que la
lgica clsica es inadecuada o insuficiente para los dominios de discurso no
extensionales, que se acepten como lgicas genuinas formalismos divergentes
de la lgica clsica y que el concepto de ley lgica, o teorema, haya sido
desplazado por el de consecuencia lgica. Por otro lado, tambin en el campo
de la Inteligencia Artificial han surgido sistemas de lgica nomontona que
tratan de formalizar la lgica del sentido comn o lgica natural, y que conducen
irremediablemente a un replanteo parcial de la tesis F3 y a una reformulacin
de la tesis F5, o sea a plantear en otros trminos, la relacin entre lgica y
psicologa, ms all del hecho trivial de que los razonamientos lgicos son cosas
que ocurren dentro de la mente humana. Por ello creemos que la tesis F5,
aunque siempre haya sido entendida consistentemente con las cuatro
anteriores, merece para nosotros un comentario especial.
Prima facie, F5 parece establecer sin duda alguna un divorcio definitivo entre
lgica y psicologa. Sin embargo, nosotros somos de la opinin de que su
distincin entre leyes lgicas y leyes psicolgicas deja an espacio para indagar
acerca de una posible relacin entre lgica y psicologa. Trataremos en lo que
sigue de al menos esbozar una argumentacin y para ello nos basaremos en el
anlisis que hace Martn Kusch sobre el antipsicologismo de Frege en su obra
Psicologismo (Psychologism, 1995).
En el prlogo a Grundgesetze, Frege distingue entre leyes descriptivas (como
las leyes de la fsica) y leyes presciptivas (como las de la moral), y acusa a los
partidarios de la lgica psicolgica, especialmente a B. Erdmann, de no
identificarlas correctamente. Siguiendo a Martin Kush, la argumentacin de
Frege parece ser la siguiente:

1) Toda ley descriptiva puede ser aprendida o reformulada como una

prescripcin para pensar segn ella y as, conlleva a una ley prescriptiva;
2) Las leyes lgicas descriptivas pueden ser comprendidas y reformuladas
como prescriptivas, es decir, como leyes del pensamiento, ya que ellas,
por no ser tpicodependientes, legislan sobre cmo se debe pensar;

Disputatio 5:6 (2016), pp. 417-425

 FREGE Y LA CONTROVERSIA ACERCA DEL PSICOLOGISMO | 421

3) Luego, el gran error del psicologismo es creer que las leyes del
pensamiento son leyes psicolgicas descriptivas o que son leyes
prescriptivas que derivan de leyes psicolgicas descriptivas, porque, si
as lo fueran, las leyes lgicas seran o bien relativas a cada especie
humana o bien tpico dependientes.

De lo afirmado se sigue entonces que para Frege, el error del psicologismo es

creer que las leyes de la lgica se derivan de leyes descriptivas de hechos
psicolgicos, cuando en realidad las leyes lgicas prescriptivas se justifican a
partir de reglas descriptivas a las que l mismo llama leyes lgicas descriptivas
bsicas. Sin embargo, segn Kusch, pese a que en Grundgesetze Frege afirm
claramente que las leyes lgicas prescriptivas se justifican en referencia a las
leyes lgicas descriptivas y que stas a su vez se justifican apelando a las leyes
lgicas descriptivas ms bsicas, no pudo responder a la pregunta sobre el por
qu son verdaderas ciertas leyes lgicas descriptivas bsicas. La hiptesis de
Kush parece plausible: en el pensamiento de Frege la justificacin de las leyes
lgicas descriptivas bsicas no podra ser de tipo lgico sino que habra que
acudir a premisas psicolgicas o biolgicas.
No contamos con elementos de juicio para decidir acerca de la adecuacin
de esta hiptesis, pero s de que la admisin por parte de Frege de la existencia
de leyes lgicas descriptivase y su forma de relacionarse con las leyes lgicas
prescriptivas, constituyen buenas razones para aventurar las siguientes hiptesis:

1) Qu su afirmacin de existencia de leyes lgicas descriptivas implica el

reconocimiento de cierto tipo de lgica del sentido comn o natural,
de cuya descripcin dan cuenta precisamente las leyes lgicas
descriptivas;
2) Qu este tipo de lgica natural conlleva un tipo de normatividad formal
que es en ltima instancia la que posibilita que las leyes lgicas
descriptivas de esta lgica natural se transfomen en leyes lgicas
prescriptivas, es decir, en las leyes de la lgica; y,
3) Qu el hecho de que las leyes lgicas descriptivas no sean reducibles a
leyes que describen hechos psicolgicos, hace pensar que Frege acepta
la existencia de hechos lgicos bsicos genuinos, tampoco reducibles a
hechos psicolgicos.

Disputatio 5:6 (2016), pp. 417-425

422 | GLADYS PALAU

De ah que, por todo lo anterior, pueda sostenerse que la aceptacin de leyes

lgicas descritivas no implique la reduccin de la lgica a la psicologa. De todas
formas, estas consecuencias sitan a Frege muy cerca de ciertos enfoques de la
Inteligencia Artificial, que tratan de formalizar la lgica del sentido comn y de
otros que, provenientes de las ciencias cognitivas, creen ver en la lgica del
sentido comn la gnesis de la lgica formal.*

*
Este trabajo tiene origen en el que fue ledo en el XI Congreso Nacional de Filosofa de AFRA, 28 de noviembre
de 2001.

Disputatio 5:6 (2016), pp. 417-425

 FREGE Y LA CONTROVERSIA ACERCA DEL PSICOLOGISMO | 423

Anexo
Tradicin psicologista Tradicin logicista
1520 Introduccin del trmino
Psicologa por Goclenius.
1635 J. Junguis: Logica Hamburgensis.
Logique de Port Royal. A. Enfoque psicolgico de
1662 Arnauld y P.Nicole: La logique la lgica.
ou lart de penser.
1664 Leibniz: Ars Combintoria.
1807 J. Fries: Neue Kritik der Vernunft.
1832 F. Beneke: Lehrbuch der Logik als
Kunstlehre des Denkes. Naturalismo o
psicologismo
1837 B. Bolzano: Wissenschaftslehre.
filosfico.
1842 F. Beneke: System der Logik als
Kunslehre des Denkes.
1843 J. S. Mill: System of Logic.
G. Boole: Mathematical Analysis
1847 of Logic.
A. de Morgan: Formal Logic.
1854 G. Boole: An Investigations of
the Laws of Thought.
1870 Surgimiento de la
nueva psicologa.
1873 C. de Sigwart: Logik.
1878 G. Frege: Begriffsschriff.
1883 W. Wundt: Logik.
G. Frege: Die Grundlagen der
1884
Arithmetik.
1886
E. Erdmann: Introduccin del
trmino Psicologismus.

1893 T. Lipps: Grundzge der Logik. Debate sobre el

psicologismo. G. Frege: Grundgesetze der
18931903
Arithmethik.
G. Frege: Philosophic der
1894 Arithmetik, Zeitschrift fr
Philosophie und Philosophische
Kritik.
19001901 E. Husserl: Logische
Untersuchungen.

Disputatio 5:6 (2016), pp. 417-425

424 | GLADYS PALAU

19141918 Primer Guerra

1918 Mundial. G. Frege: Der Gedanke.

1920 Extincin del debate

sobre el psicologismo.

Disputatio 5:6 (2016), pp. 417-425

 FREGE Y LA CONTROVERSIA ACERCA DEL PSICOLOGISMO | 425

REFERENCIAS
FREGE, Gottlob (1884). Die Grundlagen der Aritmetk: eine logischmathematische
Untersuchung ber den Begriff der Zahl. [Existe traduccin al ingles: The
Foundations of Arithmetic: A LogicoMathematical Enquiry into the Concept of
Number. Trad. J. L. Austin. Oxford: Blackwell, 1980].
FREGE, Gottlob (18931903) Grundgesetze der Arithmetik: begriffsschriftlich abgeleitet.
[Existe traduccin al ingles: Basic Laws of Arithmetic: An Exposition of the System.
Trad. M. Furth. Berkeley: University of California Press, 1964].
HAACK, Susan (1979). Philosophy of Logics. LondresNueva York: Cambridge
University Press.
KUSCH, Martn (1995). Psychologism. A Case Study in the Sociology of Philosophical
Knowledge. LondresNueva York: Routledge.

Recibido: 2-Marzo-2016 | Aceptado: 10-Junio-2016

GLADYS PALAU, es Profesora Consulta Titular de la Universidad de Buenos Aires y de la Universidad Nacional de
La Plata, Argentina. Doctora en Filosofa [PhD] por la Universidad de Buenos Aires. Sus principales reas de
inters son la lgica, la filosofa de la lgica, la argumentacin filosfica y la didactica de la lgica. Entre sus
principales publicaciones se cuentan: Introduccin filosfica a las lgicas no clsicas (Barcelona: Gedisa-Facultad
de Filosofa y Letras/UBA, 2002), y su edicin de Lgicas condicionales y razonamiento de sentido comn
(Barcelona: Gedisa-Facultad de Filosofa y Letras/UBA, 2004).

DIRECCIN POSTAL: Departamento de Filosofa, Universidad de Buenos Aires, Pun 480, CABA, Argentina. e-
mail (): gadi1@fibertel.com.ar

CMO CITAR ESTE TRABAJO: PALAU, Gladys. Frege y la controversia acerca del psicologismo. Disputatio.
Philosophical Research Bulletin 5:6 (2016): pp. 417425.

El autor(es) 2016. Este trabajo es un (Artculo. Original), publicado por Disputatio. Philosophical Research Bulletin
(ISSN: 2254-0601), con permiso del autor y bajo una licencia Creative Commons (BY-NC-ND), por tanto Vd. puede
copiar, distribuir y comunicar pblicamente este artculo. No obstante, debe tener en cuenta lo prescrito en la nota de
copyright. Permisos, preguntas, sugerencias y comentarios, dirigirse a este correo electrnico: () boletin@disputatio.eu

Disputatio se distribuye internacionalmente a travs del sistema de gestin documental GREDOS de la Universidad de
Salamanca. Todos sus documentos estn en acceso abierto de manera gratuita. Acepta trabajos en espaol, ingls y
portugus. Salamanca Madrid. Web site: () www.disputatio.eu
Disputatio 5:6 (2016), pp. 417-425