Introducción A La Filosofía de Carnap
Introducción A La Filosofía de Carnap
Introducción A La Filosofía de Carnap
revista de filosofa
pp. 117-134
_ _ _ _ _ _ _ _ _ _ _ Digenes Ros_a_le_s_P_.____________
118
Introduccin a ____
la filosofa de Carnap
----------=-=~-'-'-'_:_:_:___::_
:_::_::_~---'-"----"-'--------
4
Carnap, Rudolf, Fundamemos de l;ica y maremticas, Madrid: Taller de ediciones
Josefina Betancor, 1975.
5
lbidem, p. 19.
119
Digenes Rosales P.
A B :. A
Simplificacin (Simp.)
120
R 3. A :. A v B
Adicin (Ad.)
De acuerdo a esta regla, de una premisa A podemos concluir la misma premisa adicionndole cualquier otra frmula, en este caso A v B.
El listado de reglas puede continuar, pero para fines de la construccin
de un clculo como ejemplo, es suficiente.
Este tipo de reglas, esto es R 1, R 2 y Rv son las reglas de la implicacin
y nos permiten obtener consecuencias lgicas a partir de un conjunto
de premisas. Es la deducibilidad o implicacin estricta. Adems, Carnap
las completa con las reglas de sinonimia. Segn estas reglas, una frmula
puede ser intercambiable por otra frmula si y slo si designan lo mismo o tienen el mismo significado. Los componentes de este tipo de
reglas se implican mutuamente y son conocidas como reglas equivalentes.
Por ejemplo, las reglas de De Morgan (DM) que aparecen a continuacin:
R4.
R5 .
(A B)
(A V B)
=(-A V -B)
= (-A -B)
p4 - p . - q
p5 - p
pr, r
P7 r V
p8
de
de
de
de
de
P1
P4
P3
P6
P2
por DM
por Simp.
y P 5 por MP.
por Ad.
y P 7 por MP.
Digenes Rosales P.
V
V
F
F
V
F
V
F
(- p) ' (p . q) ' (p
F
F
V
V
V
F
F
F
V
V
V
F
= q)
V
F
F
V
'' Las tablas de verdad fueron introducidas por Wittgenstein como fundamentos de verdad.
Cf. Tractatus /o;ico-phi/osophicus, Madrid: Alianza Editorial, 1973, p. 115.; Wittgenstein
muestra las tablas de verdad de los 16 operadores didicos. Analizando las opciones de
los valores ele verdad de una proposicin mondica, se obtienen 4 operadores mondicos.
Sin embargo, los 4 operadores mondicos se pueden reducir slo a "-" y los 16 didicos
slo a "". ''V'', "::::>'' y "=".
122
'" Cf. supra. p. 5. Las reglas de DM expresan el uso del operador , que permite la
intercambiabilidad de dos frmulas porque ambas designan la misma cosa.
123
Digenes Rosales P.
124
125
Digenes Rosales P.
126
=(Gy
x = y) 3 E G x
G}
127
Digenes Rosales P.
128
(Vx)(Px
::J
Qx) 17
::J
Qx)
129
Digenes Rosales P.
130
Jbidem, p. 42.
131
Digenes Rosales P.
132
desde el punto de vista lgico para determinar el sentido de una proposicin; por ende, si la sintaxis gramatical tuviera una exacta correspondencia con la sintaxis lgica, no podran formarse pseudoproposiciones.
En su ataque a la metafsica, Carnap examina los enunciados del
texto Qu es metafsica?, de Heidegger, para mostrar cmo se generan
pseudoproposiciones sin violar la sintaxis gramatical del lenguaje. "Slo
debe ser investigado lo-que-est-siendo y por lo dems -nada; lo-queest-siendo solamente y -nada ms; nicamente lo-que-est-siendo y
fuera de ello -nada. Cul es la situacin en torno a esta nada? ... Existe
la nada slo porque existe el no, es decir, la negacin? O sucede a
la inversa? Existe la negacin y el no slo porque existe la nada? ...
Nosotros conocemos la nada ... La angustia revela la nada ... Ante y por
lo que nos angustiamos era 'propiamente' -nada. De hecho: la nada
misma -como tal- estaba ah. .. Cul es la situacin en torno a la nada? ...
La nada misma nadea (sic)'m. Un anlisis lgico del lenguaje mostrar
el sinsentido de estas afirmaciones. En uno de los pasajes del esquema
que elabora Carnap podemos entender lo siguiente: En el lenguaje ordinario tiene sentido decir: "qu hay afuera?", y puede contestarse diciendo
que "afuera hay lluvia", pero ante la misma pregunta tambin puede
responderse "afuera nada hay", y en lenguaje lgicamente correcto sera
"no hay o no existe algo que est afuera". Ahora, en lenguaje ordinario "conocemos la lluvia" y en el lenguaje ordinario que da origen
a sinsentidos sera "conocemos la nada", "encontramos la nada", pero
en lenguaje lgicamente correcto no podemos construir otras formas
que las indicadas ms arriba. Analizando de igual modo, dice Carnap,
podemos eliminar toda la metafsica. Sin embargo, en Empirismo, semntica y ontologa, Carnap reconoce que la semntica, desde el punto
de vista tcnico, todava est en sus fases iniciales, por lo que debemos
estar preparados para cambios fundamentales en sus mtodos. "La aceptacin
o rechazo de formas lingsticas abstractas, del mismo modo que la
aceptacin o el rechazo de cualesquiera otras formas lingsticas en
cualquier rama de la ciencia, se decidir en ltimo trmino por su eficacia
instrumental, por la relacin entre los resultados alcanzados y la cuanta
y complejidad de los esfuerzos que han sido necesarios para alcanzarlos"24.
y sintaxis lgica". o.c., p. 303 ss.
" Carnap. Rudolf, "'La superacin de la metafsica". o.c .. p. 75.
" Carnap. Rudolf, "Empirismo. semntica y ontologa". o. c., p. 418.
133
Digenes Rosales P.
" Cf. Carnap. Rudolf. "Psicologa en lenguaje fiscalista". en: Ayer. Alfred (Ed.). p. 180;
y tambin: "Sobre las oraciones de creencia" (respuesta a A. Church). en: Moro Simpson.
Th. (Ed.). Semntica filosfica: problemas y discusiones, Madrid: Siglo XXI. 1973. p. 331
SS.
134