Ett axiom (latin axioma, av gr ἀξίωμα, 'värde', 'åsikt') är i vardagliga sammanhang ett självklart påstående vars sanningshalt inte kan betvivlas. Inom logik är ett axiom en grundsats i ett deduktivt system som inte kan bevisas inom ramen för systemet i fråga.[1] I den äldre vetenskapsteoretiska traditionen antog man att axiomen måste vara uppenbart sanna, och att ett bevis för ett axiom var överflödigt eftersom axiomets giltighet insågs omedelbart. I modernare teorier har denna tanke övergivits för en syn som helt bygger på konventioner, utan hänvisning till begrepp som sanning eller falskhet. Axiomen är helt enkelt de satser vilka man kommit överens om att använda som grund.[2]

Ett system, vars fundament är ett antal axiom, kallas för ett axiomatiserat system och i ett sådant benämns de satser, som kan härledas med hjälp av axiomen, för teorem. Alla härledda satser som inte är axiom är således teorem. I formella system är axiomen definierade utan hänvisning till någon tolkning. Exempel på axiomatiskt uppbyggda system är geometrien i Euklides Elementa, Peanos axiomsystem och satslogikens formella system.[3]

Etymologi

redigera

Ordet "axiom" kommer från det grekiska ordet ἀξίωμα (axioma), ett verbalsubstantiv från verbet ἀξιόειν (axioein), vilket betyder att anse värdig, men också att behöva, kräva, som i sin tur kommer från ἄξιος, vilket betyder att "vara i balans", och därigenom "ha samma värde (som)", "värdig", "proper". Bland de antika grekiska filosoferna var ett axiom ett påstående som kunde ses som uppenbart och otvivelaktigt och som därmed inte krävde något bevis. Grundbetydelsen av ordet postulera är att begära. Exempelvis begär Euklides av oss, att vi instämmer i att vissa saker kan göras, exempelvis att vilka två punkter som helst kan sammanfogas med en rät linje, och så vidare.[4]

Antika geometriker skilde på axiom och postulat. Medan Proklos kommenterade Euklides bok anmärkte han att "Geminus vidhöll att hans fjärde postulat inte borde klassificeras som ett postulat utan som ett axiom, då det inte, som de första tre postulaten, uttrycker möjligheten av viss konstruktion, men uttrycker en nödvändig egenskap".[5] Boethius översatte postulat till petitio och kallade axiomen för notiones communes men det användandet var inte lika tydligt i senare manuskript.

Axiomatiska system

redigera

Ett system kallas axiomatiskt om alla teorem i systemet kan härledas från axiomen, samt om alla begrepp som används är definierade i termer av på förhand givna, mer primitiva begrepp. En mängd av axiom kallas för ett axiomsystem eller en axiomuppsättning. I logiken kallas detta ofta för en teori, men där kan även "teori" syfta på hela mängden av teorem, som följer av axiomsystemet. Det första exemplet på ett axiomatiskt system är Euklides antika geometri, som presenteras i boken Elementa. Detta system innehåller fem axiom, varav det femte är det kända och kontroversiella parallellaxiomet. Alla teorem i dåtidens matematik kan härledas från axiomen.[6]

Studiet av axiomatiska system har under 1900-talet bildat en egen disciplin inom logik. Ett viktigt resultat är Gödels ofullständighetsteorem, som visar att alla axiomatiska system som innehåller den vanliga teorin om addition och multiplikation är ofullständiga.[6]

Berömda axiom

redigera

Berömda axiomsystem

redigera

Se även

redigera

Referenser

redigera
  1. ^ Jämför Bengt Stolt, Über Axiomenssysteme die eine abstrakte Gruppen bestimmen. Uppsala 1953.
  2. ^ Dalén, Uno (redaktör) (1961–1967). ”Band 1, Axiom”. Bonniers lexikon. Stockholm: AB Nordiska Uppslagsböcker. sid. 1047. Libris 8198071 
  3. ^ H. Kahane, Logic and Philosophy, Wadsworth 1963.
  4. ^ Wolff, P. Breakthroughs in Mathematics, 1963, New York: New American Library, ss 47–48
  5. ^ "Geminus held that this [4th] Postulate should not be classed as a postulate but as an axiom, since it does not, like the first three Postulates, assert the possibility of some construction but expresses an essential property" Heath, T. 1956. The Thirteen Books of Euclid's Elements. New York: Dover. s200
  6. ^ [a b] Axiom i Nationalencyklopedins nätupplaga.

Externa länkar

redigera