postulatet

Hva er Postulat:

Postulat er en setning som ikke er bevist eller demonstrert, og blir derfor åpenbar eller blir en første konsensus for aksept av en gitt teori.

Postulatet er ikke nødvendigvis en veldig klar sannhet, det er et formelt uttrykk som brukes til å utlede noe for å få et resultat lettere, gjennom et sett med setninger. Postulatet er et forslag om at, selv om det ikke er åpenbart, anses sant uten diskusjon.

Ofte ses postulatet som et synonym for aksiom, fordi begge er akseptert uten debatt. Imidlertid kan aksiom også ha en annen mening, som i matematikk, som kan være en innledende hypotese av andre uttrykk, ellers en setning, proposisjon eller regel som tillater bygging av et formelt system.

I noen spesifikke tilfeller som matematikk eller noen naturvitenskap aksepteres aksiomer fordi de er en absolutt sannhet, men fordi de er en del av et logisk prinsipp, som er en del av en perfekt logisk sekvens eller fordi de kommer fra empirisk kunnskap basert på observasjon og vitenskapelige data.

Aksiomer eksisterer også i ingeniørfag, når det er noe akseptert uten formelt bevis og dets valg er laget av et utilitaristisk og økonomisk synspunkt, eller det kan også være en hypotese i modellering.

Noen av de mest kjente postulatene er Kochs postulat, Bohrs postulat og Euklids postulat.

Postulat og aksiom

Forskjellen mellom aksiom og postulat er at aksiomet inneholder bevis i seg selv og derfor ikke trenger å bli demonstrert. Aksiomer kan ikke utledes av fradragsprinsipper, og det kan heller ikke påvises ved formelle avledninger, fordi de er første hypoteser.

Et postulat er troverdig, selv om det ikke kan påvises. På den annen side kan et aksiom ikke være troverdig, men regnes som en absolutt sannhet.