¿Qué es?
No se ha añadido ninguna twiki todavía.
Presupuesto en general, o bien condición que ha de suponerse para que pueda decidirse la verdad o la falsedad de un enunciado. Así, por ejemplo el enunciado «Me voy a la biblioteca de la Facultad de filosofía a estudiar» supone que el enunciado «Existe una facultad de filosofía» es verdadero. Normalmente, suponemos -y así también lo supone la lógica clásica por el principio de bivalencia, o del tercero excluso- que será verdad que existe o no existe una Facultad de filosofía para hacer verdadero, o falso, el primer enunciado.
Pero hay enunciados que no parecen referirse a ningún objeto existente, como por ejemplo las llamadas descripciones definidas, a saber: enunciados tales como el del clásico ejemplo de Russell: «El actual rey de Francia es calvo». Russell sostiene que tal enunciado es falso, puesto que equivale al de: «Hay un y sólo un rey de Francia y él es calvo», mientras que Strawson sostiene que el enunciado «El actual rey de Francia es calvo» presupone el enunciado «Existe un rey de Francia», que es la condición que decide sobre la verdad del primero, pero que, si no existe ningún rey de Francia, entonces el enunciado «El actual rey de Francia es calvo» no es ni verdadero ni falso, aunque tenga sentido, dado que la presuposición lo hace comprensible.
Relaciones geográficas