« Précis d'épistémologie/Pourquoi la réalité est-elle intelligible ? » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 75 :
== Les mondes logiquement possibles ==
Un monde logiquement possible est un ensemble d'énoncés atomiques (Keisler 1977). Un énoncé est atomique lorsqu’il affirme une propriété fondamentale d’un individu ou une relation fondamentale entre plusieurs individus.
Par exemple, l’ensemble des énoncés suivants définit le monde, ou la structure, des nombres naturels : 1 suit 0, 2 suit 1, 3 suit 2… Il faut entendre que cet ensemble contient toutes les vérités atomiques formées avec les noms des nombres naturels et la relation de succession. Un énoncé atomique qui n’est pas dans cet ensemble est par conséquent faux.
| |||