Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Sobre Tres Artículos Fundamentales de Frege
Sobre Tres Artículos Fundamentales de Frege
Juan Bauz
Este artculo resume y comenta tres artculos fundamentales de Frege de inters para la
enseanza de Lacan. En ellos encontramos la definicin y el concepto de una serie de trminos
fregeanos bsicos a los que se refiere Lacan en su enseanza, y muy especialmente desde su
seminario !! "#$%&'#$%() sobre Problemas cruciales en psicoanlisis* funcin, concepto, objeto,
sentido, referencia, entre otros.
I
FUNCIN Y CONCEPTO
(Funktion und Begriff
Funcin ! concepto, "ue Frege present ! public en #$%#, constitu!e la e&plicacin ms
detallada "ue 'ste (izo de su nocin de funcin "Fun+tion), nocin matemtica "ue a"u) (ace
e&tensible a los conceptos ",egriff)* Frege defiende a"u) "ue los conceptos son tipos particulares de
funciones* Por otra parte es asimismo en este art)culo donde introduce por +ez primera su famosa
distincin entre sentido "-inn) ! referencia ",edeutung).
,n Funcin y .oncepto, Frege e&tiende la nocin de funcin matemtica a la funcin
lgica ! ling!stica" por lo cual resulta "ue un conce#to es un tipo especial de funcin$
-./0 supuso "ue los enunciados con pretensin cient)fica son del tipo1
/odos los 0 son ,,
"ue procede de una oracin asertrica del tipo1
- es 1,
donde - es el sujeto ! 2es 13, el predicado*
- ! 1 son conceptos*
-ant pensaba "ue un concepto +iene definido por una serie de propiedades comunes
#
a una
serie de objetos "ue caen bajo 'l
2
* ,sas propiedades ser)an notas caracter)sticas o intensionales,
ciertos rasgos esenciales, de los objetos en cuestin* 3u e&tensin, la e&tensin del concepto
corresponder)a al conjunto de los objetos "ue caen bajo esas propiedades*
#
4ue connotan a esos objetos*
2
5enotados por el nombre del concepto*
#
3upuesto lo anterior Frege parte de la nocin de funcin matemtica* 6sta suele definirse
como una e&presin de clculo "ue contiene a &
Por ejemplo la e&presin
2&
2
7 &
ser)a una funcin de &, "ue puede generalizarse como F(&*
,n el caso de "ue le demos un +alor al argumento &, p ej* 2, tenemos1
282
2
7 2
"ue ser)a una funcin de 2
F(2
3eg9n Frege esta definicin es inadecuada, pues confunde forma ! contenido" signo ! cosa
designada o significada o denotada$ Podemos traducirlo en lenguaje saussuriano, confunde
significante ! significado$
:na mera e&presin, la forma de un contenido, no puede ser la esencia de la cosa; slo puede
serlo su contenido mismo*
<o esencial pues, no es la e&presin, sino su significado o contenido% no, por ejemplo, la
e&presin 282
2
7 2, sino lo "ue ella significa*
Pero, ="u' significa>
Frege pregunta entonces =cul es el contenido, la referencia de 282
2
7 2>
<a misma "ue la del signo #?*
@ as) en la ecuacin1
282
2
72 A #?
se e&presa "ue la referencia de la cadena de signos de la derec(a es la misma "ue la de la cadena de
signos de la iz"uierda*
:na ecuacin establece una identidad, una mera semejanza o igualdad; una diferencia de
significante, o, si se "uiere en la forma de la e&presin, no puede ser nunca fundamento suficiente
para una diferencia de significado* <as diferentes e&presiones "ue aparecen en los dos lados de una
ecuacin +erdadera corresponden a diferentes aspectos, pero no a diferentes objetos*
.s) pues la e&presin 2&
2
7 & es el tipo de cosa "ue la gente tiene en mente cuando piensa en
una funcin; pero esta e&presin no designa propiamente una funcin, sino "ue indica ms bien un
n9mero indeterminadamente, a la manera en "ue lo (ace la & misma*
. esa & se le llama argumento de la funcin*
3i determinamos esa &, es decir si le damos un +alor num'rico concreto, pongamos
& A # tendremos 28#
2
7 #
& A B 28B
2
7 B
& A C 28C
2
7 C
podremos inferir lo com9n de estas e&presiones* ,n eso com9n, en eso "ue se repite en esas
e&presiones con diferentes argumentos, est la esencia genuina de la funcin*
@ as) prescindiendo de lo "ue no se repite, el argumento, es decir dejando de lado la &, la
funcin puede ser representada, ms o menos as)1
28 (
2
7 (
pues esto es lo "ue "ueda de 2&
2
7 & cuando se eliminan las &*
3e destaca as) "ue el argumento no es propiamente una parte de la funcin, sino "ue ms bien
se combina con la funcin para constituir un todo completo*
2
0enemos pues "ue una funcin matemtica se escinde en dos partes1 un signo para un
argumento ! una e&presin para una funcin* <a funcin es en si misma algo incompleto,
insaturado, ! difiere del n9mero "ue es un objeto independiente*
<a incompletud de la funcin est indicada por la presencia de +ac)os en las e&presiones de
las funciones*
5ic(o esto es cuando podemos (acer una e&tensin de esa nocin de funcin matemtica, !
llamar funcin ling!stica a una e&presin (ueca en la "ue los enunciados !, lo "ue estos significan
pueden ser di+ididos en argumento ! funcin* Pero antes debemos considerar otra nocin "ue Frege
introduce, la nocin de &alor'
<as matemticas obser+a Frege seDalan "ue cuando dos +ariables & e ! estn correlacionadas
por una le!, o la manifiestan, se suele decir entonces p* ej*, "ue ! es funcin de &, o
simplificadamente ! A F(&; pero ser)a mejor decir "ue ! es el +alor de una cierta funcin para &
como argumento* Frege llama el +alor de una funcin para un argumento al resultado de completar
la funcin propiamente dic(a con el argumento en cuestin* .s) p* ej* E es el +alor de la funcin 2&
2
7 & para el argumento #, puesto "ue tenemos1 28#
2
7 # A E*
,l +alor de una funcin matemtica, al igual "ue su argumento, es siempre un n9mero; el
+alor de la funcin es el n9mero "ue est representado por la e&presin entera*
5igamos toda+)a algo ms acerca de las funciones matemticas "ue nos interesa para (acer
una e&tensin a las funciones lingF)sticas*
<os +alores de una funcin para diferentes argumentos pueden representarse en un grfico
sobre coordenadas cartesianas* .s) la ecuacin
! A &
2
G B&
corresponde a una parbola, en la "ue com9nmente se dice "ue & indica el +alor de la abcisa o
+ariable independiente, e ! indica el +alor de la ordenada, o +ariable dependiente* Frege modifica
esta terminolog)a e insiste diciendo "ue & indica el argumento e ! el +alor de la funcin*
,n este punto introduce una nue+a e importante nocin1 la de recorrido (4ert5erlauf de una
funcin*
3i comparamos la funcin &
2
G B& con la funcin & (& GB, descubrimos "ue ambas tienen
siempre el mismo +alor para el mismo argumento; la misma l)nea de grfico corresponde a las dos
funciones, ! en general con independencia de lo "ue & pueda ser
&
2
G B& A & (& G B
Huando esto sucede, los recorridos de las dos funciones son id'nticos1
3i escribimos
6
7
8 &6 9 6 "6'&)
no pretendemos igualar una funcin a la otra, sino slo los +alores de las funciones entre si
E
* @ si
entendemos "ue esta ecuacin debe ser +lida cual"uiera "ue sea el argumento con el "ue sustitu!amos
a &, entonces (emos e&presado con esto la generalidad de una ecuacin* Podr)amos tambi'n decir1 el
recorrido de la funcin 6 "6 8 &) es id'ntico al de la funcin 6
7
8 &6 ! con esto tendr)amos una identidad
entre recorridos* (FI,J,, J* Funcin ! concepto , %K#?*
Para finalizar estas refle&iones acerca de la nocin de funcin matemtica basndonos en el
escrito de Frege digamos "ue as) como una +ariable & indica, de manera indeterminada un n9mero,
E
,fecti+amente son los +alores de ambas funciones los "ue son iguales entre si*
E
as) tambi'n podemos indicar indeterminadamente una funcin, por ejemplo mediante letras1 f ,
F, g, (, **** ordinariamente se suele escribir1
f (& F(&
en donde & (ace las +eces de argumento*
Pero lo "ue realmente indica la funcin ! e&presa su naturaleza insaturada es el (ec(o de "ue
una letra como F arrastra consigo un par de par'ntesis en cu!o interior (a! un (ueco*
Lasta a"u) el tratamiento fregeano de la nocin de funcin matemtica, pasemos a(ora a su
e&tensin lgico G lingF)stica*
Frege (ace un uso de la nocin de funcin "ue comporta una primera e&tensin de la misma
en sentido matemtico*
<o (ace as)1
Honsideremos la funcin &
2
A #
<a primera cuestin "ue surge a"u) es la de cuales son los +alores de esta funcin para
diferentes argumentos* 3i reemplazamos sucesi+amente 6 por G#, ?, #, 2, obtenemos
(K#
2
A #
?
2
A #
#
2
A #
2
2
A #
5e estas ecuaciones, la primera ! la tercera son +erdaderas; las restantes falsas* 5igo entonces1
el +alor de nuestra funcin es un +alor de +erdad
B
! distingo entre el +alor de +erdad de lo +erdadero
! el de lo falso* Para abre+iar, llamo a uno lo +erdadero ! al otro lo falso* 5e acuerdo con esto, 2
2
A B
se refiere a lo +erdadero, del mismo modo "ue, pongamos por caso, 2
2
se refiere a B
C
* @ 2
2
A # se
refiere a lo falso* 5e acuerdo con esto,
2
2
A B, 2 M #, 2
B
A B
2