Loading AI tools
yttrande eller tanke som överensstämmer med verkligheten Från Wikipedia, den fria encyklopedin
Sanning är enligt vanligt tänkesätt en uppfattnings överensstämmelse med dess föremål,[1] eller yttrande eller tanke som överensstämmer med verkligheten. Sanning är ett ord som används såväl i dagligt tal, som inom vetenskapen och inom filosofin. Frågan är både praktisk och teoretisk, inklusive vetenskapsteoretisk.
 |
Den här artikeln behöver fler eller bättre källhänvisningar för att kunna verifieras. (2021-12) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
 |
|---|
| Deduktion |
|
Sann | Giltig | Sund |
| Modallogik |
|
Nödvändighet | Möjlighet |
Sanning ses som betecknande en egenskap hos ett påstående, som kan sägas vara sant eller osant (falskt).
Enligt klassisk filosofi var varje meningsfullt påstående deskriptivt. Det antogs att det som var sant var det som beskrev den objektiva världen på ett korrekt sätt. Detta resonemang är central inom korrespondensteorin och nära associerat med den logiska positivismen och verifierbarhetsprincipen.
Uppfattningen att sanningen beskriver verkligheten har dock ifrågasättas av bland annat den pragmatiska filosofiska rörelsen,[2] filosofen Ludwig Wittgenstein (i hans senare period) och språkvetaren J.L. Austin. Dessa menade samfällt att sanning snarare definieras av det som görs och har en praktisk betydelse. Den yttersta verklighet är den praktiska verkligheten, här och nu, menade de, varför det är meningslöst att försöka jämföra olika påståenden med en objektiv verklighet för att avgöra vad som är sant.[3]
Enligt klassisk sanningsteori såväl som vid så kallat sunt förnuft är ett sant påstående (P) och dess negation (inte-P) ömsesidigt uteslutande. Om det är sant att Stockholm är Sveriges huvudstad så är det falskt att Stockholm inte är Sveriges huvudstad och omvänt. Om det är falskt att det regnar så regnar det inte, och omvänt, och så vidare.
Klassisk logik utgår ifrån detta samt att varje meningsfullt påstående antingen är sant eller falskt. Detta senare kallas lagen om det uteslutna tredje.
I själva verket är i klassisk logik lagen om det uteslutna tredje (P eller inte-P) logiskt ekvivalent med det är inte så att både P och inte-P är sant (motsägelselagen). Dessa två är tautologier och deras ekvivalens är också en tautologi, enligt de Morgans lagar.
Detta antas även gälla inom klassisk bevisteori, vilket strängt taget är sak samma som klassisk logik. Exempelvis bevisas ofta satser inom matematiken genom att man antar att ett påstående är sant. Om man sedan kan visa att detta antagande leder till falska konsekvenser, har man bevisat att påståendet är falskt. Då följer, enligt lagen om det uteslutna tredje, att dess negation (logiska motsats) är sann. Vill man bevisa satsen A, antar man således inte-A, visar att detta leder till något oacceptabelt, typiskt en motsägelse, och kan sedan se A som bevisat. Denna regel kallas av hävd reductio ad absurdum. Poängen är att P är sann eftersom inte-P är falsk. Egentligen har man inte bevisat P, utan bevisat att inte-P är falsk!
Således är det ett fundamentalt klassiskt bevisteoretiskt antagande att:
Man kan undra hur detta kan ses som problematiskt? Dock finns det filosofer och matematiker som ifrågasatt den principiella giltigheten i lagen om det uteslutna tredje.
(1) En del har hävdat att ett påstående kan ha ett tredje sanningsvärde, i det att det utöver sant eller falskt kan vara möjligt. Detta har bland annat att göra med problemet med framtida påståenden, ett av Aristoteles påpekat problem med framtida tillfälligheter, eller futura kontingentia. Problemet är här att påståendet vem som är Sveriges statsminister år 2027 (exempelvis) orimligen kan antas ha ett bestämt sanningsvärde redan nu, eller ha haft det för en miljard år sedan. I så fall vore ju framtiden förutbestämd. En tänkbar lösning är då att införa möjlighet som ett tredje sanningsvärde emellan sant och falskt. Fast man kan också hävda att påståendet har ett sanningsvärde nu, fast vi inte vet vilket det är. Problematiken verkar onekligen svår att hantera.
(2) Andra, som den nederländske filosofen och matematikern Brouwer har kritiserat matematikens gängse bevisförfarande. Den ståndpunkten kallas intuitionism, och hävdar att man inte kan säga att man bevisat sanningen hos påståendet P genom att visa att inte-P medför motsägelser. Ett äkta bevis måste bestå i konstruktionen av P.
Sanning är emellertid inte bara en logisk fråga, utan också en begreppslig fråga, eller fler:
I det följande ges en kort översikt över några vanliga filosofiska teorier om sanning. Det bör framhållas att var och en av dessa finns i mängder av undervarianter och att kontroversen mellan i synnerhet korrespondensteoretiker och koherensteoretiker är ett av filosofins både klassiska och moderna teman.
Alfred Tarski utgick ifrån tanken att satsen "det regnar" är sann om och endast om det regnar. Detta gav
"P" är sann om och endast om P.
Ett exempel till: "Uppsalas högsta kyrka är Domkyrkan" är sann om och endast om Uppsalas högsta kyrka är Domkyrkan.
Tarskis mål var egentligen att påvisa en ofullständighetsegenskap hos formella, axiomatiska teorier. Han gjorde detta genom att ur sin definition härleda det som kallas Tarskis paradox. Man får den genom att i schemat sätta P = Satsen P är falsk.
Det ger: satsen P är falsk om och endast om P. Nu säger varje sats att den är sann, så vi får: satsen P är falsk om och endast om P är sann. En motsägelse.
Tarskis lösning förutsatte att man inför en hierarki av objektsspråk, metaspråk, meta-metaspråk etc. Samt regeln att sanning inte någonsin ska definieras inom ett språk. Sanning för språket S (= ett formellt logiskt språk) måste formuleras i ett rikare meta-språk för S. Således hade detta inte så mycket att göra med vad vi vanligen menar med sanning. Däremot var det ett viktigt logiskt-semantiskt resultat, lite erinrande om Gödels samtida resultat.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
