Postulat

Kaj je Postulate:

Postulat je stavek, ki ni dokazan ali dokazan, zato postane očiten ali postane začetno soglasje za sprejetje dane teorije.

Postulat ni nujno zelo jasna resnica, to je formalni izraz, ki se uporablja za sklepanje nečesa, da bi dosegli rezultat lažje, s pomočjo niza stavkov. Postulat je predlog, ki sicer ni očiten, vendar velja za resnico brez razprave.

Pogosto postulat velja za sinonim za aksiom, ker sta oba sprejeta brez razprave. Aksiom ima lahko tudi drug pomen, kot pri matematiki, ki je lahko začetna hipoteza drugih izjav, ali pa stavek, predlog ali pravilo, ki dovoljuje oblikovanje formalnega sistema.

V nekaterih posebnih primerih, kot so matematika ali nekatere naravoslovne znanosti, aksiomi niso sprejeti, ker so absolutna resnica, ampak zato, ker so del logičnega načela, ki je del popolnega logičnega zaporedja ali ker izhajajo iz empiričnega znanja, ki temelji na opazovanju in znanstvenih podatkov.

Aksiomi obstajajo tudi v inženirstvu, ko je nekaj sprejeto brez formalnih dokazov in so njegove izbire narejene z utilitarnega in ekonomskega vidika ali pa je tudi hipoteza pri modeliranju.

Nekaj najbolj znanih postulatov je Kohov postulat, Bohrov postulat in Euklidov postulat.

Postulat in aksiom

Razlika med aksiomom in predpostavko je, da aksiom sam po sebi vsebuje dokaze in jih zato ni treba dokazati. Aksiomov ni mogoče izpeljati z načeli odbitka niti jih ni mogoče dokazati s formalnimi izpeljami, ker so to začetne hipoteze.

Postulat je verjeten, tudi če ga ni mogoče dokazati. Po drugi strani pa aksiom morda ni verodostojen, ampak velja za absolutno resnico.