« Précis d'épistémologie/Principes logiques » : différence entre les versions
Contenu supprimé Contenu ajouté
Précisions |
|||
Ligne 9 :
La relation de conséquence logique peut être définie à partir de la possibilité logique :
'''C est une conséquence logique de prémisses P lorsqu'il n'y a aucun monde logiquement possible tel que C soit fausse et les P soient vraies.'''
Une conséquence logique ne peut pas être fausse si les prémisses sont vraies. La relation de conséquence logique conduit nécessairement du vrai au vrai.
| |||