Documentos de Académico
Documentos de Profesional
Documentos de Cultura
2. Letras
Frege recurre a una amplia variedad de letras distintas. Cada uno de los tipos de letra tiene un
uso distinto. De todas las letras usadas por Frege tanto en la presentacion como en el uso de la
conceptograf ́ıa, distinguimos aquellas que se usan con fines explicativos y que no forman
parte de su lenguaje, de aquellas que son letras de este sistema formal.
Dado que en la conceptograf ́ıa hay distintos tipos de funciones, Frege usa distintas
consonantes griegas min ́usculas como indicadores de posici ́on para señalar los lugares de
argumento de funciones de distintos niveles.
El primer grupo: As ́ı, ‘ξ’ XI y ‘ζ’ DSETA son indicadores de los lugares de argumento que
corresponden a objetos, ‘φ’ FI y ‘ψ’ PSI son indicadores de los lugares de argumento que
corresponden a funciones de primer nivel, y finalmente la conjunción de ‘μβ’ MI con BETA y
‘μβγ’ MI con BETA y GAMMA son indicadores de los lugares de argumento que corresponden
a funciones de segundo nivel Su proposito es doble:
por un lado, especifican la ariedad del argumento de la funci ́on que ocupa el lugar de ‘μβ’ o
‘μβγ’ y, por el otro, hacen patente la circunstancia de que la funci ́on de segundo nivel que
ocupa el lugar de ‘μβ’ o ‘μβγ’ debe saturar los lugares de argumento de la funci ́on de primer
nivel (unaria o binaria, respectivamente) que corresponde a su argumento
Por lo que respecta al segundo grupo de consonantes griegas, Frege usa, en primer lugar, ‘Γ’
GAMMA, ‘∆’ DELTA, ‘Θ’ THETA, ‘Λ’ LAMBDA, ‘Ξ’ XI, ‘Π’ PI, ‘P’ RHO y ‘Σ’ SIGMA para referirse
en general a objetos sin distinci ́on. Normalmente, excepto ‘Γ’ GAMMA y ‘∆’ DELTA, estos s
́ımbolos s ́olo tienen interpretaci ́on proposicional.
Tercer grupo: para referirse en general a funciones de primer nivel tanto unarias como
binarias, Frege recurre a ‘Φ(ξ)’ FI con XI, ‘Φ(ξ, ζ)’ FI con XI y DSETA, ‘Ψ(ξ)’ PSI con XI y Ψ(ξ, ζ)
PSI con XI Y DSETA. Finalmente, Frege utiliza ‘Ωβ(φ(β))’ OMEGA y BETA con FI Y BETAy
‘Ωβγ(ψ(β, γ))’ OMEGA BETA y GAMMA con PSI BETA y GAMMA para referirse en general a
funciones de segundo nivel cuyos argumentos son funciones de primer nivel unarias y binarias,
respectiva mente. Y como vemos las consonantes griegas may ́usculas pueden usarse
combinadas para formar expresiones complejas.
Letras latinas de la conceptografia
En primer lugar, hay un conjunto de letras de objeto, que expresan generalidad sobre el
dominio de objetos del universo. Frege usa las letras ‘a’, ‘b’, ‘c’, ‘d’ como letras de objeto.
En segundo lugar, Frege usa ‘f’, ‘g’, ‘h’, ‘F’, ‘G’, ‘H’ como letras de funcion de primer nivel, esto
es, como letras que expresan generalidad sobre un dominio de funciones cuyos argumentos
son objetos. El uso de min ́usculas y may u ́ sculas sirve para distinguir las letras que expresan
generalidad sobre funciones en general, ‘f’, ‘g’ y ‘h’, de las letras que expresan generalidad
sobre conceptos, ‘F’, ‘G’, ‘H’.
Finalmente, se usan las letras ‘Mβ’ MBETA y ‘Mβγ’ MBETAGAMMA como letras de funci ́on de
segundo nivel. Las letras de funci ́on de segundo nivel aparecen junto a dos elementos. Por lo
tanto, ‘β’ BETA y ‘γ’ GAMMA son s ́ımbolos auxiliares del lenguaje de la conceptograf ́ıa y
siempre van asociados a una letra latina
Frege insiste en el hecho de que en la mera presentaci ́on de las nociones b ́asicas de la
conceptograf ́ıa no se produce ninguna aseveraci ́on.
siguiendo el ejemplo del autor, una ecuaci ́on como ‘(2 + 3 = 5) = (1 = 2)’ expresa que dos
valores de verdad (los correspondientes a (2 + 3 = 5) y a (1 = 2)) son el mismo y, por lo tanto,
designa lo Falso. Sin embargo, el nombre ‘(2 + 3 = 5) = (1 = 2)’ no es un juicio, puesto que no
conlleva la aseveraci ́on de que (2 + 3 = 5) es el mismo objeto que (1 = 2).
As ́ı, mediante ese símbolo Frege introduce en la conceptograf ́ıa la posibilidad de expresar
juicios, esto es, de llevar a cabo el acto de reconocimiento de cierto pensamiento como
verdadero. Este acto de aseveraci ́on es, desde la perspectiva del autor, imprescindible, porque
es el ́unico recurso del que dispone la conceptograf ́ıa para hacer expl ́ıcito que el pensamiento
expresado por un enunciado es verdadero.
4. Conectivas
son nombres de funciones que asignan un determinado valor de verdad dependiendo de sus
argumentos.
Negación: Frege constata que la conceptograf ́ıa no dispone de un s ́ımbolo an á logo que
permita afirmar la falsedad de un pensamiento y, as ́ı, reconocerlo como falso. Un s ́ımbolo tal
seria innecesario, porque disponer de la negaci ́on en el lenguaje basta para este cometido. La
negaci ́on designa una funci ́on que atribuye valores de verdad; designa, por lo tanto, un
concepto.
Condicional: El s ́ımbolo correspondiente al condicional designa, una relaci ́on binaria, que
siempre atribuye un valor de verdad a cada pareja de argumentos. los argumentos
aceptables para la funci ́on condicional no son ́unicamente valores de verdad: esta relaci ́on
est ́a definida para cualquier pareja de argumentos del primer tipo, sean de la naturaleza que
sean.
5. Igualdad
la formulaci ́on que se escoge para la igualdad es suficiente. Afirmar que Γ GAMMA y ∆ DELTA
son lo mismo equivale a decir que los signos ‘Γ’ GAMMA y ‘∆’ DELTA tienen el mismo
significado. Naturalmente, son signos distintos, y ello puede hacer patente una diferencia de
sentidos expresados. En tal caso, el signo de igualdad ser ́a informativo, pero es igualmente
aplicable en el caso de la igualdad entre sımbolos identicos. La funci ́on designada por el s
́ımbolo de igualdad atribuye, el valor de verdad Verdadero a aquellos argumentos id ́enticos,
aunque los nombres de estos argumentos expresen sentidos distintos.
6. Generalidad
Uno de los recursos de la conceptograf ́ıa es la cuantificaci ́on: este sistema formal permite
expresar expl ́ıcitamente que cierta letra expresa generalidad, de tal manera que, en una f
́ormula del lenguaje, es posible incluir tanto una cuantificaci ́on m u
́ ltiple como una cuantificaci
́on restringida a una sub-f ́ormula.
Toda aplicaci ́on de la funci ́on de generalidad conlleva el uso de tipograf ́ıa g ́otica. Frege usa
‘a’, ‘b’, ‘c’, ‘d’ como letras g ́oticas de objeto, y ‘f’, ‘g’, ‘F’, ‘G’ como letras g ́oticas de funci ́on
de primer nivel. Las letras g ́oticas se usan exclusivamente con la introducci ́on de la funci ́on
de generalidad.
Frege introduce, en primer lugar, la funci ́on de la conceptograf ́ıa que expresa generalidad
sobre letras de objeto. El cual se compone de una concavidad que contiene una letra g ́otica,
que indica la letra que expresa generalidad. Se llama ‘cuantificador’ a la concavidad que
contiene una letra g ́otica ‘ a ’ en el nombre de la funci ́on de generalidad.
Frege no hace comentarios acerca del dominio de cada uno de los cuantificadores y, de hecho,
no especifica en ninguna ocasi ́on que la totalidad de los objetos o de las funciones de primer
nivel que la l ́ogica considera formen una clase.
aspectos sintácticos
Las funciones de generalidad, tanto para objetos como para funciones de primer nivel, llevan
aparejadas dos elementos de car ́acter sint á ctico: la identificaci ́on de la funci ́on
correspondiente, esto es, el argumento de la funci ́on de generalidad, y el alcance del
cuantificador.
El argumento de la funci ́on de generalidad, que es una funci ́on de primer nivel (para la
generalidad sobre objetos) o una funci ́on de segundo nivel (para la generalidad sobre
funciones) recibe la denominaci ́on ‘funci ́on correspondiente’. Frege constata que, en multitud
de ocasiones, en el nombre del valor de la funci ́on de generalidad, es dif ́ıcil identificar el
nombre de la funci ́on correspondiente al cuantificador en cuesti ́on. La raz ́on esencial est á en
el hecho de que en el nombre de la funci ́on correspondiente puede haber apariciones de
letras g ́oticas.
Las letras g ́oticas son s ́ımbolos auxiliares en el nombre de la funci ́on de generalidad , pero
no son las ́unicas letras de la conceptograf ́ıa que expresan generalidad. Las letras latinas, a las
que nos referimos simplemente mediante la denominaci ́on ‘letras’, tambien expresan
generalidad.
Conclusión
Puede verse que en las explicaciones de la conceptograf ́ıa puede suceder que las letras latinas
se usen de modo inconveniente. De hecho, en este contexto, Frege recurre a una serie de s
́ımbolos que no pertenecen al lenguaje de la conceptograf ́ıa. Sin embargo, el uso genuino de
la conceptograf ́ıa consiste en una sucesi ́on de deducciones compuestas por juicios, esto es,
por expresiones bien formadas de la conceptograf ́ıa precedidas por una barra de juicio.
En tal circunstancia, la convenci ́on que afecta a las letras latinas no es un inconveniente, sino
un recurso notacional de gran relevancia.