La provincia de la lgica, segn Frege

(versin preliminar)
Max Fernndez de Castro
Depto. de Filosofa
UAM-I
Reducido a su mnima expresin el logicismo es la doctrina que identifica a las matemticas
con una parte de la lgica. Como tal ha sido un instrumento en la defensa de posiciones
filosficas muy dispares, como son la de Frege, la del primer Wittgenstein y la de Carnap a
partir de los aos treintas. Como ilustracin de ello recordemos que Carnap dice en su
autobiografa haber aprendido de Frege, cmo poda explicarse la certeza y generalidad de las
matemticas en el marco de la filosofa empirista. Sin embargo, como todos sabemos, Frege
crey haber fracasado en su programa logicista y fue una acrrimo enemigo del empirismo,
por lo que las palabras de Carnap son ms bien sorprendentes. Cabe suponer que tras la
simplicidad de la frmula que reduce las matemticas a la lgica se esconden uno o varios
equvocos. Es comn a las diversas tendencias, atribuir al logicismo la persecucin o puesta
en marcha de un programa matemtico que consiste en demostrar que todo concepto
matemtico es definible en trminos de conceptos lgicos y que todo teorema matemtico es
demostrable a partir de los principios de la lgica, por medio de la deduccin puramente
lgica. Sin embargo, varias cuestiones filosficas subyacentes a este programa han dado
lugar a posturas divergentes: qu debemos entender por los trminos lgica, definicin y
matemticas? En lo que sigue intentaremos esclarecer el proyecto logicista de Frege
analizando sus respuestas a la primera de estas cuestiones. Es decir, nos concentraremos en la
pregunta qu era para Frege la lgica? De las otras dos cuestiones, la segunda, qu es
para Frege la definicin?, es extremadamente compleja, por lo que no la abordaremos.
La pregunta qu es la lgica? tiene al menos dos vertientes, una intensional y la otra
extensional. La primera tiene prioridad sobre la segunda, pero esta ltima parecera ms
sencilla. Para saber qu parte del conocimiento, segn Frege, est comprendida en la
provincia de lgica, bastara analizar los sistemas lgicos efectivamente empleados en sus
libros. Dos dificultades se presentan en sentidos contrarios: una es que en la defensa del
logicismo no es necesario desplegar toda la lgica pues, segn esta doctrina, es slo a una
parte (propia o impropia) de esta ciencia que se reduce la matemtica. La otra es que el
sistema utilizado en los Grundgesetze es inconsistente y sus consecuencias lgicas
sobrepasan las fronteras de la lgica. Sin embargo, nuestra preocupacin principal es con la
cuestin previa de qu era para Frege la lgica desde el punto de vista intensional.

La otra pregunta, la referente a la designacin del trmino matemticas, cuando es

tomada extensionalmente tiene una respuesta sencilla y slo requiere una precisin, a saber, el
autor de los Grundgesetze pretenda mostrar que el anlisis matemtico, no la geometra, es
parte de la lgica. Supondremos que la mejor manera de describir la situacin de Frege en el
momento de plantear por vez primera su programa es la siguiente: contaba con una
delimitacin extensional clara de lo que era el anlisis matemtico de su tiempo y una idea
todava imprecisa de qu caractersticas deba satisfacer una ciencia an por construirse
llamada lgica. Su objetivo era mostrar que la primera entraba dentro de la extensin de la
segunda. De esta manera resolvemos provisionalmente la paradoja del anlisis, al menos para
este caso particular.
Frege aborda la cuestin de la naturaleza de la lgica principalmente en escritos
pstumos y supondremos, sin mayor evidencia ni a favor ni en contra, que su postura al
respecto, salvo variaciones muy menores, fue la misma a lo largo de toda su vida. Advirtase
que el tema que nos ocupa es esencial para explicar por qu Frege propuso en un primer
momento la correccin introducida en el apndice de los Grundgesetze para evitar la paradoja
de Russell. Asimismo, como diremos enseguida, la distincin trazada en los Grundlagen
entre enunciados analticos y sintticos a priori depende nicamente del significado del
trmino lgica.
Desde su ms temprano escrito en la materia, Frege asevera que la lgica no slo busca
la verdad sino que tiene a sta por objeto de estudio. Ms especficamente, su fin es el de
discernir las leyes de la verdad. Esto nos conduce naturalmente a preguntarnos por la
definicin del trmino verdad, del que, sin embargo, Frege demuestra con un breve
argumento que es indefinible. Veremos ms adelante que si bien este trmino indica la esencia
de la lgica, la determinacin de su sentido es extremadamente difcil y suscita mltiples
enigmas.
En el contexto de los pensadores alemanes de finales del siglo XIX haba estallado la
polmica de si la lgica era una ciencia normativa o descriptiva. La posicin de Frege al
respecto es clara: en un sentido, es descriptiva pues sus leyes son como las de la naturaleza
referentes a lo que es, y no como las que rigen la convivencia social. Pero en relacin al
pensamiento como actividad humana las leyes de la lgica son normativas. Son leyes de la
verdad, no del tomar las cosas por verdaderas. El error est en suponer que el pensamiento
humano a veces se desarrolla racionalmente en la bsqueda de la verdad y que la lgica
busca aislar las pautas conforme a las cuales opera en esos momentos. Esto conduce al
psicologismo y a un crculo vicioso.
Frege encuentra la salida en la cuestin de cules son los portadores de verdad. En
efecto, en las diversas tentativas, siempre inconclusas, por elaborar su pensamiento en torno a

la lgica, parece centrarse sobre el problema de qu es aquello sobre lo que se predica la

verdad y cmo esto se articula. La atribucin de verdad o falsedad a representaciones o a
pinturas se reduce siempre a la de enunciados, considerados stos, desde luego, como
portadores de sentido, y es el sentido- dice Frege- lo que es verdadero o falso de un
enunciado. Sin embargo, esta no es ms que una primera aproximacin
Frege llama a aquello expresado por un enunciado y de lo que se predica un valor de
verdad, un pensamiento. Lo que sigue es determinar las caractersticas de los pensamientos
que se derivan de su condicin de portadores de verdad. Tres principios guan esta
investigacin, todos basados en el uso de la palabra verdadero en el lenguaje ordinario. El
primero, ya implcito en lo anterior, es que la atribucin de verdad tiene la forma no slo
gramatical, sino tambin lgica, de una predicacin. El segundo es que la propiedad de ser
verdadero es independiente de nuestros juicios y an de la existencia de las lenguas. El
tercero, es que la verdad no es perceptible por los sentidos, aunque algunos giros en nuestro
lenguaje pudieran inducirnos a pensarlo as. De all deriva Frege que los pensamientos estn
en el tercer mundo por l postulado, es decir, no son cosas fsicas ni ideas, ni estn sometidos
a variacin alguna. Cada uno de ellos es para siempre o verdadero o falso.
Esto podra dar pie a la objecin de que no es necesario postular la existencia del
pensamiento, como entidad imperceptible y no sometida a la causalidad, para dar cuenta de la
objetividad de nuestros juicios. Alguien podra contestar que se trata de otra manera
metafrica de postular el segundo principio antes mencionado, el de la independencia de la
verdad con respecto a nuestras mentes, pues el predicado de existencia slo se aplica
estrictamente a conceptos de primer grado y, por ende, slo podemos decir que existen cierto
tipo de objetos. Es decir que no sera gramatical una expresin que atribuyera existencia a los
pensamientos. Sin embargo, ni la objecin ni la rplica son vlidas porque en el discurso
indirecto, segn la interpretacin que de l da Frege, el sentido de un enunciado puede
convertirse en denotacin de un trmino singular y, en consecuencia, tiene que ser un objeto,
es decir algo susceptible de caer o no bajo un concepto de primer grado.
Los pensamientos son constitutivos del sentido de algunos enunciados, a saber de los
enunciados asertricos y de los interrogativos que pueden contestarse afirmativa o
negativamente. Desde luego, otro tipo de enunciados interrogativos o los imperativos, estn
excluidos porque no se plantea para ellos la cuestin de si son verdaderos. Dado que un
enunciado asertrico puede ser empleado en diferentes ocasiones para expresar diferentes
pensamientos, en lo que sigue nos referiremos por enunciados a lo que Quine llam
enunciados eternos, es decir, a enunciados asertricos que contienen referencias explcitas a
tiempos, lugares y personas de tal manera que su valor de verdad se mantiene fijo. Ahora
bien, siguiendo a Frege, es necesario distinguir entre el contenido y el pensamiento

expresados por un enunciado. El contenido de un enunciado va ms all del pensamiento por

l expresado. As por ejemplo, el contenido de un enunciado asertrico incluye al menos tres
componentes muy diversos: el pensamiento, la asercin misma, y un elemento emocional que
slo es sugerido. Cmo separar este ltimo factor? Lo que slo es sugerido por P pero no
pertenece al pensamiento expresado por P, no entra en el criterio para decidir la verdad de P.
As, para tomar un ejemplo de Frege, el enunciado Alfredo an no ha llegado no es falso si
el arribo de Alfredo no es esperado, como lo sugiere el adverbio an. Ahora bien, el
sentido de un enunciado debe identificarse con su contenido o solamente con el pensamiento
que expresa o con ste ms los factores emocionales que sugiere? Lo que es evidente es que
el contenido no coincide con el sentido del enunciado pues ste puede ser captado antes de la
formulacin de un juicio. Por otro lado, si el sentido es aquello que se capta al entender un
enunciado, entonces debe asimilarse ms verosmilmente al pensamiento expresado ms lo
factores emocionales sugeridos. Sin embargo, podemos evitar este problema si suponemos
que los enunciados de los que estamos tratando en una inferencia lgica son de carcter
cientfico y que, por tanto, carecen de componentes emocionales. As en lo sucesivo
identificaremos el contenido del enunciado antes de ser sometido a juicio con su sentido o con
el pensamiento que expresa.
Aqu podemos formular los enigmas que suscita el predicado es verdadero. Por un
lado, es indefinible, al menos si es correcto el argumento de Frege mencionado anteriormente.
Por otro, en un enunciado tal como 3>2 es verdadero cul es la contribucin del sentido
de la expresin es verdadero al sentido del enunciado?. Ninguno, pues ste es equivalente a
3>2. No forma parte, por tanto, del pensamiento ni, por supuesto, de los factores
emocionales. Sirve el predicado es verdadero para marcar la asercin? Tampoco pues tal
enunciado podra ser dicho por un actor en escena y estara, por tanto, desprovisto de fuerza
asertiva. Tal vez por ello, Frege escribi y tach en 1915 la enigmtica frase: En efecto, la
palabra bello indica realmente bien la esencia de la esttica, como la palabra bien el de la
tica, mientras que la palabra verdadero no hace en realidad ms que una tentativa
infructuosa por indicar el fin de la lgica , en la medida en que lo que est realmente en
cuestin no tiene que ver en absoluto con la palabra verdadero sino con la fuerza asertiva
con
la
cual
una
frase
est
acompaada.
Una vez identificados los portadores de verdad, la pregunta es cul es la tarea de la
lgica. Evidentemente no es determinar la verdad o falsedad de los pensamientos, al menos
no de todos, pues algunos ataen slo a ciencias particulares. La respuesta la da
explcitamente Frege: La tarea de la lgica es la de establecer las leyes segn las cuales un
juicio puede ser justificado por medio de otro, sin considerar si este otro es l mismo

verdadero. Es decir, la lgica est concernida con las leyes la inferencia. Pero es la para
Frege una teora de la inferencia y secundariamente una teora de la verdad lgica o a la
inversa? Dummett sostiene esta ltima interpretacin fundado tanto en la manera en que
procede la Conceptografa de la estipulacin axiomtica de algunas verdades lgica a la
derivacin de otras, como en el rechazo de Frege de la legitimidad de derivar consecuencias
de una mera suposicin. Las inferencias que parecen partir de una suposicin deben
interpretarse ms bien, segn Frege, como prueba de los condicionales respectivos. A esta
perspectiva Dummett opone la de Gentzen quien parte del anlisis de las inferencias
deductivas y obtiene como un subproducto una teora de la verdad lgica. Habra a nuestro
juicio que matizar este punto de vista. En primer trmino, las perspectivas son duales la una
de la otra. En segundo trmino, el enigmtico pasaje que citamos anteriormente sugiere que el
nfasis para Frege se encuentra no tanto en la conexin de las verdades de dos enunciados
como de sus aserciones respectivas. En la Conceptografa los conectivos lgicos son
definidos no veritativo-funcionalmente, como es slito en los textos de lgica recientes, sino
en trminos de los compromisos asertivos que contrae el que los emplea en un juicio. Esta
observacin, que debo a Axel Barcel, hara pensar que para Frege la lgica es primariamente
una teora de la inferencia. En testimonio de ello podra citarse tambin el siguiente prrafo.
Lo que contiene la ms clara indicacin de la naturaleza de la lgica, es la fuerza asertiva con
la cual una frase es pronunciada. Es decir, la lgica revela los compromisos asertivos a que
lleva la asercin de un enunciado en la base del pensamiento que expresa. Esto no impide que
la lgica pueda ser presentada, adems, como una teora de la verdad lgica.
Supondremos que, aunque la Conceptografa contiene pocas referencias explcitas a la
lgica, despliega y pone en prctica la idea que su autor tiene de esta ciencia. Entre otras
pruebas al respecto, podra aducirse el ttulo que hace pensar de inmediato en la obra lgica de
George Boole. Cules con los fines de este opsculo de 1879? Primariamente, la
presentacin de un instrumento que permitiera rastrear las premisas ltimas (es decir,
indemostrables) que intervienen en la mejor justificacin de un enunciado para averiguar el
carcter analtico, sinttico a priori, o simplemente a posteriori de ste. En el primer caso, el
enunciado depende nicamente para su justificacin completa de leyes lgicas generales (y
definiciones), mientras que un enunciado sinttico requiere para su justificacin de alguna
premisa que, aunque general, no es de una naturaleza lgica general, sino que se relaciona a
un dominio especial de conocimiento. Observemos que el nico rasgo que se seala aqu
como caracterstico de las leyes lgicas es su generalidad, entendida sta como aplicabilidad a
cualquier rea del conocimiento, lo que excluye de su dominio cualquier elemento intuitivo y,
ni se diga, emprico. Las definiciones dadas implican que las leyes lgicas son enunciados
analticos y, por tanto, a priori.

En la Conceptografa se trata, segn Frege, de llevar a buenos trminos las idea

leibniziana de una lingua characterica la cual est muy estrechamente relacionada con la de
un calculo ratiocinator. Frege atribuye a Boole haber avanzado un poco en este ltimo
objetivo: Boole quera, si comprendo bien, construir una tcnica por medio de la cual los
problemas lgicos pudieran ser resueltos de manera sistemtica, de la misma manera que el
lgebra ensea una tcnica de eliminacin y clculo de la incgnita. Es decir, se trata de la
construccin de medios algortmicos que reproduzcan el racionamiento correcto, una de las
funciones tradicionalmente atribuidas a la lgica. Aunque con un matiz que habremos de
sealar, la Conceptografa persegua, entre otros, este ltimo fin: el problema ms inmediato
comn a Boole y a mi era el de clarificar la representacin de relaciones lgicas por medio de
signos escritos.
Adems de una codificacin sintctica del razonamiento que detectara en ste
infaliblemente la intromisin de elementos intuitivos o pertenecientes a un dominio particular,
la Conceptografa tena tambin como objetivo la expresin de un contenido. El punto de
mira de mis esfuerzos dice Frege- es una lingua characterica primeramente para las
matemticas, no un clculo limitado a la lgica pura. Puesto que la lgica tradicionalmente ha
sido calificada, a justo ttulo, como formal, veamos ms de cerca a qu se refiere aqu con el
trmino contenido.
En los aos 80s Frege sostuvo una teora semntica relativamente sencilla centrada en la
nocin de contenido conceptual. Esta es una funcin que relaciona expresiones de ciertas
categoras gramaticales, entre las cuales se encuentran las de los nombres y las de los
enunciados, con elementos ajenos al lenguaje. El contenido conceptual de los enunciados est
dado por una relacin de equivalencia. Dos enunciados tienen el mismo contenido conceptual
cuando son lgicamente equivalentes. Ms precisamente el contenido conceptual del
enunciado P puede ser identificado con un conjunto de pares ordenados. El primer elemento
de cada par es un conjunto de premisas, el segundo un enunciado Q, tales que de y P es
consecuencia Q. Suponemos que se trata de consecuencia lgica y no, por ejemplo, analtica.
Esta teora fue abandonada por Frege en la siguiente dcada por que no respetaba un principio
de composicionalidad semntica. Sin embargo, podemos suponer que la nociones de
pensamiento expresado por un enunciado y de contenido conceptual del mismo coinciden
cuando se trata de enunciados cientficos previos a su rechazo o asercin. Las razones a
favor de esta afirmacin son dos. Una que Frege habla de contenido judicable, es decir, que el
contenido del que es cuestin en el opsculo de 1879, es aquello de lo que se puede emitir un
juicio y el juicio es el reconocimiento de la verdad o falsedad o de un pensamiento. Es decir
que el contenido conceptual de un enunciado es un portador de verdad. En segundo trmino,
hemos visto que el pensamiento expresado por Q (la llegada de Juan es esperada) no

pertenece al pensamiento expresado por P (Juan no ha llegado an), si Q puede ser falsa y P
verdadera. Es decir que las consecuencias lgicas de un enunciado (partiendo de ciertas
premisas) forman parte del pensamiento por l expresado y son tambin constitutivas de su
contenido conceptual. Ahora bien, en la Conceptografa se trata de expresar el contenido
conceptual de los enunciados verdaderos de la lgica? No est claro qu podra significar
esto, pero advirtamos una dificultad en el planteamiento de esta cuestin. La nocin de
contenido conceptual depende de la de consecuencia lgica y no a la inversa. Es necesario
saber cules son las verdades de la lgica para determinar cul es el contenido conceptual de
un enunciado. En ese sentido, lo ms correcto sera decir que los proposiciones verdaderas de
la lgica carecen de contenido conceptual, o tienen un contenido conceptual mnimo, como lo
sugiere Frege en algunos pasajes.
Como ilustracin de lenguajes que cumplen parcialmente el objetivo de expresar un
contenido, Frege aduce el lenguaje natural y el de la aritmtica. Suponemos que en este ltimo
caso se refiere a que, por ejemplo, la notacin posicional indica de manera grfica la forma en
que est compuesto el nmero al que se hace referencia. El alemn logra un efecto parecido
con las palabras compuestas, pero all una nica forma sintctica de composicin (la
yuxtaposicin) no corresponde a las diferentes formas de composicin semntica que los
vocablos compuestos pueden expresar.
Nos quedar ms claro en qu sentido el lenguaje de la Conceptografa expresa un
contenido, si la comparamos como lo hace el propio Frege, con la obra de Boole donde este
objetivo no es perseguido. Segn Frege, el problema con Boole es que parte, como
Aristteles, de conceptos ya formados para obtener el juicio a travs de la comparacin de sus
respectivas extensiones. La lgica casi no se involucra con la formacin de conceptos y
comienza su labor una vez que stos estn ya dados como materia prima. De ello resulta una
teora segura, pero muy limitada de la inferencia. Frege lo ilustra con crculos que representan
conceptos dados, a la manera de diagramas de Venn. La formacin de nuevos conceptos en el
lgebra booleana se limita a la aplicacin reiterada de sumas, complementos e intersecciones
de reas previamente obtenidas en este proceso. Con ello no se consiguen ms que conceptos
cuyas delimitaciones estaban por as decirlo dadas implcitamente desde el principio. La
observacin de la manera en que nacen los conceptos realmente fecundos en matemticas no
corresponde a esta forma primitiva de composicin. Si quisiramos copiar el razonamiento
matemtico utilizando las tcnicas de Boole, sera necesario agregar a cada paso nuevas
crculos correspondientes a conceptos nuevos no introducidos como intersecciones o
complementos de los ya existentes. No dispondramos de una lingua que permitiera la
expresin de los enunciados matemticos, pues es esencial a una lengua el poder expresar,
con un nmero reducido de medios dados de una vez por todas, una cantidad indefinida de

enunciados. En cambio, como Frege muestra, el lenguaje de la Conceptografa reproduce la

formacin de conceptos matemticos en la medida en que posibilita la expresin de un gran
nmero de enunciados matemticos muy complejos, sin la necesidad de introducir nuevos
medios de expresin. Se objetar, sin embargo, que las definiciones permiten el empleo de
nuevos smbolos y que Frege mismo se refiri al carcter fructfero de las mismas. Sin
embargo, los smbolos o expresiones introducidas por definiciones en la Conceptografa son
meras abreviaturas de expresiones ya existentes y, por tanto, son expedientes susceptibles de
eliminacin. Veremos ms adelante en qu sentido puede decirse an de este tipo de
definiciones que introducen un elemento novedoso.
Cmo se logra la construccin de esta lengua para las matemticas? La clave est en el
segundo principio metodolgico que rige los Grundlagen: No se debe preguntar por el
significado de una palabra aislada, sino en el contexto de un enunciado. No se trata tan slo,
como ha sido tantas veces sealado, de una precaucin contra el psicologismo, sino tambin
de un restablecimiento del verdadero orden de prioridades que existe entre el juicio y el
concepto. Este debe surgir de aqul y no a la inversa.
En qu sentido surgen o se forman los conceptos? No, desde luego, en un sentido
ontolgico, sino slo metodolgico. Es fcil enumerar lo poco que Frege dice sobre los
conceptos: a) que son denotaciones de trminos conceptuales (es decir, de expresiones
insaturadas que al completarse con nombres dan como resultado enunciados, b) que son de
una categora distinta a la de los objetos y que, por tanto, entre ellos no es posible la
identidad, pero si una relacin anloga regida por un criterio de extensionalidad, c) que
corresponde a cada uno de ellos un objeto, su extensin, y la misma extensin a todos
aquellos que subsumen exactamente los mismos objetos y, por ltimo, d) que el concepto es
anterior a su extensin y que, por tanto, constitutivo de cada concepto es un medio de
determinar, al menos en principio, si un objeto cualquiera cae o no bajo l. En la
caracterizacin anterior de lo que es un concepto, dejemos de lado por el momento las
alusiones a la extensin por dos razones: a) la postulacin de un objeto distinto por cada
grupo de conceptos de la misma extensin es contradictoria, como todos sabemos, y b) el
concepto precede lgicamente a su extensin. Nos parece que es esencial al concepto en el
sentido fregeano su capacidad de reunir a todos los objetos (o conceptos) que satisfacen una
determinada propiedad y de separarlos del resto: ... la formacin de conceptos por simple
recoleccin de cosas individuales no es sin embargo ms que una formacin muy arbitraria y
desprovista de significacin para el pensamiento efectivo, si estas cosas no estn unidas por
caracteres comunes. Son precisamente estos los que constituyen la esencia del concepto. No
ser ilegtimo un concepto bajo el que ningn objeto cae, porque sigue separando en dos el
universo de los objetos (o de las funciones de cierto tipo). Por ello tambin la simple

separacin de un elemento lxico de una frase constituye un trmino conceptual siempre y

cuando el reemplazo de ese elemento por cualquier otro de la misma categora semntica
produzca un enunciado. Por este medio pasamos de frases gramaticalmente similares con
valores de verdad a la determinacin de un concepto. En la Conceptografa, donde todava
Frege no hace la distincin entre el trmino conceptual y el concepto por l denotado, ste
surge como resultado de una descomposicin de la frase en partes pensadas como fijas (los
conceptos) y otras (los argumentos) concebidas como remplazables por trminos de la misma
categora semntica. En un primer momento los argumentos son nombres (en el sentido
fregeano de la palabra) pero ms tarde pueden pertenecer a categoras semnticas constituidas
a su vez de trminos funcionales. Frege reconoce al menos otra manera de producir conceptos
que es la que conduce de una relacin de equivalencia al concepto asociado a cada particin
por ella producido. As los objetos que son equivalentes segn esta relacin caen bajo un
concepto nuevo. En cualquier caso, el concepto se forma cuando hay un criterio de
subsuncin, no importa cmo se llegue a ste. Desde luego lo dicho es vlido tambin para
relaciones.
Ahora bien una determinacin mayor del concepto requiere una especie de criterio de
identidad de los conceptos as formados pues, aunque la identidad es una relacin que se da
nicamente entre objetos, es lcito preguntarse cundo dos trminos conceptuales son
intercambiables en todo contexto salva veritate. Sin embargo, planteadas las cosas
independientemente de la existencia de las extensiones, nada parece oponerse a que, por
ejemplo, un concepto de segundo orden subsumiera slo uno de dos conceptos de primer
orden co-extensionales, como lo posibilita la correccin a la ley V introducida en el apndice
a los Grundgesetze.
No entremos ahora en este espinosa cuestin y quedmonos un momento con los
conceptos recin formados. Observemos primeramente que lo que distingue a Frege de Boole
no es solamente el orden de prioridades entre el juicio y el concepto (o entre las primary y las
secondary propositions), sino tambin una manera caracterstica de cortar la frase en
elementos semnticos. An partiendo del enunciado completo la simple divisin en sujeto y
predicado producira, por ejemplo, los conceptos asesino de Csar y asesino de Marilyn
Monroe los cuales no tendran en principio ninguna relacin entre s. Esto conducira a una
nomenclatura que tendra que estar en constante ampliacin para formalizar nuevos
enunciados y no constituira una lengua en el sentido antes dicho. Adems, las formas de
dividir la frase para generar conceptos estn estrechamente relacionadas con la lgica, pues la
inferencia depende de ellas.
Otra diferencia entre ambos pensadores es relevante a nuestro tema. En Boole el objetivo
es crear un artificio que permita la determinacin algortmica de la correccin de argumentos

de cierto tipo, no importando que la conexin entre el expediente formal y el argumento del
cual es un modelo sea poco evidente y tenga que ser establecida por pruebas matemticas
complejas. En Frege, por el contrario, cada paso de un derivacin formal es reproduccin fiel
e inmediata de una forma elemental de razonamiento. Los argumentos son descompuestos en
los pasos ms sencillos para su control, pero la conexin entre la sintaxis y la argumentacin
es siempre visible. Aqu encontramos otros importante sentido en el cual el lenguaje de la
Conceptografa constituye una lingua. De la misma manera que todos los posibles
enunciados de una lengua se obtiene de unos pocos elementos bsicos por la aplicacin
reiterada de unas cuantas reglas, todas las formas de razonamiento se descomponen en la
Conceptografa en unas pocas formas elementales.
Pero Volvamos a la pregunta de en qu sentido el lenguaje de la Conceptografa, al
simbolizar tales formas de descomposicin de la frase, expresa un contenido. Una primera
respuesta ya fue ofrecida, a saber, expresa un contenido en la medida en que constituye una
lingua en que son expresables los enunciados y razonamientos matemticos. Creemos que
sta es la respuesta efectivamente ofrecida por Frege, como lo testimonian las siguientes
palabras: el hecho de que mis proposiciones tengan contenido satisfactorio, en tanto que se
pueda despus de todo hablar de contenido para las proposiciones puramente lgicas, se
sigue del hecho de que ellas bastan.
Sin embargo, hay otro sentido en que podra hablarse de contenido en relacin a la
lgica, pues Frege oponindose a la tradicin afirm que proposiciones que extienden
nuestro conocimiento pueden tener juicios analticos como su contenido y que en una
inferencia las consecuencias derivadas aumentan nuestro conocimiento Tal opinin es
natural en alguien que deseaba sostener a la vez que las matemticas tienen un valor
cognoscitivo y que forman parte de la lgica.
Dummet ha explicado este carcter fructfero que la lgica tiene para Frege de la
siguiente manera. En una primer momento, este autor lo atribuye a la capacidad, sealada por
Frege a propsito de las verdades aritmticas, de encapsular subrutinas inferenciales. En este
sentido el valor epistmico de una proposicin matemtica consistira en relacionar
enunciados con una de sus consecuencias lgicas que se encuentra demasiado lejana en la
cadena deductiva para que dicha conexin sea evidente. En este caso, la opinin de Frege no
sera muy revolucionaria. Dummet ofrece otra explicacin ms interesante. Segn sta tanto
en el pensamiento abstracto como en la experiencia sensorial ordinaria interviene
frecuentemente el reconocimiento de patrones. La caracterstica de un patrn es que est all
para ser discernido, pero que para aprehender eso de lo cual es un patrn, no necesitamos
discernir el patrn. Por contraste, Dummett habla de los componentes genuinos de un
pensamiento los cuales tiene que ser advertidos para la comprensin del pensamiento del cual

forman parte. As tenemos de un lado la conjuncin lgica que es un componente en el

pensamiento expresado por el enunciado 2>1 y 7 es un nmero primo. Por otra parte
tenemos la relacin ser intermedio en tamao entre Jpiter y Marte, la cual es un patrn a
discernir, pero no un componente del pensamiento expresado por el enunciado O Jpiter es
ms grande que Neptuno y Neptuno es ms grande que Marte, o Marte es ms grande que
Neptuno y Neptuno es ms grande que Jpiter. El patrn se advierte al sustituir el trmino
Neptuno en todas sus ocurrencias por una variable. Para justificar esta distincin, dice
Dummett a propsito de este ejemplo: pero ni el conectivo o ni el conectivo y, si son
considerados como primitivos, deben ser explicados como operando sobre predicados... cada
uno es explicado solamente en el caso en el cual sirve como operador principal en la
proposicin completa. Por lo tanto el predicado complejo no puede ser entendido salvo como
extrable de una proposicin como la citada arriba. Es decir la diseccin de la proposicin
original que da lugar al patrn, no conduce a los elementos estructurales cuyo discernimiento
es necesario para la comprensin de la proposicin. En este sentido, la diseccin ha
producido un elemento cognoscitivamente nuevo.
Sin embargo, advirtamos la intervencin de factores contingentes en la explicacin
anterior. Alguien podra haber aprendido la conjuncin y la disyuncin como operadores
binarios de predicados que producen predicados nuevos, de tal manera que estos fuesen para
l componentes de la proposicin anterior y no patrones. Lo que es innegable es que no todas
las formas posibles de descomposicin de una frase muy compleja en argumentos y trminos
conceptuales, son advertidas en el momento de su comprensin y, por ello, la distincin entre
patrones y componentes tiene sentido, aunque podra variar de una persona a otra.
Cmo se relaciona esto con la inferencia lgica, segn Dummett? La razn es que para
reconocer la validez de una inferencia lgica en que interviene una proposicin P se requiere
advertir, al menos en algunos casos, una estructura presente en P que, sin embargo, no es
necesario captar para entender P. Es decir, la lgica opera tanto con patrones como con
componentes de las proposiciones. Del enunciado referente a los planetas antes mencionado
se infiere que hay un planeta intermedio en tamao entre Jpiter y Marte. Esta conclusin
contiene un componente que era slo un patrn en la premisa y que sin embargo, es necesario
advertir en la premisa para llevar a cabo la deduccin.
Esta explicacin es interesante pero no est exenta de dificultades. Una de ellas puede
plantearse en los siguientes trminos. El sentido de un enunciado (sin componentes
emocionales) es aquello que captamos cuando lo comprendemos y que es funcin del sentido
de sus partes semnticamente relevantes. A su vez el sentido, por ejemplo, de un nombre es
aquello que captamos al entenderlo y tambin una forma de presentacin de su referencia.
Esto significa que los componentes de una proposicin forman parte de su sentido, mientras

que los patrones que podemos encontrar en l son ajenos a la determinacin del sentido. Esto
significara que las consecuencias lgicas de un enunciado pueden depender de factores
ajenos a su sentido, lo que es por lo menos extrao. Adems, segn esta explicacin, habra
tambin inferencias lgicas que slo dependen de los componentes de un enunciado y que,
por tanto, no revelaran ningn factor nuevo. Tal divisin de las deducciones en dos clases
sera por lo menos sorprendente.
Para evitar estos problemas podramos suponer a) que los patrones que la lgica revela
en un enunciado s son determinantes de su sentido; y b) que para entender un enunciado no
es necesario captar su sentido completo, sino slo una parte del mismo. En este caso la lgica
revelara con las consecuencias lgicas del enunciado partes de su sentido. Sin embargo,
parecera violarse as el principio de composicionalidad semntica antes formulado. Creemos
que es ms acertada esta segunda explicacin y que corresponde a una visin metafsica del
sentido, por la cual ste no es dependiente del lenguaje. En tal interpretacin la lgica presenta
una relacin objetiva entre pensamientos y no tiene, al menos en primer momento, ningn
matiz epistemolgico. Pero ste es un tema en le que no podemos entrar aqu.
Ahora bien, hemos visto en qu sentido podemos decir que para Frege las proposiciones
lgicas carecen de contenido conceptual. Esto podra dar lugar a un malentendido. Podra
suponerse que para Frege la verdad lgica es una verdad de otro tipo que la verdad emprica.
Es decir, podra creerse que para Frege, el logicista, las matemticas se parecen ms a lo que
fueron para Carnap, a saber, verdades que lo son por el slo significado de los smbolos que
en ellas figuran, y no a lo que fueron, por ejemplo, para Gdel, proposiciones que describen
un mbito distinto de objetos. En la distincin que Frege establece entre lo analtico y lo
sinttico a priori, e incluso entre ste y lo a posteriori slo hay diversos grados de
generalidad. Las verdades lgicas simplemente son las verdes ms generales sobre el nico
universo de la denotacin. No hay nada que caracterice las verdades lgicas excepto su
generalidad. Por lo tanto, Una enunciado de la lgica no es para Frege un enunciado
lgicamente verdadero, sino un enunciado lgico y verdadero.