Deflationär teori om sanning - Deflationary theory of truth

"Deflationism" omdirigerar här. För den metafysiska positionen, se Metafysisk deflationism .

Inom filosofi och logik är en deflationär teori om sanning (även semantisk deflationism eller helt enkelt deflationism ) en av en familj av teorier som alla har gemensamt påståendet att påståenden om predikat sanning i ett uttalande inte tillskriver en egenskap som kallas "sanning" till ett sådant uttalande.

Redundans teori

Huvudartikel: Redundans teori om sanning

Gottlob Frege var förmodligen den första filosofen eller logikern som noterade att predikat sanning eller existens inte uttrycker något utöver det påstående som det tillskrivs. Han påpekade:

Det är värt att notera att meningen "jag luktar doften av violer" har samma innehåll som meningen "det är sant att jag luktar doften av fioler". Så det verkar som om ingenting läggs till tanken genom att jag tillskriver det sanningens egendom. (Frege, G., 1918. "Thought", i hans logiska undersökningar , Oxford: Blackwell, 1977)

Ändå är det första seriösa försöket att formulera en sanningsteori som försökte systematiskt definiera den sanning som predikatet inte existerar tillskrivet FP Ramsey . Ramsey hävdade, mot tidens rådande strömmar, att det inte bara var nödvändigt att konstruera en sanningsteori på grundval av en tidigare teori om mening (eller mentalt innehåll), men att när en teori om innehåll framgångsrikt hade formulerats, det skulle bli uppenbart att det inte längre fanns något behov av en teori om sanning, eftersom sanningspredikatet skulle visa sig vara överflödigt. Därför kallas hans speciella version av deflationism vanligtvis som redundansteorin . Ramsey noterade att i vanliga sammanhang där vi tillskriver sanning direkt ett förslag, som i "Det är sant att Caesar mördades", verkar predikatet "är sant" inte göra något arbete. "Det är sant att Caesar mördades" betyder bara "Caesar mördades" och "Det är falskt att Caesar mördades" betyder bara att "Caesar inte mördades".

Ramsey insåg att den enkla avlägsnandet av sanning-predikatet från alla uttalanden där det används i vanligt språk inte var vägen att försöka konstruera en omfattande sanningsteori. Ta till exempel meningen Allt som John säger är sant . Detta kan lätt översättas till den formella meningen med variabler som sträcker sig över propositioner För alla P, om John säger P, då är P sant. Men att försöka direkt eliminera "är sant" från denna mening, på standard första ordningens tolkning av kvantifiering i termer av objekt, skulle resultera i den ogrammatiska formuleringen För alla P, om John säger P, då P. Det är ogrammatiskt eftersom P måste i så fall ersättas med namnet på ett objekt och inte ett förslag. Ramseys tillvägagångssätt var att föreslå att meningar som "Han har alltid rätt" kan uttryckas i relation till: "För alla a , R och b , om han hävdar aRb , då aRb ".

Ramsey märkte också att även om hans omskrivningar och definitioner lätt kunde återges med logisk symbolik, var det mer grundläggande problemet att elimineringen av sanningspredikatet i en fras som Allt John säger är sant skulle resultera i något som "Om John säger något, då det ". Ramsey tillskrev detta till en defekt i det naturliga språket, vilket tyder på att sådana meningar som "det" och "vad" behandlades som om de var pronomen. Detta "ger upphov till konstgjorda problem om sanningens natur, som försvinner genast när de uttrycks i logisk symbolik ..." Enligt Ramsey är det bara för att naturliga språk saknar, vad han kallade, pro-meningar (uttryck som står i relation till meningar som pronomen står till substantiv) att sanningspredikatet inte kan definieras bort i alla sammanhang.

AJ Ayer tog Ramseys idé ett steg längre genom att förklara att redundansen av sanningens predikat innebär att det inte finns någon egenskap som sanning.

Det finns meningar ... där ordet "sanning" tycks stå för något verkligt; och detta får den spekulativa filosofen att fråga vad detta "något" är. Naturligtvis misslyckas han med att få ett tillfredsställande svar, eftersom hans fråga är olaglig. För vår analys har visat att ordet "sanning" inte står för någonting, på det sätt som en sådan fråga kräver.

Denna extrema version av deflationismen har ofta kallats försvinnande teorin eller sanningen om ingen sanning och det är lätt att förstå varför, eftersom Ayer här verkar hävda att både predikatet "är sant" är överflödigt (och därför onödigt) och också att det inte finns någon egenskap som sanning att tala om.

Performativ teori

Peter Strawson formulerade en performativ sanningsteori på 1950 -talet. Liksom Ramsey, trodde Strawson att det inte fanns något separat sanningsproblem förutom att bestämma det semantiska innehållet (eller fakta i världen) som ger språkets meningar och meningar de betydelser de har. När frågorna om mening och referens är lösta finns det ingen ytterligare fråga om sanning. Strawsons uppfattning skiljer sig dock från Ramseys genom att Strawson hävdar att det finns en viktig roll för uttrycket "är sant": specifikt har den en performativ roll som "Jag lovar att städa huset". När vi hävdar att p är sant, hävdar vi inte bara att p utan också utför " talhandlingen " för att bekräfta sanningen i ett uttalande i ett sammanhang. Vi signalerar vårt samtycke eller godkännande av ett tidigare uttalat påstående eller bekräftar någon vanligt förekommande tro eller antyder att det vi hävdar sannolikt kommer att accepteras av andra i samma sammanhang.

Tarski och deflationsteorier

Några år innan Strawson utvecklade sin redogörelse för meningarna som inkluderar sanningspredikatet som performativa yttranden, hade Alfred Tarski utvecklat sin så kallade semantiska teori om sanning . Tarskis grundmål var att tillhandahålla en strikt logisk definition av uttrycket "sann mening" inom ett specifikt formspråk och att klargöra de grundläggande förutsättningarna för materiell adekvatitet som skulle behöva uppfyllas av någon definition av sanningspredikatet. Om alla sådana villkor var uppfyllda skulle det vara möjligt att undvika semantiska paradoxer som lögnparadoxen (dvs "Denna mening är falsk.") Tarskis materiella tillfredsställelsevillkor, eller konvention T, är: en definition av sanning för ett objekt språk innebär alla instanser av den sententiella formuläret

(T) S är sant om och bara om P

där S ersätts av ett namn på en mening (på objektspråket ) och P ersätts av en översättning av den meningen i metalspråket. Så, till exempel, " La neve è bianca är sant om och bara om snön är vit" är en mening som överensstämmer med konvention T; objektspråket är italienska och metallspråket är engelska. Predikatet " sant " förekommer inte på objektspråket, så ingen mening i objektspråket kan direkt eller indirekt hävda sanningen eller falskheten i sig själv. Tarski formulerade därmed ett schema med två nivåer som undviker semantiska paradoxer som Russells paradox .

Tarski formulerade sin definition av sanning indirekt genom en rekursiv definition av tillfredsställelse av sententialfunktioner och sedan genom att definiera sanning när det gäller tillfredsställelse. Ett exempel på en sentimental funktion är " x besegrade y i USA: s presidentval 2004"; denna funktion sägs vara tillfredsställt när vi ersätter variablerna x och y med namnen på objekt så att de står i relationen som betecknas med "besegrad i USA: s presidentval 2004" (i det nyss nämnda fallet, ersätter x med "George W. Bush "och y med" John Kerry "skulle uppfylla funktionen, vilket resulterar i en sann mening). I allmänhet uppfyller a 1 , ..., a n ett n - ariskt predikat φ ( x 1 ..., x n ) om och endast om substitution av namnen " a 1 ", ..., " a n "för variablerna φ i den relevanta ordningsutbytet" φ ( a 1 , ..., a n ) "och φ ( a 1 , ..., a n ). Med tanke på en metod för att fastställa tillfredsställelsen (eller inte) för varje atom mening i form A (..., x k , ...), ger de vanliga reglerna för sanningfunktionella anslutningar och kvantifierare en definition för tillfredsställelse villkor för alla meningar i objektspråket. Till exempel, för två meningar A , B , är meningen A  &  B tillfredsställt om och bara om A och B är tillfredsställda (där '&' står för konjunktion ), för varje mening A , ~ A uppfylls om och bara om A inte vara uppfyllda, och för alla öppen utsaga A , där x är gratis i A (x) A är uppfyllt om och endast om för varje substitution av ett objekt i området för x som ger A * A * är nöjd. Huruvida någon komplex mening är tillfredsställt avgörs av dess struktur. En tolkning är en tilldelning av beteckning till alla de icke-logiska termerna i objektspråket. En mening A är sant (under en tolkning I ) om och endast om det är uppfyllt i jag .

Tarski tänkte på sin teori som en art av korrespondanssteori om sanning , inte en deflationsteori.

Disquotationalism

På grundval av Tarskis semantiska uppfattning utvecklade WVO Quine det som så småningom kom att kallas disquotational theory of truth or disquotationalism . Quine tolkade Tarskis teori som i huvudsak deflatorisk. Han accepterade Tarskis behandling av meningar som de enda sanningbärarna. Följaktligen föreslog Quine att sanningspredikatet endast kunde tillämpas på meningar inom enskilda språk. Den grundläggande principen för disquotationalism är att en tillskrivning av sanning till en mening ångrar effekterna av citattecken som har använts för att bilda meningar. I stället för (T) ovan då skulle Quines omformulering vara ungefär följande "Disquotation Schema":

(DS) Meningen "S" är sann om och bara om S.

Disquotationalister kan förklara existensen och användbarheten av sanningspredikatet i sådana generaliseringskontexter som "John tror allt som Maria säger" genom att, med Quine, hävda att vi inte kan avstå från sanningspredikatet i dessa sammanhang eftersom det praktiska uttrycket för sådana generalisering är just sanningspredikatets roll i språket. När det gäller "John tror allt som Maria säger", om vi försöker fånga innehållet i Johns tro, skulle vi behöva bilda en oändlig konjunktion som följande:

Om Mary säger att citroner är gula är citroner gula och om Mary säger att citroner är gröna är citroner gröna och ...

Disquotationsschemat (DS) gör det möjligt för oss att omformulera detta som:

Om Mary säger att citroner är gula, är meningen "citroner gula" sant, och om Mary säger att citroner är gröna, är meningen "citroner gröna" sann, och ...

Eftersom x är ekvivalent med "x" är sant , för disquotationalisten, så är ovanstående oändliga konjunktioner också ekvivalenta. Följaktligen kan vi bilda generaliseringen:

För alla meningar "S", om Mary sa S, då är "S" sant.

Eftersom vi inte kunde uttrycka detta uttalande utan ett sanningspredikat i linje med dem som definieras av deflationsteorier, är det sanningspredikatets roll vid bildandet av sådana generaliseringar som kännetecknar allt som behöver kännetecknas av begreppet sanning.

Prosententialism

Grover, Camp och Belnap utvecklade en deflationär sanningsteori som kallas procententialism , som sedan har försvarats av Robert Brandom.

Prosententialism hävdar att det finns procentenser som står för och härleder sin mening från meningarna som de ersätter. I uttalandet:

Bill är trött och han är hungrig.

pronomenet "han" tar sin referens från substantivet "Bill". I analogi, i uttalandet:

Han förklarade att han var i ekonomisk situation, sa att det var så här och att han därför behövde ett förskott.

klausulen "så här var det" får sin referens från den tidigare förekommande sententialklausulen "han var i ekonomiska situationer", enligt ett procententialistiskt konto.

Hur förhåller sig detta till sanningen? Prosententialister ser påståendena som innehåller "är sant" som meningar som inte innehåller ett sanningspredikat utan snarare innehåller någon form av procent; själva sanningspredikatet är en del av en anaforisk eller procentuell konstruktion. Prosententialister påpekar de många paralleller som finns mellan pronomen och procentenser. Pronomin används ofta av "latskap", som i:

Bill är trött och han är hungrig

eller de kan användas i kvantifieringssammanhang, till exempel:

Någon är i rummet och han är beväpnad med ett gevär .

På liknande sätt kan "det är sant" användas som en latensprocent, som i:

Fred tror att det regnar och det är sant.

och som en kvantifieringsprocent, såsom:

Vad Alice än tror är sant .

Prosententialister avvisar därför tanken att sanningen är en egenskap av något slag.

Minimalism

Paul Horwich är minimal teori om sanning , även känd som minimalism tar de primära sanningsbärande enheter vara propositioner, snarare än meningar. Enligt den minimalistiska uppfattningen är sanningen verkligen en egenskap hos propositioner (eller meningar, i förekommande fall), men den är så minimal och avvikande egenskap att den inte kan sägas ge oss någon användbar information om eller insikt i sanningens natur. Det är i grunden inget annat än en sorts metallinguistisk egendom.

Ett annat sätt att formulera den minimalistiska tesen är att hävda att konjunktionen av alla instanser av följande schema:

Påståendet att P är sant om och endast om P .

ger en implicit definition av sanningens egendom. Varje sådan instans är ett axiom för teorin och det finns ett oändligt antal sådana instanser (en för varje faktisk eller möjlig proposition i universum). Vårt begrepp om sanning består av inget annat än en inställning att samtycka till alla förekomster av ovanstående schema när vi stöter på dem.

Invändningar mot deflationism

Ett av de främsta invändningarna mot deflationära teorier om alla smaker formulerades av Jackson, Oppy och Smith 1994 (efter Kirkham 1992). Enligt invändningen, om deflationism tolkas som en sententiell teori (det vill säga en där sanning utgår från meningar på vänster sida av de två villkor som (T) ovan), är deflationism falsk; å andra sidan, om det tolkas som en propositionell teori, så är det trivialt. Undersöker en annan enkel instans av standardekvivalensschemat:

Gräs är grönt är sant om och bara om gräset är grönt.

invändningen är bara att om de kursiverade orden tas som en mening , så är det falskt, eftersom det krävs något mer för att hela påståendet ska vara sant än bara det faktum att "gräs är grönt" är sant. Det är också nödvändigt att meningen "gräs är grönt" betyder att gräs är grönt och detta ytterligare språkliga faktum behandlas inte i ekvivalensschemat.

Men om vi nu antar att gräs är grönt på vänster sida refererar till ett förslag, så verkar teorin trivial eftersom gräs är grönt definieras som sant om och bara om gräs är grönt. Observera att trivialiteten som är involverad här inte orsakas av begreppet sanning utan av proposition . I vilket fall som helst, helt enkelt att acceptera trivialiteten i den propositionella versionen innebär att det, åtminstone inom Deflationary Theory of Truth, inte kan finnas någon förklaring till sambandet mellan meningar och de saker som de uttrycker; dvs propositioner.

Påståendes normativitet

Bland annat Michael Dummett har hävdat att deflationism inte kan redogöra för det faktum att sanning bör vara ett normativt mål för påståenden. Tanken är att sanningen spelar en central roll i aktiviteten att ange fakta. Det deflationistiska svaret är att påståendet att sanningen är en norm för påståenden endast kan sägas i form av följande oändliga konjunktion:

Man bör hävda påståendet att gräs bara är grönt om gräs är grönt och man bör hävda påståendet att citroner är gula bara om citroner är gula och man bör hävda påståendet att en kvadratisk cirkel är omöjlig endast om en kvadratisk cirkel är omöjlig och. ..

Detta kan i sin tur omformuleras som:

För alla propositioner P bör talarna hävda förslagen att P endast om förslaget att P är sant.

Det kan vara så att vi använder sanningspredikatet för att uttrycka denna norm, inte för att det har något att göra med sanningens natur i någon inflationär mening, utan för att det är ett bekvämt sätt att uttrycka denna annars oförklarliga generalisering.

Se även

Relaterade ämnen

Anteckningar

Referenser

  • Ayer, AJ (1952). Språk, sanning och logik . New York: Dover Publications.
  • Beall, JC och Armour-Garb, B. (red.) (2006). Deflationism och paradox . Oxford: Clarendon.
  • Brandom, Robert Expressive versus Explanatory Deflationism about Truth in Deflationary Truth Armor-Garb BP och Beall JC (red.), Chicago och La Salle, Illinois: Open Court Publishing, 2005, s. 237–257.
  • Butler, MK (2017). Deflationism och semantiska sanningsteorier . Manchester: Pendlebury Press.
  • Candlish, Stewart och Damnjanovic, Nicolas J., "A Brief History of Truth", i Dale Jacquette (red.), Handbook of the Philosophy of Science, Volume 11, Philosophy of Logic . Tidiga vyer (1903-1930) , Mellansyn (1930-1970) , Senare vyer (1970-2000) och referenser .
  • Grover, Dorothy, Camp, Joseph & Belnap, Nuel (1975), A Prosentential Theory of Truth , Philosophical Studies , 27 , 73-125.
  • Horwich, Paul (1998), Truth , Oxford University Press, London, Storbritannien.
  • Frege, G. (1918) Ricerche Logiche . M. di Francesco (red.). tr: R. Casati. Milano: Guerini. 1998.
  • Jackson, Frank , Graham Oppy & Michael Smith (1994), "Minimalism and truth aptness", Mind 103 , 287-302.
  • Kirkham, Richard (1992), Theory of Truth , MIT Press.
  • Quine, WVO (1970), Philosophy of Logic , Prentice Hall, Englewood Cliffs, NJ.
  • Ramsey, FP (1927), "Fakta och förslag", Aristotelian Society Supplementary Volume 7 , 153–170. Omtryckt, s. 34–51 i FP Ramsey, Philosophical Papers , David Hugh Mellor (red.), Cambridge University Press, Cambridge, Storbritannien, 1990.
  • Ramsey, FP (1990), Philosophical Papers , David Hugh Mellor (red.), Cambridge University Press, Cambridge, Storbritannien.
  • Strawson, PF (1949) "Truth", Analysis , 9 : 83-97.
  • Tarski, A. (1935), "Der Wahrheitsbegriff in den formalisierten Sprachen", Studia Philosophica 1 , s. 261–405. Översatt som "Sanningens begrepp i formaliserade språk", i Tarski (1983), s. 152–278.
  • Tarski, Alfred (1944), "The Semantic Conception of Truth and the Foundations of Semantics", Philosophy and Phenomenological Research 4 (3), 341–376.
  • Tarski, Alfred (1983), Logic, Semantics, Metamathematics: Papers from 1923 to 1938 , JH Woodger (trans.), Oxford University Press, Oxford, UK, 1956. 2: a upplagan, John Corcoran (red.), Hackett Publishing, Indianapolis , IN, 1983.

externa länkar

  • Stoljar, Daniel och Damnjanovic, Nic (2007), "The Deflationary Theory of Truth" , Stanford Encyclopedia of Philosophy , Edward N. Zalta (red.).
  • "Prosentential theory of Truth" . Internetens encyklopedi för filosofi .