Xrfgtjtk

.mw-parser-output table.ambox{margin:0 10%;border-collapse:collapse;background:#fbfbfb;border:1px solid #aaa;border-left:10px solid #608ec2}.mw-parser-output table.ambox th.ambox-text,.mw-parser-output table.ambox td.ambox-text{padding:.25em .5em;width:100%}.mw-parser-output table.ambox td.ambox-image{padding:2px 0 2px .5em;text-align:center;vertical-align:middle}.mw-parser-output table.ambox td.ambox-imageright{padding:2px 4px 2px 0;text-align:center;vertical-align:middle}.mw-parser-output table.ambox-notice{border-left:10px solid #608ec2}.mw-parser-output table.ambox-delete,.mw-parser-output table.ambox-serious{border-left:10px solid #b22222}.mw-parser-output table.ambox-content{border-left:10px solid #f28500}.mw-parser-output table.ambox-style{border-left:10px solid #f4c430}.mw-parser-output table.ambox-merge{border-left:10px solid #9932cc}.mw-parser-output table.ambox-protection{border-left:10px solid #bba}.mw-parser-output .ambox+.ambox,.mw-parser-output .topbox+.ambox,.mw-parser-output .ambox+.topbox{border-top-width:0}.mw-parser-output .messagebox{border:1px solid #aaaaaa;background-color:#f9f9f9;width:80%;margin:0 auto 1em auto;padding:.2em}.mw-parser-output .messagebox.merge{border:1px solid #c0b8cc;background-color:#f0e5ff;text-align:center}.mw-parser-output .messagebox.cleanup{border:1px solid #9f9fff;background-color:#efefff;text-align:center}.mw-parser-output .messagebox.standard-talk{border:1px solid #c0c090;background-color:#f8eaba}.mw-parser-output .messagebox.nested-talk{border:1px solid #c0c090;background-color:#f8eaba;width:100%;margin:2px 4px}

Den här artikeln behöver källhänvisningar för att kunna verifieras. (2010-10) Å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.

.mw-parser-output .infobox{border:1px solid #aaa;background-color:#f9f9f9;color:black;margin:.5em 0 .5em 1em;padding:.2em;float:right;clear:right;width:22em;text-align:left;font-size:88%;line-height:1.6em}.mw-parser-output .infobox td,.mw-parser-output .infobox th{vertical-align:top;padding:0 .2em}.mw-parser-output .infobox caption{font-size:larger}.mw-parser-output .infobox.bordered{border-collapse:collapse}.mw-parser-output .infobox.bordered td,.mw-parser-output .infobox.bordered th{border:1px solid #aaa}.mw-parser-output .infobox.bordered .borderless td,.mw-parser-output .infobox.bordered .borderless th{border:0}.mw-parser-output .infobox-showbutton .mw-collapsible-text{color:inherit}.mw-parser-output .infobox.bordered .mergedtoprow td,.mw-parser-output .infobox.bordered .mergedtoprow th{border:0;border-top:1px solid #aaa;border-right:1px solid #aaa}.mw-parser-output .infobox.bordered .mergedrow td,.mw-parser-output .infobox.bordered .mergedrow th{border:0;border-right:1px solid #aaa}.mw-parser-output .infobox.geography{border:1px solid #ccd2d9;text-align:left;border-collapse:collapse;line-height:1.2em;font-size:90%}.mw-parser-output .infobox.geography td,.mw-parser-output .infobox.geography th{border-top:solid 1px #ccd2d9;padding:0.4em 0.6em 0.4em 0.6em}.mw-parser-output .infobox.geography .mergedtoprow td,.mw-parser-output .infobox.geography .mergedtoprow th{border-top:solid 1px #ccd2d9;padding:0.4em 0.6em 0.2em 0.6em}.mw-parser-output .infobox.geography .mergedrow td,.mw-parser-output .infobox.geography .mergedrow th{border:0;padding:0 0.6em 0.2em 0.6em}.mw-parser-output .infobox.geography .mergedbottomrow td,.mw-parser-output .infobox.geography .mergedbottomrow th{border-top:0;border-bottom:solid 1px #ccd2d9;padding:0 0.6em 0.4em 0.6em}.mw-parser-output .infobox.geography .maptable td,.mw-parser-output .infobox.geography .maptable th{border:0;padding:0}

Deduktion
Tautologi | Kontradiktion Sann | Giltig | Sund
Modallogik
Logisk sanning | Logisk omöjlighet Nödvändighet | Möjlighet
Denna tabell: visa • redigera

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.

Sanningens logik |

Sanning ses som betecknande en egenskap hos ett påstående, som kan sägas vara sant eller osant, det vill säga antingen sant eller inte sant det vill säga falskt.

Ett påstående som uppfyller det villkoret har brukat karakteriseras som deskriptivt, alltså beskrivande. Enligt klassisk filosofi var varje meningsfullt påstående deskriptivt. Detta kom att ifrågasättas av Ludwig Wittgenstein i hans senare period och av J. L. Austin. Den deskriptivistiska tesen är nära besläktad med verifierbarhetsprincipen.

Enligt klassisk sanningsteori såväl som vid så kallad sunt förnuft är ett sant påstående (P) och dess negation (inte-P) varandra uteslutande motsatser. 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:

• Varje påstående har ett och endast ett sanningsvärde, är antingen sant eller falskt, men aldrig båda samtidigt.

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.

Teorier om sanning |

Sanning är emellertid inte bara en logisk fråga, utan också en begreppslig fråga, eller fler:

• Vad innebär (betyder) det att ett påstående är sant (eller inte sant)? (Semantisk fråga)


• Under vilka omständigheter är det rätt att säga att ett påstående är sant? (Normativ fråga.)


• Hur brukar folk använda ord som sann eller motsvarande, eller falsk eller motsvarande? (Deskriptiv, sociologisk fråga.)

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.

• 
  Korrespondensteorin: Enligt korrespondensteorin är ett påstående P sant om och endast om det överensstämmer med verkligheten. Om påståendet det regnar just nu är sant, så regnar det just nu. Tanken är att verklighetens faktiska förhållanden avgör vad som är sant eller falskt. Men vad ska då avses med verkligheten? För en empiriskt lagd filosof eller tänkare i allmänhet ligger det nära till hands att säga att verkligheten = det som observeras. Men detta leder snabbt till filosofiska (och perceptionspsykologiska) problem om hur observationer förhåller sig till verkligheten.

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. Se huvudartikel: korrespondensteori.

• 
  Koherensteorin: Enligt koherensteorin som har sina rötter bland annat hos Leibniz är ett påstående sant om och endast om det är koherent med ett omfattande system av satser, som alla är inbördes koherenta. Leibniz tycks ha menat att bara ett sådant system är möjligt, och identifierade det med något gudomligt och logiskt på en gång. Tillämpat i praktiken tycks det innebära att: en sats P är sann om och endast om den är koherent med systemet S. Och eftersom en sats kan vara koherent med S1 och inkoherent med S2, S3… så är det valet av system som avgör vad som är sant. Koherensteorier för sanning brukar kritiseras för relativism. Så brukar många uppfatta Thomas Samuel Kuhns paradigmteori. Ett annat problem är vad koherens egentligen ska antas betyda. Se huvudartikel: koherensteori.

• 
  Pragmatisk sanningsteori: Enligt pragmatismen (Charles Sanders Peirce, William James) är sanning grovt uttryckt detsamma som användbarhet eller funktionalitet. Ett sätt att beskriva detta på är att ett påstående är sant om det har konsekvenser som slår in, i vilket fall det är gynnsamt att anta påståendet som sant. Medan korrespondensteorin gärna ser sanning som något absolut, blir det här relativt. Newtons gravitationsteori betraktades, exempelvis, som sann tills man fann situationer där den inte fungerar bra. Då övergick man till Einsteins allmänna relativitetsteori. Se huvudartikel: pragmatism.

• 
  Konstruktivistisk sanningsteori: Se huvudartikel: konstruktivistisk sanningsteori, samt intuitionism.

• 
  Konsensusteori: Alla sanningsteorier tenderar införa ett begrepp konsensus där vad som är sant eller inte sant avgörs inom en grupp av fria, oberoende debattörer. Detta gör sanning till ett provisorium, som hos Karl Popper. Man kan också använda det som en definition: det är sant som en majoritet är överens om. Men en sådan ståndpunkt förefaller oerhört lätt att invända emot, även om den ofta åberopas i praktiken. Problemet är förstås att de som nått en konsensus, dvs. blivit överens, ändå kan ha fel. Jorden är ju inte platt.^[1]
  

Se även |

• Lögn


• Kontradiktion


• Logik


• Mening (betydelse)


• Semantik


• Sanningsvärde


• Sanningsfunktion


• Sannolikhet


• Tautologi

Vidare läsning |

• Gängse filosofiska lexika, som till exempel Poul Lübcke Filosofilexikonet (Forum 1988).


• Klassisk korrespondensteori: Bertrand Russell, The Problems of Philosophy (1912), kap 12. (Filosofins problem) Många upplagor.


• Koherensteoretisk klassiker: W. V. O. Quine Two Dogmas of Empiricism (Två av empirismens dogmer), i Konrad Marc-Wogau Filosofin genom tiderna (del 4, 1900-talet), Bonniers 1983.

Referenser |

Noter |

1. 
   ^ Nicholas Rescher (1993). ”Pluralism: Against the Demand for Consensus”. Oxford University Press. 
   

.mw-parser-output table.navbox{border:#aaa 1px solid;width:100%;margin:auto;clear:both;font-size:88%;text-align:center;padding:1px}.mw-parser-output table.navbox+table.navbox{margin-top:-1px}.mw-parser-output .navbox-title,.mw-parser-output .navbox-abovebelow,.mw-parser-output table.navbox th{text-align:center;padding-left:1em;padding-right:1em}.mw-parser-output .navbox-thlinkcolor .navbox-title a{color:inherit}.mw-parser-output .nowraplinks a,.mw-parser-output .nowraplinks .selflink{white-space:nowrap}.mw-parser-output .navbox-group{white-space:nowrap;text-align:right;font-weight:bold;padding-left:1em;padding-right:1em}.mw-parser-output .navbox,.mw-parser-output .navbox-subgroup{background:#fdfdfd}.mw-parser-output .navbox-list{border-color:#fdfdfd}.mw-parser-output .navbox-title,.mw-parser-output table.navbox th{background:#b0c4de}.mw-parser-output .navbox-abovebelow,.mw-parser-output .navbox-group,.mw-parser-output .navbox-subgroup .navbox-title{background:#d0e0f5}.mw-parser-output .navbox-subgroup .navbox-group,.mw-parser-output .navbox-subgroup .navbox-abovebelow{background:#deeafa}.mw-parser-output .navbox-even{background:#f7f7f7}.mw-parser-output .navbox-odd{background:transparent}

v • r Logiska begrepp Sats Påståendesats · Lexikon · Formel · Påstående · Utsaga Mening Tautologi · Kontradiktion · Motsägelse Sanning Sanningsvärde · Sanningsfunktion · Sanningsvärdetabell · T-schema Deduktion Härledningssystem · Slutledningsregel · Modus ponens · Modus tollens · Kontraposition · Reductio ad absurdum-regeln · Syllogism · Premiss · Slutsats · Induktion · Kausalitet · Argumentation Bevis Bevisteori · Direkt bevis · Indirekt bevis · Induktionsbevis Hypotes Hypotesprövning · Antagande · Förmodan · Ad hoc Formella språk Formellt system · Syntax · Semantik · Definition · Axiom · Teorem Modellteori Struktur · Kontext · Interpretering Härledningsbegrepp Fullständighet · Falsifierbarhet · Falsifikation · Sundhet · Giltighet Latinska begrepp A priori · A posteriori · Ad hoc Övrigt Ontologi · Empiri Se även: Entropi · Information · Kunskap

Auktoritetsdata • GND: 4064314-1 • NDL: 00755604