Hypothèse du monde ouvert

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

En logique formelle, l’hypothèse du monde ouvert est la supposition selon laquelle la véracité d'une affirmation ne dépend pas de la connaissance d'un agent ou d'un observateur. Elle s'oppose à l'hypothèse du monde clos, dans laquelle l'absence d'information sur une affirmation est interprétée comme la preuve de sa fausseté.

L'hypothèse du monde ouvert est notamment faite au sein des logiques descriptives.