Escolar Documentos
Profissional Documentos
Cultura Documentos
Ejemplo de Russell:
Jorge IV quera saber si Scott es el autor de Waverley
11
Primer rompecabezas
Ejemplo de Russell:
Jorge IV quera saber si Scott es el autor de Waverley
Aplicado el principio de Leibniz sobre ella, resulta:
Jorge IV quera saber si Scott es Scott
Resulta difcil aceptar que el inters de Jorge IV es sobre el
principio de identidad.
12
Segundo rompecabezas
(2)
Por el principio del tercio excluso, debe ser verdadera
o bien 'A es B o bien 'A no es B'.
Por consiguiente, debe ser verdadera o bien el actual rey de
Francia es calvo' o bien 'el actual rey de Francia no es calvo'.
Sin embargo, si hacemos una enumeracin de las cosas que son
calvas y de las que no lo son, no encontraremos al rey de Francia
en ninguna de esas listas.
Quiz los hegelianos, que aman la sntesis, concluirn que usa
peluca.
13
Filosofa del lenguaje - Russell
Carmen Lpez Rincn 2013-14 3
Segundo rompecabezas
O de los trminos singulares vacuos y el tercio excluso
Punto de partida:
Hay trminos singulares que no se refieren a nada
Problema:
Cmo puede ser significativa una oracin que contenga
trminos singulares vacuos?
Ejemplo de Russell:
El actual Rey de Francia es calvo
14
Segundo rompecabezas
Por el principio de tercio excluso, parecera que una de las
dos oraciones siguientes:
El actual Rey de Francia es calvo
C(x) es siempre
verdadera,
es decir, con
independencia de x
Filosofa del lenguaje - Russell
Carmen Lpez Rincn 2013-14 5
Sobre funcin proposicional:
Introduccin a la filosofa matemtica (1919), cap. 15
(anterior a 16. Descripciones):
[] X es humano es una funcin proposicional; no ser
verdadera ni falsa mientras X permanezca indeterminada []
Variable, funcin proposicional
29
verdadera ni falsa mientras X permanezca indeterminada []
Toda ecuacin matemtica es una funcin proposicional. Mientras
no se otorgue un valor definido a las variables, la ecuacin slo
es una expresin que espera la determinacin para convertirse en
una proposicin verdadera o falsa. []
Una funcin proposicional aislada puede considerarse como un
mero esquema, un mero cascarn, un receptculo vaco
preparado para recibir un significado, no algo significativo en s
mismo.
Sobre siempre y a veces, aclaracin:
[] Cuando se dice que una funcin proposicional es verdadera
en todos los casos o siempre (como tambin diremos, sin
ninguna connotacin temporal), con ello se indica que todos sus
valores son verdaderos.
Variable, funcin proposicional
30
Introduccin a la filosofa matemtica, 19 cap. 15
(anterior a 16. Descripciones)
Todo, nada, algo
Entonces todo nada y algo (que son las expresiones
denotativas ms primitivas) se interpretan del siguiente modo:
i. C (todo) significa C(x) es siempre verdadera
ii. C (nada) significa C(x) es falsa es siempre verdadera
iii. C (algo) significa Es falso que "C(x) es falsa sea siempre
31
verdadera'.
Otras formas de expresar iii:
C(x) no siempre es falsa o
C(x) es a veces verdadera
La nocin 'C(x) es siempre verdadera', se toma aqu como ltima
e indefinible, y las otras se definen por medio de ella.
i. C (todo) significa C(x) es siempre verdadera
Todo, nada, algo
x (x)
Cmo lo expresaramos ahora?
x P(x)
32
x (x)
( )
x P(x)
x (P(x) Q(x))
x (P(x) Q(x))
x ((P(x) Q(x)) R(x))