« Précis d'épistémologie/Principes logiques » : différence entre les versions
Précis d'épistémologie/Principes logiques (modifier)
Version du 7 juillet 2021 à 12:47
, il y a 2 ans→Conséquence et possibilité logiques
(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.
|