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

Contenu supprimé Contenu ajouté
Ligne 121 :
''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 d'individu. '''i''' peut être n'importe quel nom d'individu, une constante, une variable ou une expression composée. '''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.