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

''Si '''E(x)''' est une conséquence logique des prémisses P et si '''x''' est une variable qui n'est pas mentionnée dans ces prémisses alors '''pour tout x, E(x)''' est une conséquence logique des mêmes prémisses.''
 
Un exemple d'usage de cette règle est le ''Je'' philosophique, ou cartésien. On ditpeut dire ''Je'' sans faire aucune hypothèse particulière sur l'individu ainsi nommé. Dès lors tout ce qu'on dit sur lui peut être appliqué à tous les individus. Si par exemple on a prouvé ''Je ne peux pas douter que je doute quand je doute'' sans faire d'hypothèse particulière sur soi-même, on peut déduire ''Personne ne peut douter qu'il doute quand il doute''.
 
'''La règle de détachement'''
4 741

modifications