Le paradoxe de Quine
Le paradoxe de Quine de est un paradoxe au sujet des valeurs de vérité, attribuées au W. On le lie au paradoxe de menteur de comme problème, et il prétend prouver qu'une phrase peut être paradoxale même si elle individu-ne se réfère pas et n'emploie pas le Demonstratives ou les indexicals . Le paradoxe peut être exprimé comme suit :
“rapporte la fausseté une fois précédé par son quotation&rdquo ; rapporte la fausseté une fois précédé par sa citation.
Si le paradoxe n'est pas clair, considérer chaque partie de la description ci-dessus du paradoxe incrémentalement :
il = rapporte la fausseté une fois précédé par son
de la citation son &ldquo de citation = de ; rapporte la fausseté une fois précédé par son quotation&rdquo ;
de qu'il a précédé par son &ldquo de citation = de ; rapporte la fausseté une fois précédé par son quotation&rdquo ; rapporte la fausseté une fois précédé par sa citation.
Avec ces outils, nous pouvons maintenant reconsidérer la description du paradoxe. Il peut voir pour affirmer ce qui suit : le &ldquo de rapport ; le `de rapporte la fausseté une fois précédé fausseté de rendements de par sa citation' une fois précédé par son quotation&rdquo ; est faux.
En d'autres termes, la phrase implique qu'elle est fausse, qui est paradoxale - pour si elle est fausse, ce qu'elle énonce est en fait vraie. Note, cependant, le type erreur : ce qui est cité par est une corde des mots, tandis que quelle fausseté de rendements de est une proposition.
Motivation
Le paradoxe de menteur de (supposant le " ; Cette phrase est false" ; pour être vrai, ou " ; La prochaine phrase est vraie. La phrase précédente est false" ;) démontre des difficultés essentielles en assignant une valeur de vérité même aux phrases simples. Beaucoup de philosophes, essayant d'expliquer le paradoxe de menteur, ont conclu que le problème était avec le " de mot ; this" ;. Une fois que nous comprenons correctement cette sorte de l'autoréférence , ils ont réclamé, le paradoxe ne surgit plus.La construction de Quine démontre que le paradoxe de cette sorte surgit indépendamment d'une telle autoréférence directe. En fait, il n'y a aucune manière d'éliminer les paradoxes courts d'une paralysie grave de la langue. N'importe quel système, tel que l'anglais, qui contient des entités telles que les mots ou les phrases qui peuvent être employés pour s'appliquer à eux-mêmes, doit contenir ce type de paradoxe.
Application
Dans le Gödel, Escher, Bach : une tresse d'or éternelle , Douglas Hofstadter d'auteur suggère que la phrase de Quine emploie en fait un type indirect d'autoréférence. Il argue du fait alors que l'autoréférence indirecte est cruciale dans les preuves des théorèmes de l'imperfection de Gödel de .
Voir également
Paradoxe de Grelling de Paradoxe de Russell de
.
| Random links: | Barbare | Andrew Mitchell | Le grand club subconscient | Nanganjiyar | Paradoja_de_Quine |