El principio de eliminación de citas es un principio filosófico que sostiene que un hablante racional aceptará " p " si y sólo si cree en p . Las comillas indican que el enunciado p se trata como una oración y no como una proposición . Este principio está presupuesto por afirmaciones que sostienen que la sustitución falla en ciertos contextos intensionales .
Considere el siguiente argumento:
Para derivar (3), tenemos que suponer que cuando Sally acepta que "Cicerón era un orador famoso", cree que Cicerón era un orador famoso. Entonces podemos intercambiar a Cicerón por Tulio y derivar (3). Bertrand Russell pensó que esto demostraba el fracaso de la sustitutividad de idénticos en contextos intensionales .
En "A Puzzle about Belief", [1] Saul Kripke sostiene que la aplicación del teorema de las citas puede generar una paradoja por sí sola, sin apelar al principio de sustitución, y que esto puede mostrar que el problema reside en el primero, y no lo último. Hay varias formulaciones de este argumento.
Supongamos que Pierre, un francés, llega a creer que (1) " Londres est jolie " (Londres es bonito), sin haber visitado nunca la ciudad. Más adelante en la vida, Pierre termina viviendo en Londres. Allí no encuentra hablantes de francés (aún no habla inglés) y todos se refieren a la ciudad como "Londres", no Londres . Esta ciudad le resulta decididamente poco atractiva, ya que el barrio en el que decide vivir tampoco lo es. Con el tiempo, aprende inglés y formula la creencia de que (2) " Londres no es bonita ". Pierre nunca se da cuenta de que Londres es la palabra inglesa para Londres . Ahora bien, con el principio de descomillación, podemos deducir de (1) que Pierre cree en la proposición de que Londres est jolie . Con un principio de traducción débil (por ejemplo, "una proposición en la lengua A es la misma que una proposición semánticamente idéntica en la lengua B" [nótese que una proposición no es lo mismo que una oración]), ahora podemos deducir que Pierre cree que Londres es bonito. Pero también podemos deducir de (2) y del principio de eliminación de citas que Pierre cree que Londres no es bonita. Estas deducciones pueden hacerse incluso aunque Pierre no haya cometido errores lógicos al formar sus creencias . Sin el principio de descomillación, esta contradicción no podría derivarse, porque no podríamos asumir que (1) y (2) significaran algo en particular.
Esta paradoja también puede derivarse sin recurrir a otro idioma. Supongamos que Pierre acepta la proposición " Paderewski tenía talento musical", tal vez habiendo oído que este hombre era un pianista famoso. Con el principio de descomillación podemos deducir que Pierre cree en la proposición de que Paderewski tenía talento musical. Supongamos ahora que Pierre escucha a un amigo hablar de las hazañas políticas de cierto estadista, Paderewski, sin saber que los dos Paderewski son el mismo hombre. Los antecedentes de Pierre le dicen que los estadistas generalmente no tienen mucho talento musical, lo que le lleva a creer que Paderewski no tenía talento musical. El principio de descomillación nos permite deducir que Pierre cree en la proposición de que Paderewski no tenía talento musical. Usando este principio, ahora hemos deducido que Pierre cree que Paderewski tenía talento musical, y no cree que Paderewski tuviera talento musical, a pesar de que las creencias de Pierre se formaron lógicamente .