Argumento y Función en Frege

7
ARGUMENTO Y FUNCIÓN
EN FREGE
CARLOS ALVARADO DE PIÉROLA

FREGE:
«Parto de lo que en matemáticas se llama función.»
(Gottlob Frege, «Función y concepto», en Escritos semánticos, p. 18.)

OBRAS EN LAS QUE FREGE SE OCUPA DEL TEMA
Principalmente en:
1) Conceptografía . (Begriffsschrift, 1879.)
2) Los fundamentos de la aritmética. (Die Grundlagen der

arithmetik, 1884.)
3) «Función y concepto» (Funktion und Begriff , 1891.)
4) «¿Qué es una función?» (Was ist eine funktion? 1904.)

LA DISTINCIÓN FUNCIÓN Y ARGUMENTO
A manera de introducción
La función matemática
y = x + (x - 4)
no significa nada, es una mera posibilidad de ser algo.
Es una función porque los valores de «y» están en función

(dependencia) de los valores de «x»

LA DISTINCIÓN FUNCIÓN Y ARGUMENTO
En la función matemática
F (x) [o también f (x)]
x = «representa» al argumento
En su momento será reemplazado por un contenido

La distinción función y argumento
Pero cuando «x» toma como argumento el valor 5 esa función tendrá
como valor:
y = x + (x - 4)
y = 5 + (5 - 4)
y=5+(1)= 6
y=6
5 ha reemplazado a x.
Al asignarle a la función un valor (6), se crea, de paso, la posibilidad de

que la función sea verdadera o falsa (adquiere un valor de verdad).

LÓGICA Y GRAMÁTICA
FREGE: Hay que separar el análisis lógico de las oraciones y el análisis

gramatical de estas.
(1) Los griegos derrotaron a los persas
(2) Los persas fueron derrotados por los griegos
Aquí hay diferencias desde un punto de vista gramatical:
En (1) el sujeto es “Los griegos”.

En (2) el sujeto es “Los persas”.
Aparte: diferencias de estilo, número de palabras, etc.

LÓGICA Y GRAMÁTICA
FREGE: Hay que separar el análisis lógico de las oraciones y el análisis

gramatical de estas.

(2) Los persas fueron derrotados por los griegos
Pero desde un punto de vista lógico son iguales (equivalentes):
a) (1) y (2) tienen el mismo contenido conceptual.

b) Por eso, lo que se siga lógicamente de (1) también se seguirá de (2), y
viceversa.

Lógica tradicional: Analizaba las oraciones en términos gramaticales

(sujeto y predicado).
Problema: Estas categorías no tenían en consideración el contenido

conceptual de las oraciones.
Solución: Frege propuso un análisis lógico sustentado en dos categorías

extraídas de la matemática:
argumento y función.

¿Cómo funciona esta distinción?
Añadamos la oración:
(3) Los griegos derrotaron a los partos
Si comparamos con (1) Los griegos derrotaron a los persas:
(1) y (3) tienen diferente contenido conceptual
Y esto puede apreciarse con el análisis de Frege.

Análisis de Frege
(3) Los griegos derrotaron a los partos
a) Tanto (1) como (3) cuentan con una parte constante y otra variable.
Parte constante: Función.

Parte variable: Argumento.

Análisis de Frege
(1) Los griegos derrotaron a… los persas
(3) Los griegos derrotaron a… los partos
b) En (1) y (3) la función es «los griegos derrotaron a…»

(PARTE CONSTANTE)
Los argumentos son «los persas» (1) y «los partos» (3).

(PARTE VARIABLE)

VARIABLES Y CONSTANTES
Frege llamará función a la expresión molecular en la que

aparece una variable.
Por ejemplo:
«x2 + 1»

FUNCIÓN LÓGICA
Sujeto y predicado Función y argumento
(CONCEPTOGRAFÍA)
« x2 + 1» Representa una función de x:
el valor del número representado por la expresión entera (x2 + 1)

variará de acuerdo con el numeral que escribamos en lugar de
la variable x.
Para el argumento 1 es 2 (12 +1 = 1 + 1 = 2).

Para el argumento 2 es 5 (22 +1 = 4 + 1 = 5).
Para el argumento 3 es 10 (32 +1 = 9 + 1 = 10),
…y así sucesivamente.

FUNCIÓN LÓGICA
La función es comprendida relacionalmente, con lugares vacíos

que deberán ser llenados por los “argumentos”.
Argumentos:
Números en la aritmética.
Objetos de cualquier tipo en la lógica.

FUNCIÓN LÓGICA
Frege hizo dos innovaciones:
1) Extendió la noción de función a ecuaciones liberándola de su

restricción a expresiones de números (es decir, la extendió a
expresiones como «x2 = 1 », no reduciéndola a expresiones
como «x2 + 1»).
2) La extendió, también, a expresiones del lenguaje ordinario, sin

restringirla a expresiones puestas en notación matemática.

Frege hace algo semejante con el lenguaje:
1. «… derrotó a Harold» es una función (al igual que y = x + (x - 4)).
Es como si dijéramos:
2. «y = x derrotó a Harold»
Si reemplazamos x por William entonces tendremos:
3. «y = William derrotó a Harold»

Frege hace algo semejante:
En otras palabras «y» = «William derrotó a Harold»
4. «William derrotó a Harold» es el resultado de completar la expresión

reemplazando la «x» por el nombre «William».
5. Y, de manera similar a la función matemática y = x + (x - 4),

«William derrotó a Harold» es el valor de la función para el argumento
«William» .
6. El argumento «William» ha llenado el espacio vacío en «… derrotó a

Harold».
7. Asimismo, se abre la posibilidad de que sea verdadera o falsa.

Recuérdese:
«Argumento» es el término que utiliza Frege para reemplazar a los

puntos suspensivos (…), lo que se ignora en la función («x»).
En el ejemplo, «William» es el «Argumento»: reemplazó los puntos

suspensivos de la función «… derrotó a Harold».
Frege:
1. El argumento no es una parte de la función, sino que se combina

con la función para constituir un todo completo.
2. La función es en sí misma algo incompleto, algo «insaturado»
(Cf. Gottlob Frege, «Función y concepto», en Escritos semánticos, p. 23.)

Análisis de Frege
(1) «Los griegos derrotaron a los persas»

es el valor de la función «los griegos derrotaron a…»
para el argumento «los persas» y
(2) « Los griegos derrotaron a los partos »

es el valor de la función «los griegos derrotaron a…»
para el argumento «los partos» .

FUNCIÓN LÓGICA
Aplicado al lenguaje:
“La capital de x” expresión de una función,
Cuando el argumento Gran Bretaña reemplaza a x, la función

toma como valor Londres :
“La capital de Gran Bretaña”

x
(x = Gran Bretaña)

RESUMEN
Lógica tradicional: análisis gramatical (sujeto y predicado).
Los griegos derrotaron a los persas
Sujeto Predicado
Propuesta de Frege: análisis lógico (función y argumento).
Función Argumento

DEFINICIÓN GENERAL DE FUNCIÓN Y ARGUMENTO:
«Si en una expresión… aparece un símbolo simple o compuesto en

uno o más lugares, y si lo pensamos como reemplazable en todos o en
algunos de esos lugares por algo distinto, pero siempre por lo mismo,
entonces a la parte de la expresión que se muestra invariante bajo tales
reemplazos la llamamos función; y la parte reemplazable su
argumento.»
(Gottlob Frege (1972), Conceptografía, Los fundamentos de la aritmética y otros estudios

filosóficos, p. 13.)

DEFINICIÓN GENERAL DE FUNCIÓN Y ARGUMENTO:
“William derrotó a …” La parte invariable

Función
“Harold” La parte variable

(reemplazable)
Argumento

componente constante parte variable

FUNCIÓN ARGUMENTO

RESUMEN
Los griegos derrotaron a los partos

FUNCIÓN ARGUMENTO

William derrotó a Canuto

FUNCIÓN ARGUMENTO

«William derrotó a Harold»
resultado de completar la expresión
«William derrotó a …» con el argumento «Harold»,
«William derrotó a Canuto»

resultado de completar la expresión
«William derrotó a …» con el argumento « Canuto».

VALOR DE VERDAD
Valor de una función:
“(…) aquello en lo que se convierte la función al ser completada

por su argumento, el valor de la función para este argumento.”
(Frege, Op. Cit., p. 24.)
Ejemplo:
2 . x2 + x
Para el argumento 1: 3 (2 . 1 + 1 = 3)
Para el argumento 2: 12 (2 . 4 + 2 = 12)

VALOR DE VERDAD
Tomemos la expresión “x2 = 1”.
Si sustituimos x sucesivamente por -1, 0, 1 y 2 tendremos:
(-1)2 = 1
02 = 1
12 = 1
22 = 1
De estas ecuaciones, la primera y la tercera son verdaderas;
las demás, falsas.

FUNCIÓN DE DOS ARGUMENTOS
Otro caso:
… derrotó a …
Es una función con dos argumentos:

Necesita ser completada
A la izquierda con el argumento «William»

A la derecha con el argumento «Harold»

FUNCIÓN LÓGICA
Hay, también, funciones de más argumentos:
«2 . y+x2 - z»
En x, y y z se colocarán los argumentos que reemplacen

a estas variables.
Para el argumento 1 en x:
Para el argumento 5 en y: 2. (5 + 1)2 – 4 = 68
Para el argumento 4 en z:

FUNCIÓN LÓGICA
2. (5 + 1)2 – 4 = 68
El valor de la función es 68.
Naturalmente, el valor será diferente para diferentes

argumentos.

FUNCIÓN LÓGICA
“César conquistó la Galia”
Resultado de completar:
La función X conquistó la Galia con el argumento César.
X = César

FUNCIÓN LÓGICA
La función César conquistó X con el argumento Galia,
X = Galia

FUNCIÓN LÓGICA
La función X conquistó Y con los argumentos César y Galia,
X = César
Y = Galia
(Función de 2 argumentos)

FUNCIÓN LÓGICA
PRECISIONES POSTERIORES
Función y concepto (1891)
FREGE:
El argumento no es una parte de la función, sino que más bien se
combina con la función para constituir un todo completo.
«X conquistó la Galia»

FUNCIÓN LÓGICA
FREGE:
El argumento no es una parte de la función, sino que más bien se
combina con la función para constituir un todo completo.
«César conquistó la Galia»
Valor de la función: «x conquistó la Galia».

VALOR DE VERDAD
Frege llamó a la verdad o falsedad de una ecuación su “valor de
verdad” y sugirió que este valor de verdad habría de ser considerado
como el valor de la función para los distintos argumentos:
«Así, pues digo: “el valor de nuestra función es un valor

veritativo” y distingo el valor veritativo de lo verdadero y el de
lo falso. Para abreviar, a uno lo llamo lo verdadero, y al otro lo
falso. Según esto, “22 = 4”, por ejemplo, se refiere a lo
verdadero, al igual que “22”, se refiere a 4. Y “22 = 1” se
refiere a lo falso.»
(Ibíd. pp. 29-30.)
Aunque la idea de valores de verdad existe ya en la escuela megárica,

su expresión y primera descripción se debe a Frege.

VALOR DE VERDAD
Para Frege,
“César conquistó la Galia” representa lo Verdadero,
“Pompeyo conquistó la Galia”, lo Falso.
Los valores de la función “x conquisto la Galia” para distintos

argumentos serán siempre un “valor de verdad” (verdadero o
falso).

FUNCIÓN LÓGICA
“Los enunciados afirmativos en general pueden concebirse, lo

mismo que las ecuaciones o las expresiones analíticas,
descompuestas en dos partes, una de las cuales está completa
en sí misma, mientras que la otra precisa de complemento, es
no saturada.”
(Frege, “Función y concepto”, en Estudios sobre semántica, p. 33.)

FUNCIÓN LÓGICA
EXPRESIÓN SATURADA: COMPLETA EN SÍ MISMA
EXPRESIÓN NO SATURADA: INCOMPLETA

FUNCIÓN LÓGICA
Expresión de una función: “la capital de x”.
Si tomamos como argumento suyo el imperio alemán
“La capital del imperio alemán”

no saturada saturada
obtendremos, como valor de la función, Berlín.

IMPORTANCIA DE LA TEORÍA DE LAS
FUNCIONES
«La mayor parte de los detalles de la teoría de las funciones de

Frege puede enunciarse en forma de reglas que establecen
cuáles combinaciones de las expresiones de un lenguaje
construido de manera correcta deben considerarse con sentido
y cuáles como sin sentido.»
(Michael Dummett, La verdad y otros enigmas, p. 143.)

BIBLIOGRAFÍA
Frege, Gottlob (1972) Conceptografía . Los fundamentos de

la aritmética. Otros estudios
filosóficos. México, D. F., UNAM.
----------- (1985) Estudios sobre semántica. Madrid,

Orbis.
----------- (1996) Escritos filosóficos. Barcelona, Crítica.
Dummett, Michael (1990) La verdad y otros enigmas. México, D.

FCE.

Argumento y Función en Frege

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Argumento y Función en Frege

Cargado por

Copyright:

Formatos disponibles

7

CARLOS ALVARADO DE PIÉROLA

«Parto de lo que en matemáticas se llama función.»

(Gottlob Frege, «Función y concepto», en Escritos semánticos, p. 18.)

CARLOS ALVARADO DE PIÉROLA

1) Conceptografía . (Begriffsschrift, 1879.)

2) Los fundamentos de la aritmética. (Die Grundlagen der

3) «Función y concepto» (Funktion und Begriff , 1891.)

4) «¿Qué es una función?» (Was ist eine funktion? 1904.)

CARLOS ALVARADO DE PIÉROLA

no significa nada, es una mera posibilidad de ser algo.

Es una función porque los valores de «y» están en función

CARLOS ALVARADO DE PIÉROLA

F (x) [o también f (x)]

En su momento será reemplazado por un contenido

(Gottlob Frege, «Función y concepto», en Escritos semánticos, p. 28.)

CARLOS ALVARADO DE PIÉROLA

Al asignarle a la función un valor (6), se crea, de paso, la posibilidad de

CARLOS ALVARADO DE PIÉROLA

FREGE: Hay que separar el análisis lógico de las oraciones y el análisis

(1) Los griegos derrotaron a los persas

(2) Los persas fueron derrotados por los griegos

Aquí hay diferencias desde un punto de vista gramatical:

En (1) el sujeto es “Los griegos”.

Aparte: diferencias de estilo, número de palabras, etc.

CARLOS ALVARADO DE PIÉROLA

FREGE: Hay que separar el análisis lógico de las oraciones y el análisis

(1) Los griegos derrotaron a los persas

Pero desde un punto de vista lógico son iguales (equivalentes):

a) (1) y (2) tienen el mismo contenido conceptual.

CARLOS ALVARADO DE PIÉROLA

Lógica tradicional: Analizaba las oraciones en términos gramaticales

Problema: Estas categorías no tenían en consideración el contenido

Solución: Frege propuso un análisis lógico sustentado en dos categorías

CARLOS ALVARADO DE PIÉROLA

(3) Los griegos derrotaron a los partos

Si comparamos con (1) Los griegos derrotaron a los persas:

(1) y (3) tienen diferente contenido conceptual

Y esto puede apreciarse con el análisis de Frege.

CARLOS ALVARADO DE PIÉROLA

Parte constante: Función.

CARLOS ALVARADO DE PIÉROLA

b) En (1) y (3) la función es «los griegos derrotaron a…»

Los argumentos son «los persas» (1) y «los partos» (3).

CARLOS ALVARADO DE PIÉROLA

Frege llamará función a la expresión molecular en la que

CARLOS ALVARADO DE PIÉROLA

« x2 + 1» Representa una función de x:

el valor del número representado por la expresión entera (x2 + 1)

Para el argumento 1 es 2 (12 +1 = 1 + 1 = 2).

CARLOS ALVARADO DE PIÉROLA

La función es comprendida relacionalmente, con lugares vacíos

CARLOS ALVARADO DE PIÉROLA

Frege hizo dos innovaciones:

1) Extendió la noción de función a ecuaciones liberándola de su

2) La extendió, también, a expresiones del lenguaje ordinario, sin

CARLOS ALVARADO DE PIÉROLA

Frege hace algo semejante con el lenguaje:

1. «… derrotó a Harold» es una función (al igual que y = x + (x - 4)).

Si reemplazamos x por William entonces tendremos:

3. «y = William derrotó a Harold»

CARLOS ALVARADO DE PIÉROLA

Frege hace algo semejante: