Cos'è un postulato in logica?

In logica, un postulato o postulatum è un'affermazione che si presume vera senza prova. È un principio o assioma fondamentale che viene utilizzato come base per il ragionamento e l'argomentazione. I postulati sono spesso usati nei sistemi formali, come la matematica e la logica, per stabilire la coerenza di una teoria o per dimostrare la validità di una conclusione.

Nel contesto della sillogistica di Aristotele, i postulata sono i principi di base che sono alla base del sillogismo, come ad esempio la legge di non contraddizione e la legge del terzo escluso. Si presume che questi principi siano veri senza prova e servono come base per la deduzione di conclusioni dalle premesse.

In sintesi, un postulato o postulatum è un'affermazione che si presume vera senza prova e funge da principio fondamentale o assioma in una sistema logico.