Está en la página 1de 4

1.

Componentes del lenguaje de la conceptografía

El lenguaje de la conceptografıa de Grundgesetze se compone de tres tipos de símbolos: los


símbolos lógicos, las letras y los símbolos auxiliares (paréntesis y letras auxiliares). Los
símbolos lógicos son la barra de juicio y la horizontal, la negación, el condicional, el símbolo de
igualdad y el símbolo de generalidad. iré presentando cada uno de los símbolos del lenguaje de
la conceptografía: las letras y el conjunto de símbolos lógicos.

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.

Letras griegas auxiliares

Frege dedica la primera parte de Grundgesetze, a presentar los elementos b á sicos de la


conceptograf ́ıa y a describir su uso. Hay una serie de s ́ımbolos que se usan en los ejemplos en
la exposici ́on de Frege. Los s ́ımbolos a los que nos referimos se identifican f á cilmente al ser
siempre consonantes griegas. Estos s ́ımbolos no son, propiamente, letras de la conceptograf
́ıa, por lo que no expresan generalidad. Cuando son min ́usculas, son indicadores de alguna
posici ́on y cuando son may ́usculas, son usadas para referirse sin distinci ́on a entidades del
universo.

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 Begriffsschrift, las letras expresan generalidad sobre un recorrido de expresiones


adecuadas. Por contra, las letras latinas de Grundgesetze expresan generalidad sobre un
dominio de entidades208. Por lo tanto, Frege plantea que las letras de la conceptograf ́ıa, a
diferencia de los nombres propios, no designan un objeto en particular, sino que simplemente
indican.

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

3. Barra de juicio y horizontal

Frege distingue expl ́ıcitamente entre el reconocimiento de verdad y el hecho de ser


verdadero. Tomando esta distinci ́on como punto de partida, desde la perspectiva de
Grundgesetze, el hecho de que un enunciado designe un valor de verdad no equivale a
reconocer que el pensamiento expresado por el enunciado es verdadero. El acto de
reconocimiento de la verdad de un pensamiento se denomina juicio.

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.

en el sentido en que el s ́ımbolo expresa lo mismo que ‘hay al menos un a’.

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.

También podría gustarte