Qu’est-ce qu’un postulat en logique ?

En logique, un postulat ou postulatum est une affirmation supposée vraie sans preuve. Il s’agit d’un principe fondamental ou d’un axiome qui sert de base au raisonnement et à l’argumentation. Les postulats sont souvent utilisés dans les systèmes formels, tels que les mathématiques et la logique, pour établir la cohérence d'une théorie ou pour prouver la validité d'une conclusion.

Dans le contexte de la syllogistique d'Aristote, les postulats sont les principes de base qui sous-tendent le syllogisme, tels que la loi de non-contradiction et la loi du tiers exclu. Ces principes sont supposés vrais sans preuve et servent de fondement à la déduction de conclusions à partir de prémisses.

En résumé, un postulat ou postulatum est une déclaration qui est supposée vraie sans preuve et sert de principe fondamental ou d'axiome dans un système logique.