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

''Si '''i''' est un individu alors '''E(i)''' est une conséquence logique de '''pour tout x, E(x)'''.''
 
'''x''' peut être n'importe quelle variable. '''E(i)''' est l'énoncé obtenu à partir de '''E(x)''' en substituant '''i''' à toutes les occurrences de '''x''' dans '''E(x)'''.
 
Cette règle est la plus importante de toute la logique, parce que la puissance des raisonnements vient des lois avec lesquelles on raisonne. A chaque fois qu'on applique une loi à un individu, on apprend ce qu'elle nous enseigne et on révèle la puissance de raisonner qu'elle nous donne.
4 796

modifications