Différences entre les versions de « Précis d'épistémologie/Principes logiques »

(→‎Les règles fondamentales de déduction : précisions sur les noms d'individus)
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 lorsqusi et seulement s'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 741

modifications