Postuluoti

Kas yra postuliacija:

Postulatas yra sakinys, kuris nėra įrodytas ar parodytas, todėl tampa akivaizdu arba tampa pradiniu sutarimu tam tikros teorijos priėmimui.

Postulatas nebūtinai yra labai aiški tiesa, tai yra formali išraiška, naudojama kažkam, kad būtų lengviau gauti rezultatą, naudojant sakinių rinkinį. Postulatas yra pasiūlymas, kuris, nors ir neaiškus, laikomas tiesa be diskusijų.

Dažnai postulatas laikomas aksiomos sinonimu, nes abu yra priimami be diskusijų. Tačiau aksioma taip pat gali turėti kitą reikšmę, kaip matematika, kuri gali būti pradinių kitų kalbų hipotezė, arba sakinys, pasiūlymas arba taisyklė, leidžianti formuoti oficialią sistemą.

Kai kuriais konkrečiais atvejais, pvz., Matematika ar kai kurie gamtos mokslai, aksiomos nepriimamos, nes jos yra absoliuti tiesa, bet todėl, kad jos yra loginio principo dalis, kuri yra tobulos loginės sekos dalis arba todėl, kad jie yra pagrįsti empirinėmis žiniomis, pagrįstomis stebėjimu ir mokslinius duomenis.

Aksiomos taip pat egzistuoja inžinerijoje, kai tai priimama be formalių įrodymų, o jos pasirinkimai yra atliekami iš utilitarinio ir ekonominio požiūrio, taip pat gali būti modeliavimo hipotezė.

Kai kurie iš labiausiai žinomų postulatų yra Kocho postulatas, Bohr postulatas ir Euklido postulatas.

Postuliacija ir aksioma

Skirtumas tarp aksiomos ir postulato yra tas, kad aksioma pati savaime turi įrodymų, todėl jų nereikia įrodyti. Aksiomos negali būti išskaičiuojamos iš atskaitos principų ir jų negalima įrodyti formaliomis išvestimis, nes jos yra pradinės hipotezės.

Postulatas yra patikimas, net jei jo neįmanoma įrodyti. Kita vertus, aksioma gali būti neįtikima, bet laikoma absoliučia tiesa.

Apskaitos postulatas

Postulatai yra apskaitos pagrindas ir gali būti apibūdinami kaip aprašomieji postulatai, aplinkos postulatai ir normatyviniai postulatai.