« Précis d'épistémologie/Principes logiques » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 132 :
''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.''
Dans cette règle comme dans les suivantes, ''P'' est une liste finie d'énoncés.
Un exemple d'usage de cette règle est le ''Je'' philosophique, ou cartésien. On peut 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''.
| |||