Diskvoterande princip
Disquotationsprincipen är en filosofisk princip som säger att en rationell talare kommer att acceptera " p " om och endast om han eller hon tror p . Citaten indikerar att påståendet p behandlas som en mening och inte som en proposition . Denna princip förutsätts av påståenden som hävdar att substitution misslyckas i vissa intensionala sammanhang.
Översikt
Tänk på följande argument:
- (1) Sally accepterar påståendet att " Cicero var en berömd talare " medan hon avviker från påståendet att "Tully var en berömd talare ".
- (2) Cicero är Tully
- Därför, (3) Sally tror att Tully var en berömd talare.
För att härleda (3) måste vi anta att när Sally accepterar att "Cicero var en berömd talare", så tror hon att Cicero var en berömd talare. Sedan kan vi byta ut Cicero mot Tully och härleda (3). Bertrand Russell menade att detta visade misslyckandet med substitutivitet hos identiska i intensionala sammanhang.
I "A Puzzle about Belief" hävdar Saul Kripke att tillämpningen av disquotationssatsen kan ge en paradox i sig, utan att appellera till substitutionsprincipen, och att detta kan visa att problemet ligger hos den förra, och inte den senare. . Det finns olika formuleringar av detta argument.
Antag att Pierre, en fransman, kommer att tro att (1) " Londres est jolie " (London är vackert), utan att någonsin ha besökt staden. Senare i livet hamnar Pierre i London. Han hittar inga fransktalande där (han talar inte engelska än), och alla hänvisar till staden som "London", inte Londres . Han tycker att denna stad är avgjort oattraktiv, för området han bestämmer sig för att bo i är avgjort oattraktivt. Med tiden lär han sig engelska och formulerar tron att (2) " London är inte vackert ". Pierre inser aldrig att London är det engelska ordet för Londres . Nu med disquotationsprincipen kan vi dra slutsatsen från (1) att Pierre tror på påståendet att Londres est jolie . Med en svag översättningsprincip (t.ex. "en proposition i språk A är detsamma som en semantiskt identisk proposition i språk B" [observera att en proposition inte är detsamma som en mening]), kan vi nu dra slutsatsen att Pierre tror att London är vackert. Men vi kan också av (2) och diskvoteringsprincipen utläsa att Pierre anser att London inte är vackert. Dessa avdrag kan göras även om Pierre inte har gjort några logiska misstag när han utformade sin tro . Utan disquotationsprincipen skulle denna motsägelse inte kunna härledas, eftersom vi inte skulle kunna anta att (1) och (2) betydde något särskilt.
Denna paradox kan också härledas utan att vädja till ett annat språk. Antag att Pierre samtycker till förslaget " Paderewski hade musikalisk talang", kanske efter att ha hört att denne man var en berömd pianist. Med diskvoteringsprincipen kan vi dra slutsatsen att Pierre tror på påståendet att Paderewski hade musikalisk talang. Anta nu att Pierre hör en vän diskutera en viss statsmans, Paderewskis, politiska bedrifter utan att veta att de två Paderewskierna är samma man. Pierres bakgrund säger honom att statsmän i allmänhet inte är särskilt begåvade inom musik, och detta leder honom till tron att Paderewski inte hade någon musikalisk talang. Diskvoteringsprincipen tillåter oss att dra slutsatsen att Pierre tror på påståendet att Paderewski inte hade någon musikalisk talang. Med hjälp av denna princip har vi nu kommit fram till att Pierre tror att Paderewski hade musikalisk talang och inte tror att Paderewski hade musikalisk talang, även om Pierres övertygelser var logiskt utformade .