Esta y otras 'doctrinas hacen que el pensamiento

de Frege pueda constituir todava hoy un siido punt~ de partida no slo para quien se interesa pot el progreso de la lgica
formal, sino tambin para los que se ocupan _de otras regiones
de la filosofa.
6. En esta edicin las notas sealadas por nmeros son de
Frege, las que van entre corchetes precedidos por letras son
del traductor. !--os -corchetes sin letras encie~Tal} palabras.
que fue necesario suplir para una mejor comprensin. Esto
no vale naturalmente para los corchetes en las frmulas stmblicas.
Esta publicacin ha sido posible gracias a una beca
~e la Fundacin Alexander van Humbolt y a un permiso sabtl~o. de la Universidad Catlica d~ Valparaso, que me per-.
mttteron consagrar un ao al estudio de Frege en la Universidad de Heidelberg. Al Prof. E. Tuge~dhat (Heidelberg)
agradezco su contnuo apoyo. durante este perodo. Por su
valioso. estmulo en la ingrata tarea de traduCir. debo agradecer tambin al Prof. R. Torretti (Puerto Rico). La revista
Dilogos (Universidad de PUerto Rico) me ha autorizado
para reimprimir aqu mi versin de "Sobre sentido y denotacin", publicada por vez primera en su No 22. Mi colega el
Prof. R. Vergara (Valparaso)' tuvo la gentileza de revisar
conmigo gran parte de la traduccin colaborando as a evitar
ms de un err~r.

. Alfonso Gmez-Lobo
Va!palso, marzo 1972

.V~ta: ~n el momento en que me dispona ~. poner mi manuscrito en manos 'del

editor, ap.ar~ci-u.na buena edicin de Frege, muy semejante a sta y co; importantes comcJdenctas en la presentacin (C. Frege, Estudios .robre Semntica.
Int.roduccin de Jess Mosterin, traduccin de Ulises Moulines, Ediciones
Anel, B.arcclon,~, 197.1). Esta publicacin. se diferencia de la ma en que incluye el Prologo a Funcwn y Concepto", el Prlogo y la 1ntroduccin a las Gr'undgesetze y eL ~rtc.ulo1 "Qu es una funcin?". No incluye en cambio ninguna
de las Invesogacwnes Lgicas. La bibliografa. ~e las obras de Frege es casi
completa. No hay referencias a las traducciones ni a las obras sobre Frege.

20

'

\J

('./1 V

10:. fV\

~ tt.(Ar

\)E.

\ } '- Yl A

~A{~

~1- (_

FUNCION Y CONCEPTO
(FUNKTJON UND BECRIFF),*

:;

Hace ya bastante tiempo tuve el honor de dar ante ~

esta sociedada dos conferenciasb sobre el sistema de smbolos que he llainado ideografia (Begriffsschriftt. Hoy
quiero iluminar el asunto desde otro ngulo, completar aigunos puntos y comunicar nuevas concepciones cuya necesidad
se me ha impuesto posteriormente. No se trata de exponer
aqu -la totalidad de mi ideografa,r sino de elucidar algunas
ideas fundam~ntales.
Mi punto de partida es l9 que e{1_IQtemticas se ILa11! una funcin. -Esta palabra
-t~-~() desde el wmienzo un
significado. tan amplio como el que adquiri despus. Haremos bien en comenzar- nuestro estudio con el Uso primitivD para .
)u ego fijar la . atencin sobre las extensiones posteriores.
Por el momento hablar nicamente de funciones de un s'olo
argumento. Una expresin cientfica aparece por vez prime-

no

*[Primeraediciqn: Bibi.No 19] ..

El 1O de enero de 1879 y el27 de enero 1882.
[Sociedad de Medicina y Ciencias Naturales deje na].
b [Bibl. No 8 yNo 12. Cf. adems W 42].
'[Bibl. N 7 y42].
1

21

'';+

ra con un significado bien marcado cuando se requiere de ella

2 para expresar una legalidad. Esto sucedi en el caso de la funcin cuando se descubri el anlisis superior. All se trataba
por primera vez de es.tablecer leyes vlidas para las funciones en general. Hay que retroceder por 'Jo tanto a los tiem. pos del descubrimiento del anlisis superir para saber qu
se entenda originalmerite en matemticas bajo la palabra
"funcin". Al hacer esta pregunta se obtiene probablemente la. respuesta: :~por una funcin de X Se entiende una
expresin matemtica que contiene a x, una frmula que incluye la letra x". Segn esto la expresin.
2 x

+x

sera una funcin de x,

sera una funcin de 2. Esta respuesta no puede satisfacer

porque en .ella no se distingue entre forma (Form) y contenido (Inhait), entre signo (Zeichen) y designado (Bezeichnetes), un error que encontramos hoy a menudo en .escritos
matemticos, incluso de autores famosos. Con anterioridad 2
he sealado las deficiencias de las teoras formales ms en
boga de la aritmtica. Se habla all de signos que no tienen contenido ni deberan tenerlo, pero luego se les atribuye propie~
dades que slo pueden convenir razonablement~' .a un contenido del signo. Lo misrn() Q_C:.l!.!T.e~.fl e,ste. c:s()_: un rn.e.ra expie-
sin, la forma de un contenido no puede ser la.esencia de la cosa;
3 sTo.pl.ieie.serkl e-1 c9nte1a .-mlsil}. Cul es ;~tonces el
contenido, la denotacin de "2 i +, 2"? La mi~ma que
la de "18" o de ",3 6". En la ecuacin 2 2 3 + 2 = 18 se
expres.a que la denotacin de la conexin de signos que est
a la derecha es la misma que la cieiltaa~araq-ue est a la .izquierda. Debo oponerme aqu a la opinin de que p.ej. 2 + S y
3 + 4 son iguales,.pero no lo mismo. Lo que subyace a esta opi- ,
nin es nuevamente la c~nfusin entre forma y contenido, en2

Die. Grundlagen der Arithmetik, 92 ss. y "Ubcr formaJe Theorien der

Arithmetik" [Bibl. W 14 y 17].

22

. tre signo y qesignado; Esto equivale a querer ver en la, violeta

olorosa algo distinto de la viola odorata porque los nombres
no suenan igual. La diversidad en la de'signacin no basta por
s sola para funda.~entar una dive~sidad en lo designado. En
el caso sealado la cosa es menos evidente slo porque la denotacin del signo numrico 7 no es, algo perceptible por los
rsentidos. La tendencia, muy difundida en el presente, a no re\ conocer como objeto nada 'que no pueda ser percibido por los
\1 senti'd os, m
. duce a cons1'd erar 1os s1gnos
.
' .
'
numencos
como nu3
/".nieros, como los autnticos objetos de es.tudio ; en este caso
7 y 2 + S seran ciertamente diferentes. Pero~na concepcin
de .esta especi~ . t:s. ii:tS_Qt~nible ..JlJLe.s 'l~ ..s~ .piie1i~~.b;bh; de~nJry- 4
g\f!i:JL5g~_d.Q~<Pi.e.~:t<t.c!<:.3Ltmticas de los nmeros sin recyrriE...~~~:~2!.~5Nll..Qt:..L().iK9..gs; JIIJ.~LC:()S.
propied~d. del .
nmero 1 p. ej. de ser l mismo el. resultadode su multlphcacwn por s mismo, sera pura fantasa. Ninguna investigacin microscpica o . qumica, por exhaustiva que sea, podra descubrir jams esta propiedad en la inocente figura
que llamamos el signo numri~o uno. Se trata tal vez de una definicin, pero ninguna definicin es a tal punto creadora
que est en condiciones de atribu.irle a una cosa propiedades
que sta no posee, salvo la de expresar y designar aquello para
4
lo cual la definicin la introduce como sgno Las figuras
que llamamos signos numricos tienen en cambio propiedades fsicas y qumicas que dependen del instrumento empleado par:a escribirlas. Es posible imaginarse que algn da
se introduzcan signos numencos completamente nuevos,
. tal como los caracteres rabes desplazaron a los romanos. N adie supondr seriamente que' por ese hecho obtendremos nmeros completamente nuevos, objetos cofl1pletamente nuevos para la aritmtica, con propiedades no investigadas hasCf. 1 los artculos "Zahlen und Messen erk~nntnistheoretisch betrachtet"
de H V. HelmhoJ.tz y "ber.den ~ahlbegriff' de Leopold Kronecker en Phlosophische Aufsiitze. Eduard . Zeller zu seinem .fnfzigjahrigen Dokto'rjubi~ Jau m gewidmet, Leipzig, 1887.
4
Lo que se hace al definir es asociar un sentido o una denotaciT\ con un signo.
Donde sentido y denotacin faltan completamente no se puede hablar en rigor
ni de signo ni de definicin.
3

23

ta ahora. En consecuencia, si hay que distinguir entre ios sigsus denotaciones, habr tambin que reconos numricos
nocede la misma denotacin a las expresiones "2", "1 + 1 ",
5 "3
1" "6 3"
.
.
,
: . , pues n0 se alcanza a ver en qu consistira su. diferencia. Se dir tal vez: 1 + 1 es una suma, pero.
6 : 3 es un cuociente. Ques empero 6 : 3? El nmero que multiplicado por 3 da 6. Decimos "el nmero", no "un nmero";
mediante el artculo definido se indica que slo hay un nrne-'
ro. Ahora bien,

1:

',_.

reconocernos la mism~ funcin, slo que con distintos argumentos a saber 1, 4 y 5. Esto nos permite ver que la esencia mis..-~
-~----~---~-rria de l<i funcin radica en"To~quees~tmun. a: dichas expresw.:.
es;~ecirel1.1oquenay:e1
'

1) es justa!hente el nrnt;ro que fue de-

cosa~ De lo contrario la ecuacin x 2

+ 1"
+ 2"
+ 4"

u~a

"2 . ( y~

1.

!:S.!.:I:iba

''x"

no

introdu~~~rl.inguna ~ diferen-

'

'

O o

O o

+ x"

+ ( )" .

L;?_<JQ~.~I1!eresa es mostrar q ~:~,~~~~~g,~~~~~~.~O.J12~,~~.:~:~J~

funcin, sino que frrria)~fl!c}~conJa .fu!l<J.Q!L!!n~tod ~QJ!IpktQ,
rp~es ~~-f~Il.n por~Tsola debe ser llamada incompleta: nece1 sitada de complementacin o no saturada. Y en esto se diferen1 can radicalmente las funciones y los nmeros: Este ra~go
'~esencial de la funcin explica por qu reconocemos en 7
3
3
''2 . 1 + 1" y en "2 .2 + 2" la misma funci~, pe~e.
a que estas ex p_r~_si2n.~~,sl.~ilgiaJLllJl.!I!eLQ~L.difer~l1!~~~~!11J:~tr as
..,".- --tt2~.~~Tr+ 1" ~en "4 - 1"; a pesar del mismo val()r .
..
vernos A

ta~bi~n ~~~ qu uno

~<1111.: ~Q1Q

~~~~~~; ~~-;~~;;;a;;;a~misma~1'Uncin::Ahora

" t?

E~E{}_,~es!.~ ~~~~() .l!IQ~giftc.a.el ~asunto, pues esta. expre.siD.il1dica

e~!()f1C.e~ tin f1~l!It:J'2, slo~3ue }ndeFI1Ld~~~~ente. Que yo ia es-

'

adems de la "x'\ Esto lo podramos escribir tambin de la

siguiente martera

rsignifican nmeros, a saber 3, 18, 132. Ahora bien, si la funcin fuese en realidad slo la denotacin de
expresin
1 de clculo sera entonces precisamente un nmero y con ello
~. no habramos ganado nada. nuevo para la aritmtica. Es cierque al usar .la palabra "funcin" se. suele pensar en expresiones en las cuales un nmero va indicado indefinidamente
mediante la letra x, como p. ej.

-,,o,

"2 x

4 conte~d;;~;;-;i~
las dos races 2 y - 2, sino tambin (1 + 1) y otras incontables que seran .diversas entre s aunque 'en cierto modo semejantes .. Al admitir slo dos races reales, se est rec.hazando
.la opinin de que el signo de igualdad no significa una coincidencia total sino slo una concordancia pa~cial. Si nos atenemos a esto vemos que las expresiones

cnba o

+r 4''')
+
1;,

'"2

sig~a~o corno (6 : 3). Las~~iY~Ei~~. . .t2SI;t.!:t;~""I1.~..~m:Lt:iP"~den

~.!~.~I.~!~.~- _<;:_9~ncepf!Q!l~ 'y=aspectos, pero siemgre: a .1 a tnisma

+'1 y,~

"2
"2

'

"2 1
3
"2 . 2
3
"2 . 4

CJa esenciaL. Sin embargo, es justamente !'a notacin en la x

que indica indefinidamente un nmero, la que nos conduce
. a la concepcin correcta. Llamarnos x al. argumento de la funcin y en

"-.

(1 +1) +(1 +1) +(1 +1) =6,

e.n consecuencia (1

cae fcilmente en ,la ten~acin de v:r ~ ~s- (i:~

tarnerite en la forma de la expresin lo esencial de la funcwn.
En la expresin reconocemos la funcin por el hecho de pen~
' sarla descompuesta y la posibilidad de d.escompon~rla ~e
ese modo es sugerida.por su estructura .
. La dos part~ en que se descompone la expre:~n
de clculo, el signo del argumento y la expresin de la funcwn,
son heterogneas puesto que el argumento es un nmero, un
todo completo en s mismo, mientras que la funcin no lo es.

24
25

Esto se puede comparar con la divisin de uri.a lnea en u~ purtto. Uno se inclina a considerar el punto divisorio como parte de ambos segment.os. Pero si queremos hacer una divisin
perfecta, es decir, una division tal que nada se contado dos
veces y que nada quede afuera, podremos considerar al punto divisorio slo cofDo parte de uno de los segmentos. Este seg-
mento queda entonces perfectamente completo en s mismo
y debe ser comparado con el argumento. Al otro segmento en
cambio le falta algo .. El punto divisorio, que se podra llamar
su _punto fimil, no le pertenece. Slo al completarlo median. te este punto final u otro segmento con dos puntos .finales se
obtiene a partir de l algo completo. Cuando digo; p~ ej;, "la
3
funcin
x~~-+'~x'', no se debe considerar a x como
8 p;;tJJe deJa funcin. Esta letra slo sir~e para indicar el tipo 1
de necesidad de complementacin, pues permite reconocer
los lugares donde debe introducirse el signo del argumento ..) '
.
~~ultado--rle~la..~.GQm.plemm~ci_n.~.d~ la Juncion
me.Qi-f1t!:~Sl! a!:glJJnentoJoJI.arm.liflQs.~l valor de la funcin para
2
~~t~;I.&lJl!l!:IltO. P. ej. 3 es el valor de la funcin 2 - x + x para
el argumento 1 pues 2 - + 1 = 3.
.
_ Hay funciones, como p. ej. 2 +x -x 2 +O
cuyo
valor es siempre el mismt> sea cual fuere su argumento; tenemos en efecto que 2 =2 +x -x y 2 =2 +0 x. Si considerramos el argumento como parte de la funcin pensaramos que
el nmero dos es esta funcin. Pero esto es incorrecto. Pese a

!":0\

x,

q ~.~..~E ..e~t~~~~al or d~!.~ I1~.i~_I"~.~~.~~~~EE~ .?. 1 Jlf~g~~~

mi~!!J:<J: ..fi~Q.~..distingytrs!::.:d.e.f...Jlue~Lla expresin de una flinci'n -~~e..E:los!E.~.E~i~~l?~.~!]O o ms l~gares destinad~;~;~r.
llen<:.~?s por el signo'del.~qs~-~-~t~~.
. ~ET'mtod.ode la geometra analtica nos ofrece un
medio para representarnos visualmente los valores de una
funcin para distintos argumentos. En. efecto, al considerar
el argumento como el valor numrico de una abcisa y el valor
correspondiente de la funcin como el valor numrico de la ordenada de unpunto, obtenemos un conjunto de puntos que
en los casos usuales represent.a visualmente una curva. Cada
punto de la curva corresponde a un argumento con el correspondiente valor de la funcin.

il1..

De este modo p. ej.

.Y

=X

4X

da una parbola. Aqu "y" indica el valor de la funcin y el

valor numrico de la ordenada, tal como "x" indica el argumento y eL valor numrico de la abcisa. Si comparamos con ella
la funcin

x (x - 4)
descubrimos que en . general tiene para el mismo argumento
el mismo valor que aquella. Tenemos en general que

x2

4x

x (x - 4),

sea cual fuere el nmero que se tome para x. Por eso la curva que
obtenemos de

x 2 - 4x

es la misma tue resulta de

y =x(x -4)

Esto lo formulo as: la.ft1n<::in x (x - 4) ti~g~_eL~!~2.!:l1D'9de

'

f"\d '

la f
. ' 2 ,. . 4
....UJJJ~lOU~--= ~""'->

V!l{QL(\'V fJ:t\T~TJl!!L_g~e.

Al escribir

x 2 -4x=x(x-4)

no~.~'l'::~Paramos una func_n.con iLotra, sjpo solamente el. yalor de una funcin conel de 1 otra. Y si entendemos esta ecuaci~-~~~o vlida para~ cualquier argumento que pueda introducirse en lugar de x> hemos expresado la generalizacin de
una ecuacin. En lugar de eso podemos decir tambin "el
[Esta es tal vez la ms oscura de las nciones bsicas de Frege. CL la opinin
de R. S. Wells y de Russell en BibL N 62 pp. 1'3 y 427. Para traducirla he preferido la versin ms literal dentro del contexto: Wertverlauf sera el curso
(Verlauf). o la curva que describe el valot (Wert) deull..O:JilE.l:~e.neig;r~_ep
qu~ r~presentasu valor para~dj.stint()s a,rglJm!:fitQs. n ingls se ha hecho usu~l
traducirla por "range of values" o simplemente por "range"; Carnap SIJ1
embargo, propone "value distribution" (BibL No 95, p. 118, n. 21 ). En castellano se emplea habitualmente "alcance" o "recorrido"].

27

26'

curso del val~r de la funcin x (x - 4) es igUal al de la funcin ;/

4 "
' .
. '
X
y aqui tenemos una ecuacin entre cursos de valor. El
hech~, de que sea posible concebir la generalizacin de una
ecuacwn entre _-valores de funciones como una ecuacin [par~
ticular], es decir como una ecuacin entre cursos de valor es
me pare
d

'
'
ce, m emostrable y debe ser entendido como una ley
, .
b asica de la lgica5 .

"x 2

10 '

- 4 .E)

es el curso del valor ele la funcin x2 - 4x, y

~ (a [a -' 4])
es el curso del valor ele la funcin)( (x - 4), de modo que en

"(<

-4~) =,(a[a -4J)"

tenemos la exp
, d d
.

reswn e a I entidad del primer curso ele valor

con el segundo El ,

r .
eg mtencwnalmente
dos letras griegas
d 1 erentes para d'
.

.
.
m lcar que nada nos obliga a escoger
la misma.

11

" X2

indica el curso del valor de una funcin que queda indetermiiada.

- 4 X = x (X - 4)"

e~presa en realidad el mismo sentido, si entendemos esta ecua~

Cion como lo h
.
'd
. ICimos antes, pero de otra. manera. Presenta el
sen ti o como la
. 1'
.,
/'
. , . .~en~ra Izacwn de una ecuacin, mientras qJJe
1a . expreswn
re Cien mtrod , 'd
.
1
. ,. .
.,
- .. .. . .... ...........
u~I_(l _e:S__ ~!ll.P .emente una ecuac1
en la cual t t
11 d
.... .
_ ..
on
.... 'Ti ..d _an e a o dere~hocomo el lado izquierdo tiene un
sigm !ca o completo en s mismo. En
.
.

6E

n algunos giros de 1

.
cin"
d
a termuw 1ogia matemtica usual la palabra "fu
correspon e de hecho a l
h
.
.
nfuncio'n La fu . .
o que e llamado aqu el curso de valor de una

ncwn empero

'd
lgico, lo anterior. .
en e sentl o usado aqu es, desde un punto de vista

'.
1

28

4x = x (x - 4)"

el lado izquierdo; considerado aisladamente, indica. slo indefinidamente un nmero. Otro tanto ocurre con el lado dere2
cho. Si tuvisemos. simplemente ''x
-- 4x", podramos escribir en su lugar " / - 4y" sin cambiar el sentido, pues
"y'' al igual que "x" indica slo indefinidamente un nmero. Pero si unimos ambos lados para formar una ecuacin,
debemos emplear en ambos la misma letra; all expresarnos
algo que no est contenido ni en el lado izquierdo, ni en el derecho, ni en el signo de igualdad, tornados aisladamente: .lo. expresado es justamente una generalizacin. Es cierto que se
trata de la generalizacin, de una ecuacin, pero es ante todo
una generalizacin.
Tal como indicarnos indefinidamente un nmero meuna letra para expresar generalizacin, necesitamos
tambin indicar indefinidamente una funcin sirvindonos
de letras. Con este fin se usan generalmente las letras f y F de
modo que. en "j(x)" .Y "F(x)" el argumento va represen(tado por x. La ne,cesidad de complementacin de la funcin
f se expresa aqu por el hecho de que la letra f o F lleva consigo
un par de parntesis cuyo espacio interior est destinado a r~- 12
cibir el signo del argumento. De acuerdo con esto,

. b, . Ahora . podemos introducir ta mlin una notacin

sim. o!Jca abreviada para el curso del valor de una. funcin.
C on este fin reempl

d

.,
azo e signo e1 argumento en la expreswn de la fun '
,
.

.
Cion por una vocal gnega, encierro el todo entre
,
parentesis y le antep .
1
.
.
ongo a misma letra griee-a con espritu
suave. De acuerdo con -~sto, p. ej.
u
' ( 2
~ .~

Ahora bien, Cmo se ha ampliado el significado de

la palabra funcin con el progreso de la ciencia? Podemos distinguir en esto dos direccones. ,
En primer lugar se ha ampliado el crculo de las ope-
raciones de clculo qe contribuyer. a formar una funcin. A
la adicin, multiplicacin, elevacin a potencia y sus contrrios se han agregado las diversas clases de paso al lmite, pero
sin que se tuviera siempre una clara conciencia de lo esencia]-
mente nuevo que se estaba incorporando. ,Al seguir adelante
se vio incluso l~ necesidad de buscar refugio en el lenguaje
'ordi.nario, pues el lenguaje simblico del anlisis fallaba, p.
9

ej. cuando s~ trataba de hablar de un:a funcin cuyo valor para

argumentos racionales es y para irracionales O.
En segundo 1ugar se ha ampliado el crculo de lo. que
puede aparecer como argumento y valor de una funcin al
incorporar. los nmeros com piejos. Junto con esto se tuvo que
definir con mayor amplitud el sentido de las expresio~es ))su~
,'
.ma ,, , '' pro d ucto '' etc.

13

Sigo adelante en amba's direcciones. Primero agr'ego

a los signos +, -,etc. que sirven para formar la expresin de
una f~nCin, signos como =, >, < de modo que puedo hablar
2
p. ej. de la funcin x = 1, donde x representa como antes al
argumento. La.p'rimera pregunta que surge aqu es la preg~n
ta por los. valores de esta funcin para diversos argumentos: Si
reempla~amos ;~:sucesivamente por -1, O, 1, 2, obtenemos

( -1 )2

'

oz

1
2
2

1
1
1
1

=
=
=

De estas ecuaciones la primera y la tercera son verdaderas,

las re~tantes son falsas. Ahora digo: "el valor de nuestra funcin es un valor de verdad" (Wahrheitswert) y 'distingo el
valor de verdad de lo verdadero y el de lo falso. Al primero lo
llamo sin ms lo verdadero, al segundo .Jo falso. De acuerdo
con esto p. ej. "i = 4n denota lo verdadero tal como P: ej.
2
"2 " denota
' 4 . y "2 2 = 1" d enota 1o f also. Segun
' ello

"2

4" "i> 1,, '"2 = 4

'

'

'

(2 2

4)

(2

:> '1 )

tenemos una e~;:uacin correcta.

La objecin que se cierne aqu es "i, = 4" y "2
> 1" quieren decir algo completamente diferente, que expresan pensamientos diferentes; pero . tambin "24
42 "
2
y "4 4 = 4 " expresan distintos pensamientos y sm embargo se puede reemplazar "i" por "4 4" porque. ambos s1g~os tienen la misma denotacin. En consecuencia

30

"24

4 . 4"

podemos escribir tambin

"(t

"(i = 4) = (2

"

denotan lo mismo, a saber: lo verdadero, de modo que en

tambin ''2 = 4 2 " y "4 4 - 4 " tienen la misma deno-,

tacin. Esto permite ver que de la igualdad de la denotacin 14
no se sigue la igualdad del pensami~nto. Cua~d~~de~im~s >T~l
lucero de la tarde es un pfaneta con un perodo de revolucin
menor que .el de la tierra", hemos expresado un pensamiento diferente al de la oracin "el 1\lcero de la maana es un
planeta con un perodo de revolucin menor que el de la tierra". En efecto; quien .no sabe que el lucero de la maana es el
lucero de la tarde podra estimar que uno es verdadero 'Y el
otro falso; y sin embargo la denotacin de ambas oraciones
tiene que ser la misma, pues slo s.e han intercambiado las expresiones "lucero de 'la tarde" y "lucero de la maana"
que tienen la misma denotacin, es decir son nombres propios
del mismo cuerpo celeste. Hay qu.e distinguir entre sentido
y denotacin. "24 " y "4 4'5 tieen.eereirola.misma denotaci6~;~~ decir son nombres propios del mismo nmero,
2
pero no tienen el mismo sentido. Por eso "t = 4 " y
2
'-'4 4 = 4 " tienen efectivamente la misma denotacin, pero
no el mismo sentido; esl.o.~<tlt:redecir .en este.~s-._QIJ.e. .no
6
CQJ!l~E.~Lmis mQ_,pens!!liel1 ~O .
Con el mismo derecho con que escribimos

>

1)".

Se. podra pregunt.ar ulteriormente con qu fin incorporar 1s

los signos =, >, < al crculode los signos que ayudan a formar
la expresin de una funcin. Parece que en el presente gana
C(lda vez ms adeptos la opinn de q'ue la aritmtica es log!c<;~.
ms~ ~~s~rrol!lJ.ci.<It de que una fundamentacin ms ngurosa
6

No mego que esta manera de presentar las cosas pueda parecer a primera
vista arbitraria y artificiosa y que se me podra exigir una fundamentacin
ms exhaustiva. Cf. mi artculo sbre sentido y denotacin 'que aparecer
dentro de poco en la Zeitschnft f'r Philosophie und Philo'sophische K riiik.
[pp. 47-7 S de sta edicin].
.

31

t~\~V-t?~?~i1~;:::~\::fF5:~~1~.~ 0~7;~,' ~~~::.:. ?r~ "\~ : :.. ~, ~ .. "

)QY~;~~:~Hk~ e'yes de la aritmtica conduce a leyes puramente lgicas

~:~t::':z;:y~~lo aJ~yes de este ti?o. ~o tambin :omparto est~ op~ni~ _Y

i''::" f ;fundo sobre. ella la exigenCia de ampliar el lenguaje s1mboh.' . co de Ja .aritmtica para formar un le}gu<Ye sirpblico lgico.
. Cmo se hace esto en nuestro caso, lo indic'ar ahora.

Hemos 'visto que el valor de nuestra funcin x 2 = l es

siempre uno de los valores de verdad., Si para un argumento
determinado, p. ej. - 1, el valor de'la funcin es lo verdadero,
1
podemos ~xpresarlo as: "el nmero - 1 tiene la propiedad de
' b revemente: " ,_,. 1 es una- ra12
'
que . su cua d ra d o es 1 )) ; o mas
cuadrada de 1"; o bien "- 1 cae bajo el concepto de la raz cua2
drada de 1". Si el valor de la funcin x = i para un argumen.- \
to, p. ej. para 2, es lo fal~o, lo podemos expresar as: "2 no es
una raz cuadrada de 1"; o .''2 no cae bajo el concepto raz cuadrada de 1". Esto nos. permite ver cun ntii'namente ligado
est lo que en ia.logca:naiamo~ concept()_ cQnJo quellainamas funcin. Efectivamente s_~_.puede afirmar de iiJJl}ediatD
q~e _1:1n concepto e~ unahtD<::iJLCJJyo .valor es siempre J.Jn vlor
d~ ~eL~d~Tambin el valor de la funcin'

('1: +ti
16

2 (x

+ 1)

"Csar conquist ~as Galias"

es siempre un valor. de verdad. Obtenemos lo verdaderd p: ej.

para el argumento - 1 y esto lo podemos expresar as: .-1 es un
nmero que es menor en una unidad_ que un nmero cuyo.
cuadrado es igual a su doble.
Con esto se ha expresado la cada del nmero. -1 b<Yo un concepto. La funcin

= 1 y la funcin ( x

+ 1/

= 2 (;

+ 1)

tienen para el mismo argumento siempre el mismo valor, a

saber para -1 y 1 lo verdadero, para todos los dems argu~en
tos lo falso. De acuerdo col'l_l2__c()f'lSt(ll<!clg_..~tes direrno~ que
e~.!~ funcionefJifnB}~~er::-rnisnu:J~-G-ursode~.valo[_y lo expresaremosen~bolos de la siguiente manera
~--~~~~---~~ ~---

- - .....

--de~~-

En lgica se llama a esto igualdad de la extensin (Umfang)

de los conceptos. Podernos entonces designar corno extensin
conceptual el curso del ~alor de una funcin cuyo valor 'para
cualquier argumento es un valor de verdad .
No nos detendremos en las ecuaciones e in~cua
ciones. La forma lingstica de las ecuaciones es una oracin
afirmativa. Una oracin de esta especie contiene corno sen tido tm~pensamie'nto ~o pretende al rne~os contenerlo- y
este pensamiento es en general verdadero o falso; es decir, tiene en general un valor de ~erdad que debe ser concebido como la.
denotacin de la, oraciit, tal como el nmero 4 es la denotatin
de la exp~esin "2 + 2" o corno "Londres" es la denotacin
de la expresin "la capital de Ingl<iterra".
En .general las oraciones afirmativas al igual que 17
las ecuaciones o las expresiones del anlisis pueden ser pen, .sadas como C()fllQl!~~!_ls por dos ~part~s <:le las cuales una est
completa en ~{~-misma y-la otra requiere de complernentacin,
de saturacin. -De este modo se puede descomponer p. ej'. la
oracin

- - , __ ---- _ -

_,

en "Csar", y "conquist las Qalias". La segunda parte

es no saturada, lleva consigo Un lu&fr vaco y slo al llenar
este lugar con un nombre propio o cotf una expresin que reernpl<!e a un nombre propio aparecer un sentido completo.
Tarphl~n aqu. llamo. funcin al significado de esta parte no
saturada. En.et~s-si>.~[irgt1mento es Csar.
Vernos que aqu se ha llevado a cabo al mismo tiempo una ampliacin en la otra direccin 1 es decir respecto de
aquello que puede aparecer como argumento. No se admite
slo nmeros sino eri general objetos, entre los cuales me veo
obligado a contar tambin a las personas. Como posibles va-,
lores de la funcin han sido introducidos ya antes los dos valores de verdad.' Tenerns que seguir' a~elante y admitir corno
valores de funcin objetos sin restriccin alguna. Para tener
un ejemplo de esto partamos de la expresin .
. "la capital del imperio alemn''.

32

18
]

'''

Es obvio que representa un nombre propw y significa un objeto.

Descompongmosla: ahora en las partes
"la capital de"
e "imperio alemn". La forma del genitivoe. se la asigno a la primera parte quedando sta no saturada, mientras
que la otra est completa en s misma. Conforme a lo visto antes llamo a
"la capital dex"
expreswn de una funcin. Si tmarnos como argumento el lmpe'rio alemn, obtenemos corno valor de la funcin Berln.
Habiendo admitido as objetos sin restriccin alguna como argumentos y como valores de .funcin, nos preguntamos ahora qu llamamos aqu objeto. Estimo que de
esto es imposible dar una definicin escolar pues estamos
ante algo que por su simplicidad no admite una divisin lgica. Solamente es posible sealar lo que se quiere decir. AquC
slo se puede afirmar. escuetamente: objeto es todo lo que no
es 'funcin, todo aquello cuya expresin no lleva consigo un
lugar vaco.
Una oracin a..Qr_mati\ia- no induye--ningn lugar
vaco y por eso su denod~~n debe ser concebida como un objeto. P~ro esta denotacin es un valor de verdad. En consecuencia ambos valores de verdad son objetos:
Hemos presentado antes ecuaciones entre cursos
de valor p. ej.

" { (/ - 4 E ) . =

- 4 j ) ;,

podemos descomponer. en "'E

4 E)'' y
"(
) = J: (a [a - 4])'".
Esta ltima parte requiere ser completada pues ella
lleva consigo .a la izquierda del signo de igualdad un lugar vaEsto

19

a ((a

lo

'[En alemn la expresin "imperio ale.m.n" den.tro de la frase propuesta

va en genitivo. Al descomponer la frase esta expresin queda ,en riominativo
y "la forma del genitivo" puede serie asignada a la primera parte].

34

co. La. pnmera parte " { ( E

4 E)'' es perfectamente completa, denota en consecuencia un objeto. Los
cursos del valr de las funciones son objetos, mientras que las
funciones mismas no lo son. Habamos llamado a
(d = 1)
c~rso. de valor, perb tambin lo p~dimos designar como extensin del concepto raz cuadrada de l. Por lo tanto las extensiones conceptuales son tambin objeto;, u;}qiJ.e los conceptos mismos no lo sean.
Despus de haber ampliado as el crculo de lo que
se puede tomar como argumento, se hace necesario fijar convenciones ms ~xactas para las denotaciones de los signos
que se usan habitualmente. Mientras lo considerado como
objeto en la aritmtica son slo los nmeros enteros, las letras a y b en "a + b" indican solamente nmeros enteros y el
signo de adicin slo debe ser explicado entre enteros. Toda
ampliacin del mbito. de los objetos que son indicados por ,
"a" y "b" obliga a dar una nueva explicacin del signo de
adicin. Como un imperativo del figor cientfico aparece la
necesidad de tomar medidas para que una expresin jams
pueda carecer de denotacin; para que nunca . calculemos,
sin darnos cuenta, con signos vacos creyendo tratar con objetos. En el pasado se han heeho malas experierrcias con series divergentes infinitas. Es necesario por lo tanto establecer convenciones de las cuales se siga p. ej. qu denota

'.'0

+ 1",

si "0" ha de denotar el sol. Corno se establezcan estas conven'ciones es relativamente indiferente, lo importante es que 20
las haya, que "a + b" tenga siempre una denotacin, sean
cual fueren los signos de objetos determinados que puedan
ocupar el lugar d~ "a" y "b". En el caso de los co~eptos
esto implica 1~ exigencia de que te'gan como valor para todo
arg_~~ento--ti-va~rcle -verdad;_-~q~~~~ ~~pecto--de c:ida objeto
est det~rfl1}I:ac[q.s1~ste ca~)ajo el concepto o no. En otras palabras: se exige de .los conceptos que estn taJantemente delimitados. Sin la satisfaccin de esta exigencia sera imposible estable'cer leyes lgicas relativas a ellos. Para todo argumento x para el cual "x + 1" no tuviese una den~tacin,

35

tampoco la funcin x
1 = 10 t~ndra urivalor y en consecuencia un va~or de verdad, de modo que el concepto,
.
lo gue aumentado en 1 da' 10
no tendra a su vez lmites tajantes. La exigencia de delimitar tajan temen te los conceptos exige tambin que las funciones en general tengan pa~a todo argumento un valor.
Hasta ahora hemos considerado los valores de verdad slo como valores de funcin y no como argumentos. Se-,
gn lo que acabamos de decir, una funcin debe tener tambin
un valof.' cuando se toma como argumento_~m valor de verdad.
_Pero dada la e:Xistencia de los signos ya usuales, de lo que se
trata casi siempre es de que haya una convencin con este fin,
sin que importe mucho qu se determine. Consideremos ahora algunas funciones que son importantes para nosotros precisamente cuando su argumento es un valor de verdad.
~~
Introduzco como funcin de esta especie

Al. escribir una ecuacin o una inecuacin, p._ eJ.

5 > 4; se quiere en general expresar a: la vez un juico; se q~iere
-afirmar en nuestro ejemplo, que 5 es mayor que 4. Segun la
,
'
' 3 = 5"
concepcin
que he expuesto
aqu "5 > 4 , o. "1 _+
son slo expresiones de valores de verdad, sm q~: con _ello
se quiera afirmar algo. Esta distincin entre 1~ at::ci~n de J uzgar y aquello sobre lo que se juzga .parece melud1b~e:, pues
de lo contr~rio no se podra expresar la mera suposicion de
un caso sin juzgar a la vez si se da o no. Necesitamos porlo tanto 22
un signo' especial para poder afirmar ~lgo .. Con este fi~ me
sirvo de ~n trazo vertical en el extremo 1zqmerdo de~ honzon-
tal de modo que p. ej. con

"11--- 2

"'2

cuando se toma como argumento lo verdadero. En todos los

dems casos el valor de esta funcin es lo falso, es decir tanto
si el argumento es lo falso como si el-argumento no es un valor
de verdad. Segn esto p. ej.

- - - 1 +3 =4

+3

como

+ 3 = 5, ,

sino que a la ~ez decimos que ese valo'r es lo verdadeto _.

La funcin ms simple despus de la antenor es qm:;>:s aquella cuyo valor es lo falso para los atgumentos para ~os _
cuales ei valor de
x es lo verdadero; y cuyo valor, a la mversa, es lo verdadero para los argumentos para los cuales el
valor de
x es lo falso_. La designo as
7

---..--x,

es lo verdadero, mientras que tanto

---1

3 = 5"

afirmamos: 2 + 3 ,es igual a 5. No estamos slo escribiendo un

valor de verdad, como ~n

---x,
y establezco que el valor de esta funcin ha de ser lo verdadero

- trazo vertica_l el trazo de la negacin.

y llamo a l pequeno
Yo concibo esta funcin como una funein con el argumento
---x:

---4
( - . - - x)
es lo falso. Esta funCin tiene entonces como valor el argumento mismo, si ste es un valor de verdad. A este trazo horizontal lo llam antes trazo del contenido', un nombre que ya no
parece ser adecuado. Lo llamar ahora simplemente el trazo
horizontaL

= (-..-

--x]),

donde pienso que 1os d os trazos horizontales se ha. n fundido

en u~o solo. Pero tenemos tambin

---.,.-x])

= (

x))

EI trazo del juicio [i. e. el vertical] no puede ser usado par~ formara exp:e-
sin de 'u"na funcin porque no sirve, acompaado de otros s1~nos, para des1g_nar un o b'~e to. '' r'------- 2 + 3 = 5" no designa nada sino que afirma
,
algo.,
7

[Begriffschri(t, BibL W 4 y 42, 2].

36
37

23

pues el valor d.e --,-- x es siempre un valor de verdad. Concibo por lo tanto en "
. x"' los dos fragmentos del trazo a la
derecha y a la izquierda del trazo de la necin como horizontales en el se~tido particular de esta palabra que fue explicado con anterioridad.
De acuerdo con esto p. ej".

"~i =S"
denota lo verdadero y podenws agregar el trazo del juicio:

=S.

C on esto afirmamos que .z2

22 no es S.

S no es lo verdadero

que

Pero

debe denotar lo falso. Para nuestra funcin x

primer caso. En consecuencia

x tenemos el

es lo verdadero y esto lo podemos escribir as:

~0- =O-.
Los tr~zos horizontales a la izquierda y a la derecha
de la concavidad deben ser entendidos como horizontales en
nuestro sentido. En lugr de " 0- " se podra elegir cualquier otra letra gtica, excepto aquellas como f, f, que
sirven para designar ~na funcin.
Esta simbologa permite negar la universalidad p.
ej.

en

1--.--2.

l.

es tambin lo verdadero, pues - - - 2 es lo falso:

1--.-- 2;
es decir 2 no es lo verdadero.
Cmo represnto la universalidad se ver fcilmente en un ejemplo~ Supongamos que hay que expresar que.
todo objeto es igual a si mismo. En

E n ef.ecto,

.---..'--./
(:L, - Ay--

1 es 1o fa lso, porque el. va 1or d e 1a

funcin x 2 = 1 no es para c~alq uier argumento lo verdadero. P. ej. para el argumento 2 obtenemos i = 1; esto es lo falso. Ahora bien, si

~{j_

1 es lo falso,

=- 1 es lo verdadero de acuerdo a lo que se estableci ms

sobre el trazo de la negacin. Tenemos por lo tantq

ar~iba

X= X

tenemos. una funcin cuyo argumento est indicado por "x".

Sup~~gamos ahora que haya que expresar que. el valor de esta
funcwn es siempre lo verdadero, sea cual fuere el argumento
que se tome. Por

"~j(~)"

~=l;
es decir, "no todo objeto es raz cuadrada de 1 ", o bien,
"hay objetos que no sn raz cuadrada de 1 ". Se puede 25
expresar tambin que hay races cuadradas de 1? Por cierto!
2
Basta tomar, en lugar de la funcin x ~ 1 , la funcin
-x

entiendo lo verdadero, si la funcin J (x) tiene siempre como

valor lo verdadero , sea cua
1 fuere e.1 argumento; en 'todos los
dems casos

"~!(~)"

=1.

A partir de
"

-,2

~-y=

1,

por fusin de los trazos horizontales surge

39
38

--~<i

1'<.

Esto denota lo falso, pues el valor de la fun~in

--..--x 2

..~

:. .

A partir de esto se ve como hay que expresar las importantes

oraciones existenciales. Si indicamos indefinidmente un
concepto con la letra de funcinf, entonces tenem0s en

.l

~!(~)

no: es para todo argumento lo verdadero. P. ej.

----- 1~

la frmula en que estl?- incluidos los ltimos ejemplos exceptuando los trazos deljuici. Las expresiones

es lo fafso, pues. 1 = 1 es o ver d a d ero. Dado entonces que

(1-

,,~{j

~Q:=1

1'',

,,~~ ~

0'',

es lo falso, entonces

(1-

~o:
es lo verdadero:

= 1;
es decir ''
d-
.
no para to o argumento es el valor de la funcin

-..,.._- x 2

lo verdadero"
b'
"

1 f
.,
2 ' o
Ien no para todo argumento el valor de
a uncwn x = 1 es lo falso". o bie "h'
1 . .
raz cuadrad a d e 1" .
'
n
ay por o menos una
Dar a continuacin algunos ejemp

1os con smbolos Ycon palabras:

hay por lo menos un nmero positivo;

26

~Q-<o
hay por lo menos Un nme'ro'negativo;

1---..9-.:........_
11

,.3

~v-:-3Q:

+2(1-=0

ha y por lo m~nos una raz de la ecuacin.

-3x

+ 2x

surgen de dicha frmula de, manera similar a como p. ej. de x

2
2
2
2
surgen
"1 t', . "2 "', "3 ". Tal como en x
tenemos una funcin cuyo argumento est indi~ado por "x"
as tambin entiendo

=O.

como expresin de una funcin cuyo argumento est indicado. por "/'. U na funcin de esta especie es por cierto radi'calmente diferente de las que hemos considerado hasta ahora, pues como argumento suyo solamente puede aparecer
una funcin. Tal como las funciones son radicalmente diferentes de los objetos, as las funciones cuyos argumentos son
y deben_ ser funciones .. son tambin radicalmente diferentes de aquellas funciones cuyos argumentos son objetos y 'no
pueden ser otra cosa. A stas las llamo funciones de primer
grado, a aqullas, de segundo grado. De manera similar dis8
tingo entre conceptos de primer y de. segundo grado . En
rigor hace ya tiempo que se tiene en el anlisis funciones de
segundo grado, p. ej. las integrales definidas, en cuanto se
considera la funcin a iptegrar como argumento.
8

Cf. mis Grundlagen des Arithmetik [Bibl. No 14 y 17) 53 a.I final, donde
en Jugar de "segundo grado" us el trmino "segundo orden". La prueba
ontolgica de la edstencia de Dios padece el defecio de tratar. la existencia
como un concepto de primer orden.
41

'27

Ahora conviene agregar algo sobre funciones con

dos argumentos. Obtuvimos la expr~sin de una ~uncion al
descomponer el signo compuesto de un objeto en una parte
saturada y una par.te no saturada. Descomponemos as p. ej.
el signo
1

"3

> 2"

de lo verdadero en "3" y "x > .2". La parte no saturada

"x > 2" la podemos descomponer de la misma ma.nera en "2" y

"x>y",
donde "y" nos permite reconocer el lugar vaco _que antes
ocupaba '.'2". En

X>

teemos una funcin con dos argumentos, de los cuales uno es

indicado por "x", el otro por "y" y en

3>2
28

tenemos el valor de esta .funcin para los argumentos 3 y 2. Tenemos aqu una funci6n cuyo valor es siempre un valor de ,
verdad. Las funciones de este tipo con un argumento las hemos
llamado conceptos, aquellas con dos argumentos las llamamos relaciones. Tambin tenemos relaciones p. ej. en

es lo falso si se toma como argumento y, lo verdadero y como

argumento x, un objeto que no es lo verdadero; en todos los dems casos el valor de esta funcin. ~s lo verdadero. El trazo horizontal inferior y las dos' partes en que queda dividido el superior por el tr.azo vertical deben ser entendidos como horizontales. Segn' esto se pueqe considerar sjempre a
x e
y como argumentos de nuestra funcin; es decir,
cmo valores de verdad.
. En las funciones con un . argumento distinguimos
entre las de primer y las de. segundo grado. Aqu es posible una
mayor variedad. Una funcin con dos argumentos puede ser
del mismo o de diferente grado con respecto a ellos: hay fun- 29
ciones del mismo grado y de grado diferente. Las consideradas hasta ahora eran del .mismo grado.- Una funcin de diferente grado es p. ej. el cuociente diferencial cuando se toman
como argumentos la funcin a diferenciar y el argumento para el cual se diferencia; o bien la integral definida, en cuanto
se tOman como argumentos la funcin por integrar y el lmite superior. Las funciones del mismo grado pueden di vidirse a su vez en funciones de primer y de segundo grado. U na
.de segundo grado sera p. ej. ,

F(flll),
donde "F" y "f' indican los argumentos.

y en
X

+y ::> 9,

mientras que la funcin

X2

+ y2

tiene nmeros como valores. En consecuencta no la llamaremos relacin .

. Ahora introducir una' funcin que no es propta de
la aritm~tica. El valor de la funcin
42

Las funciones de segundo grado con un argumento deben distinguirse segn pueda . aparecer como argumento suyo una
funcin con un argumento o una con dos, pues una funcin
con' un argumento es tan radicalmente diferente de una con
dos argumentos qy.e justamente donde una puede apa~ecer
cpmo argumento, la otra, no puede y viceversa. Algu~as funciones de segundo grado con un argumento exigen como tal
una funcin con un argumento, otras exigen una funcin con
dos argumentos y estas dos clases se dividen en forma tajante.
43

i1\'

; io que nosotros llamamos funcin de segundo grado. Se poo" dra pensar que esto seguira avanzando as, sin embargo
este ltimo paso ya' no es tan rico en consecuencias como los
anteriores, pues en el avance sucesivo en lugaf de funciones
de segundo grado pueden ser consideradas funciones de primer' grado, como :se mostrar en otro 1ugaxi. Pero. con esto
3 es un ejemplo de una funcin de segundo grado con un argu-
no se elimina la distincin entre funciones de primer y de semento, la cual exige como argumento una funcin con dos
. gund~ grado, pu~s ~o es una distincin arbitraria sino proargumentos. La letra f indica el argumento y los dos lugares
funda~ente fundada en la naturaleza de las cosas.
-
. sepa~ados por la coma entre los parntesis que siguen a "!'.
Tambin
se
puede
considerar,
en
lugar
de
funciohacen notar quef representa una funcin con d0s argumentos.
En las funciones con dos argumentos la variedad i. nes de ,dos argumentos, funciones de un argumento nico pero
compiejo; la distincin empero entre f~_nciones ~e un argu-.
es todav:. mayor.
mento y de dos argumentos sigue en pie con todo su ngor.
Si damos desde aqu una mirada retrospectiva al
desarrollo de la aritmtica, discernimos. una ascensin gradual. En un comienzo se calculaba con nmeros individuales,.
.
con ell, con el3, etc.
2

+3

5,

son teoremas de este tipo. Lugo se avanz a leyes ms universales, vlidas para todos los nmeros. En la simbologa esto
corresponde a la adopci1_1 del clculo mediante letras.

(a

+ b)

a e

+ b e

e~ un t~~rema de este tipo. Con esto se haba llegado ya a la con-

sideracwn de funciones . individuales, sin usar todava esta

~ala.bra en: sentido mate~tico y sin haber captado an su

s1gmficado. El ascenso al nivel siguiente fue el reconocimiento de leyes universales de las funciones y con esto la acuacin
del trmino tcnico "funcin". En el plano de los smbolos
corresponde a ello la introduccin de las letras j, F para indicar ind~finidamente las funciones. En
df(x) F(x)
dx
31

df(x)

dF(x)

= F(x) - - + j(x)--dx

dx

'tenemos un teorema de ' este tipo. A esta altura se tena ya

funciones individuales de segundo grado, sin haber captado

44

1 [

Grundgesetze der Arith.metik 1, 25, 34-37, Bibl. No 23 y 41].

45