EPISTEMOLOGA E HISTORIA DE LA CIENCIA

SELECCIN DE TRABAJOS DE LAS XVI JORNADAS

VOLUMEN 12 (2006)
Jos Ahumada
Marzio Pantalone
Vctor Rodrguez
Editores

REA LOGICO-EPISTEMOLGICA DE LA ESCUELA DE FILOSOFA

CENTRO DE INVESTIGACIONES DE LA FACULTAD DE FILOSOFA Y HUMANIDADES
UNIVERSIDAD NACIONAL DE CRDOBA

Esta obra est bajo una Licencia Creative Co mmons atribucin NoComercial -
SinDerivadas 2.5 Argentina
 El signo de asercin fregeano
Sandra Lazzer'
En el Tractatus Wtttgenstein formula algunos comentarios acerca de signCI de asercin
introducido por Frege que derivaron en una serie de polmicas interpretaciones que algunos
autores propusieron promediando el siglo XX sobre la naturaleza de este elemento del
simbolismo fregeano. En lo que sigue tratar de resear algunos de los errores que a mi
entender estn contenidos en algunas de estas interpretaciones hoy ya clsicas del signo de
asercin fregeano.

l.
Frege repar tempranamente en que, para poder sustentar la tesis de que la_ aritmtica
constituye una extensin de la lgica, importantes mejoras deban introducirse en sta. Haba
que poder explicar desde un comienzo todo cuanto pudiera requerirse para la demostracin de
los teoremas de la aritmtica. Era imprescindible entonces, reducir el procedimiento de la
deduccin a un coto nmero de. pasos, siendo estos adems perfectamente controlables, de
suerte que no existiera posibilidad alguna de inconsistencias o contradicciones Para- satisfacer
estos requisitos de rigor y sistematizacin de la "nueva" lgica, en 1879 Frege present su
Conceptografia. El lenguaje simblico deba tener las ventajas y cualidades que Leibniz habla
pensado para el calculus phlosophlcus et rattocinator, con lo cual sera posible una
emancipacin de la "nueva" lgica de la gramtica del lenguaje ordinario. Esto poda realizarse
si la ambigua terminologa sujeto/predicado era sustituida por una distincin ms adecuada
entre diversaS forrilas proposicionales sobre la base de su teoria de la funcin. Lo que en la
Conceptografia se presenta es bsicamente un lenguaje formal del pensamiento puro, un
sistema simblico provisto de los recursos adecuados que aseguran la precisin de los procesos
deductivos.
Uno de los primeros signos especiales introducidos por Frege en su Conceptografia est
destmado a expresar el jwcio o la asercin. El signo en cuestin es " 1- " y se antepone al
signo o complejo de signos que expresan el contenido de la asercin. Se trata en realidad de un
signo complejo. Frege denomin Utteilstrich, esto es, sgno de asercin, o como a veces
tambtn se lo llama, "trazo de asercinojutcio" Gudgment-stroke), solamente a la raya verticai
" 1" Si se omite esta raya queda la raya horizontal, "-", Inha/strich o '"trazo de contenido''
(content-stroke), la cual sirve para indicar que el signo o los signos situados a su derecha estn
siendo objeto de consideracin, slo que ni afirmados ni negados. Lo que sigue a esta raya
puede leerse como "la proposictn de -que", cuyo contenido ha de ser siempre un contenido
judicable o aseverab/e, no meramente una idea.
Frege rechaza el dogma de la lgica clsica de que la representacin de tm JUicio o
aserctn deba siempre hacerse con base en la distincin sujeto/predicado. Lo que una adecuada

'UBA
Epistemologia e Historia de la Ciencia, Volumen 12 (2006)

-328-
 representacin deber poner de manifiesto en el lenguaje de la "nueva" lgica es el contenido
conceptual del juicio o la asercin. La particularidad del lenguaje ideado por Frege parte de
imaginar un anlisis donde la totalidad de un juicio o asercin ha de ser expresado por lo que
gramaticalmente reconocemos como clusula sujeto. En un sentido muy especial y slo si
quisiramos insistir en identificar algn predicado, podramos tomar a este signo utilizado por
Frege "~ " como un signo predicativo comn a toda asercin. Es as como en su nuevo
simbolismo, en su notacin conceptual. Frege por medio de este signo especial indicar que se
est haciendo una asercin, esto es, afirmar un pensamiento que se considera verdadero y no
nada ms que se le tiene .
Como dijimos antes, Frege introduce el signo de asercin en su Conceptogrqfa, pero no
es este el nico trabajo donde dicho signo aparece. Tambin est presente en Las leyes
fondamentales de la aritmtica. Hay adems algunas otras referencias al signo en cuestin, en
las que en trminos generales Frege repite lo dicho en sus trabajos principales. Entre estos
textos cabe destacar un pasaje muy significativo de "Funcin y Concepto", donde Frege afirma
lo siguiente:
Cuando se escribe una ecuacin o Inecuacin, por eJemplo, 5>4, ordmanamente se quiere
expresar con ello al mismo tiempo un juicio~ en nuestro caso, se quiere aseverar que 5 es
mayor que 4 . De acuerdo con la concepcin que he explicado aqu, en ..5>4" [....] se tiene
slo expresiones de valores de verdad, sin que con ello se asevere nada. Esta separacin
entre el juzgar y aquello sobre lo que se juzga, parece indispensable, pues de lo contrario,
una mera suposicin, el plantear un caso, no sera expresable sin juzgar, al mismo tiempo,
sobre si ha sucedido o no. Necesitamos pues un signo especial, para poder aseverar-:aigo 1
Sigmendo a Wittgenstein, para qmen "lgicamente, el signo de asercin de Frege, ' f-',
carece por completo de significado; slo indica en Frege (y en Russell) que estos autores
consideran verdaderas las proposiciones a las que se antepone este sign [Traciatus
4442]"2, muchos autores concuerdan en que dicho signo es superfluo, quizs un "desliz"
conceptual y/o notacional en la obra de Frege Victor Dudman3 por ejemplo ha resaltado
que "Peana percibi inmediatamente que el signo de asercin de Frege es ocwso y de ese
modo anticipa las criticas de Wittgenstein en el Tractatus" Este autor piensa que' el signo
de asercin como operador podra encontrar un lugar en un sistema formal dialcttco, pero
no en una lgica. Ahora bien, es interesante preguntarse, en primer lugar, si el signo de
asercin efectivamente es ocioso desde un punto de vista lgico, si lgicamente carece por
completo de significado y si meramente indica que Frege considera la proposicin sealada
por l como verdadera, y en segundo lugar, si su significacin est restringida al mbito de
la dialctca, entonces cmo y por qu Frege se compromete en darle a este signo un lugar,
ciertalllente no menor, en su lgica. En un trabajo tardo de su obra, compilado en su
Escritos Pstumos', Frege vuelve a insistir en la importancia de este signo sealando que,
"debf comenzar estrictamente mencionando el signo de asercin, la disociacin de la fuerza
asertrica del predicado" Puede tratarse, como sugiere en algn pasaje de su trabajo
Dudman, de un gesto de obstinacin por parte de Frege. O puede en cambio mostrar que no
se trata de un signo superfluo, si nos atenemos a la concepcin de la lgica propia de Frege

-329-
2.
En la polmica en tomo al signo de aserc1n fregeano hay por lo menos dos pos1c1ones que
involucran interpretaciones contrarias del rol que este signo tiene. Siguiendo el trabajo de
Dudman antes mencionado, podemos caracterizar.estas dos interpretaciones como la versin de
Geach (en alusin a la interpretacin sostenida por Peter Geach en su trabajo "Assertion"5) y la
versin de Black (en alusin a lo expuesto Max Black en su comentario de las crticas de
Wittgenstein a Frege, en su trabajo A Compamon to Wittgenstein s Tractatwl).
Resumidamente, podramos decir que para la primera versin, la versin de Geach, el signo de
asercin es simplemente un ndice de la asercin: "seala por -su presencia o ausencia, .de un
modo u otro, que un contenido conceptual dado [... ] est de hecho siendo presentado como
verdadero". En cambio para la versin de Black el signo de asercin "altera el status
semntico", es decir convierte una designacin en algo que no es una designacin; el signo
convierte las designaciones en aserciones.
A partir de esta distincin se pueden hacer varias consideraciones. La primera, es que en
ambas versiones slo hay asercin si est presente el signo correspondiente. La segunda es que
para Dudman las dos versiones estn presente en la obra de Frege, lo que, segn este autor,
marca una tensin interna en ella. En relacin con esto, y como han afirmado algunos autores,
especialmente N. Smitb7, esto es errneo. Segn Smith, y creo que con razn, la vefSln
correcta en tomo a la naturaleza del signo ftegeano de aserci()n es la propuesta por Geach. La
conjetura explicativa que propone es la siguiente. En el anlisis ofrecido por Dudman, la
versin Geach se puede encontrar reflejada en los primeros escritos de Frege, especiahnente
en la Conceptograjla, pero a partir de "Funcin y Objeto" aparece un tratamiento del signo de
aserc1n ms ligado a lo que aqu se llam la versin Black: Ambas versiones evidencian
maneras alternativas y, segun Dildman, lncorn.ratibles de entender el sigtill 4 asercin; pero a
pesar de ello aparecen fosionadas en Las leyes fundamentales de la aritmtica. Sin embargo,
Smitb cree, en contra de Dudman, y sigmendo la lectura del propiO Geach, que a partir de
"Funcin y Objeto" Frege comienza a introducir una terminologa asociada .con su distincin
entre sentido y referencia y con su nocin de proposicin, entendida como un nombre
complejo de objetos lgicos como lo son los valores de verdad. Estos elementos modifican la
descripcin que Frege ofrece del signo de asercin. Pero este cambio terminolgico en la
descripcin del s1gno de asercin no implica que la naturaleza atribuida a ste .sea radicalmente
distinta que la presente en sus escritos anteribr\)s. Adems, segn Smitb ms importante es que
lo que llev a Dudman a sostener que hay dos nociones incompatibles en l expliGacin de la
naturaleza del signo de asercin es una corifusin entre la oracin aseverada y la asercin..
"}--2+3= 5" es una asercin; la oracin aseverada es "2+3= 5". Uno puede aseverar una
oracin como esta segunda, pero -no- puede aseverar -una aseveracin.- El signQ -de ase-veracn-
no acta como una suerte de operador semntico que convierte un nombre en otra cosa. No
hay modificacin alguna del contenido semntico de la proposicin u oracin de base.
Simplemente lo que se genera es una combinacin que meramente indica que se est llevando
a cabo el acto de aseverar una proposiCin u oracin, esto es un nombre previaroente dado
Por ltimo, vale .la pena ha.cer .una aclaracin. Aunque ini.cialm.ente hayamQs presentado al
signo "f- " como aquel que se antepone al signo o complejo de signos que expresan el

330.
contemdo de la aserc1n, la nocin de contemdo puede aqu ser equvoca. Inicialmente Frege,
de una manera un tanto vaga, asocia los signos con la nocin de contenido. Sin embargo, hace
la siguiente aclaracin: "No todo contenido puede ser objeto de juicio cuando f- es escrito
antes de su signo; por ejemplo, la idea de "caballo" no puede serlo. Debemos entonces
distinguir entre aquellos contenidos que puede ser objeto de juicio y aquellos que no [ ... ]lo que
siempre sigue al trazo de contenido debe ser un contenido que pueda ser objeto de juicio". Este
pasaje pertenece a la Conceptografia8 Es as como el trazo vertical, el que propiamente indica
la asercin, slo aparece a la izquierda del trazo horizontal o de contenido; en otro trminos,
slo cuando el trazo de contenido aparece, el contenido en cuestin puede ponerse en
consideracin, esto es, puede juzgrselo como siendo verdadero. Esto es lo que conlleva un
acto de asercin. En escritos posteriores, Frege abandona la idea de contenido como aquello
asociado con un signo en favor de la idea de asociar los signos a un sentido y una referenca.
Esto hace que sin "contenidos" el rol del trazo de contenido se deba redefinir. Es as como
pasar a ser unafoncin que tendr como lugar de argumento, como objeto, un nombre, esto es
una proposicin. Empero este cambio no implica que el signo de asercin rciba una
explicacin alternativa o empiece a considerarse su naturaleza de manera distinta. Frege
modifica o cambia, en todo caso, su nocin de "-", pero no la concepcin de su " 1 ", lo que
hace que no modifique su concepcin del signo de aserciR

3.
En la literatura sobre el tema se reconoce que, si bien las primeras crticas al signo de asercin
fregeano fueron formuladas por Peano en su comentario crtico de Las leyes fUndamentales de
la aritmtica, eu varios pasajes del Tractatus Wittgenstein formula una serie de comentarios
acerca de la asercin y su representacin simblica en Frege, a partir de los cuales se ha
generado un importante polmica. Describe al signo de asercin fregeano como careciendo por
completo de significado, negando que pertenezca a la proposicin Insiste"n que la asercin no
puede dar sentido a la proposicin. "Toda proposicin tiene ya que tener un sentido; la asercin
no puede drselo, puesto que lo que se asevera es el sentido."[4.064] La asercin slo ')ldica en
Frege (tambin en Russell) que hay que considerar verdaderas las proposiciones a la~ que se
antepone este signo. Wittgenstem rechazar que el predicado "ser verdadero", sea predicado
de todas las proposiciones afirmadas. "[ ... ] el verbo de una proposicin no es 'es verdadero' o
'es falso' - como crea Frege; ms b1en, eso que es verdadero debe ya contener al
verbo".[4.063].
Hay creo por lo menos dos lneas argumentativas por medio de las cuales se puede mostrar
algunos errores interpretativos que los comentarios de Wittgenstein contienen. La primera fue
expuesta por D. Jaquette9, reconstruyendo las crticas bajo la forma de una secuencia
argumentativa que se apoya en dos supuestos bsicos que Wittgenstein habra adoptado. El
primero es el que Jaquette denomina principio de stgnificacln y enuncia de esta forma. "Si un
signo intenta decir algo que no puede ser dicho, entonces ese signo carece lgicamente de
significado" Pero es el segundo supuesto el que Jacquette cree que es falso, que no puede ser
atribuido a Frege y que de hacer)o lleva a interpretar de manera incorrecta el signo de asercin
fregeano Este supuesto se enuncia diciendo que: "El signo complejo ' f- p ', que contiene el

-331-
signo de asercin de Frege ' 1--' intenta decrr de s mismo que es verdadero". Este signo no
intenta decir de s mism0 que es verdadero; simplemente dice que el subcomportente
proposicional es verdadero.. Aqu hay algo similar a lo que sealbamos antes, esto es, la
adopcin de .una lectura del signo de .asercin como si este fuera una especie de operador
semntico. Un dato curioso es que para mostrar el error interpretativo de Wittgenstein
Jacquette se vale de un comentario de Max Black efectuado en el mismo texto que Dudman
haba tomado para su reconstruccin. Este comentario de Black afirma que "la visin de Frege
de su signo de asercin no requiere que se afirme que una proposicin asevera su propia
verdad" Este pasaje refuerza an ms, a mi entender, la impresin que N.. Smth insina
respecto a cierta desvirtuacin de las ideas de Black en la reconstruccin de Dudman.
Resumiendo: aunque acordemos con Wittgenstein en que una proposicin genuina no puede
hacer una afirmacin sobre s misma, no es esto lo que con el signo de asercin fregeano se
hace,
La segunda objecin que se puede ofrecer a la interpretacin de Wittgenstein esta
relacionada con la idea de presentar el signo de asercin como un predicado. Vuelv haber
aqu un error interpretativo. Recordemos algo que dije al principio, en relacin al lenguaje de
la Conceptografia. Entre las particularidades que este lenguaje tiene es la de proponer un
anlisis donde la totalidad de un juicio o asercin que ha de ser expresado por lo que
gramaflcalmente reconocemos como clusula sujeto.. Esto hace que, siguiendo a Frege,
debamos imaginarnos una variante del lenguaje ordinario donde la asercin: "Arqumedes
pereci en la conquista de Siracusa" se exprese ahora diciendo que; "La muerte violenta de
Arqumedes durante la conquista de Siracusa es un hecho". Pero entonces en un sentido muy
especial y slo si quisiramos insistir en identificar algn predicado, podramos tomar a este
signo utrlzado por Frege " 1-- " como un signo ptedlcatvo comn a toda asercin. Frege lo
expresa del siguiente modo
Sm duda, uno puede distmgtut aquf (en el segundo caso del ejemplo de Arqumedes)
entre sujeto y predicado, si es que uno desea hacerlO, pero el szljeto incluye el contenido
completo, y el predicado slo sirve para tomar al-contenido como objeto de juicio. En un
lenguaje como ste debiera de haber slo un predtcado para todos los juicios, llamado "es
un hecho"
Pero es Igual de importante la aclaracin que Frege agrega a continuacin;
----- .
No hay aqu nmguna cuestin ligada a la nocin de sujetO y predtcado en un sentido
10
ordmarm

Esta forma de presentar el signo de asercin como un predicado fue motivo de muchos
comentarios los cuales, con ra.Z6n, mostrarll que lay -en ella elementos poco claros qrie
pueden llevar a confusin. De hecho Frege abandona esta presentacin en Las leyes
fundamentales de la aritmtica. Sin embargo, y ahora en relacin con las crticas de
Wittgenstein, es necesario aclarar dos cosas. La primera es que Frege no dice exactatrtente que
el trazo de asercin es un predicado. Lo que es un predicado es la combinacin de ste con el
trazo de contenido. ''Nuestra coliceptografa es un lenguaje [... ] donde el signo "1--" es el
predicado comn a todos los juicios" . La segunda y ms importante aclaracin tiene que ver

-332.
con la frase de Frege sealada hace un momento; an si considerramos el signo de asercin
como un predicado, esto nada tiene que ver con el uso del concepto predicado en un sentido
ordinario. .
Recordemos ahora la crtica de Wittgenstein:"[... ] el verbo de una propostcin no es 'es
verdadero' o 'es falso'- como crea Frege; ms bien, eso que es verdadero debe ya contener al
verbo".[4.063]. Podra argmnentarse que hay aqu una suerte de traspaso del signo de
asercin, indispensable cuando se trabaja en sistemas formales, al lenguaje natural, donde la
distincin ya no valen No hay, sin embargo en Frege ningn traspaso del signo de asercin al
lenguaje ordinario, porque cuando se lo considera como un predicado, ste en modo alguno
tiene el sentido habitual. No hay ninguna evidencia textual para presuponer que Frege haya
credo que las dos oraciones antes mencionadas en torno a la muerte de Arqumedes tienen
distinto contenido conceptual. No hay ningn verbo en "es lo verdadero" o en "es un hecho"
cuando se reconstruye la asercin en sentido fregeano que agregue contenido semntico
alguno, porque no hay una predicacin en un sentido habitual. Hay slo una "marca'' que
indica que una asercin est siendo hecha, una forma de poner de manifiesto la presencia de un
acto de asercin. Wittgenstein tiene razn en suponer que toda proposicin tiene ya wr sentido
y que la aseveracin no puede drselo En lo que se equivoca es en creer que esto ltimo es lo
que Frege quiere hacer con su signo de asercin 12

4.
Dejemos, pues, de lado opiniones como las de que se trata meramente de una obstmacin por
parte de Frege el incluir un signo como este o que Frege le da al signo una importancia que no
tiene o que las distinciones conceptuales y las implicactones filosficas que extrae de su
postulacin son erradas. Queda an pendiente una explicacin de cual es el rol y la importancia
que este signo tiene en la concepcin de la lgica propia de Frege Es justamente en este
aspecto o esta perspectiva que, quienes creen que no hay nada de contradictorio ni redundante
en el uso del signo en la lgica de Frege, basan sus argumentos . En trtninos muy generales,
estos autores creen que hay elementos propios de la concepcin de la lgica de ,Frege que
permiten distinguir entre una inferencia como proceso justificatorio, y por lo tano con una
dimensin epistmtca, y leyes de inferencia. La capacidad justificatoria de una inferencia: no
estar simplemente garantizada por cuestiones ligadas a la validez o a la correccin de la
misma 13 Hay un aspecto esencial inherente al reconocimiento efectivo de la verdad de las
premisas en tanto esa inferencia se considera de un proceso de reconstrucctn racional y
justificacin de un cierto conocinuento, e. g., conocimiento aritmtico, que debe estar presente
En este mbtto el signo .de asercin no slo es un dispositivo adecuado para tal propsito, sino
irnprescindible 14 ..

Notas
1
Frege[l998] en "Functn y Concepto" pp 69-70. Aqul es muy pertmente la nota y comentano a p1e de pgma del
traductor: "La barra del juicio no puede usarse para formar una expresin de funcin, pues no sirve, en conexin con
otros signos, para designar un objeto" nota 7 pg 70

.- 333
2
Wittgenstein, L ( 1961] La verstn castellana est tomada de la traduccin mdtta de Alejandro Tomasmt Bassols
' Dudman [1970]
'Frege [1979]
' 0.~,11.[!9~65]
'B1ack [1964]
7
Smith [2000]
8
Frege [1967] traduccin de pp 11-12
' Jacquette [195]
10
Frege [1967] pp 12-!3
11
Si tomamos la adecuada reconstrucctn que de esta critica presenta Tomasmt Bassols[2003], el error de
Wittgenstein se hace evidente (y esto en contra de lo que el propio Tomasini Bassols sostiene):
"Aqu Frege es vctima de su propio espejismo al traspasar tranquilamente su stgno de asercin,
mdispensable cuando se trabaja en sistemas formales, al lenguaje natural, donde la dtstincin ya no vale
Para el hablante nonnal la nocin de verdad aparece ya en o con las oraciones empleadas, esto es,
afirmadas."Tqmasini: B_assols .[2003]
12
Una lectura polmica, de naturaleza declaradamente wtttgenstemana, cuya afirmacmnes leJOS de evidencmr un
desconocimiento del tema nos introducen en qn punto de yista. ~temati_vo a lo que pod(a. califi_c_ars~: co_tn!J ~orto_do_xia
interpretativa'', se pueden encontrar en el captulo 4: ''The Formal Theory of Assertion" en G.P Baker & P.MS.
Hacker frege: Logical Excavations Oxford 1984. Algunos de los comentarios corno los de l. Props. [1997], as como
tambin los de A Tomasini B!i.3sols- reseados antes, debe reconocerse que- tienen, an cuando no se comparta su punto
de vista, el peso interpretativo de esta tradicin alternativa
"Vase Currie [1987] pp 55-56
l-1 Para una adecuada reconstrucctn del stgmficado mferenctal que Frege le otorga a su s1gno vase Green[2002]

Bibliografa
Black, M. [1964] A Companion to Wittgenstein's "Tractats", Ithaca, Cornell Umvers1ty Press
Currie, G _[1987] "Remmks on Frege's Conception oflnference", Notre Dame Joumal ofFormal Logic, Vo/28 no 1,
pp 55-68
Dudman, V [1970]. "Frege's Judgment-Stroke" The Phi/osophical Quarterly, Voi20 . No. 79 pp 150-161
Frege, G [1967]: Begriffsschrift, a formula language for pure thought modeled upon that of arithmetic, for pure
thought, en From Frege to Giidel, van Heijenoort (ed) Harvard University Press; pp. l-82
Frege, G {1979]: Postlmmus Writings, H. Hennes, F Kambartel and F Kaulbach (eds) Blackwell
Frege, G. [1998]; Ensayos de Semntica y FilosojTa de la Lgica, Edicin, introduccin, traduccin y notas de Luts M.
Valds Villanueva, Madrid~ Tecnos.
Geach. P T [1965]: "Assertion" The Philosophical Review, VoL74.No.4 pp 449-465
Green, M. [2002]; 'The Inferenctal Significartce ofFrege's Assertion Sign", Facta Philosophtca, vol4, 02
Jacquette, D. [1985]: Wittgenstein on Frege's Urteilstrich", lnternational Logic Review, Vol 16. pp 79-82.
Proops, I [l997];"The Early Wittgenstein on Logica1 Assertion", Philosophical Tapies, vol 25, no. 2
Smith, N [2000]. "Frege's Judgment-stroke", Aust;a/aSian-:Journal o/Philosophy, Vol 78. Pp. 153-175
Tomasmi Bassols, A. [2003] "Frege y el Tractatus", en Estudios sobre lasfilosofws de Wittgenstein, Mxtco, Plaza y
Va1ds. pp. 57-75
Wittgenstein, L [1961]. Tractatus Logico-Philosophicus; Traduccin de D Pears y 8 F Me .Gumness,: Londres y
Henley, Routle~e & Kegan Paul

-334-