« 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 ==
 
On définit unUn monde logiquement possible avecest un ensemble de véritésd'énoncés atomiques. Pour cela on se donne des propriétés et des relations fondamentales et un ensemble d’individus auxquels on peut attribuer ces propriétés et ces relations. 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.