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

'''La règle de généralisation'''

 

 

Un exemple d'usage de cette règle est le ''Je'' philosophique, ou cartésien. On dit ''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 la preuve directe d'existence'''

 

 

Dans la règle de la preuve directe d'existence, '''E(x)''' est l'énoncé obtenu en substituant '''x''' à certaines, pas forcément toutes les occurrences de '''i''' dans '''E(i)'''. On suppose que '''x''' n'est pas mentionné dans '''E(i)'''.

'''La règle d'élimination du quantificateur existentiel'''

 

 

==Les raisonnements sans hypothèse et les lois logiques==