Aksiom
Etaksiom(gresk:ἀξίωμα,aksioma,«grunnsetning») er en grunnsetning som aksepteres utenbevis,enten den er allment akseptert eller den er selvinnlysende sann. Iepistemologien(læren omviten) står for eksempelkausalitetsaksiometsom et eksempel på et slik aksiom, likefullt representerer aksiomet og dens unntaksmessige rolle i vitenskapelig og normativ tenkning som en av filosofiens største utfordringer. I matematikken har aksiomets rolle blitt nær sagt utradert, mye takket væreKurt Gödelsteorem.Gödels første ufullstendighetsteoremviser at «ethvert konsistent formalt system - F - innenfor hvilket en viss mengde elementær aritmetikk kan bli utført er ufullstendig; m.a.o. det vil alltid være påstander i språket F som hverken kan bevises eller avvises innenfor rammene av F.» (Raatikainen 2015).
Clapham og Nicholson påpeker det noe paradoksale ved at man imatematikkenikke lenger anser noe som fullstendig gitt, mens man innen denanalytiske filosofien,der epistemologien står sentralt, stadig befinner seg i et paradigme der aksiomene og deres formale systemer får stå relativt uanfektet.[1][2][3]Skytset mot den aksiomatisk orienterte epistemologien kommer hovedsakelig utenfra de institusjonene der den Anglosaksiske strømningen dominerer (jf.Kontinental filosofi).
Aksiomets filosofiske verdi
[rediger|rediger kilde]Det å oppnå en garantert sannkonklusjoni etdeduktivtargumentkrever både at argumentet er gyldig og atpremisseneer sanne. Men prosedyren for å bestemme at premisset er sant er mye mindrepresistenn prosedyren for å bestemme at argumentet er gyldig.
På grunn av denne upresisheten er aksiomet nyttig som filosofisk redskap. Aksiomet er et utsagn som opptrer som en spesiell type premiss i et bestemt rasjonelt system.Aksiomatiske systemble først formalisert av den greske matematikerenEuklid av Alexandriai hans berømte verkElementer(300 f.Kr.).
Aksiomer har blitt forstått som de grunnleggende elementene i slike system, som ikke trenger noen rettferdiggjørelse – innenfor de systemene de er gyldige for. Ved å starte med et sett aksiomer kan man så utlede (og bevise)teoremerved hjelp av logiske slutninger. Slik kan man bygge opp et aksiomatisk system i tråd medAristotelessittvitenskapsideal.Matematikken har stått som det suverene eksempelet på et slikt formalt system.
Tradisjonelt har gyldigheten av det aksiomatiske systemet blitt avgjort av om det harkonsistens.Det innebærer at de logiske systemene som følger av aksiomene ikke skulle kunne inneholdeselvmotsigelser,hverken tydelige direkte selvmotsigelser, og mindre åpenbare motsigelser som det kan være vanskelig å oppfatte.
«Ingen ren logikk»
[rediger|rediger kilde]I moderne, rettere sagt post-modernistisk tenkning, har den aksiomatiske tenkningen blitt utfordret vesentlig, og blir i stadig videre kretser ansett som en ideologisk betinget forestillingen. Et «problem» ved dennepostmoderneerfaringen er at ingen tenkning, metode eller formalsystem kan anses upåvirkelige av politiske og sosiale forståelsesrammer, ellerlibidinaleføringer. Uten aksiomer og troverdige «rene» formalsystemer (ikke engang matematikken) får man tilsynelatende problemer med å forsvare enhver universell orientering. Dette blir av kulturhistorikere og kunstnere gjerne referert til som «den postmodernistiske hengemyra».[4]
Aksiomatikken framstår som et av de mest vesentlige ankepunkter holdt fram av den toneangivende filosof-duoenGilles DeleuzeogFelix Guattarigjennom deres oppgjør med det rådende samfunnsmaskineriet: «Endelig er aksiomatikken ikke vitenskapens fortropp, men snarere dens stoppunkt, en gjenopprettelse av en orden som forhindrer de matematiske og fysiske, avkodedesemiotiskestrømmer i å flykte i alle retninger. De store aksiomatikere er vitenskapens statsmenn som stanser de fluktlinjer som er så hyppige i matematikken; som foregir å innføre et nyttneksum,om det så bare er midlertidig; og som skaper en offisiell politikk for vitenskapen. Det er dem som har arvet den teorematiske forståelsen av geometrien. Når intuisjonismen [jf. matematikerne Brouwer, Heyting, Griss, Bouligand] stilte seg i motsetning til aksiomatikken var det ikke kun for intuisjonens, konstruksjonens og skapelsens skyld - det skyldtes også en problemkalkyle, en problematisk forståelse av vitenskapen som ikke var mindre abstrakt, men som medførte en helt annen abstrakt maskin som arbeidet i det ubestemmelige og i det flyktige. Det er aksiomatikkens reelle egenskaper som fører oss til å si at kapitalismen og den aktuelle politikk bokstavelig talt er en aksiomatikk.»[5]
Se også
[rediger|rediger kilde]- Argument (filosofi)/Premiss (filosofi)/Konklusjon (filosofi)
- Induksjon (filosofi)
- Deduksjon (filosofi)
- Gyldighet (filosofi)
- Fornuft (filosofi)
- Kurt Gödel
- Ufullstendighetsteoremet
Referanser
[rediger|rediger kilde]- ^Clapham & Nicholson 2009.
- ^Lindström 2013,s. 6.
- ^Adams 2003,s. A14-A15.
- ^Halvorsrød, Hilde (12. juli 2016):«Bergtatt og underholdt»,Scenekunst
- ^s. 601 av «Tusind Plateauer» dansk utgave oversatt av Niels Lyngsø - 2005 - av Mille Plateaux av Gilles Deleuze & Felix Guattari (1980 Les Editions de Minuit, Paris)
Litteratur
[rediger|rediger kilde]- Adams, Robert (2003).Calculus: a complete course(på english). Toronto, Ont. Addison-Wesley.ISBN0-201-79131-5.
- Clapham, C.; Nicholson, J. (2009).The Concise Oxford Dictionary of Mathematics.Oxford Quick Reference. OUP Oxford.ISBN978-0-19-157976-9.Besøkt 30. august 2016.
- Lindström, S.B. (2013).Matematisk ordbok för högskolan: engelsk-svensk, svensk-engelsk:(på svensk). Stefan B. Lindström.ISBN978-91-981287-0-3.Besøkt 30. august 2016.