« Précis d'épistémologie/Pourquoi la réalité est-elle intelligible ? » : différence entre les versions
Contenu supprimé Contenu ajouté
→Les mondes logiquement possibles : ''Une remarque sur la possibilité logique'' |
|||
Ligne 85 :
Plus généralement un être mathématique est une structure ou une place dans une structure (Shapiro 1997, 2000). Une structure est un monde logiquement possible. Lorsqu’il est une place dans une structure, tout l’être d’un être mathématique est son être dans le tout, la structure. Un être mathématique peut être à la fois une structure et une place dans une structure plus vaste.
''Une remarque sur la possibilité logique'' : David Lewis craint qu'il y ait une circularité dans la définition du concept de possibilité logique, parce qu'un monde logiquement possible est tel qu'il est impossible que sa définition implique une contradiction (Lewis 1986). En définissant un monde logiquement possible comme un ensemble d'énoncés atomiques, on évite ce problème de circularité. La définition d'un monde logiquement possible ne peut pas impliquer de contradiction parce que les énoncés atomiques ne contiennent jamais de négation. S'il n'y a pas de négation, il ne peut pas y avoir de contradiction.
== L'explication ==
| |||