Un assioma, in epistemologia, è una proposizione o un principio che è assunto come vero perché ritenuto evidente o perché fornisce il punto di partenza di un quadro teorico di riferimento.
L'insieme degli assiomi e dei concetti primitivi costituiscono il fondamento, il "punto di partenza", o l'inizio, di ogni teoria deduttiva che si presenti come sistema assiomatico (v. dimostrazione e dimostrazione matematica). Un assioma in ambito geometrico viene chiamato postulato.
Un postulato si differenzia da un assioma in quanto è introdotto per dimostrare proposizioni che altrimenti non potrebbero essere dimostrate. In altri termini si può definire come una semplicissima "teoria ad hoc", accettata grazie alla sua utilità.[1]
In matematica il termine postulato invece ha il significato più preciso di assioma non-logico, cioè di assioma specifico di una particolare teoria matematica. Gli assiomi e i postulati, proprio per loro natura, non sono mai dimostrati.
- ^ Penelope Maddy, Believing the Axioms, I, in Journal of Symbolic Logic, vol. 53, n. 2, giugno 1988, pp. 481–511, DOI:10.2307/2274520.