«La aplicación del argumento de Cantor me llevó a considerar las

clases que no son miembros de sí mismas; y estas, al parecer, deben

formar una clase. Me pregunté si esta clase es un miembro de sí
misma o no. Si es un miembro de sí misma, debe poseer la
propiedad definitoria de la clase, que es no ser un miembro de sí
misma. Si no es un miembro de sí misma, no debe poseer la
propiedad definitoria de la clase, y, por tanto, debe ser miembro de
sí misma. Así, cada alternativa conduce a la contraria y hay una
contradicción.»

Bertrand Russell: La evolución de mi pensamiento filosófico.

Editorial Aguilar, págs. 78-79. Madrid, 1964.

TGO

@bocadosdefilosofia

@dies-irae-1

#bertrand russell#russell#la evolución de mi pensamiento

filosófico#paradoja#contradicción#lógica de clases#teoría de
conjuntos#matemáticas#lógica matemática#lógica
simbólica#clase#conjunto#cantor#argumento de cantor #filosofía del lenguaje
teo gómez otero
filosofía analítica
filosofía de la matemática
georg cantor
paradoja de russell
paradoja de cantor
teoría de tipos
lógica de primer orden
familia de conjuntos