1

Cuadernos de Filosofa DUERERAS / Serie Historia de la Filosofa

Bertrand Russell:
un viaje a los
fundamentos de
la verdad
2

Sebastin Salgado Gonzlez

Bertrand Russell:
un viaje a los
fundamentos de
la verdad

A.C. DUERERAS
Septiembre 2011
3

Indice

Russell en el contexto de la filosofa analtica [p.4]

Lgica y realidad: [p.13]
Aristteles y Leibniz: las bases de la lgica [p.18]
La influencia de Frege y Cantor en la lgica de
Russell [p.27]
Las paradojas de Russell [p.32]
La "teora de los tipos" de Russell. [p.38]
De Russell a Gdel [p.40]
Del realismo matemtico al atomismo lgico: Russell
y Wittgenstein. [p.45]
La teora de las descripciones [p.49]
La crtica de Russell al idealismo [p.53]
Apndices [p.56]
4

Russell en el contexto de la
filosofa analtica

Bertrand Russell (Gales, 1872-1970),

filsofo, lgico, matemtico, activista poltico,
premio Nobel, prestigioso alumno y profesor en la
Universidad de Cambridge Su obsesin no era
tanto dar con la verdad como hallar el fundamento
de lo verdadero. No importa tanto la verdad como
el descubrimiento del camino seguro que nos
conduce hasta ella. Pero lo verdadero no puede
surgir de la creencia, sino de la certeza; ahora
bien, la certeza no se consigue con la simple
certidumbre, sino que es necesaria la seguridad:
algo es verdadero no cuando opinamos que lo es,
ni cuando creemos que lo es, sino cuando
podemos estar seguros de que efectivamente lo es,
es decir, cuando es cierto que lo es, cuando
necesariamente es lo que es.
Ya vemos que, para Russell, el camino
hacia lo verdadero es la lgica. Pero, cul es el
papel de la lgica en los asuntos humanos, ya que,
por desgracia, hay demasiada irracionalidad en la
conducta humana.
5

De su inters por la lgica, la matemtica y

la filosofa surgira una de sus obras ms
importantes: Principia Mathematica, escrita en
colaboracin de su amigo y tambin filsofo A.
Whitehead. En esta obra se expone la tesis de la
identidad entre lgica y matemtica, en definitiva,
la exigencia de fundamentacin lgica de la
matemtica.
Pero adems de su inters por la lgica y la
matemtica, Russell expres durante toda su vida
un profundo compromiso poltico y moral en
favor de la libertad, la justicia social y la paz
como pilares de una sociedad democrtica y
progresista. Sus ideas tico-polticas podemos
encontrarlas en ttulos suyos como: Por qu no
soy cristiano?, Matrimonio y Moral, La conquista
de la felicidad, Teora y prctica del bolchevismo
-obra esta ltima en la que se muestra muy crtico
con esta corriente poltica- .
Entre sus numerosas obras de filosofa
podemos citar: Los problemas de la filosofa
(1912), Anlisis de la mente (1921), Anlisis de la
materia (1921), Un esbozo de filosofa (1927),
Investigacin sobre el significado y la verdad
(1940), El Conocimiento humano: su alcance y
limitaciones (1948) y, por supuesto, su magnfica
Historia de la Filosofa Occidental, publicada a
6

partir de 1945, y que constituira la base de sus

conferencias en EE.UU sobre la historia de la
filosofa entre las dcadas de los aos treinta y
cuarenta del siglo XX.
Precisamente en este pas encontrara, por
un lado, sustento econmico, pues era profesor de
filosofa, lgica y matemtica en diversas
universidades norteamericanas, relevancia
internacional, ya que Russell se mantena muy
activo en la comunicacin pblica de sus ideas
polticas y morales, lo que le llevara a denunciar
los peligros de la guerra nuclear y, ya en 1966,
denunciar la intervencin norteamericana en
Vietnam y fundar el llamado Tribunal
Internacional de Crmenes de Guerra o Tribunal
Russell (del cual formaba parte tambin el
filsofo y literato de origen francs Jean-Paul
Sartre), pero tambin Russell hallara en EE.UU
litigios judiciales, expulsiones y un fuerte rechazo
hacia sus ideas por parte de estamentos polticos
e instituciones educativas y religiosas del pas.
Russell mora el 2 de febrero de 1970 en
Penrhyndeudraeth, Pas de Gales, a los 98 aos de
edad.

La filosofa de Russell cabe encuadrarla en

el contexto histrico y filosfico de la llamada
7

Filosofa Analtica, escuela filosfica que agrupa a

distintos autores y corrientes, pero todos ellos bajo
unas directrices tericas y metodolgicas
comunes:
Empirismo: todos los autores
pertenecientes a la corriente de la filosofa
analtica consideran que el conocimiento no
puede obviar la experiencia porque los hechos
son el suceder emprico de los fenmenos del
mundo natural.
Realismo: la filosofa analtica se muestra
siempre muy crtica con el idealismo y afirma la
independencia de los objetos respecto al sujeto
cognoscente.
Positivismo: cualquier filsofo analtico
considerar la ciencia natural como el modelo
por excelencia de conocimiento y albergar
serias dudas sobre la metafsica llegando
muchos de ellos a considerarla como un
conjunto de proposiciones sin sentido, una
pseudociencia sin valor alguno.
Logicismo: para los filsofos analticos
cabe fundamentar la verdad en la lgica y cabe
la posibilidad de reducir los saberes ms
seguros, como la matemtica, a principios
lgicos capaces de servir de su fundamentacin
ltima.
8

Atomismo lgico: el mundo es la totalidad

de los hechos, dir Wittgenstein, y esos hechos,
de naturaleza atmica, es decir, singulares,
individuales (los hechos son sucesos o
acontecimientos particulares que existen de
manera independiente), son reflejados por el
lenguaje lgico en las proposiciones, siendo el
pensamiento la representacin lgica de los
hechos. Para que esa operacin de figuracin de
los hechos en las proposiciones pueda tener
lugar es necesario que lenguaje y realidad
compartan una misma forma, sean isomorfas.

Pero a la cabeza de estas caractersticas

propias de la filosofa analtica hay que situar el
llamado "giro lingstico": el centro de la
reflexin filosfica es el lenguaje y, de manera
muy especial, el lenguaje lgico, porque segn la
filosofa analtica el objetivo de la filosofa es la
clarificacin lgica de los pensamientos. Y para
ello el mtodo correcto de la filosofa sera
propiamente ste: no decir nada ms que lo que se
puede decir, o sea, proposiciones de la ciencia
natural. As, debe delimitar lo pensable y con ello
lo impensable: De lo que no se puede hablar hay
que callar , deca Wittgenstein en su Tractatus.
La filosofa, por tanto, no es considerada una
9

doctrina, sino una actividad; una actividad

puramente descriptiva: la filosofa no transforma
la realidad; slo analiza nuestra forma de hablar
del mundo: La filosofa es un hablar sobre la
forma de hablar, deca Ayer. Esta actividad
descriptiva que es la filosofa queda dedicada a la
crtica lingstica, porque esencialmente, como
adverta Wittgenstein, "los problemas filosficos
son problemas del lenguaje". En definitiva, la
filosofa se circunscribe, pues, al anlisis del
sentido y valor de las proposiciones, siendo
especficamente una actividad de clarificacin del
lenguaje.
Russell, sin negar lo precedente, ampliara,
no obstante, la labor de la filosofa hasta destinarla
a:
La Liberacin de nuestros prejuicios y la
superacin del llamado "hombre instintivo",
quien vive atado a sus intereses privados; segn
Russell, "la vida del hombre instintivo se halla
encerrada en el crculo de sus intereses privados:
la familia y los amigos pueden incluirse en ella,
pero el resto del mundo no entra en
consideracin, salvo en lo que puede ayudar o
entorpecer lo que forma parte del crculo de los
deseos instintivos. Esta vida tiene algo de febril
y limitada. En comparacin con ella, la vida del
10

filsofo es serena y libre. El mundo privado, de

los intereses instintivos, es pequeo en medio de
un mundo grande y poderoso que debe, tarde o
temprano, arruinar nuestro mundo peculiar.
Salvo si ensanchamos de tal modo nuestros
intereses que incluyamos en ellos el mundo
entero, permanecemos como una guarnicin en
una fortaleza sitiada, sabiendo que el enemigo
nos impide escapar y que la rendicin final es
inevitable. Este gnero de vida no conoce la paz,
sino una constante guerra entre la insistencia del
deseo y la importancia del querer. Si nuestra
vida ha de ser grande y libre, debemos escapar,
de uno u otro modo, a esta prisin y a esta
guerra" (Russell, Bertrand: Los problemas de la
filosofa, CAP XV).
Hacernos Ciudadanos del universo: "la
contemplacin (se refiere Russell al saber
filosfico) no slo amplia los objetos de nuestro
pensamiento, sino tambin los objetos de
nuestras acciones y afecciones; nos hace
ciudadanos del Universo, no slo de una ciudad
amurallada, en guerra con todo lo dems. En
esta ciudadana del Universo consiste la
verdadera libertad del hombre, y su liberacin
del vasallaje de las esperanzas y los temores
limitados. como dice en su obra" (Los
problemas de la filosofa, XV).
11

Dotarnos del Conocimiento de la unidad y

sistema de las ciencias.

Entre los autores ms significativos de la

filosofa analtica cabe citar, adems de a Russell
y Wittgenstein, por supuesto, a filsofos brillantes
en el terreno de la lgica como Frege, pero
tambin a los autores situados en la rbita del
"Crculo de Viena" y el "positivismo lgico",

El positivismo lgico, corriente perteneciente a la filosofa

analtica, nacera a principios del siglo XX en el contexto
cultural de la Viena de fin de siglo, la cual reuna una
actividad artstica y cientfica muy intensa, con nombres
como los de Boltzmann y Mach en el terreno de la Fsica,
Mahler y Schnberg en el panorama de la msica clsica,
Musil en el campo de la literatura, Kokoscha y Klimt en
pintura, etc.
La preocupacin fundamental del positivismo lgico era la
demarcacin y fundamentacin de la ciencia, estableciendo
como principio de significacin y verdad la "verificacin",
consistente en contrastar el sentido y verdad de una
proposicin por medio de su cotejo con los hechos, siendo
los hechos atmicos los nicos verificables. La verificacin
exiga de las proposiciones cientficas empiricidad y
descripcin lgica. Aquellas proposiciones que resultaran
imposibles de verificar eran consideradas carentes de
sentido pues no referan hecho alguno. Este era el caso de
las proposiciones de la metafsica.

como Carnap, y a quienes, como Popper,

partiendo de la filosofa analtica y centrndose en
12

el contexto de una nueva filosofa de la ciencia

situaron finalmente su campo de reflexin y
conclusiones ms all de la filosofa analtica.
13

Lgica y realidad

La geometra enseara a Russell, ya desde

nio, a ver que la razn era la nica forma vlida
de abordar la realidad, porque la razn progresa
por medio de demostracin lgica y da con
certezas bien asentadas. Y este proceder conduce
hasta la morada de la ciencia como saber que
puede ofrecer un conocimiento fiable del mundo.
Ah est la fsica, por ejemplo, para entender y
explicar racionalmente la naturaleza. Pero la fsica
misma se apoya en las matemticas. Pero, y las
matemticas, en qu se apoyan? En axiomas, es
decir, en principios indemostrables que adoptamos
como verdaderos; y a partir de ellos podemos
deducir otras verdades. Pero, entonces, qu tiene
finalmente de racional la matemtica si necesita
postulados que no somete a la demostracin
lgica?
De esta forma Russell haba dado con el
problema fundamental del conocimiento racional,
a saber: el problema de su propia fundamentacin.
14

Russell comienza a estudiar matemticas en

Cambridge -se graduara en esa disciplina en
1893- con la esperanza de hallar ese fundamento,
pero pronto descubre que las matemticas caen
muchas veces en demostraciones circulares,
porque en sus definiciones incluyen lo definido;
por ejemplo, el concepto de infinitesimal podra
definirse como lo infinitamente pequeo, pero esta
definicin incluye de suyo el concepto a definir,
infinito, luego se convierte en una definicin
circular, pues define el trmino usndolo en la
definicin. Russell quera acabar con estas
vaguedades y contradicciones propias de las
matemticas. Russell quera regimentar las
matemticas hasta encontrar en ellas el
fundamento de la verdad. Crea que las
matemticas le llevaran hasta la verdad, hasta el
fundamento de la verdad, pero, desgraciadamente,
las matemticas no eran del todo lgicas:
contenan afirmaciones no demostradas y
definiciones circulares; adems, las matemticas
que Russell estudia en la universidad no tenan lo
que finalmente buscaba: la naturaleza de la
verdad. Las matemticas no se preguntan por la
naturaleza de la verdad matemtica; simplemente
la dan por establecida. Entonces, qu saber se
pregunta por la naturaleza de la verdad, de la
verdad matemtica o de cualquier otro tipo? Sin
15

duda la filosofa. As que Russell pronto se

interesara por ella y en 1894, en la universidad de
Cambridge, obtendra su graduacin en esta
materia.
Russell estudiar y asimilar en seguida la
historia de la filosofa, pero de nuevo la
desconfianza le embarga: los filsofos se
contradicen entre s demasiadas veces. Por
ejemplo, para unos, los platnicos, las ideas son
cosas reales, para otros, los aristotlicos,
simplemente contenidos mentales; para unos, los
cartesianos, existen ideas innatas, para otros, los
empiristas, en absoluto. Y no dentro de la misma
escuela los filsofos se muestran de acuerdo en
todo. Por ejemplo, en el racionalismo, para
Descartes, mente y materia son cosas distintas e
incluso opuestas; en cambio, Spinoza niega tal
dualismo.
Russell haba encontrado en la matemtica
cierta irracionalidad, pero al menos contaba con
algunos principios slidos, como el de no-
contradiccin. La matemtica contaba con un
Euclides, por ejemplo, quien a partir de axiomas
demostraba los principios bsicos de la geometra
y de todas las ciencias.
16

EUCLIDES
Axiomas comunes Axiomas propios

Cosas iguales a la misma cosa Es posible trazar una lnea

son iguales entre s. recta desde un punto a otro
cualquiera.

Si a iguales se suman iguales, Una lnea recta finita puede

los resultados son iguales. prolongarse continuamente en
lnea recta.

Si iguales se restan de iguales, Se puede trazar una

los restos son de iguales. circunferencia con un punto
cualquiera como centro y
cualquier distancia como
radio.

Cosas que coinciden una con Todos los ngulos rectos son
otra son iguales entre s. iguales.

El todo es mayor que la parte. Por un punto exterior a una

recta solo puede trazarse una
nica paralela.

axiomas

Russell intentaba encontrar el Euclides de la

filosofa, es decir, alguien que dotara a la filosofa
de pilares fuertes, esto es, de un lenguaje
lgicamente preciso. Y, en esa bsqueda, halla a
Leibniz, el gran filsofo y matemtico racionalista
alemn del siglo XVII, quien crea haber dado con
un clculo lgico que le permitira clarificar todo
el saber.
Si Descartes hubo de anunciar la necesidad
de un mtodo preciso, matemtico, seguro, para
17

hallar las certezas bsicas sobre las que edificar el

edificio del saber a ese mtodo lo llam duda
metdica-, Leibniz, por su parte, nos ofrece una
lista de principios [vase: Apndice III] entre los
que destacan: el Principio de identidad y de no
contradiccin, el Principio de razn suficiente
y de la identidad de los indiscernibles o principio
de diferenciacin y, por supuesto tratndose de
Leibniz, el Principio de lo mejor o de Armona
preestablecida. Solo a partir de estos principios
en opinin de Leibniz- cabra pensar con
propiedad.
Hasta ese momento, Russell se mova entre
la filosofa y la matemtica: era mitad matemtico
y mitad filsofo, notaba que necesitaba ambas,
pero que ninguna le vala por s misma. En la
filosofa de Leibniz, sin embargo, Russell haba de
encontrar su camino: la lgica. Definitivamente a
Russell no le bastaban ni la matemtica ni la
filosofa; precisaba algo ms radical, ms simple,
ms fundamental: la lgica.
Pero, qu es eso de la lgica? Segn
Aristteles, uno de sus principales artfices, la
propedutica de todas las ciencias, el camino
necesario por el que han de circular todas las
ciencias, la base de preparacin necesaria para
pensar cientficamente; en definitiva, los pilares
18

del saber racional, su herramienta bsica: su

rganon.
La lgica es puro razonamiento, la lgica es
argumentacin necesaria, demostrativa. Como
ciencia, la lgica es puramente formal, su objeto
de estudio es la forma de las proposiciones, la
cadena de argumentacin con la que stas van
unidas. A esas cadenas Aristteles las llam
silogismos; un ejemplo de silogismo es el
siguiente:
Todos los hombres son mortales.
Scrates es un hombre.
Luego, Scrates es mortal

Aristteles y Leibniz: las bases de la

lgica

El silogismo nos dice que partiendo de dos

enunciados verdaderos podemos concluir, inferir
deductivamente, un nuevo y necesario enunciado
que se deduce de la verdad de los anteriores, los
cuales actuarn de premisas de la nueva
conclusin.
19

Pero para llegar a construir el silogismo,

Aristteles necesitaba, primero, esclarecer qu
tipos de oraciones seran posibles; as, Aristteles
distingua entre oraciones singulares (por
ejemplo, Scrates es hombre), universales
(Todos los hombres son mortales) y particulares
(Algunos hombres son mortales). Con esto
Aristteles estaba poniendo no solo los cimientos
de la lgica, al referir que en cada uno de estos
tipos de enunciados lo que se lleva a cabo es una
asignacin de objetos cuando aqu se habla de
objeto no se refiere a una cosa material y
existente, sino a una funcin nominal, es decir, a
cualquier nombre u otro tipo de designador, como
un pronombre o un adjetivo, que va a ser tomado
como objeto de referencia y que puede ser
cargado de propiedades , funciones ,
caractersticas, acciones, etc., esto es, puede ser
objeto de clasificacin- a clases, sino tambin de
la gramtica, porque Aristteles distribua las
partes de la oracin en sujeto, aquel objeto del que
hablamos (por ejemplo: Scrates, Algunos,
Todos) y predicado, aquello que decimos del
sujeto (siguiendo con los ejemplos precedentes:
hombre, mortal).
Pues bien, a partir de esta distribucin
lgico-gramatical de nuestro decir de las cosas,
Aristteles llegara a la conclusin de que todo
20

cuanto decimos puede ser estructurado

lgicamente en un cuadrado de oposiciones. Por
ejemplo:
1. Todos los hombres son mortales
2. Ningn hombre es mortal
3. Algunos hombres son mortales
4. Algunos hombres no son mortales

Veamos las oposiciones posibles:

Los enunciados 1 y 2 no pueden ambas a la
vez ser verdaderas: o lo es una o lo es la otra. Si es
verdadero que todos los hombres son mortales,
entonces ser siempre falso que ningn hombre
es mortal.
A los enunciados 2 y 3 les pasa lo mismo.
Se encuentran en el mismo tipo de relacin de
oposicin o contradiccin y exclusin: si ningn
hombre es mortal es verdadero, entonces no
puede darse el caso de que algunos hombres son
mortales. Y lo mismo sucede tambin con los
enunciados 1 y 4.
En cuanto a la relacin entre los enunciados
1 y 3. Entre ellos no cabe establecer una relacin
de contradiccin, ya que ambas pueden ser
verdaderas al unsono: si todos los hombres son
mortales es verdadero, est claro que algunos
21

hombres son mortales tambin es verdadero.

Ahora bien, a la inversa no sucede lo mismo: si
algunos hombres son mortales es verdadero, eso
no supone necesariamente que todos los hombres
son mortales sea verdadero. Es decir, que el todo
rige sobre la parte, pero no a la inversa. Lo mismo
sucede con las oraciones 2 y 4.
A partir de este cuadrado de oposiciones,
Aristteles ya puede construir el silogismo y
certificar su autenticidad o verdad (validez, en
trminos lgicos) y su falsedad. Basta con
construir un primer enunciado, al que llamaremos
premisa, por ejemplo todos los hombres son
mortales, para tomar despus el sujeto de ese
enunciado como predicado de un enunciado
siguiente, que tambin har las veces de premisa,
por ejemplo Scrates es hombre; lo que resta,
esto es, la conclusin estar compuesta de los
trminos que hasta entonces no haban participado
en la relacin, es decir, el predicado de la primera
premisa y el sujeto de la segunda premisa,
quedando organizado de la siguiente manera: en la
conclusin el predicado de la primera premisa
ser el predicado de la conclusin y el sujeto de la
segunda premisa ser el sujeto de la conclusin;
as, Scrates es mortal ser una conclusin
verdadera, y el silogismo ser vlido.
22

Por tanto, si las premisas son verdaderas, la

conclusin tambin lo ser.

Pero los silogismos no eran muy giles y

fiables en argumentos ms extensos, en
argumentos que comprendieran ms de un
predicado. Se necesitaba, pues, un clculo, una
regla, un mtodo que actuara de nuevo rganon y
que reglamentara el pensamiento todo. Ese
clculo haba de ser un sistema simblico y
Leibniz, en el siglo XVII, haba de ser su autor.
Segn Leibniz las relaciones entre
enunciados son como ecuaciones algebraicas. Por
ejemplo, si tomamos dos enunciados podemos
establecer entre ellos una igualdad: a = b. Dos
cosas son idnticas cuando todo lo que puede
decirse de una se puede decir de la otra. Ahora
bien, si a = b y b = c, entonces a = c. Pero,
adems, a = no (no a) y a = b es, a su vez, igual a
no b = no a. Vemoslo con un ejemplo:
Si todos los hombres son mortales y
Scrates es un hombre, entonces Scrates es
mortal. Adems, si Scrates es mortal, entonces
Scrates no es inmortal, y, finalmente, si
Scrates es un hombre, entonces si no eres un
hombre no puedes ser Scrates.
23

As pues, con estas cuatro reglas bsicas [a

= b (en ejemplo: ser Scrates es igual a ser
hombre); si a = b y b = c, entonces a = c (si
Scrates es un hombre y ser hombre es ser mortal,
entonces Scrates es mortal); a = no (no a) (si
Scrates es mortal, entonces no puede ser
inmortal); si a = b, entonces no b = no a (si
Scrates, que es un hombre, es mortal, entonces
no ser mortal es igual a no ser hombre)], Leibniz
estaba seguro de poder probar la validez de
cualquier silogismo. El conjunto de estas reglas
constituira la serie de leyes fundamentales de
todo razonamiento. Ya tenamos, as, un sistema
lgico del que partir.
Aristteles haba proporcionado la urdimbre
(los tipos de enunciados y sus relaciones bsicas),
Leibniz haba sistematizado simblicamente la
forma lgica de relacin entre enunciados. Esa
forma lgica servira para demostrar la validez de
los razonamientos.
Este mtodo demostrativo de Leibniz est
formado por cuatro reglas fundamentales:
A) una cosa es idntica a s misma; se trata
del principio de identidad: (a=a).
B) ningn enunciado puede ser verdadero y
falso al mismo tiempo; se trata del principio de no
contradiccin: "no es cierto p y no-p".
24

C) todo enunciado solo puede admitir un

solo valor de verdad lgica: o bien es verdadero o
bien es falso; se trata del principio de tercio
excluido: "p o no-p".
D) por ltimo la ley de sustitucin, la cual
nos permite sustituir una expresin por otra
manteniendo las mismas condiciones de verdad;
por ejemplo, "si a es igual a b y b es igual a c,
entonces a es igual a c".
Pero adems existe una herramienta bsica
muy empleada por Leibniz: la reduccin al
absurdo (reductio ad absurdum). Con esta
herramienta suponemos la verdad de un enunciado
y sacamos conclusiones a partir de l, si esas
conclusiones nos conducen a alguna
contradiccin, entonces ese enunciado, tomado
inicialmente como verdadero, ser finalmente
falso. As pues, lo que demuestra esta herramienta
es que un enunciado es verdadero si no encierra
contradiccin.

Con las lecciones de lgica proporcionadas

por Aristteles y Leibniz, ya podemos ver en
general cmo trabaja la lgica.
Supongamos una senda dentro de un
laberinto. Esperamos saber si esa senda es la
25

verdadera, es decir, si es la correcta, la que

conduce a la salida del laberinto. Lgicamente
slo disponemos de dos posibilidades o valores: o
esa senda llammosla X- es correcta o no lo es
(en terminologa simblica lgica: 1 o 0).
Comenzamos a desandar esa senda y pronto nos
encontramos con una bifurcacin: la senda, ahora,
se bifurca en otras dos: Y, Z. Estamos ante el
mismo problema: cul es la correcta? Si X = 1
(es decir, si la senda es verdadera), entonces Y o Z
= 1. As, X = 1 si Y = 1 o Z = 1 o bien si Y y Z =
1. En cambio, X = 0 si tanto Y como Z = 0.
Lo que se enuncia en este clculo podemos
expresarlo con un par de tablas de verdad. En
concreto, la tabla de verdad de la disyuncin y de
la conjuncin, respectivamente:

Las tablas de verdad son invencin de

Wittgenstein, que plasma en su obra Tractatus
logico-philosophicus, para representar grfica y
simblicamente las conectivas lgicas (y, o,
no, si entonces, si y solo si), es decir, esos
smbolos que a modo de funciones lgicas
establecen las relaciones de validez entre los
enunciados que forman un razonamiento. Por
tanto, una tabla de verdad sirve para
representar la verdad de un razonamiento,
entendiendo por tal una serie lgicamente
conectada de proposiciones.
26

Tabla de verdad de la disyuncin

pq pq
10 1
01 1
11 1
00 0

Tabla de verdad de la conjuncin

pq pq
10 0
01 0
11 1
00 0

Este conocimiento del funcionamiento de la

lgica va a ser esencial para entender la filosofa
de Russell, porque con la lgica Russell pretenda
obtener conocimiento cierto sobre la realidad.
Pero necesitaba conocer bien la lgica. Por ello se
embarcara en un viaje en el que conocer a los
principales lgicos del momento, la mayora de
ellos alemanes: a Frege, el autor de la
Conceptografa (Begriffsschrift), que intentaba
elaborar un lenguaje completamente lgico,
exacto, sin contradicciones, siguiendo el esfuerzo
inicial de Leibniz; a Cantor, con su hotel infinito
y su teora de conjuntos. Todos ellos grandes
27

lgicos, excelentes matemticos y filsofos

analticos.

La influencia de Frege y Cantor en la

lgica de Russell

De Frege Russell aprendera que el fin de la

lgica no es tanto calcular como modelar la
realidad, porque solo por medio de un lenguaje
totalmente lgico podremos comprender la
realidad. Esta idea la plasmara despus
Wittgenstein en su famoso Tractatus lgico-
philosophicus, donde afirmaba que no se puede
pensar nada ilgico y que el pensamiento (lgico)
es la figura (lgica) de los hechos, los cuales, en
su conjunto, componen el mundo: el mundo, deca
Wittgenstein, es la totalidad de los hechos, siendo
un hecho la expresin de un estado de cosas, y
estos pueden ser dichos, esto es, pensados,
referidos proposicionalmente, por el lenguaje
lgico, ya que la proposicin lgica, es decir, el
lenguaje lgico, es la figura de la realidad.
Lenguaje (lgico) y realidad comparten la misma
forma: isomorfa. Russell compartira estas tesis,
28

las cuales, a la postre, componen el llamado

atomismo lgico, del joven Wittgenstein, de
origen austraco y que sera alumno y despus
profesor en Cambridge.
Pero, volvamos a Frege y su influencia en
Russell. Para Frege, el lenguaje lgico perfecto
sera el adecuado para descubrir los fundamentos
de las matemticas. Frege introducira un nuevo
clculo proposicional que combinaba la teora de
la demostracin de Leibniz con el uso de las
conectivas lgicas (no, y, o, si...entonces, si y solo
si); en este clculo proposicional de Frege
destacan los llamados cuantificadores (todos,
algunos, ninguno, al menos uno, etc.) que van a
ser tratados como entidades lgicamente
independientes. De esta manera Frege intentaba
evitar caer en absurdos como los sealados con
suave irona y gran destreza lgica por Lewis
Carroll en su Alicia en el pas de las maravillas:
"- A nadie veo en el camino, dijo Alicia.
- ojal tuviera unos ojos as! -coment el rey-.
Ser capaz de ver a nadie!".

Frege no habra escrito nunca esta obra a un

tiempo de lgica y de literatura, porque en el
clculo proposicional de Frege el enunciado "A
nadie veo en el camino" se convertira en este:
29

"Para todas las personas, no puedo verlas en el

camino", o bien en este otro: "no hay al menos
una persona que pueda verla en el camino". Frege
quera evitar a toda costa las imprecisiones,
confusiones y ambigedades en el uso del
lenguaje: buscaba un lenguaje lgicamente
perfecto, en el que su unidad sera la proposicin -
de ah que fuera denominado como clculo
proposicional- la cual es un enunciado compuesto
de sujeto y predicado y que solo cuando lo
consideramos como un todo podemos conocer los
significados de las palabras que lo componen. As
pues, el significado de las palabras no hay que
buscarlo en s mismas sino en el contexto de la
proposicin de la que forman parte.
El objetivo final de Frege era reducir toda la
matemtica a pura lgica. Y como la lgica
tradicional no serva para este propsito, se vio
obligado a crear una nueva lgica, ms potente a
la vez que ms flexible, introduciendo los
cuantificadores y presentando el anlisis de las
conectivas lgicas, es decir, analizando cundo la
relacin entre dos o ms enunciados unidos
conjuntiva, disyuntiva y condicionalmente es
lgicamente verdadera, esto es, en qu casos
estamos ante un argumento vlido.
30

Cantor, por su parte, ofrecera a la

matemtica una nueva manera de comprender el
concepto de infinito. Cantor abordaba el problema
de la siguiente manera: consideremos, primero, un
hotel con un nmero finito de habitaciones. Si
llega un nuevo husped y el hotel est lleno, no
podremos darle habitacin. Sin embargo,
consideremos ahora un hotel con un nmero
infinito de habitaciones. Si llega un nuevo
husped, aunque el hotel est lleno, siempre
podremos albergarlo: bastara con hacer pasar a
cada cliente a la habitacin siguiente a la suya y
as tendramos una habitacin libre para nuestro
nuevo husped. As pasaramos al cliente de la
habitacin 1 a la habitacin nmero 2 y al que all
resida a la n 3 y as sucesivamente; de esta
manera, ya tendramos una habitacin libre, la
primera. En resumen, en el infinito siempre hay
algo ms, siempre cabe posibilidad.
Por otra parte, Cantor fue el creador de la
llamada teora de conjuntos. Los conjuntos son las
entidades matemticas ms bsicas: son grupos de
elementos, que bien pueden tener elementos
comunes o no. Por ejemplo, entre el conjunto A y
el conjunto B podemos establecer sus elementos
comunes; as, diremos que A y B comparten los
elementos x, z, w. Pero tambin podemos advertir
que x, z, w o bien son miembros de A o bien son
31

miembros de B, pero no de ambos. Finalmente,

podemos pensar en todos aquellos elementos que
no son miembros de A o que no son miembros de
B. Es decir que con tan solo tres conectivas (y, o,
no) podemos expresar toda proposicin lgica
posible. Por ejemplo:
si a entonces b es lo mismo que no puede
darse a y no darse b.
Es decir,
si la bella princesa me besa -dice la rana-
entonces me convertir en prncipe.
O bien,
no puede darse el caso que la bella princesa
me bese -dice la rana- y yo no me convierta en
prncipe.
En terminologa lgica,
AB
_________
(A B)

O bien, expresado en la tabla de verdad del

condicional:
pq p q
10 0
01 1
11 1
00 1
32

Por tanto, los conjuntos, segn Cantor,

seran agrupaciones de objetos definidas por una
propiedad comn.
Con esto la matemtica daba un salto
considerable al pasar de estudiar simples
elementos individuales (nmeros, funciones,
formas geomtricas) a elementos agrupados, es
decir, conjuntos de elementos.
Frege, por su parte, tratara de aunar su
esfuerzo por crear un lenguaje lgicamente
perfecto con la teora de conjuntos de Cantor para
obtener una base slida para las matemticas.
Pero, en ese punto, Russell halla las famosas
paradojas de Russell.

Las paradojas de Russell

Con todo este bagaje lgico-matemtico

(Frege, Cantor), Russell emprende la escritura de
la que sera una de sus principales obras:
Principia Mathematica. En ella Russell abordaba
la fundamentacin lgica de las matemticas, pero
33

en vez de partir de la nocin de nmero partira de

la nocin de conjunto, porque un nmero es la
expresin de un conjunto. Por ejemplo, el nmero
3 no es ms que la expresin de todos los
conjuntos que tienen ese nmero de elementos;
por tanto, los conjuntos son la base de la
aritmtica.
Pero, segn Russell, el problema de los
conjuntos es su paradojicidad (vase: Apndice II
- texto 1): un conjunto puede contener a otros
conjuntos o incluso a s mismo y, a la vez, no ser
igual a s mismo. Por ejemplo, supongamos el
conjunto de todas las aves. Este conjunto puede
contener otros conjuntos, como el conjunto de
todas las aves de pico corto o el conjunto de todas
las aves de pico largo, etc. Pero, no obstante, el
conjunto de todas las aves no es un ave.
Russell explicaba este tipo de paradojas con
un ya famoso ejemplo: supongamos un pueblo en
el que gobierna una estricta ley: todo varn
adulto ha de afeitarse a diario. A quienes no se
afeiten a s mismos, los afeitar un barbero. Por
tanto, el barbero es aquel que afeita a quienes no
se afeitan a s mismos. Pero, entonces, surge la
pregunta: quin afeitar al barbero? Y la
respuesta nos conduce a una paradoja: si el
barbero se afeita a s mismo, entonces deja de ser
34

barbero, porque la propiedad del barbero es afeitar

a los que no se afeitan a s mismos; a la vez, si el
barbero va al barbero para ser afeitado, entonces
se estara afeitando a s mismo, con lo que ya
hemos regresado al problema anterior: el barbero
se afeitara a s mismo y, por tanto, ya no afeitara
a los que no se afeitan a s mismos, luego el
barbero no sera barbero.
Esta paradoja es similar a la paradoja del
mentiroso: si alguien dice que miente, entonces
est diciendo la verdad, pero si dice la verdad,
entonces miente. Esta ya famosa paradoja,
enunciada primeramente por Zenn de Elea
(495-430 a.C.) para demostrar el fracaso de la
razn en su bsqueda del conocimiento absoluto,
pone de manifiesto que si una oracin del tipo
"Esta oracin es falsa" es verdadera, entonces es
falsa y si es falsa entonces es verdadera. Esta
paradoja la encontramos tambin en el "Doctor
House", ese mdico de la serie televisiva
homnima, cuando repite: "todo el mundo
miente". Pero cuando
alguien le hace ver su
contradiccin al argir que
en ese caso l mismo
tambin estara mintiendo
(ya que todo el mundo
miente), entonces hbilmente responde: "yo no he
35

dicho que todo el mundo mienta todo el tiempo",

con lo que su juicio quedara a salvo de la
paradoja. Es importante esta matizacin porque lo
que est haciendo House es anular la posibilidad
de los enunciados universales, que son, en el decir
de Russell, uno de los tipos de enunciados que
llevan al lenguaje hasta el lmite abocndolo as
hacia la paradoja; por ejemplo, la proposicin
"todos los cuervos son negros" trata de expresar
un hecho general, pero no hay, ni puede haber,
hechos generales: todos los hechos son atmicos,
particulares, singulares -segn el atomismo lgico
que el propio Russell reivindica, como se ver en
el apartado anterior-, con lo que los enunciados
generales, universales, no pueden referir hechos y,
por otra parte, la simple enumeracin conjunta de
hechos singulares no establece axiomticamente
proposiciones generales referidas a hechos, pues
para que eso fuera posible habra que tener
posibilidad de un acceso emprico a todas las
infinitas apariciones singulares de los hechos, y
eso, como dej bien establecido Hume, resulta
imposible: si una proposicin ha de referir o ha de
poder referir un hecho, y por definicin los hechos
son singulares o atmicos, si pretendemos, por
ejemplo, saber si es verdadero que "todos los
cuervos son negros" recurriendo a la experiencia,
tendramos que tener experiencia infinita, es decir,
36

experiencia de todos los cuervos, absolutamente

todos, los del presente y el pasado y, lo que resulta
ms difcil y paradjico, tambin de los del futuro,
pero no hay experiencia de los hechos futuros,
sencillamente porque no han acontecido. As que
lo que est en juego -lo que queda referido- en un
enunciado universal no es un hecho.
Conviene aclarar que el concepto de "hecho" no tiene en Hume y
Russell el mismo significado: para Hume los hechos, sometidos a
conocimiento fenomnico, son fenmenos que el sujeto vincula
psicolgicamente por medio de la costumbre en la observacin de
su acontecer y la creencia de que entre ellos rige una conexin
causal. En cambio, para Russell, los hechos son tomos que el
lenguaje refiere lgicamente (conocimiento lgico).

De la misma forma, dice Russell, las

proposiciones que tratan de expresar hechos
negativos (por ejemplo, "Napolen no existe")
tambin caen en contradiccin porque los
llamados hechos negativos no existen como
hechos, ya que no es posible la existencia de la
no-existencia.
Por ltimo, las proposiciones que expresan
creencias (por ejemplo, "Juan cree que la tierra es
plana"), tampoco refieren hechos y es fcil que
caigan en contradiccin, no tanto porque su
contrastacin emprica las pueda invalidar, sino
37

porque las proposiciones que expresan creencias

son independientes de la verdad o falsedad de los
hechos: la verdad o falsedad de un hecho no
depende de una creencia.
Con estas paradojas (la del barbero, la del
mentiroso), lo que se pone de manifiesto es,
primero, que debemos distinguir entre
conocimiento directo y conocimiento
proposicional (vase: Apndice II - texto 2), y que
si pensamos en el conjunto de todos los conjuntos,
entonces si decimos que dicho conjunto se
contiene a s mismo estaremos, paradjicamente,
diciendo que no se contiene a s mismo y si
decimos que no en ese caso estaremos afirmando
que s se contiene a s mismo.
De esta forma, Russell pona en entredicho
la definicin de conjunto como grupo definido por
una propiedad comn. As, se desvanecan todos
los esfuerzos de Frege, Cantor, Hilbert, etc. por
fundamentar la matemtica, pues todos ellos
partan de la endeble definicin de conjunto que
haba proporcionado el cura y matemtico
Bolzano: un conjunto es un grupo de elementos
definidos por una propiedad comn.
Russell haba demostrado la imposibilidad
del conjunto de todos los conjuntos, porque ese
conjunto no poda ser autorreferencial, es decir, no
38

podra contenerse a s mismo sin hacer referencia

a otros conjuntos. El conjunto de todas las aves no
es un ave, pero guarda propiedades comunes con
otros conjuntos, por ejemplo, con el conjunto de
los animales que tienen patas, o con el conjunto de
los animales no mamferos. Por tanto, el conjunto
de todas las aves puede ser encerrado o formar
parte de otro mayor: el conjunto de todos los
animales, y ste, a su vez, puede formar parte del
conjunto de todos los seres terrestres, y ste a su
vez
Pero no hay manera de hallar el conjunto de
todos los conjuntos. Esto quiere decir, en ltima
instancia, que no hay fundamento ltimo posible:
no en las matemticas, no en la lgica.

La "teora de los tipos" de Russell

Los callejones sin salida a los que las

paradojas -en las que el pensamiento incurre a
menudo en su esfuerzo por referir la realidad-
conducen, trataron de ser esquivados por Russell
con su teora de los tipos, segn la cual una
clase es una funcin proposicional cuyo
39

significado depende del dominio de objetos que la

hacen verdadera. Segn Russell una clase no
puede ser una cosa; por ejemplo, la clase o
conjunto de los hombres no es un hombre. Por
tanto, si una clase es una cosa, entonces llegados
al extremo de la clase de todas las cosas
tendramos que esa clase es tambin una cosa, con
lo que, de esa manera, existiran ms clases de
cosas que cosas, lo cual es paradjico y absurdo,
porque estaramos afirmando que dado que las
clases son tambin cosas y que una clase puede
ser o no miembro de s misma (para cada conjunto
pueden darse dos posibilidades: o que sea
autorreferencial o que no lo sea, es decir, que hay
clases que s son miembros de s misma, por
ejemplo: la clase de todas las clases es una clase,
y a la vez hay clases que no son miembros de s
misma, por ejemplo: la clase de todos los peces
no es un pez), entonces habra ms cosas que el
conjunto de todas las cosas. Absurdo: hay ms
cosas que cosas. Y paradjico: si lo es, entonces
no lo es y si no lo es, entonces lo es.
Para intentar solucionar este problema al que la
nocin tradicional de clase nos ha abocado,
Russell crea su teora de los tipos. Segn esta
teora, hay tipos de clases y no es posible en
ningn caso que una clase sea miembro de s
misma: existen clases cuyos miembros son
40

individuos (la clase de los perros), pero tambin

clases cuyos miembros son clases de individuos
(el conjunto de las propiedades de los perros de
caza), pero tambin clases de las clases de
individuos (el conjunto de las clases que renen
en clases a los perros segn ciertas propiedades),
etc. Pero no puede existir una clase de todas las
clases, es decir, en terminologa ontolgica que
nos es ms afn- no puede existir lo Uno, es decir,
que no es posible contemplar todos los objetos
como pertenecientes a un mismo nivel de realidad.

De Russell a Gdel

Las matemticas siempre han sido el resorte

epistemolgico su fundamento ltimo en esos
trminos- de las ciencias debido a su
esquematismo lgico y a su capacidad predictiva
y demostrativa.
Pues bien, en la Antigua Grecia, la
matemtica de Euclides consigui, por un lado,
sintetizar la geometra de la poca en unos pocos
(diez en total) principios bsicos incuestionables,
y, por otro lado, articular los principios lgicos
sobre los que fundar el razonamiento cientfico.
Segn Euclides, resultaba imposible esgrimir
41

enunciado cientfico alguno si ste no respetaba el

principio de no contradiccin: no es lgico afirmar
y negar simultneamente lo mismo.
Siguiendo este requisito de axiomatizacin
de la ciencia, Russell y Whitehead intentaron, a
principios del siglo XX, desarrollar un programa
de axiomatizacin de las matemticas que sirviera
no slo para aseverar su propia validez como
sistema lgico-deductivo, sino, a su vez,
fundamentar la certeza lgica de toda proposicin
cientfica.
42

Cabe entender por sistema axiomtico aquel conjunto de

condiciones que ha de cumplir un sistema para ser garanta
de verdad de todas las proposiciones que contiene. Como
bien saba Aristteles, y tendra muy en cuenta Euclides a
la hora formular sus Principios, cualquier sistema parte de
unos principios o axiomas; esos axiomas son su
fundamento y han de hacer posible que dicho sistema sea
consistente (no contener contradiccin), completo e
independiente. As, la axiomatizacin de un sistema
consiste en verificar de ste a la vez su:
Consistencia: un sistema basado en axiomas no puede
encerrar contradiccin. As pues, de esos axiomas no
podrn deducirse proposiciones contradictorias
Completitud: del conjunto que forman los axiomas han de
poder derivarse todas las posibles expresiones del sistema.
Independencia: los axiomas no son deducibles de ninguna
otra proposicin previa.

Quiz se entienda mejor todo esto con un ejemplo,

entresacado de la geometra: los ngulos internos de un
tringulo suman 180. El primer requisito (consistencia)
nos dir que de este axioma no podemos deducir la
siguiente proposicin: los ngulos internos de un tringulo
cualquiera no suman 180; el segundo principio
(completitud), nos dir que de todos los posibles tringulos
que podamos formar los ngulos de un tringulo habrn
de sumar 180; por ltimo, el tercer principio
(independencia) nos advertir de que el axioma antes
enunciado no es deducible de ningn otro.

Pero el matemtico y lgico Kurt Gdel

certificara que ningn conjunto, ningn sistema,
puede ser autorreferencial sin ser incoherente, es
decir, que si cabe afirmar su coherencia, no se
puede afirmar su completitud, pues en ltima
instancia no hay teora o sistema que sirva de
43

fundamento para todas las dems en un campo

dado y una teora o un sistema no puede dar
cuenta de s mismo. As, Gdel demostraba que
cualquier sistema que se buscara como
fundamento absoluto (por ejemplo, un sistema
complejo para dar cuenta o para fundamentar toda
la aritmtica) sera finalmente incompleto.
Gdel puso en duda la validez de un
sistema axiomtico argumentando que resulta
imposible demostrar todas las condiciones de
axiomatizacin de un sistema, es decir, que de un
sistema podremos asegurar que cumple el
principio o condicin de completitud e
independencia pero no podremos aseverar que
cumple tambin la condicin de consistencia:
segn Gdel un sistema no puede por s mismo
demostrar su consistencia; para hacerlo tendr que
recurrir a otro sistema (con lo cual est rompiendo
el requisito de independencia) y, a su vez, ste
nuevo sistema para demostrar su consistencia
tendr que remitirse a otro, y de esta manera hasta
el infinito. Pero el recurso al infinito no es garanta
de demostracin, como ya dej establecido Hume
en su crtica a la idea de causalidad. Por otra
parte, si, siguiendo el principio de completitud, de
los axiomas de un sistema habr de ser posible
deducir toda la serie completa de enunciados,
entonces tambin tendr que deducirse una
44

proposicin contradictoria, con lo cual estaremos

rompiendo el principio de consistencia. Por tanto,
es imposible afirmar al mismo tiempo la
consistencia y completitud de un sistema.
As pues, si, de acuerdo con el llamado
Teorema de Gdel, no hay razn para demostrar
desde s mismo la axiomatizacin de un sistema,
las matemticas -recordemos, fundamento lgico
de la veracidad de las proposiciones cientficas-
han de abandonar su pretensin de absoluta
certeza.
El Teorema de Gdel en realidad son dos teoremas propuestos por Kurt
Gdel. El primer teorema de Gdel establece que cualquier teora
matemtica coherente T que incluya los nmeros naturales 0, 1, 2... es
incompleta: T contiene proposiciones S tales que ni S ni su negacin (no
S) son demostrables en T. El segundo teorema de Gdel afirma que tal
teora T no puede contener la demostracin de su propia coherencia
(ausencia de contradicciones); la coherencia se puede demostrar en otra
teora mayor T, pero para demostrar que T es coherente se necesita otra
teora extendida T, lo que da lugar a una secuencia infinita de teoras.

La conexin entre lgica y realidad, una

constante en el pensamiento de Russell, se haca
explcita definitivamente en la potencia filosfica
de dos teoras fundamentales en la filosofa de
Russell: el realismo matemtico y el atomismo
lgico, respectivamente.
45

Del realismo matemtico al

atomismo lgico: Russell y
Wittgenstein

En 1911 Russell tiene por alumno en

Cambridge al brillante joven austraco Ludwig
Wittgenstein, quien demuestra entender
perfectamente los Principia Mathematica de
Russell y se obstina en refundar la lgica
acudiendo a lo ms esencial de la misma y Russell
lo invita a que lime los argumentos expuestos en
esa obra suya, los Principia Mathematica. Pero
entre ellos reinaba todava un abismo terico que
los separaba: Russell defenda la existencia de una
realidad objetiva de naturaleza matemtica;
Russell defenda la tesis del llamado realismo
matemtico. Podemos resumir esta tesis en los
siguientes principios:
1. Nivel ontolgico:
1. Los nmeros constituyen la estructura real
del universo (pitagorismo y Frege en
Russell)
46

2. Nominalismo:
1. Conocer es nombrar o designar
2. Los hechos se establecen en
proposiciones
3. Slo hay hechos atmicos o singulares
(el universal no existe fuera de alma,
que dira Ockham)
4. Las proposiciones pueden ser atmicas
y moleculares
3. Atomismo lgico:
1. Isomorfismo realidad-lenguaje
1. La realidad se compone de partculas
(tomos) independientes
2. Esos tomos son referidos en el
lenguaje proposicional
1. Nivel epistemolgico
1. El Conocimiento se compone de lgica y
experiencia
2. La matemtica puede y debe explicar
tanto el mundo matemtico o lgico como
el de la experiencia o emprico
3. Giro lingstico de la filosofa: la tarea de
la filosofa es aclarar el lenguaje lgico,
determinar su uso correcto.
47

2. Nivel metodolgico
1. Mtodo de anlisis del lenguaje lgico
para sealar los elementos individuales de
que se compone toda realidad significativa
o proposicin con sentido

El realismo matemtico de Russell era una

apuesta de superacin tanto del idealismo como
del empirismo. Superacin del empirismo porque
el fundamento del conocimiento -al contrario de
lo que opina esta corriente filosfica- no se puede
reducir simplemente a la experiencia: hay algo
ms que la experiencia o conocimiento emprico;
tenemos la lgica. Superacin del idealismo
porque esta teora filosfica se obstinaba en
afirmar la tesis de que no es posible conocer una
cosa sin conocer el todo; de ah que, en palabras
de Hegel, lo verdadero es el todo.

Por su parte, Wittgenstein compartira con

Russell algunos de los principios del logicismo,
que haban de ser expuestos sistemtica y
singularmente en una obra que, a la postre,
revolucionara la filosofa en el siglo XX:
Tractatus logico-philosophicus.
48

LOGICISMO
Cabe entender por logicismo aquella filosofa de la matemtica que considera a
sta enteramente reducible a la lgica.
La tesis logicista afirma que:
1. Todos los conceptos matemticos son definibles a partir de conceptos puramente
lgicos.
2. Todos los teoremas matemticos son deducibles a partir de principios lgicos.
Este programa logicista fue llevado a cabo por Russell, junto con su amigo A.
Whitehead, en la obra que ambos escribieron juntos: "Principia Mathematica".
Pero, en cierto modo, las afirmaciones de Gdel sobre la incompletud, que
sostienen la imposibilidad de formalizar completamente la aritmtica en un
sistema coherente de axiomas y principios lgicos, arruinaba el proyecto logicista
de Russell, porque demostraba la imposibilidad de reducir la matemtica a pura
lgica.

En esta obra, Wittgenstein apostaba por la tesis

del atomismo lgico: la isomorfa entre lenguaje y
realidad, la clarificacin del lenguaje lgico como
tarea exclusiva de la filosofa. Y aada su teora
figurativa del significado: el lenguaje es una
imagen de la realidad, las proposiciones son
modelos lgicos de los hechos representados por
el pensamiento, as que el mundo es modelado por
el lenguaje; lo que una proposicin hace es
construir una figura de la realidad; la realidad se
refleja lgicamente en el lenguaje, se representa
figurativamente en el lenguaje, porque esas
figuras proposicionales de la realidad son figuras
lgicas. Por tanto, segn Wittgenstein la lgica es
la forma misma del lenguaje.
49

La teora de las descripciones

El realismo matemtico nos ha conducido

hasta la idea de que cabe fundamentar la
matemtica -la cual a su vez era ya fundamento
para el resto de las ciencias gracias a su capacidad
de certeza y de demostracin, adems de
prediccin; matemtica que el propio Descartes
haba tomado como base segura de su propio
mtodo filosfico: la "duda metdica"- en la
lgica y el atomismo lgico ha hecho
precisamente hincapi en que la lgica es el
lenguaje del mundo, en la medida en que los
hechos, que son los que componen el mundo a la
manera de sus tomos, son referidos o figurados
en las proposiciones lgicas.
Pero, en el lenguaje comn o lenguaje
ordinario, es decir, sumidos en eso que llamaba
Hume "las cuestiones de hecho", es posible y
bastante comn sustituir un nombre propio por
una descripcin, porque, segn Frege, el
significado de un nombre es aquello a lo que se
refiere. Por ejemplo, tanto vale decir 'Robert

Hume distingua entre relaciones de ideas y cuestiones de hecho:

aquellas admitan demostracin y, por tanto, no pueden
albergar contradiccin entre sus enunciados, que sern
tautolgicos; en cambio, estas ltimas, las cuestiones de
hecho slo admiten prueba y por tanto pueden contener
enunciados contradictorios entre s.
50

Musil' como 'el autor de la novela: El hombre sin

atributos'.
Ahora bien, Russell advierte de un problema:
qu ocurre con aquellas proposiciones que
describen algo inexistente?, es decir, qu hacer o
cmo considerar una proposicin que sea el
enunciado de una descripcin referida a una
entidad inexistente?. Por ejemplo: el actual rey
de Francia es calvo . Estamos ante una
proposicin falsa o simplemente carente de
sentido? Cabe reducir la verdad o falsedad de un
enunciado a su significado?.
Para entender esto correctamente Russell
propona, en primer lugar, distinguir en el
conocimiento de objetos dos tipos de
conocimiento: el conocimiento directo y el
conocimiento por descripcin (vase: Apndice II
- texto 3) y, en segundo lugar, descomponer todo
lo posible los enunciados. As, el enunciado
anterior constara de, al menos, tres descripciones:
a) para algn X, X es el actual rey de Francia
b) para todo Y, si Y es rey de Francia, entonces Y es
igual a X, o bien, ninguna otra cosa excepto X es un actual rey
de Francia
c) X es calvo

De esta forma, fcilmente se podr observar

dnde reside la falsedad del enunciado. As pues,
51

el enunciado 'el actual rey de Francia es calvo' es

falso porque su primera descripcin es falsa
(Francia es una repblica y, por tanto, no hay rey).
En definitiva, como ya dira Frege, el valor de
verdad del todo depende del valor de verdad de
cada una de las partes.
Pero, todava existe otro problema, el problema
de la paradoja: si es falso que el actual rey de
Francia es calvo , entonces su contraria ha de ser
verdadera; es decir, habr de ser verdadero que
el actual rey de Francia no es calvo . Y, sin
embargo, esta segunda proposicin tambin es
falsa.
Para solucionar esta aparente paradoja, debemos
tener en cuenta, como hace Russell, que una
oracin contiene:
1. una afirmacin de existencia
2. una afirmacin de unicidad
3. el predicado o la referencia del nombre que es sujeto
gramatical, en trminos fregeanos: la funcin.

Si las tres descripciones son verdaderas,

entonces la oracin tambin lo es. Pero, si la
descripcin que hace referencia al objeto existente
en realidad est haciendo referencia a un objeto
que no existe o si tal objeto no es nico, entonces
de esa oracin no se dice que sea verdadera ni
falsa, sino slo carente de sentido. Y esto es lo que
52

sucede, segn Russell, con las proposiciones de la

metafsica.
53

La crtica de Russell al idealismo

En los aos en los que Russell estudiaba en
Cambridge, a finales del siglo XIX, el idealismo
era la corriente filosfica ms influyente en
Alemania, por supuesto, ya que este pas era su
cuna, y en Inglaterra, aqu de la mano del filsofo
Bradley.
El idealismo de Hegel afirmaba que el todo
es lo verdadero, que una cosa no cobra sentido y
no resulta cognoscible sin presentarla imbricada
formando parte del Sistema, de la Totalidad, y que
ese Todo es Espritu, Conciencia. La razn estara
llamada a conocer la experiencia de esa
conciencia constituyendo el Saber Absoluto, el
Sistema de la Ciencia: la Lgica.
Russell haba, por supuesto, ledo a Hegel,
especialmente su Ciencia de la Lgica, pero
consideraba que lo que all se deca sobre las
matemticas era un completo sinsentido y que, en
general, el sistema hegeliano era, como deca
Moore, "inaplicable a las mesas y las sillas", es
decir, inaplicable a la realidad, incapaz de
describir los hechos, incapacitado para referir
lgicamente la estructura del mundo.
54

Pero, Cul era la causa de este fracaso del

idealismo? Su propia consideracin de lo real.
Para el idealismo todo cuanto existe, lo real, es
contenido mental. Pero, Cmo era posible que
incluso la materia fuera reducida a contenido de la
mente? El idealismo caa en este reduccionismo
absurdo porque era incapaz de comenzar por las
cosas y parta de las condiciones que deben
cumplir las cosas para ser conocidas por la mente
o espritu. As, como indicaba Berkeley, ser es ser
percibido, las cosas no son ms que ideas, lo real
no es independiente de mi mente. Los
argumentos del idealismo caan una y otra vez,
segn Russell, en el mismo error: confundir la
cosa con la actividad de comprensin de la cosa,
presuponer que por el hecho de poder ser
conocidos por un espritu o mente los objetos
eran, en ltimo trmino, contenidos de esa mente,
ya que una cosa cualquiera no puede ser conocida
sin estar ante un espritu.
Para superar el idealismo bastara, en
principio, con distinguir entre la cosa y la cosa
como objeto de percepcin o conocimiento por un
sujeto, es decir, bastara con ser un poco realista y
no negarse, pues, a reconocer la independencia de
los objetos respecto de la mente. Y esta simple
medida cautelar es la que propone Russell para
superar el idealismo.
55

No obstante, el propio Russell se percata de

que el idealismo puede seguir latente en el caso
del conocimiento de verdades, porque adems de
cosas y el conocimiento que tenemos de ellas
hemos de contar con el problema de la verdad: es
verdad que hay cosas que llamamos hombres, son
verdaderos algunos de los enunciados con los que
referimos propiedades de esas cosas llamadas
hombres, pero en qu medida se puede hablar
con verdad del universal "hombre"? Se puede
decir que este hombre es alto, pero tambin se
puede afirmar que el hombre es un animal. Acaso
los universales o ideas abstractas no pueden ser
conocidas? Russell admite que s, que no todo lo
que es conocido o puede ser conocido ha de ser
estrictamente un ser particular; es posible hablar
con verdad de los conceptos, de esas ideas o
universales. Pero el conocimiento que podemos
tener de los mismos no puede ser directo, sino que
se tratar de un conocimiento por referencia o
descripcin.
56

Apndice I
PROPUESTA DE LECTURA Y COMENTARIO DE TEXTO:
Bertrand Russell: "Los problemas de la filosofa", CAP XV

En este texto de 1912, Russell expresa con sencillez su

concepcin de la filosofa (especialmente en los captulos
14 y 15): el alcance, valor y tarea de la filosofa, as como
su crtica al idealismo (captulo 4) sealando las
limitaciones y paradojas que lo envuelven. Tambin, en
esta obra, Russell aclara el significado del concepto de
realidad y materia: este ltimo precisando su naturaleza y
existencia (captulos 2 y 3) y aquel primero superando
tanto las teoras que confunden apariencia y realidad como
las que establecen entre esos trminos un irreducible
dualismo (captulo 1). Por ltimo hay que tener en cuenta
que en esta obra Russell coloca en el centro de su reflexin
el problema del conocimiento, distinguiendo entre
conocimiento directo y conocimiento por referencia
(captulo 5), mostrando de qu manera es posible un
conocimiento de los principios generales (captulos 7 y 8)
y de los "universales" (captulos 9 y 10), analizando
crticamente la induccin y el conocimiento intuitivo
(captulos 6, 7 y 11), para desembocar en la presentacin
de su teora de la verdad esclareciendo qu entendemos
por verdad y falsedad (captulo 12) y de qu manera
57

podemos relacionar y distinguir entre verdad, opinin y

creencia (captulo 13).
Nuestro objetivo aqu es comentar someramente solo
el captulo 15 a modo de presentacin del mismo e
invitacin a su lectura.
Dicho captulo se inicia con la advertencia de cmo el
mundo de la ciencia, por un lado, y el de los negocios
prcticos o vida cotidiana, coinciden sospechosamente a la
hora de juzgar a la filosofa, pues desde ambas
perspectivas la filosofa es considerada intil, inocente y
superflua.
Ante este severo y equivocado juicio lanzado sobre la
filosofa desde la ciencia y el mbito de la vida cotidiana,
Russell se pregunta por qu es considerada de ese modo.
Y, segn Russell, tal dislate se produce porque no se ha
comprendido la finalidad de la vida ni mucho menos se ha
comprendido la funcin de la filosofa.
En opinin de Russell la funcin ltima de la filosofa
es de carcter crtico, pues consiste en liberarnos de
nuestros prejuicios (y un serio prejuicio es el
antifilosfico) proporcionando bienes al espritu, es decir,
alimentndolo, pues de lo contrario el hombre quedar
prisionero:
"El hombre que no tiene ningn barniz de filosofa, va por
la vida prisionero de los prejuicios que derivan del sentido
comn, de las creencias habituales en su tiempo y en su pas y
de los que se han desarrollado en su espritu sin la cooperacin
ni el consentimiento de su razn.
58

Este primer acercamiento al problema de la filosofa

evidenciando su funcin frente a quienes la tratan de intil
e inocente, acerca a Russell a los planteamientos de
Descartes y Kant, quienes respectivamente dotaban a la
filosofa de un carcter netamente antidogmtico y
emancipatorio haciendo de la filosofa el uso crtico de la
razn. Si, segn Descartes, la filosofa es el ejercicio
racional de la duda y tal empresa nos hace libres y sabios,
en opinin de Kant esa liberacin, esa emancipacin
("mayora de edad", le gustaba decir al filsofo prusiano)
supone nuestra ilustracin.
Pero en el texto que estamos analizando Russell no se
conforma en coincidir con tan grandes filsofos ni en tratar
a la filosofa como mera actividad. Para Russell la filosofa
es sobre todo conocimiento. Ahora bien, conocimiento de
qu y conocimiento cmo.
Desde un punto de vista terico, la filosofa se lanza a
conocer la unidad y el sistema del cuerpo de las ciencias y,
desde un punto de vista prctico, la filosofa se preocupa
por conocer el fundamento de nuestras convicciones,
opiniones y creencias.
Este doble mbito del conocimiento filosfico (del que
tambin hablara Kant cuando se refera al doble uso de la
razn: el uso terico, centrado en el conocimiento de
nuestro conocimiento cientfico de la naturaleza, y el uso
prctico, versado en el conocimiento de nuestras acciones
y principios morales) surge porque, como dice Russell, la
contemplacin (Russell llama as al saber filosfico,
rescatando en cierto modo la denominacin ya otorgada
59

por Aristteles cuando se refera al grado mas alto de las

ciencias: el saber terico o contemplativo) no slo amplia
los objetos de nuestro pensamiento, sino tambin los
objetos de nuestras acciones y afecciones.
Tanto el conocimiento terico como el prctico exigen
un mismo tratamiento, suponen un idntico proceder: la
crtica, la interrogacin permanente, la puesta en cuestin,
la duda, la liberacin de los prejuicios. Este es el sencillo
pero potente mtodo de la filosofa, esta es la manera que
ella tiene de llevar a cabo su labor de conocimiento. Y, de
esta manera, la filosofa consigue ampliar el conocimiento
en general y de hacerlo ms slido.
Se puede argir que esto tambin lo lleva a cabo la
ciencia, pero, como dice Russell (de manera muy similar a
nuestro Ortega y Gasset), la ciencia es un conocimiento
completo, preciso, pero de partes, y que nos colma de
certidumbres sobre las mismas, sin embargo la filosofa es
acaso un conocimiento ms impreciso e incompleto, pero
nos proporciona al menos una visin del todo y nos avisa
continuamente de la incertidumbre de nuestras
certidumbres. De esta forma, para Russell, como para
Ortega y Gasset, la filosofa es un saber general
preocupado por ofrecer una visin de las cosas todas en su
conjunto, es decir, un conocimiento de naturaleza
universal.
Pero, adems de su universalidad, el conocimiento
filosfico presenta otro par de notas distintivas: su
abstraccin y su imparcialidad. Para mantener esta ltima,
el saber filosfico tiene que renunciar a puntos de partida
60

subjetivistas; as, la filosofa -al contrario de lo que

opinaba Descartes- ya no puede partir del yo, sino del no-
yo, porque la contemplacin filosfica no intenta probar
que el resto del universo sea afn al hombre [] sino que
el yo se adapta a los caracteres que halla en los objetos,
escribe Russell en el captulo XV de Los problemas de la
filosofa. Y esta posicin antiantropocntrica nos hace
participar del infinito del universo, nos convierte, dice
Russell, en "ciudadanos del universo".
Russell finaliza este texto que venimos comentando
aludiendo a la necesidad de mantener viva la llama de la
filosofa. La filosofa, piensa Russell, debe ser estudiada,
no por las respuestas concretas a los problemas que
plantea sino ms bien por el valor de los problemas
mismos que toma en consideracin, siendo sus tareas
bsicas:
Presentar los objetos familiares en un aspecto no
familiar, mostrndonos as posibilidades insospechadas.
Plantear los problemas que son cotidianos, vitales, de
una manera amplia, antidogmtica, crtica, racional,
liberadora.
Ensanchar los lmites del yo para albergar toda la
grandeza del alma. Una grandeza que coincide con la
vida racional, esto es, con la capacidad para realizar
racionalmente los problemas vitales. Esta grandeza del
alma no tiene cabida en la vida del "hombre instintivo",
es decir, de aquel que vive preso de los prejuicios de su
tiempo y de los suyos propios, de aquel que vive
refugiado en los asuntos e intereses privados. Por eso,
61

afirma Russell, la filosofa es la superacin del hombre

instintivo:
"La vida del hombre instintivo se halla encerrada en el crculo
de sus intereses privados: la familia y los amigos pueden
incluirse en ella, pero el resto del mundo no entra en
consideracin, salvo en lo que puede ayudar o entorpecer lo
que forma parte del crculo de los deseos instintivos. Esta vida
tiene algo de febril y limitada. En comparacin con ella, la vida
del filsofo es serena y libre. El mundo privado, de los intereses
instintivos, es pequeo en medio de un mundo grande y
poderoso que debe, tarde o temprano, arruinar nuestro mundo
peculiar. Salvo si ensanchamos de tal modo nuestros intereses
que incluyamos en ellos el mundo entero, permanecemos como
una guarnicin en una fortaleza sitiada, sabiendo que el
enemigo nos impide escapar y que la rendicin final es
inevitable. Este gnero de vida no conoce la paz, sino una
constante guerra entre la insistencia del deseo y la importancia
del querer. Si nuestra vida ha de ser grande y libre, debemos
escapar, de uno u otro modo, a esta prisin y a esta guerra.
62
Apndice II
TEXTO 1
Resultaba que, de premisas
que todos los lgicos, no
importa de qu escuela,
haban aceptado siempre,
desde los tiempos de
Aristteles, podan deducirse
contradicciones,
demostrndose con ello que
algo estaba fuera de lugar,
pero sin hacer indicacin de
cmo podan enderezarse las
cosas. Fue el descubrimiento
de una de tales
contradicciones lo que puso
fin, en la primavera de 1901, a
la luna de miel lgica que
haba venido disfrutando.
Comuniqu la desgracia a
Whitehead, que no pudo
consolarme citando nunca de
nuevo una maana alegre y
confiada.
Llegu a esta contradiccin al
considerar la prueba de
Cantor de que no existe un
nmero cardinal mayor que
todos. Yo pensaba, en mi
inocencia, que el nmero de
todas las cosas que existen en
el universo debe ser el nmero
ms grande posible, y apliqu
su prueba a este nmero para
ver qu ocurra. Esta
operacin me llev a
considerar una clase muy
peculiar. Pensando dentro de
la lnea que hasta entonces
haba parecido adecuada, me
pareca que una clase es a
veces, y a veces no es,
miembro de s misma. La
clase de las cucharillas, por
ejemplo, no es otra cucharilla,
pero la clase de las cosas que
no son cucharillas s que es
una de las cosas que no son
cucharillas. Pareca haber
ejemplos que no eran
63

negativos; por ejemplo, la microscopio lgico, pero no

clase de todas las clases es pude descubrir nada
una clase. La aplicacin del incorrecto. Escrib a Frege
argumento de Cantor me llev acerca de ello, y me replic
a considerar las clases que no que la aritmtica se
son miembros de s mismas; y tambaleaba y que ahora vea
stas, al parecer, deben formar que su ley V era falsa. Frege
una clase. Me pregunt si esta qued tan desasosegado por
clase es un miembro de s esta contradiccin que dio de
misma o no. Si es un miembro lado el intento de deducir la
de s misma, debe poseer la aritmtica de la lgica, al cual,
propiedad definitoria de la hasta entonces, haba
clase, que es no ser miembro dedicado principalmente su
de s misma. Si no es vida. Como los pitagricos
miembro de s misma, no cuando tropezaron con los
debe poseer la propiedad inconmensurables, busc
definitoria de la clase y por refugio en la geometra y al
tanto debe ser miembro de s parecer consider que el
misma. As, cada alternativa trabajo de su vida hasta aquel
conduce a la contraria, y hay momento haba estado mal
una contradiccin. orientado. Por mi parte, me di
cuenta de que la dificultad
Al principio pens que deba resida en la lgica ms que
de haber algn error trivial en en las matemticas, y era la
mi razonamiento. Examin lgica lo que haba de
c a d a p a s o b a j o u n reformarse.
______________________________________________

Russell, Bertrand: La evolucin de mi pensamiento filosfico,

Alianza, Madrid 1982, 2 ed., p. 76-78.
64
TEXTO 2
La palabra conocer se usa
en dos sentidos diferentes: 1
En la primera acepcin es
aplicable a la clase de
conocimiento que se opone al
error, en cuyo sentido es
verdad lo que conocemos. As
se aplica a nuestras creencias
y convicciones, es decir, a lo
que denominamos juicios. En
este sentido de la palabra
sabemos que algo es el caso.
Esta clase de conocimiento
puede ser denominada
conocimiento de verdades. 2
En la segunda acepcin de la
palabra conocer, se aplica
al conocimiento de las cosas,
que podemos denominar
conocimiento directo. En este
sentido conocemos los datos
de los sentidos. (Esta
distincin corresponde
aproximadamente a la que
existe entre savoir y connaitre
en francs, o entre wissen y
kennen en alemn).
As la proposicin que pareca
un axioma, una vez
restablecida, se convierte en
la siguiente: No podemos
enunciar un juicio verdadero
sobre la existencia de algo si
no lo conocemos
directamente. Lo cual no es
en modo alguno un axioma,
sino, al contrario, una
palpable falsedad. No tengo
el honor de conocer
directamente al emperador de
China, pero juzgo, con razn,
que existe. Se puede decir,
naturalmente, que lo juzgo as
porque otros lo han conocido
directamente. Pero sera una
observacin irrelevante,
porque si el principio fuese
verdadero, no podra saber
que otros tienen un
conocimiento directo de l. Es
ms: no hay razn alguna
para que no conozca la
existencia de algo que nadie
haya conocido de un modo
directo. Este punto es
importante y exige una
explicacin.
Si conozco directamente que
algo existe, este conocimiento
directo me proporciona el
conocimiento de que algo
existe. Pero no es verdad,
recprocamente, que para que
pueda saber que algo
determinado existe, yo o
alguien deba haber conocido
directamente la cosa. Lo que
ocurre, cuando enuncio un
65

j u i c i o v e r d a d e r o s i n principio general, la existencia

conocimiento directo, es que de la cosa correspondiente a
la cosa me es conocida por esta descripcin puede ser
descripcin o referencia inferida de algo que conozco
[conocimiento proposicional], directamente.
y que, en virtud de algn
__________________________________________________

Russell, Bertrand: Los problemas de la filosofa, Labor,

Barcelona 1978, 5 ed., p. 43-45.

TEXTO 3

Empezamos por distinguir dos propiedad o propiedades de

clases de conocimientos de
objetos, a saber,
conocimiento directo y
conocimiento por descripcin.
De stos slo el primero lleva
el propio objeto ante la mente.
Te n e m o s c o n o c i m i e n t o
directo de datos sensibles, de
muchos universales y
posiblemente de nosotros
mismos, pero no de objetos
fsicos o de otras mentes.
Te n e m o s c o n o c i m i e n t o
descriptivo de un objeto
cuando sabemos que es el
objeto que tiene alguna
las que tenemos
conocimiento directo; es decir,
cuando sabemos que la
propiedad o propiedades en
cuestin pertenecen a un
objeto y a ninguno ms, se
nos dice que tenemos
conocimiento de este objeto
nico por descripcin, tanto si
tenemos conocimiento directo
del objeto como si no.
Nuestro conocimiento de
objetos fsicos y de otras
mentes es slo conocimiento
por descripcin, estando
implicadas las descripciones
66

normalmente como datos enteramente formadas por

s e n s i b l e s . T o d a s l a s componentes de los que
proposiciones inteligibles para t e n e m o s c o n o c i m i e n t o
nosotros, tanto si se refieren directo, pues un componente
originariamente, como si no, a d e l q u e n o t e n e m o s
cosas que slo conocemos c o n o c i m i e n t o d i r e c t o e s
p o r d e s c r i p c i n , e s t n ininteligible para nosotros.
______________________________________________

Russell, Bertrand: Misticismo y lgica, Edhasa, Barcelona,

1987, p. 228-229.
67

Apndice III
Si, como recuerda Ortega, el filsofo es el hombre
de los principios, Leibniz es el filsofo de los principios
por excelencia, ya que es el filsofo que mayor nmero de
principios explicita en su discurso e introduce en su
reflexin y, no obstante, se quejar Ortega, parece que no
respeta los principios, pues parece jugar con ellos y
adems exige probarlos, cuando si algo caracteriza a un
principio es su innecesaria y acaso imposible- prueba;
por otra parte, a pesar de utilizar una larga serie de
principios, Leibniz nunca se ocup de ordenarlos y
jerarquizarlos.
Precisamente sobre el principialismo de Leibniz
resulta estimulante la lectura de este texto de Ortega:

Formal o informalmente, el conocimiento es siempre

contemplacin de algo a travs de un principio. En la ciencia
esto se formaliza y se convierte en mtodo o procedimiento
deliberado: los datos del problema son referidos a un principio
que los explica. En filosofa esto se lleva al extremo, y no
solo se procura (explicar) las cosas desde sus principios, sino
que se exige de estos principios que sean ltimos, esto es, en
sentido radical (principios). El hecho de que a estos principios
radicales, a estos (principsimos), acostumbremos llamarlos
(ltimos), revela que en el estado habitual de nuestra vida
cognoscente nos movemos dentro de una zona intermedia que
no es el puro empirismo o ausencia de principios, pero tampoco
es estar en los principios radicales, sino que estos nos aparecen
remotos, situados en el extremo del horizonte mental, como
algo a que hay que llegar y junto a lo cual an no se est. Otras
68

veces -inversamente- los llamamos (primeros) principios.

Obsrvese que al decirlo o pensarlo hacemos con la cabeza un
ligero movimiento, o un conato de l, hacia lo alto. Y es que, en
efecto, al llamarlos primeros, y no ltimos, tampoco los
aproximamos a nosotros, sino que tambin los alejamos, solo
que ahora en direccin vertical. En efecto: localizamos los
principios en lo ms alto: en el cielo, y de l, en el cnit. Es un
residuo de nuestra tradicin indoeuropea y semtica (hebreos),
pueblos de religin sideral y fulgural para quienes los dioses se
epifanizan en los astros y los meteoros. Siempre igual, los
vemos a mxima distancia. Aparecen, pues, como una necesidad
y como una aspiracin. Los dems conocimientos se entretienen
en la zona media que se extiende desde el lugar en que estamos
espontnea y primariamente, constituida por hechos vagamente
generalizados, y esa lnea ltima de horizonte donde se ocultan
los principios radicales. La filosofa, que es el radicalismo o
extremismo intelectual, se resuelve a llegar por el camino ms
corto a esa lnea ltima donde los principios ltimos estn, y por
eso no es solo conocimiento desde principios, como los dems,
sino que es formalmente viaje al descubrimiento de los
principios.
De aqu que los filsofos sean titularmente los hombres de los
principios. Por lo mismo es de verdad sorprendente que entre
ellos Leibniz nos aparezca destacando en un sentido especial y
por excelencia como el hombre de los principios. Los
motivos que nos hacen ver a Leibniz con esa peculiar fisonoma
son los siguientes: Primero, es el filsofo que ha empleado
mayor nmero de principios sensu stricto, es decir,
mximamente generales. Segundo, es el filsofo que ha
introducido en la teora filosfica mayor nmero de principios
nuevos. Tercero, le vemos en sus escritos aducir constantemente
uno u otro de esos principios, y as al leer no nos contentamos
con entender lo que dice, sino que prestamos atencin a cmo lo
dice, por tanto, si estudiamos su decir estilsticamente, que es un
conocimiento fisiognmico, no nos puede pasar inadvertida la
fruicin y como voluptuosidad con que desde el fondo del
prrafo hace salir el principio, lo ostenta, lo blande, hacindolo
refulgir como un estoque y dirigiendo l mismo a sus infinitos
69

reflejos una mirada de enorme delicia, como aquella que se le

escap a Aquiles, disfrazado de mujer, cuando Ulises,
disfrazado de mercader, sac del arca una espada. Cuarto,
porque, como veremos, el conocimiento depende de los
principios, para Leibniz, en un sentido ms grave -y ms
paradjico- de cuanto antes de l se haba supuesto.
Hagmonos presentes en una lista los principios de Leibniz:
1. El principio de los principios.
2. Principio de identidad.
3. Principio de contradiccin.
4. Principio de la razn suficiente.
5. Principio de la uniformidad o principio de Arlequn.
6. Principio de la identidad de los indiscernibles o
principio de la diferenciacin.
7. Principio de continuidad.
8. Principio de lo mejor o de la conveniencia. l
9. Principio del equilibrio o ley de justicia (principio I
de simetra en la actual matemtica).
10. Principio del mnimo esfuerzo o de las formas
ptimas.

Si se exceptan los principios segundo y tercero, todos los

dems de esta lista han sido instaurados originalmente por
Leibniz, lo cual no quiere decir que no tengan en el pasado
filosfico su prehistoria. Todas las cosas humanas, al ser
histricas, tienen su prehistoria.
Al conjunto de los hechos anteriores podemos llamar el
principialismo de Leibniz. Pero ahora es cuando el caso
comienza a complicarse. Porque a ese conjunto de hechos
tenemos que oponer estas contrapartidas. Primera: Leibniz suele
encontrar para enunciar sus principios frmulas llenas de gracia,
de eficacia verbal; pero el hecho de que emplee diversas para un
mismo principio, y que casi nunca los trminos sean rigorosos,
cuando en el resto de sus conceptos lo es en tan alto grado,
produce en el estudioso de su obra una inquietud peculiarsima,
cuya primera -y claro est, informal, pero sincera expresin
sera esta: Leibniz juega con los principios, los quiere pero no
los respeta. Segunda: siendo para Leibniz lo constitutivo del
70

conocimiento el orden en los pensamientos, no se ocup nunca

en serio de ordenar el convoluto de sus principios
jerarquizndolos, subordinndolos, coordinndolos. Merced a
esto flotan en altitudes indeterminadas del sistema terico, y no
aparece nunca claro su rango relativo, cosa tan decisiva para un
principio como tal. Tercera, y de mayor sustancia: Leibniz
insiste una y otra vez en que es conveniente y es preciso probar
o intentar probar los principios. Ahora bien, sola entenderse por
principio lo que ni puede ni necesita ser probado, sino que es
precisamente lo que hace posible bajo s toda prueba. No
significa todo esto que Leibniz desdeaba los principios y que
h a s i d o , e n t r e t o d o s l o s fi l s o f o s , e l m e n o s
principialista? (ORTEGA Y GASSET, Jos: La idea de
principio en Leibniz y la evolucin de la teora deductiva; 1. El
principialismo de Leibniz).
71

BIBLIOGRAFA UTILIZADA

Apostolos Doxiadis y Christos H. Papadimitriou: Logicomix: una

bsqueda pica de la verdad; ilustraciones Alecos Papadatos,
editorial Sinsentido, Madrid, 2011
Cryan, Dan (et al.): Lgica para todos; editorial Paidos, Barcelona,
2005.
Deao, Alfredo: Introduccin a la lgica formal; Alianza editorial,
Madrid,1996.
Russell, Bertrand: Los principios de la matemtica; traduccin de
Jos Barrio Gutirrez ; prlogo de Jess Mostern,
editorial Crculo de Lectores, 1995
Los problemas de la filosofa; ed. Labor, 1991
La evolucin de mi pensamiento filosfico, Alianza,
Madrid, 1982,