You are on page 1of 18

ARET

Vol. VI, N 1, 1994

revista de filosofa

pp. 117-134

Introduccin a la filosofa de Carnap


Digenes Rosales Papa
Pontificia Universidad Catlica del Per

El artculo es una presentacin general


de la filosofa de Carnap, tanto de sus
desarrollos en el campo de las ciencias
formales como en el de las ciencias
fcticas. En el primero, sus investigaciones estn orientadas al estudio de
la semitica (construccin de lenguajes
formalizados entendidos como instrumentos para el esclarecimiento de
problemas filosficos). Considera que
los procedimientos tericos de la ciencia
requieren de la deduccin y el clculo
para ser aplicados a las ciencias
empricas. En las ciencias fcticas, los
enunciados slo expresan regularidades
del mundo. Estas son: las leyes universales y las leyes estadsticas; las
primeras estn formuladas como
proposiciones condicionales uni versales
y las ltimas se valen de la lgica de
la probabilidad, que es distinta de la
induccin.

The paper is a general introduction to


Carnap's philosophy, both in its
development in the field of formal
sciences as well as in that ofthe factual
sciences. In the first, his research is
oriented to the study of semiotics (the
construction of formalized languages
understood as instruments for the
elucidation ofphilosophical problems).
He considers that scientific theoretical
procedures require of deduction and
calculus in order to be applied to the
emprica! sciences. In the factual
sciences, statements only express world
regularities. These are: the universal
laws and the statistical laws; the first
are formulated as universal conditional
propositions and the latter use the logic
of probability, which is different from
induction.

_ _ _ _ _ _ _ _ _ _ _ Digenes Ros_a_le_s_P_.____________

Carnap 1 es el ms connotado representante del positivismo lgico.


Debido a su rechazo de la metafsica, es un tpico de la historia de
la filosofa vincularlo a los empiristas cicntficos 2 Para el positivismo
lgico el concepto metczfsica se refiere a una filosofa que pretende
conocer la realidad slo por medios a priori. "Si se tuviera que encerrar
en una breve frmula la conviccin bsica, comn a los empiristas,
se la podra expresar ms o menos as: es imposible lograr mediante
la reflexin pura y sin un control emprico (por medio de observaciones)
una explicacin sobre las cualidades y leyes del mundo real"'. Para
los empiristas de la Unified Science, que continan el derrotero del
Crculo de Viena, el conocimiento es o bien de las ciencias formales
(lgica y matemtica) o de las ciencias fcticas, y slo es posible hacer
filosofa con estos conocimientos diferenciados. La filosofa de Rudolf
Carnap ha de enfocarse en este contexto.
Los trabajos de Carnap en el campo de las ciencias formales son
obras pioneras de construccin de lenguajes formalizados. En sus
investigaciones sobre una teora general de los signos (semitica), divide
a sta en: sintaxis, semntica y pragmtica. La sintaxis ser el puro
estudio de las relaciones entre los signos, independientemente de todo
contenido real o material; una teora de la construccin e identificacin
de la secuencia de formacin. La semntica se ocupar de las relaciones
entre los signos y aquello que stos designan (sus "designata" o "denotata"). La pragmtica se ocupar de la indagacin semitica en la que
entran en juego las relaciones entre los elementos de un lenguaje y
los sujetos hablantes, o sea el lenguaje en cuanto forma de conducta,
en cuanto actividad de un sujeto o de un grupo de sujetos.
1
Rudolf Carnap (1891-1970). filsofo y lgico del Crculo de Viena. Fue profesor en
Viena( 1926-1931) y Praga ( 1931-1935). Despus de emigrar a los Estados Unidos de Norteamrica.
fue profesor en Chicago ( 1938-1954) y luego en los Angeles.
' "Positivismo Lgico" es una corriente filosfica conocida como el Crculo de Viena.
Surgi a principios de la dcada de 1920 cuando un grupo de filsofos. matemticos y hombres
de ciencia se reuna en torno a Moritz Schlick para discutir y aclarar los problemas de
la filosofa mediante el anlisis lgico del lenguaje. Aunque la lista de los concurrentes
es ms amplia. podemos citar a Carnap. Neurath. Feigl. Frank y Gbdel. como sus representantes
ms destacados.
3
Stegmllcr. Wolfgang. Corrientes ji111dwnenta/es de la .filosofla actual. Buenos Aires:
Nova. 1967. p. 407.

118

Introduccin a ____
la filosofa de Carnap

----------=-=~-'-'-'_:_:_:___::_

:_::_::_~---'-"----"-'--------

Como se puede apreciar en Fundamentos de lgica y matemticas",


el autor se ocup ampliamente de los lenguajes formales en un desarrollo
que marc una clara diferencia de los filsofos que, haciendo uso del
lenguaje ordinario, procuran aclarar problemas filosficos. Puesto que
los principales procedimientos tericos en la ciencia tienen como componentes esenciales la deduccin y el clculo, consider que deba precisarse el papel de la lgica y la matemtica para ser aplicadas a la ciencia
emprica.
En el nivel puramente sintctico, Carnap genera un clculo lgico,
que distingue el lenguaje-objeto del metalenguaje: "siempre que se lleva
a cabo una investigacin sobre algn lenguaje, llamamos a ese lenguaje
el lenguaje-objeto de la investigacin, y metalenguaje a aqul en el
que son formulados los resultados de la investigacin" 5 . Por ejemplo,
el clculo de la lgica proposicional (LP) puede ser construido de la
siguiente manera:
I. Alfabeto o smbolos de LP: - Variables: p, q, r, p 1, p 2
- Operadores: -, , V, =:J, =
- Auxiliares: (, ), [, ]
Este es el lenguaje-objeto del sistema, en este caso de LP. A sus
elementos Russell los llam smbolos primitivos. Estos smbolos son
admitidos en el sistema sin definicin. Como podemos apreciar, el
alfabeto de LP es un conjunto de signos de estructura muy simple y
sobre la base de los cuales se va a conseguir, de acuerdo a Carnap,
sistemas simples de reglas semnticas y sintcticas.
La construccin de un sistema semntico estar en relacin al uso
o a la pragmtica del lenguaje de LP, esto es, las relaciones que existen
entre los signos y su respectiva designacin. Sobre el particular se
construye un sistema de reglas semnticas, reglas que no estn determinadas por los hechos ni por el uso correcto o incorrecto de una
expresin, porque la correccin o incorreccin estar en funcin de
un sistema de reglas. Este sistema de reglas no es fctico, es un sistema
semntico; no es arbitrario sino corresponde a los hechos pertenecientes,
en este caso, a LP. Los hechos pragmticos son la base para estas

4
Carnap, Rudolf, Fundamemos de l;ica y maremticas, Madrid: Taller de ediciones
Josefina Betancor, 1975.
5
lbidem, p. 19.

119

Digenes Rosales P.

reglas. A continuacin se indica las reglas de formacin 6 del modo de


construccin de las expresiones o frmulas de LP.
11. Reglas de formacin: l. Cada variable por s sola es una frmula
bien formada (fbf).
2. Si A es una fbf., (-A) es una fbf.
3. Si A y B son fbfs., (A B), (Av B),
(A ::::> B) y (A
B) 7 son fbfs.
4. No hay otras reglas que las mencionadas en las presentes reglas de
formacin.
La aplicacin de estas reglas de formacin puede verse claramente
en cualquier frmula de LP. Por ejemplo, si tenemos slo la variable
"q", sta es una fbf segn la regla l. ( -q) es una tbf segn la regla
2, pero (q -) no es una fbf porque no hay una regla de formacin
que la sustente. (p ::::> q) es una fbf segn la regla 3, ya que en la regla
3 el esquema que la sustenta es (A ::::> B). Ya podemos imaginarnos
que, combinando los signos del alfabeto de LP segn las reglas de
formacin, se puede obtener fbfs indefinidamente. Adems, puesto que
como en cualquier clculo hemos de efectuar operaciones, requerimos
de reglas de transformacin.

111. Reglas de transformacin: Son aquellas que nos permiten la


derivabilidad o derivacin; tambin se las conoce como reglas de inferencia. Las reglas de inferencia son de implicacin o de sinonimiaR.
A continuacin algunas reglas de inferencia:
R 1 A ::::> B, A :. B

Modus Ponens (MP)

Esta regla nos permite obtener B a partir de A ::::> B y A. En


otros trminos, de dos premisas donde una es A ::::> B y la otra es A,
podemos concluir en B segn el MP.
R2

A B :. A

Simplificacin (Simp.)

Segn esta regla, a partir de A B podemos concluir en cualquiera


de sus componentes, esto es, tambin se puede concluir en B.
" Cf. Carnap, Rudolf, ibidem, p. 45 ss., y "Filosofa y sintaxis lgica" (1935), en:
Muguerza, Javier, La concepcin analtica de la .filo.HJfa, Madrid: Alianza Editorial, 1974.
tomo 1, p. 307 ss.
7
A y B son smbolos del metalenguaje, y como tales slo pueden mencionar frmulas.
' Cf. Carnap, Rudolf, Fundamentos de lt;ica y matemticas, p. 45 y "Filosofa y sintaxis
lgica". o.c .. p. 31 O ss ..

120

Introduccin a la filosofa de Carnap

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)

Segn R4, - (A B) y - A v - B son intercambiables; en otros


trminos, a partir de -(A B) podemos deducir -A v -B, o viceversa.
La operacin es la misma en R 5 El objetivo de este clculo, aade
Carnap, es la demostracin, la cual consiste en derivar la conclusin
a partir de un conjunto de premisas en una secuencia finita de pasos,
donde cada paso debe ser justificado mediante una regla de transformacin. Este proceso se denomina tambin derivacin. Para tener una
idea vamos a demostrar que "t" se deriva de "- (p V q), (r V s) ::J t, y
- p ::J r". Para el efecto ordenaremos las premisas y la conclusin.
Luego, efectuando la derivacin, se tiene:
P 1 - (p V q)
P 2 (r V s) ::J t
P 3 - p ::J r JI

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.

Como se puede apreciar, cada secuencia ha sido justificada por


una regla de transformacin. Las reglas de formacin y las reglas de
transformacin, sostiene Carnap, son estrictamente formales. En gran
121

Digenes Rosales P.

medida hemos desarrollado puramente un clculo para LP. Pero este


clculo sera trivial si no se le asignara un contenido. La sintaxis no
es suficiente porque para la mayora de los conceptos semnticos existen conceptos sintcticos anlogos; entonces, al trabajar con conceptos
semnticos, es fcil creer que se trabaja con conceptos sintcticos. Con
respecto a LP, por ejemplo, se precisa la interpretacin de las proposiciones, es decir, su contenido semntico.
El contenido es el significado que deben asumir los signos primitivos. Por ejemplo, en el sistema LP, las variables siempre representarn proposiciones o enunciados. Semnticamente, la verdad (V)
o la falsedad (F) es la caracterstica esencial de toda proposicin. Una
proposicin puede ser verdadera o falsa, pero no ambas a la vez, de
modo que una variable "p", que representa a cualquier proposicin ,
puede ser V F. En este caso se dice que la proposicin es atmica.
Con respecto a los operadores, "-" representa una negacin; por su
modus operandi es un operador mondico, porque opera slo en una
direccin, para el caso, hacia la derecha. Los operadores "." , "v", ":::::!'',
"=" son didicos y se les denomina conjuncin (a las proposiciones
unidas con "y"), disyuncin (a las proposiciones unidas con "o"), condicional
(a las proposiciones unidas con "si ... entonces") y bicondicional (a las
proposiciones unidas con "si y slo si") respectivamente; sus definiciones o interpretaciones semnticas obedecen a las tablas de verdad 9
que siguen:
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) ' (p ::::) q) ' (p


V
F
V
V

= q)
V
F
F
V

Cada una de estas tablas interpreta las diversas posibilidades de


verdad que puede expresar una proposicin. A excepcin de la proposicin negativa ( -p), la tabla de verdad nos muestra todas las opciones

'' 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

Introduccin a la filosofa de Carnap

combinables de "p" y "q", y la funcin de verdad correspondiente a


cada uno de los operadores. Por ejemplo, (p q) es V si y slo si "p"
es V y "q" es V a la vez, y en cualquier otra interpretacin es F. La
proposicin "llova a cntaros y muri Vallejo" es una proposicin
conjuntiva verdadera si y slo si "llova a cntaros" es verdad en el
instante en que es verdad tambin "muri Vallejo", pero si es cierto
que "llova a cntaros" y es falso que en ese instante "muri Vallejo",
entonces la proposicin conjuntiva "llova a cntaros y muri Vallejo"
es falsa; de igual modo ser falsa esta proposicin si "llova a cntaros"
es falsa, aunque "muri Vallejo" sea verdadera. En suma, una proposicin
conjuntiva es verdadera slo cuando sus dos componentes son verdaderos
y en cualquier otra interpretacin es falsa. El anlisis es el mismo para
la disyuncin, pero respecto a su tabla de verdad se puede afirmar que
la misma es verdadera cuando por lo menos uno de sus componentes
es verdadero. Es importante reparar en la tabla de verdad de (p :::J q)
porque los valores de "p" y "q" no son conmutables, tal como ocurre
con los otros operadores didicos. Esto se debe a que "antecedente"
y "consecuente" no son meros componentes tal como sucede en la
conjuncin o en la disyuncin, sino que son componentes que cumplen
funciones totalmente distintas. Por ello la definicin de la tabla de verdad
del condicional es la siguiente: es falso solamente cuando el antecedente
es verdadero y el consecuente es falso; en cualquier otra interpretacin el condicional es verdadero. Con respecto al bicondicional, ste
es verdadero cuando sus componentes o son verdaderos a la vez o son
falsos a la vez; en caso contrario el bicondicional es falso. El concepto
bicondicional se usa para indicar la sinonimia o la igualdad de conceptos 10 .
Ahora podemos mostrar la analoga que existe entre una construccin semntica y una construccin sintctica, esto es, el concepto
semntico de implicacin lgica y el concepto sintctico de deduccin
o derivacin. Por ejemplo, segn la regla de transformacin R 2 , de
"(A B)" podemos derivar sintcticamente "A" porque si semnticamente "(A B)" es V es porque "A" es V y "B" es V a la vez, entonces
podemos deducir que "A" es V, segn la tabla de verdad de la conjuncin.
Por otra parte, sintcticamente de una premisa "A" podemos derivar
"(A V B)" segn la regla de transformacin R, (Ad.). Semnticamente,

'" 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.

de "A" podemos concluir en la disyuncin de "A" con cualquier otra


frmula, porque la disyuncin es verdadera cuando por lo menos uno
de sus componentes es verdadero; entonces, si "A" es V, no interesa
el valor del otro componente, y por esta razn podemos adicionar cualquier otra frmula. Del anlisis de estas dos reglas de transformacin
tambin podemos afirmar que "(A B)" implica "(Av B)", " (A v B)"
es consecuencia lgica de "(A B)". Desde este punto de vista, el concepto de implicacin es un concepto del metalenguaje y por lo tanto
es semntico. La relacin de implicacin entre dos conceptos est dada
por los valores de verdad del condicional. El nico caso en que no
existe relacin de implicacin en un condicional se da cuando el antecedente es verdadero y el consecuente falso, concepto sumamente til
para aplicar en las inferencias deductivas. Por ejemplo, en el Modus
Ponens, si "A implica a B" y "A" es V, entonces se concluye que
"B" es necesariamente V, porque si "A implica B", segn la tabla de
verdad del condicional, tenemos tres opciones; pero si "A" es V, la
nica opcin que queda es que "B" sea necesariamente V, esto es, la
primera opcin de la tabla de verdad. Este mismo concepto, aplicado
a inferencias deductivas, puede expresarse de la siguiente manera: si
el conjunto de premisas implica a la conclusin, entonces es imposible
que la conclusin sea falsa si el conjunto de premisas es verdadero.
Carnap distingue los conceptos defcticamente verdadero y lgicamente verdadero. Una proposicin es fcticamente verdadera si se refiere
o describe un hecho, por ejemplo: "la Luna es un satlite de la Tierra".
Esta clase de proposiciones es factual y lo factual es sinttico, dice
Carnap. Para Leibniz es una verdad de hecho; para Hume, una verdad
que relaciona hechos; para Kant es un juicio sinttico. Las proposiciones factuales son contingentes porque dadas las circunstancias pueden
ser falsas, por ejemplo: la temperatura es variante en cualquier parte
del mundo.
U na proposicin es lgicamente verdadera, sostiene Carnap, cuando
decimos que un enunciado de un sistema semntico (LP) es L-verdadero
en el sentido de que las reglas semnticas de LP bastan para establecer
su verdad. A estas expresiones Carnap las llama trminos L-semnticos.
Una expresin tautolgica es L-verdadero (lgicamente verdadera) o
tambin la llama proposicin "analtica"; L-falso (lgicamente falsa)
es una proposicin "contradictoria" y una factual es "sinttica" 11 Las
" Cf. Carnap. Rudolf, Fundamentos de lgica y matemticas, p. 34 y "Filosofa y sintaxis

124

Introduccin a la filosofa de Carnap

proposiciones tautolgicas, de acuerdo a Leibniz, son verdades en todos


los mundos posibles: son verdaderas cualquiera que sea su interpretacin semntica, por ejemplo: "la Luna es un satlite de la Tierra o
no es un satlite de la Tierra". Esta proposicin es verdadera slo en
funcin a su forma lgica; de ah que, cualquiera que sea su interpretacin
semntica, siempre ser una verdad lgica, lo que significa que una
coherencia sintctica garantiza una coherencia semntica. Este concepto
ya aparece en Hume como verdades de las "relaciones entre ideas",
tesis que influy profundamente en el empirismo lgico y que puede
sintetizarse en la afirmacin: "aunque en la naturaleza no hubiera jams
un crculo o un tringulo, las verdades demostradas por Euclides siempre
conservaran su certeza y evidencia" 12
De igual modo, las expresiones contradictorias son falsas lgicamente cualquiera que sea su interpretacin semntica: "el nmero
dos es par y no es par a la vez", es una proposicin lgicamente falsa
porque cualquiera sea su interpretacin semntica, la proposicin "el
nmero dos es par" siempre dar como resultado una falsedad en la
conjuncin sealada. Segn Wittgenstein las proposiciones tautolgicas
y contradictorias nada dicen, porque la tautologa es incondicionalmente verdadera, y la contradiccin bajo ninguna condicin es verdadera;
sin embargo, tautologa y contradiccin no son sinsentidos, porque pertenecen al simbolismo, del mismo modo que "cero" es parte del simbolismo
de la aritmticau. No obstante la afirmacin de Wittgenstein, Carnap
concibe la tautologa como el sustento de validez lgica, cuya aplicacin
interviene en los diversos contextos del conocimiento, especialmente
en las ciencias y la tecnologa. Por ejemplo, el clculo lgico ha contribuido a la construccin de circuitos lgicos, y stos, a su vez, a la
de los circuitos elctricos y electrnicos, son los pasos seguidos en
la construccin de computadoras.
Adems del clculo proposicional o clculo sentencia!, tambin
el clculo funcional elemental es parte de los clculos de estructura
elemental usados en lgica simblica. El clculo funcional es el clculo
de predicados que incluye a LP: contiene proposiciones generales con
variables individuales, sentencias universales (cuantificacin universal)
lgica'', o.c., p. 315.
" Hume, David, Investigaciones sobre el entendimiento humano, Buenos Aires: Losada,
1945, p. 62.
13
Cf. Wittgenstein, Ludwig, o.c., p. 107.

125

Digenes Rosales P.

y sentencias existenciales (cuantificacin existencial). En este clculo,


dice Carnap, se usan signos no descriptivos que se representan por tres
tipos de variables, que son: variables sentenciales, variables individuales
y variables predicativas 14 Para evitar el excesivo nmero de signos
primitivos se introduce una regla de la definicin que nos permite introducir un nuevo signo. Las definiciones del clculo son una especie de
reglas adicionales de transformacin, tanto de los signos primitivos como
de las reglas de inferencia (segn sea su formulacin), que permiten
obtener expresiones o frmulas ms breves. En este contexto, Carnap
distingue tres definiciones: explcitas, en uso y recursivas 15 Las primeras
deben tomar en cuenta que el nuevo signo es una suerte de abreviacin
de una expresin determinada y que consiste nicamente en signos
primitivos o signos definidos anteriormente. Por ejemplo, la proposicin
"el cielo est nublado" puede ser representada por "p", y desde el instante
en que "p" representa a la proposicin "el cielo est nublado", "p"
es una abreviatura de dicha proposicin.
Las definiciones en uso son aqullas en las cuales las reglas establecen que las sentencias que contienen al nuevo signo y a los signos
antiguos deben ser tomadas como abreviaciones de sentencias determinadas que contienen slo signos antiguos. Por ejemplo, si queremos
reducir el nmero de operadores didicos en LP, y para ello eliminamos
el operador " ... " reemplazndolo por "v", entonces introducimos la
definicin (A ... B) = Def. (-A v B) que significa semnticamente
"A implica B" si y slo si "'A' es F o 'B' es V", como puede constatarse
en sus respccti vas tablas de verdad. En lenguaje natural, la proposicin
"si la temperatura est bajo cero entonces el agua se congela" tiene
como equivalente por definicin de uso la proposicin "o la temperatura
no est bajo cero o el agua se congela". De igual modo en la lgica
de predicados, podemos intercambiar una expresin por otra aplicando
la definicin en uso, por ejemplo el cuantificador universal puede intercambiarse por un cuantificador existencial negado en los extremos, tal como
sigue (Vx) <I>x = Dcf. - (3x) - <I>x que se lec "para todo x, tal que

" No reproduciremos el clculo de la lgica de predicados. porque el procedimiento


es el mismo que hemos seguido en LP. En algunos casos. cuando sea necesario. usaremos
las frmulas ms elementales.
15
Cf. Carnap. Rudolf. Fundamentos de l~ica y matemticas. pp. 76,77 y 82. y "Empirismo.
semntica y ontologa" ( 1950), en: Muguerza. Javier. o. c., tomo 2. p. 404 ss.

126

Introduccin a la filosofa de Carnap

x es <!>" si y slo si "no es el caso que para algn x, tal que x no


es <!>". Un ejemplo de esta definicin en lenguaje ordinario es: "todo
es materia" si y slo si "no es el caso que algo no sea materia". Todas
las definiciones, contina Carnap, son intercambiables, porque el definens
y el definendum tienen la misma designacin. Las reglas de formacin
y las reglas de transformacin se denominan "reglas de inferencia",
donde inferencia -siguiendo el criterio de Frege- es un proceso ideal
para obtener la conclusin a partir de un conjunto de premisas, aunque
Carnap ve slo el cambio en el simbolismo. Por influencia de Tarski,
Carnap considera pertinente un estudio filosfico de la significacin
y de la interpretacin, pero, a diferencia de Tarski, separa radicalmente
la semntica de la sintaxis.
En las definiciones recursivas se toman en cuenta los niveles del
clculo, desde el clculo funcional elemental hasta el clculo funcional
superior, mediante la adicin de predicados de nivel superior. Por ejemplo, los predicados que se dan en el clculo elemental son los predicados
del primer nivel, designan propiedades de individuos de primer nivel.
Ahora bien, si introducimos predicados de segundo nivel que designan
propiedades de segundo nivel, stas son propiedades de las propiedades
del primer nivel (de igual modo podemos hacer con predicados de tercer
nivel, y as sucesivamente). Generalmente estas definiciones se encuentran en la aritmtica y pertenecen a clculos lgicos superiores. En
otros trminos, dice Carnap, el clculo funcional elemental puede ser
ampliado hasta alcanzar el nivel del clculo funcional superior mediante
la adicin de predicados de nivel superior. Para predicados de segundo
nivel, dado el caso, se introducen las variables "m" y "n", y para
predicados de tercer nivel se introduce la variable "K". Los cuantificadores
universal y existencial no solamente van a cuantificar variables individuales, sino tambin variables predicativas de cualquier nivel, lo que
se conoce tambin como clculo lgico de segundo orden.
Por ejemplo, para "Fes un m" se requiere de una definicin recursiva
que en este caso indica que la propiedad "F" tiene el nmero cardinal
"m", considerando slo nmeros cardinales finitos, con lo cual se tiene:
"Fes un m+" para "para algn G, para algn x, para todo y, {[y
es un F si y slo si (y es un G x=y)] y G es un m y no x
es un G}".
Si el nmero cardinal es 4 entonces "F es 4" se interpreta:
(3G), (3x), (Vy) {Fy

=(Gy

x = y) 3 E G x

G}
127

Digenes Rosales P.

La importancia de un clculo lgico segn Carnap, consiste en


guiar las conclusiones factuales a partir de premisas factuales, porque
generalmente, advierte, no se les presta la debida atencin a las derivaciones. Dentro de las proposiciones factuales juegan un papel importante
las proposiciones universales y las singulares. La forma ms simple
de una aplicacin del clculo lgico a las proposiciones factuales es
la derivacin de una proposicin singular de otras proposiciones singulares, pero resulta ms consistente si derivamos una proposicin singular a partir de premisas que incluyen proposiciones universales y singulares.
Por ejemplo, a partir de las premisas "todos los metales sometidos al
calor se dilatan", "el zinc es un metal", "el zinc es sometido al calor",
se concluye: "el zinc se dilata". Desde el punto de vista lgico, la
demostracin de esta inferencia no generara controversia entre los cientficos, porque bastara la aplicacin de las reglas de transformacin y
su respectiva interpretacin semntica. La polmica puede producirse
con respecto a clculos ms complejos pertenecientes a clculos matemticos o fsicos especficos. Por ejemplo, en el sistema de axiomas de
Peano para la aritmtica elemental usualmente se interpreta la teora
de los nmeros naturales; sin embargo, sta no es la nica interpretacin,
porque adems del clculo lgico de primer orden debe incluirse, en
algunos casos, el clculo lgico de segundo orden, esto es, aqul donde
los predicados deben cuantificarse.
En esencia, la aplicacin de la matemtica a la ciencia emprica
no es distinta de la aplicacin de los clculos lgicos a la ciencia emprica.
Sobre este punto Carnap sostiene que la funcin de la matemtica consiste,
para la ciencia emprica, en proporcionar, en primer lugar, formas de
expresin ms breves y ms eficientes que las formas lingsticas no
matemticas y, en segundo lugar, modos de deduccin lgica ms breves
y eficientes que los de la lgica elemental 16
Por otra parte, con respecto a la ciencia emprica, Carnap afirma
que sta posee leyes que son solamente enunciados que expresan regularidades del mundo de la manera ms precisa posible. Estas son leyes
universales y leyes estadsticas. Las primeras expresan regularidades
en todo tiempo y en todo lugar; en la lgica formal se expresan como
proposiciones condicionales universales, y se les representa mediante
la siguiente frmula:
"' Cf. Carnap, Rudolf, Fundamentos de lgica y matemticas, p. 101.

128

Introduccin a la filosofa de Carnap

(Vx)(Px

::J

Qx) 17

Un ejemplo para esta frmula es la ley sobre la dilatacin de los


metales: "todos los metales sometidos al calor se dilatan", que significa:
"para todo x, tal que si x es un metal sometido al calor (Px), entonces
x se dilata (Qx)". Segn esta ley cualquier metal sometido al calor,
en cualquier lugar y en cualquier tiempo, pasado, presente o futuro,
se dilata. Pero, cuando la regularidad de los hechos no ocurre en todos
los casos, sino slo en cierto porcentaje, las leyes son estadsticas. Por
ejemplo, cuando se anuncia cuantitativamente el porcentaje de alumnos
aprobados o desaprobados en un curso de historia, o cuando se dice
que en un perodo aproximadamente el 51% de los nacimientos corresponde a varones, estamos ante una ley estadstica. Estas leyes
tienen la importancia de explicar hechos ya conocidos para predecir
hechos desconocidos. Carnap asegura que toda su explicacin puede
expresarse simblicamente mediante el siguiente esquema: 18
l. (Vx)(Px
2. Pa
3. Qa

::J

Qx)

La primera afirmacin es una proposiCion universal que indica


"para todo x, tal que si x es P entonces x es Q". El segundo enunciado
afirma que un hecho particular "a" tiene la propiedad "P". De estas
dos afirmaciones se deduce que un hecho particular "a" tiene la propiedad
"Q". Para Carnap este esquema se cumple en la explicacin y en la
prediccin. En la explicacin, cmo "Qa" es conocido, lo mostramos
deduciendo de 1 y 2; pero en la prediccin, "Qa" es un hecho no conocido;
entonces, en base a la ley (enunciado universal) y al hecho "Pa", concluimos en un hecho no observado que es "Qa". Por ejemplo, si el hecho
conocido es "una barra de zinc dilatada", explicamos este hecho a partir
de la ley "todos los metales sometidos al calor se dilatan" y "el zinc
ha sido sometido al calor". Por otra parte, se cumple la prediccin porque
de la ley universal y del hecho, "el zinc ha sido sometido al calor",
podemos predecir que "el zinc se tiene que dilatar".
Este formalismo responde a la claridad y precisin que busca Carnap
para expresar las leyes cientficas, dado que las leyes lgicas y matem17
Carnap, Rudolf, Fundamentacin lgica de la .flsica, Buenos Aires: Ed. Sudamericana,
1969, p. 14.
" Ibidem, pp. 19 y 32.

129

Digenes Rosales P.

ticas son de un carcter distinto al de las leyes de las ciencias empricas.


Las leyes de la lgica y la matemtica nada dicen acerca del mundo
externo, no tienen nada que ver con la naturaleza del mundo externo,
son verdaderas en todos los mundos posibles, y por eso mismo no pueden
ser utilizadas como base de la explicacin cientfica; mientras que las
leyes de las ciencias empricas, como por ejemplo las leyes fundamentales de la fsica, pueden variar, aunque ligeramente, de un tiempo a
otro, pero nos informan acerca de la estructura del mundo.
El esquema propuesto por Carnap se cumple cuando la ley es
universal; en este caso, para deducir los hechos desconocidos interviene
la lgica elemental. En cambio, si las leyes son estadsticas se debe
usar la lgica de la probabilidad. Por ejemplo, si el nmero de alumnos
aprobados en un curso de historia es de un 70%, y sabemos que un
determinado alumno es del curso de historia, entonces la posibilidad
de estar aprobado de ese alumno es de 7JI O. Con respecto a la probabilidad, Carnap no solamente seala la distincin entre "probabilidad estadstica" e "induccin", sino que insiste en desarrollar un sistema
lgico que emplee ambos tipos, elaborando uno que pueda ser el inicio
del sistema. El problema, sostiene, es el de conseguir que el mtodo de investigacin cientfica sea ms riguroso, el de si es posible aprender
a juzgar las hiptesis y valorar el grado en que stas vienen apoyadas
por la evidencia disponible, del mismo modo en que el investigador
juzga y sopesa los datos empricos 19 Carnap considera engaoso decir
que la deduccin es el paso de lo general a lo particular y la induccin
el paso de lo singular a lo general, porque en cada uno de estos pasos
hay distintos tipos de inferencia.
En una inferencia deductiva, la conclusin no puede ser falsa si
el conjunto de premisas es verdadero, mientras que en una inferencia
inductiva, de una secuencia de premisas verdaderas la conclusin
puede ser falsa. Por ejemplo, si cada vez que entramos a una librera
vemos que un calvo roba un libro y suponemos que esta secuencia
ha ocurrido nueve veces, entonces la dcima vez que vemos a un
calvo en una librera concluiremos que ste se va a robar un libro;
sin embargo, ante nuestra sorpresa, no se roba ninguno. En este
caso, la secuencia de hechos particulares no permite concluir en
una generalizacin verdadera, o sea, "todos los hombres calvos que
''' Carnap, Rudolf, "Qu es la probabilidad?", en: Carnap, R., Morgenstern, W. y otros,
Matemticas en las ciencias del comportamiento. Madrid: Alianza Editorial, 1974, p. 39.

130

Introduccin a la filosofa de Carnap

entran a una librera roban libros" es una proposicin falsa, no puede


erigirse en una ley universal. Pero supongamos que en la undcima
vez que estamos en la librera un calvo esconde un libro en su maletn;
puesto que esta secuencia de casos puede darse indefinidamente, no
existira una manera estricta de verificar la ley. Sin embargo, sta puede
ser refutada de una manera muy simple: bastara hallar un contraejemplo.
Para el caso, el contraejemplo es la dcima vez que entra el calvo a
la librera y no roba libros. Es importante tomar en cuenta entonces
que un milln de casos positivos son insuficientes para verificar la ley,
pero bastar un slo contraejemplo para refutarla. En este contexto,
la conclusin de una inferencia inductiva es slo probablemente verdadera con respecto a las premisas.
La observacin de hechos particulares que resultan positivos en
todos los casos confirmara que la generalizacin es verdadera. Por
ejemplo, si cada vez que hemos entrado a una librera un hombre calvo
se roba un libro, entonces se confirmara el supuesto de que "todos
los hombres calvos que entran a una librera roban libros" (confirmacin fuerte), y la tarea consistira en buscar la confirmacin de una ley
sometiendo a prueba todos los casos particulares para determinar si son
positivos o negativos. Para ello sometemos a prueba el esquema lgico
para efectuar predicciones. As, si una ley universal es ('v'x)(Px :::> Qx),
entonces para un objeto "a" se tiene "Pa :::> Qa". Ahora tratamos de hallar
tantos objetos "a" que tengan la propiedad "P" (Pa), y luego observamos
si "a" satisface la propiedad "Q" (Qa). La comprobacin de cada caso
positivo constituye un juicio adicional a la fuerza de la confirmacin,
pero basta con un caso negativo para rechazar la afirmacin universal.
Carnap pens encontrar un conjunto de reglas para precisar la
validez de una inferencia inductiva, que a la postre result infructuoso,
porque la conclusin de toda inferencia inductiva es slo probablemente
verdadera con respecto a las premisas. Sin embargo, el mrito de Carnap
es haber distinguido claramente los conceptos de probabilidad inductiva y probabilidad estadstica: "los dos conceptos de probabilidad,
estadstico e inductivo, son indispensables para la ciencia; cada uno
de ellos desempea funciones de importancia. Pero es esencial darse
cuenta de la distincin entre ambos conceptos y desarrollar las posibilidades de los dos en tanto que instrumentos" 20 . Hasta ese entonces
los dos conceptos estuvieron confundidos.
20

Jbidem, p. 42.

131

Digenes Rosales P.

Hasta este punto, mediante un anlisis lgico podemos obtener


enunciados perceptivos. Sin embargo, aplicar el anlisis lgico a la
metafsica conduce a un resultado negativo, porque las pretendidas
proposiciones de la metafsica son totalmente carentes de sentido 21 Una
secuencia de palabras carece de sentido cuando no expresa una proposicin, pese a que, a primera vista, las expresiones metafsicas parecen
proposiciones; por ello Carnap las denomina pseudoproposiciones, y
la metafsica en su conjunto estara constituida por tales pseudoproposiciones. Estas se originan por errores de la sintaxis lgica del lenguaje
producidos cuando una palabra que posey un significado, en el curso
de la evolucin histrica cambia de significado, o pierde su antiguo
significado sin llegar a adquirir uno nuevo.
Cuando una palabra posee un significado se dice que designa un
concepto, pero si el significado slo es aparente es un pseudoconcepto.
Carnap ofrece, en calidad de ejemplos, las palabras metafsicas carentes de significados: "principio", en el sentido de existencia y no en el
sentido epistemolgico o axiomtico; "Dios", "el absoluto", "lo infinito",
"la esencia", etc. En cambio, los trminos "rbol", "piedra", "manzana",
cte. son conceptos, porque su significado tiene un correlato fctico. El
anlisis lgico para determinar que son conceptos es sometindolos a
su forma proposicional elemental. Por ejemplo, la forma proposicional
elemental de la palabra "rbol" es "x es un rbol", donde "x" puede
ser reemplazado por "eucalipto"; entonces se tiene la proposicin elemental "el eucalipto es un rbol". En cambio, para la palabra "Dios", donde
la forma proposicional sera "x es Dios", cualquier sustitucin que se
haga de "x" develar una pseudoproposicin. De igual modo podemos
analizar cualquier otro trmino y determinar si es una proposicin o
una pseudoproposicin. U na secuencia de palabras con significado tambin
puede generar pseudoproposiciones. Por ejemplo, si en la forma proposicional elemental "x es un nmero primo" sustituimos "x" por "Per",
entonces se tiene el sinsentido "el Per es un nmero primo". Al respecto,
Carnap aclara que la sintaxis gramatical de un lenguaje natural no es
capaz de eliminar todos los casos de combinaciones de palabras que
resulten sin sentido 22 , esto es, la sintaxis gramatical resulta insuficiente
" Carnap. Rudolf, "La superacin de la metafsica mediante el anlisis lgico del lenguaje",
en: Ayer, Alfred (Ed.), El positivismo lKico. Mxico: FCE, 1965, p. 66. Tambin vase
"Filosofa y sintaxis lgica", o.c .. p. 297 ss ..
22 Cf. Carnap, Rudolf. "La superacin de la metafsica ... ", o.c., p. 73 ss. y "Filosofa

132

Introduccin a la filosofa de Carnap

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.

La actividad polmica del empirismo lgico contra la metafsica


tradicional ha generado discusiones sin fundamento contra la lgica
moderna y la teora de la ciencia. Las investigaciones podan haberse
efectuado independientemente, la construccin de clculos lgicos o
sistemas semnticos poda haber sido admitida por los metafsicos sin
la tesis contra la metafsica. En este sentido, Carnap, la historia del
Crculo de Viena y la filosofa analtica se vinculan en la bsqueda
de un criterio de demarcacin o de delimitacin (desde el punto de
vista emprico-cientfico) entre lo que tiene sentido y lo que carece
de sentido empricamente. En otros trminos, las proposiciones admitidas en la ciencia emprica se delimitan respecto de las proposiciones
de la metafsica. De esta manera las investigaciones filosficas se someten por primera vez a la continuidad del progreso cientfico; incluso
habra que aceptar una lgica inventada para proposiciones filosficas.
Seamos cautelosos al hacer aserciones, advierte Carnap, y crticos al
analizarlas, pero tambin seamos tolerantes en la admisin de formas
lingsticas. Segn el principio de tolerancia, el anlisis sintctico no
nos determina la verdad o falsedad, en vista de que son posibles infinitos
lenguajes.
Ante mltiples objeciones, Carnap no ha dudado en revisar sus
trabajos y en muchos casos ha reformulado sus consideraciones 25 . Sin
embargo, sus tesis continan orientadas a la teora de la unidad de la
ciencia que puede ser denominada "fisicalismo", pues su proyecto es
asimilar estas ciencias (biologa, psicologa, sociologa) a la fsica,
conducindolas o reducindolas a los trminos primitivos de sta ltima.

" 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

You might also like