« Précis d'épistémologie/Principes logiques » : différence entre les versions

(Précisions)
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.
4 789

modifications