Sannleikur eða sannleiki er heimspekilegt hugtak, sem gegnir mikilvægu hlutverki í málspeki og þekkingarfræði, en er auk þess hluti af hversdagslegum orðaforða okkar og er eitt mesta grundvallarhugtak sem við búum yfir.[1]
Þegar einhver er sammála fullyrðingu, segir hann að hún sé „sönn“. Þekkingarfræði, sem fjallar um eðli og uppsprettu þekkingar, leitar lausna á fjölmörgum heimspekilegum gátum um „sannleika“ en auk þess er sannleikshugtakið gríðarlega mikilvægt í málspeki og er nátengt merkingarhugtakinu.
Fyrsti vandi heimspekingsins er að ákveða hvers konar hlutir geti verið sannir eða ósannir, það er að segja að finna svonefnda sannbera.[2] Í húfi er orðaforðinn, sem við notum til að fjalla um sannleikann. Síðan eru til fjölmargar kenningar um hvað geri sannberana sanna. Sumar kenningar, „þéttar“ kenningar, fara með sannleika líkt og eiginleika sem einkenna sannberana.[3] Aðrar kenningar, sem teljast til úrdráttarhyggjunnar, leggja til að sannleikur sé lítið annað en hagnýtt tól í tungumáli okkar en standi ekki fyrir neinn eiginleika sem sannberar geta haft.[4] Þessar kenningar eru undir áhrifum frá nýjungum í formlegri rökfræði sem hafa varpað ljósi á hvernig sannleikur virkar bæði í formlegum kerfum og náttúrulegum tungumálum.[5] Óháðar þessum vandamálum eru gátur um hvernig við vitum að eitthvað sé satt.[6] Maður virðist vita að maður finni fyrir tannpínu á annan hátt en maður veit að jörðin sé þriðja reikistjarnan frá sólu. Ef til vill er önnur þekkingin huglæg og fengin með innskoðun en hin hlutlæg og fengin með athugunum eða gildum ályktunum. Á sama hátt virðist sannleikur stundum velta á viðhorfi manns og bakgrunni en stundum vera algildur og óháður afstöðu manns. Heimspekingar hafa afar mismunandi hugmyndir um öll þau atriði sem hér hafa verið nefnd.
Heimspekingar nefna það sem getur verið satt eða ósatt „sannbera“. Staðhæfingar, setningar, fullyrðingar, hugmyndir, skoðanir og dómar hafa verið nefnd sem sannberar. Persóna eða guð getur ekki verið sannberi í heimspekilegum skilningi.[7]
Sumir heimspekingar hafna einum eða fleirum þessara flokka sannbera eða færa rök fyrir því að sumir þeirra geti aðeins verið sannir (eða ósannir) í yfirfærðri merkingu. Þessu er haldið fram á grundvelli sannleikskenninga af því tagi sem fjallað verður um hér að neðan.
Til dæmis er því oft haldið fram að staðhæfingar séu það eina sem getur verið satt í bókstaflegum skilningi. Með staðhæfingu í heimspekilegu samhengi er átt við inntak fullyrðingar eða skoðunar sem getur verið tjáð með ólíkum setningum á ólíkum tungumálum. Þá er sagt að fullyrðingar og setningar séu sannar ef þær „tjá“, „lýsa“ eða „fela í sér“ sanna staðhæfingu eða „vísa til“ sannrar staðhæfingar. Í þessum skilningi á staðhæfingu fela enska setningin „The sky is blue“ og þýska setningin „Der Himmel ist blau“ í sér sömu staðhæfinguna; þær staðhæfa báðar það sama um himininn enda þótt þær séu ólíkar setningar með ólíkum orðum sem tilheyra ólíkum tungumálum með ólíka setningafræði og þar fram eftir götunum.
Á hinn bóginn hafa sumir heimspekingar haldið því fram að staðhæfingar og önnur áþekk sértæk fyrirbæri séu dularfull og útskýri lítið; vissulega hljóti setningar eða yrðing setningar að vera skýrari og meiri grundvallar sannberar.
Heimspekingar og rökfræðingar hafa lagt til fjöldann allan af kenningum um eðli sannleikans og er þeim oftast er skipt í tvo hópa:
Sumar kenningar eiga það sameiginlegt að telja sannleikshugtakið vera „innihaldsríkt“ eða „inntaksmikið“ (stundum „þétt“) hugtak. Samkvæmt þessum kenningum má taka alvarlega yfirborðsmálfræði setninga, sem virðast fela í sér að setningu sé eignaður eiginleikinn að vera sönn, svo sem „Setningin ‚Snjór er hvítur‘ er sönn“ þar sem svo virðist sem setningunni „Snjór er hvítur“ sé eignaður sá eiginleiki að vera sönn. Sannleikur er því samkvæmt þessu eiginleiki, rétt eins og roði (að vera rauður) er eiginleiki, sem eignaður er hlöðu í setningunni „Hlaðan er rauð“. Verkefnið er svo að rannsaka og útskýra þennan eiginleika. Samkvæmt þessum kenningum þarfnast sannleikur þess vegna útskýringar og hægt er að segja ýmislegt um hann:
Aðrir heimspekingar hafna því að sannleikshugtakið sé innihaldsríkt í þessum skilningi sem lýst hefur verið hér að ofan.[11] Samkvæmt úrdráttarhyggjunni er það að segja „Setningin ‚2 + 2 = 4‘ er sönn“ ekkert annað en að segja „2 + 2 = 4“ og á sama hátt er það að segja „Setningin ‚Vatnajökull er stærsti jökull í Evrópu‘ er sönn“ í raun ekkert annað en að segja „Vatnajökull er stærsti jökull í Evrópu“. Um sannleikann er svo ekkert meira að segja en þetta. Þessi afstaða er kölluð „úrdráttarhyggja“ (vegna þess að búið er að draga úr mikilvægi sannleikskenninga) eða „afvitnunarhyggja“ (vegna þess að með sannleiksumsögninni hverfa gæsalappirnar utan um setninguna sem sögð var sönn) eða „naumhyggja“ (af því að samkvæmt kenningunni ber að segja sem minnst um sannleikann enda er hann ekki eiginleiki sem hægt er að segja mikið um). Helsta viðfangsefni kenninga af þessu tagi er að útskýra sérstök tilvik, þar sem sannleikur virðist hafa sérstök og áhugaverð einkenni (sjá til dæmis Merkingarfræðilegar þverstæður og umfjöllun hér að neðan).
Samkvæmt þessu sjónarmiði (sjá Gottlob Frege og F. P. Ramsey) er sannleikur ekki nafn á eiginleika, sem staðhæfingar hafa; „eitthvað“ sem hægt er að hafa kenningu um. Sú skoðun að sannleikur sé eiginleiki, er bara tálsýn, sem stafar af þeirri staðreynd að sannleiksumsögnin, „er satt”, er til í máli okkar. Þar sem flestar umsagnir eigna einhverju eiginleika, göngum við ranglega út frá því að „er satt“ geri slíkt hið sama. En úrdráttarhyggjumenn segja, að fullyrðingar, sem „virðast“ segja að setningar séu sannar, geri í raun ekkert annað en að gefa til kynna, að sá sem talar, sé sammála fullyrðingunni.
Ofaukakenningin um sannleikann segir til dæmis, að það að segja að fullyrðing sé sönn, sé ekkert annað en að halda fram fullyrðingunni.[12] Að segja „Setningin ‚Snjór er hvítur‘ er sönn“ er þess vegna hvorki meira né minna en að segja að snjór sé hvítur. Sannleiksumsögninni er þess vegna ofaukið, þ.e. hún er óþörf.
Annað dæmi um úrdráttarhyggju er framkvæmdarkenningin um sannleikann sem eignuð er breska heimspekingnum P. F. Strawson.[13] Samkvæmt þeirri kenningu jafngildir það að segja „Setningin ‚Snjór er hvítur‘ er sönn“ því að framkvæma málgjörð, sem gefur til kynna að maður sé sammála fullyrðingunni að snjór sé hvítur (nokkurn veginn eins og að kinka kolli til samþykkis). Sú hugmynd, að sumar fullyrðingar séu líkari athöfnum en venjulegum tjáskiptafullyrðingum, er ekki eins undarleg og má virðast í fyrstu. Íhugið til dæmis þegar brúðurin segir „Já“ á viðeigandi tímapunkti í brúðkaupi; þá er hún að framkvæma athöfn, sem er fólgin í að ganga í hjónaband með brúðgumanum. Hún er ekki að gefa á sér þá sjálfslýsingu að hún gangi að eiga brúðgumann.
Þriðja tegundin af úrdráttarhyggju um sannleikann er afvitnunarhyggjan sem notast við kenningu Alfreds Tarski: Að segja að „P“ sé sönn er að segja P. Nafn kenningarinnar kemur til af því að samkvæmt kenningunni jafngildir það, að segja að setning innan tilvitnanamerkja sé sönn því, að taka burt tilvitnanamerkin og segja setninguna. Slíkri kenningu hefur bandaríski heimspekingurinn W. V. O. Quine haldið fram.
Ein ítarlegasta kenningin af þessu tagi er setningarhlutverkakenningin sem Dorothy Grover, Joseph Camp og Nuel Belnap settu fyrst fram sem nánari útfærslu á kenningu F. P. Ramseys.[14] Þau færðu rök fyrir því að setningar á borð við „Þetta er satt“ hafi setningarhlutverk og endurtaki einungis inntak annarra setninga. Á sama hátt og „hann“ merkir það sama og „hundurinn minn“ í setningunni „Hundurinn minn var svangur og þess vegna fékk hann að borða“ á „Þetta er satt“ að merkja það sama og „Það rignir“ ef einn maður segir síðarnefndu setninguna og annars segir síðan þá fyrrnefndu.
Samkvæmt Merkingarfræðilegu kenningunni um sannleikann[15] gildir eftirfarandi um setningar á sérhverju máli:
Pólski rökfræðingurinn og heimspekingurinn Alfred Tarski þróaði kenninguna um formleg mál (svo sem um formlega rökfræði).[16] Hann setti henni eftirfarandi takmörk: Ekkert mál getur innihaldið eigin sannleiksumsögn, það er að segja yrðingin „er sönn“ gæti ekki átt við um setningar á sama máli. Hann greindi á milli framsetningarmáls og viðfangsmáls. Viðfangsmál er málið sem rætt er um. Þegar sannleiksumsögninni virðist beitt á setningar á sama máli verður að líta svo á að setningin sem rætt er um tilheyri viðfangsmálinu en sannleiksumsögnin framsetningarmálinu (viðfangsmálið getur þó innihaldið sannleiksumsögn sem beita má á þriðja mál). Ástæða þess að Tarski setti þessi takmörk er sú, að mál, sem innihalda eigin sannleiksumsögn, munu einnig innihalda mótsagnakenndar setningar eins og þverstæðu lygarans: „Þessi setning er ósönn“. Af þessum sökum taldi Tarski að merkingarfræðilega kenningin hans gæti ekki átt við um náttúruleg tungumál, svo sem íslensku, ensku, frönsku og svo framvegis vegna þess að þau innihalda eigin sannleiksumsagnir. Tarski áleit kenningu sína vera afbrigði af samsvörunarkenningunni um sannleikann.
Bandaríski heimspekingurinn Donald Davidson notaði kenningu Tarskis sem grundvöll fyrir sannkjara-merkingarfræði sinni og tengdi hana kenningu sinni um túlkun frá rótum.[17]
Bandaríski heimspekingurinn Saul Kripke heldur því fram að náttúrulegt tungumál geti innihaldið eigin sannleiksumsögn án þess að valda mótsögnum.[18] Hann sýndi hvernig þetta væri hægt á eftirfarandi hátt:
Tökum eftir því, að sannleikur er aldrei skilgreindur fyrir setningar eins og „Þessi setning er sönn”, úr því að hún var ekki í upprunalega hlutmenginu og segir ekki að nein setning í því hlutmengi sé sönn. Með orðalagi Kripkes eru þessar setningar „ógrundvallaðar“. Þar sem þessum setningum er aldrei eignað sanngildi þrátt fyrir að ferlið sé endurtekið endalaust, gefur kenning Kripkes til kynna, að sumar setningar séu hvorki sannar né ósannar. Þetta brýtur gegn tvígildislögmálinu: sérhver setning er annaðhvort sönn eða ósönn. Þar sem lögmálið er ómissandi þáttur í þverstæðu lygarans er þverstæðan leyst með kenningunni.
Líklega þekkja menn huglægan sannleika best. Það að manni líki spergilkál eða að maður finni til í vinstra fæti er hvort tveggja huglægur sannleikur, það er að segja það veltur á hugmyndum manns, viðhorfum og afstöðu og hugarstarfsemi almennt. Samkvæmt frumspekilegri hughyggju er allur sannleikur, það er að segja allar sannar setningar, af þessu tagi. Huglægur sannleikur er það eina sem maður getur þekkt; á einn eða annan hátt er öll okkar reynsla fólgin í huglægum upplifunum okkar. Þessi afstaða hafnar ekki endilega hluthyggju en í það minnsta er fólgið í henni að við höfum ekki kost á beinni reynslu af raunheiminum.
Á hinn bóginn á hlutlægur sannleikur að vera á einn eða annan hátt óháður huglægum skoðunum okkar, smekk okkar og viðhorfum. Sannindi af þessu tagi myndu byggja á því hvernig hinn ytri heimur er en ekki á hugarferlum manns.
Afstæð sannindi eru fullyrðingar eða staðhæfingar sem eru einungis sannar miðað við einhvern staðal, einhverja venju eða eitthvert samkomulag eða sjónarmið. Venjulega er staðallinn sagður vera fólginn í menningarlegum gildum þeirrar menningar sem maður tilheyrir. Allir eru sammála um að sum sannindi séu afstæð: það að gaffallinn sé vinstra megin við skeiðina veltur á því hvar maður stendur; sú regla að maður eigi að halda á gafflinum í vinstri hendi en hnífnum í hægri hendi veltur á því í hvaða samfélagi maður er. En afstæðishyggja um sannleikann er sú kenning að öll sannindi innan einhvers sviðs (til dæmis í siðfræði eða fagurfræði eða jafnvel öll sannindi almennt og yfirleitt) séu af þessu tagi. Afstæðishyggja felur yfirleitt í sér að það sem er satt sé breytilegt frá einu menningarsamfélagi til annars og frá einu tímabili til annars. Til dæmis er afstæðishyggja í siðfræði sú kenning að siðferðileg sannindi velti á menningarlegum gildum.[19]
Algengastu og sterkustu andmælin við ótakmarkaðri afstæðishyggju um sannleikann voru sett fram af gríska heimspekingnum Platoni í kringum árið 360 f. Kr. í samræðunni Þeætetosi. Platon eignar fræðaranum Prótagórasi slíka kenningu en benti á að ef öll sannindi eru afstæð, þá er einnig afstætt hvort öll sannindi séu afstæð. Þannig má segja að erfitt sé að setja fram ótakmarkaða afstæðishyggju um sannleikann án þess að grafa undan eigin kenningu. Kenningar af því tagi eru sagðar vera sjálfskæðar.[20]
Andstætt afstæðum sannindum eru algild sannindi. Þau síðarnefndu eru fullyrðingar eða staðhæfingar sem eru sagðar vera sannar fyrir öll menningarsamfélög og öll tímabil. Múslimar telja til dæmis að setningin „Guð er máttugur” tjái algildan sannleika; fylgjendur Immanuels Kant telja að skilyrðislausa skylduboðið, „Breyttu einungis þannig að þú getir viljað að reglan í breytni þinni verði að algildu lögmáli“, sé algild siðferðileg sannindi; flestir telja sennilega að „2 + 2 = 4“ gildi jafnt fyrir alla menn á öllum tímum. Þetta eru sannindi sem eru oft sögð leiða af eðli heimsins, koma frá guði eða stafa af mannlegu eðli.
Algildishyggja á tilteknu sviði er sú kenning að allar fullyrðingar innan þess sviðs séu annaðhvort sannar eða ósannar á algildan hátt; engin þeirra er sönn fyrir sum menningarsamfélög eða á tilteknu tímabili. Siðferðileg hluthyggja er til dæmis það viðhorf að siðferðilegar fullyrðingar á borð við „Það er rangt að borða dýr“ eða „Fóstureyðingar eru rangar“ séu annaðhvort sannar fyrir alla menn á öllum tímum eða ósannar fyrir alla menn á öllum tímum.
Auk þess að vera notað um staðhæfingar eða aðra sannbera og hinstu rök eru orðin „sannur“ og „ósannur“ einnig notuð á annan hátt í íslensku:
|
|