« Précis d'épistémologie/Pourquoi la réalité est-elle intelligible ? » : différence entre les versions

''Une remarque sur le principe de compositionnalité - la signification d'une expression composée est déterminée par les significations des expressions composantes :'' ce principe n'est pas d'un usage obligatoire. On peut choisir une expression composée pour nommer un concept qui est déterminé indépendamment des expressions composantes, parce que c'est commode. Dans le cas présent, le concept de monde logiquement possible n'est pas défini à partir des concepts de monde et de logiquement possible mais à partir du concept d'ensemble d'énoncés atomiques. En revanche le concept de logiquement possible peut être défini à partir du concept de monde logiquement possible : un énoncé est logiquement possible ce quilorsqu'il est vrai dans au moins un monde logiquement possible. A partir de là on peut définir le concept de nécessité logique : un énoncé est logiquement nécessaire celorsque dont lasa négation n'est pas logiquement possible, et le concept de conséquence logique : B est une conséquence logique de A lorsque la conjonction de A et de la négation de B n'est pas logiquement possible. On peut aussi définir la nécessité et la conséquence logiques directement : un énoncé est logiquement nécessaire lorsqu'il est vrai dans tous les mondes logiquement possibles, B est une conséquence logique de A lorsqu'il est vrai dans tous les mondes logiquement possibles où A est vrai. La définition d'un monde logiquement possible par un ensemble d'énoncés atomiques est donc au fondement de toute la logique.