Introduccin
*
Profesor-investigador, Academia de Filosofa e Historia de las Ideas, uacm-Tezonco.
Profesor de Asignatura, Colegio de Filosofa, ffyl, unam.
1
Como indiqu al inicio de este artculo existen distintos planteamientos ms con
temporneos, los cuales enfrentan el problema de caracterizar las nociones de analiticidad,
aprioricidad y necesidad, a partir del debate abierto por los logicistas, ex. gr. Paul
Volumen 11, nmero 26, septiembre-diciembre, 2014, pp. 277-296 Andamios 277
Jess Jasso Mndez
Boghossian (2000), Cristopher Peacocke (2000), Philip Kitcher (1980) y (2000), Paul
Horwich (2000), slo por mencionar algunos casos. Las referencias completas de estos
casos se encuentran en la seccin Bibliografa.
278 Andamios
Logicismo y analiticidad. Frege y Carnap: dos propuestas logicistas
Preliminares
Andamios 279
Jess Jasso Mndez
Frege propone una explicacin del predicado ser analtico como una
consecuencia natural de su programa logicista. De acuerdo con el logi-
cismo los enunciados matemticos son reducibles a enunciados lgicos.
Esta reduccin considera dos aspectos: una reduccin conceptual2 y
una reduccin por decidibilidad3. Al respecto, Hintikka (2009) seala:
2
Con reduccin conceptual me refiero a la motivacin logicista por definir todo
concepto matemtico en trminos estrictamente lgicos i.e. cada concepto matemtico
puede reducirse en trminos exclusivamente lgicos.
3
Con decidibilidad me refiero a la creencia logicista de obtener cualquier verdad
matemtica mediante un mecanismo finito de prueba estrictamente lgico i.e. toda
verdad matemtica puede ser probada deducirse mediante axiomas lgicos, leyes
lgicas generales y definiciones lgicas, exclusivamente.
4
Siguiendo los lineamientos editoriales de Andamios no incluyo en ningn caso las citas
de autores en su idioma original (ingls y alemn), considerando que es posible incluir
una traduccin estndar en espaol. Particularmente, las citas en espaol incluidas en
ste trabajo de Hintikka (2009), Morado (1987) y Carnap ([1935] (1996) y (1947))
son responsabilidad ma. De cualquier forma, las referencias en el cuerpo del texto
corresponden a las referencias originales.
280 Andamios
Logicismo y analiticidad. Frege y Carnap: dos propuestas logicistas
Andamios 281
Jess Jasso Mndez
que est (implcitamente ) contenido en el concepto A...Si digo por ejemplo: Todos los
cuerpos son extensos tenemos un juicio analticono tengo necesidad de ir ms all
del concepto que ligo cuerpo para encontrar la extensin como enlazada con l. Cfr.
Kant, I., (1984) Crtica de la Razn Pura, Mxico, D.F.: Alfaguara, pp. 47-48.
6
Uso AF para nombrar: Analiticidad fregeana.
7
La nocin de consecuencia lgica en un principio es un concepto primitivo. Este se
usa para afirmar simplemente ex. gr. que A se sigue de B. Esta nocin debe distinguirse
del concepto derivabilidad. La derivabilidad es un concepto que se empieza a utilizar de
manera rgida en los sistemas de la lgica. Se pensaba que tal concepto capturaba la
nocin intuitiva de consecuencia lgica. Sin embargo, actualmente el uso de esta
ltima nocin se ha modificado. A partir de Tarski la consecuencia lgica tiene un
sentido terico: A es consecuencia lgica de B si y slo si toda estructura semntica
que es un modelo de B es un modelo de A. Estas distinciones entre consecuencia lgica
como idea intuitiva, la derivabilidad como concepto que captura la idea intuitiva de
consecuencia lgica y la consecuencia lgica como nocin terica puede rastrearse ya
en los trabajos de Carnap (1935) y (1947), an cuando es hasta Tarski que se establecen
explcitamente estas diferencias. De tal suerte, cuando decimos que para Frege un enun
ciado es analtico sii es consecuencia lgica de leyes lgicas generales y definiciones,
y de acuerdo con Carnap, un enunciado es analtico sii es consecuencia lgica de la
clase vaca de premisas, expresamos en ambos casos la propiedad que tiene un
enunciado de derivarse lgicamente de estas condiciones, donde la derivabilidad debe
entenderse como el concepto que captura la idea intuitiva de consecuencia lgica.
8
De acuerdo con Frege en su Begriffsschrift (1879) la investigacin lgica es lo que
282 Andamios
Logicismo y analiticidad. Frege y Carnap: dos propuestas logicistas
actualmente llamamos semntica: una doctrina del contenido, una investigacin sobre
la naturaleza y estructura del significado. Sin embargo, Frege distingui sus propias
concepciones de Lgica y, aun cuando lo anterior es correcto, en Die Grundlagen der
Arithmetik Frege tiene como uno de sus objetivos principales aislar el carcter lgico del
lenguaje, separar los rasgos psicolgicos de los lgicos y a partir de esto caracterizar el len
guaje de las matemticas, en principio su condicin analtica. Adems no debemos olvidar
que el objetivo principal de los Grundlagen, es mostrar que todos los cimientos de la
matemtica estn basados en leyes generales de la lgica.
Andamios 283
Jess Jasso Mndez
284 Andamios
Logicismo y analiticidad. Frege y Carnap: dos propuestas logicistas
9
En este caso, la prueba lgica funciona como la evidencia de las verdades aritmticas,
as como los hechos empricos pueden funcionar como evidencia de las verdades fsicas.
Andamios 285
Jess Jasso Mndez
286 Andamios
Logicismo y analiticidad. Frege y Carnap: dos propuestas logicistas
10
La teora de la prueba o la demostracin de David Hilbert fue desarrollada
en la dcada de los 1920. Por ejemplo, Cfr. Hilbert, D. Die Grundlagen Der
Elementaren Zahlentheorie en Mathematische Annalen 04, pp. 485-94. Versin
en Ingls, Mancosu (edit) (1998), The Grounding of Elementary Number
Theory en From Brouwer to Hilbert: The debate on the foundations of mathematics
in the 1920s, New York: Oxford University Press, pp. 266-273.
Andamios 287
Jess Jasso Mndez
11
Carnap (1935) considera el caso de enunciados verdaderos o falsos en funcin
nicamente de las reglas sintcticas del lenguaje sin considerar aspectos extralingsticos.
288 Andamios
Logicismo y analiticidad. Frege y Carnap: dos propuestas logicistas
12
Si un enunciado es indeterminado (no es posible decidir su valor de verdad slo por la
sintaxis), entonces estar construido mediante la introduccin de variables no lgicas.
De acuerdo con Carnap, stos lgicamente indeterminados constituirn al conjunto de
enunciados sintticos.
Andamios 289
Jess Jasso Mndez
manera:
290 Andamios
Logicismo y analiticidad. Frege y Carnap: dos propuestas logicistas
14
2. Conceptos-L. Un enunciado es llamado L-determinado si este es tanto
L-verdadero o L-Falso (Carnap, 1947: 7).
15
2. Conceptos-LL-indeterminado o factual. El ltimo concepto es un explicatum
para lo que Kant denomin juicio sinttico (Carnap, 1947: 7).
Andamios 291
Jess Jasso Mndez
16
De acuerdo con Gdel, no hay un sistema adecuado para formalizar la aritmtica
de manera recursiva, mucho menos sistemas inclusivos que puedan ser completos en
funcin de algn procedimiento de derivacin formal (Cfr. Gdel, [1931] (1986), ber
formal unentscheidbare Stze der Principia mathematica und verwandter Systeme I en
S. Feferman (et al.) (edit.), Kurt Godel. Collected Works. Volume I: Publications 1929
1936, New York: Oxford University Press, 1986, pp. 116195.). Estas consecuencias
representan una autntica crtica a los planteamientos de Carnap en la medida en que ste
ltimo, s propone como hemos visto un procedimiento formal para sistematizar
tanto el tipo de enunciados matemticos en particular, como los de la ciencia emprica
en general, de acuerdo con las condiciones que se establecen en su sintaxis lgica. As,
las relaciones de consecuencia lgica como derivabilidad son insuficientes para probar
que todos los enunciados matemticos o su negacin se siguen de las restricciones del
explicatum de ser analtico: seguirse de la clase vaca de premisas.
292 Andamios
Logicismo y analiticidad. Frege y Carnap: dos propuestas logicistas
Andamios 293
Jess Jasso Mndez
294 Andamios
Logicismo y analiticidad. Frege y Carnap: dos propuestas logicistas
Fuentes consultadas
Andamios 295
Jess Jasso Mndez
296 Andamios
Logicismo y analiticidad. Frege y Carnap: dos propuestas logicistas
Volumen 11, nmero 26, septiembre-diciembre, 2014, pp. 277-297 Andamios 297