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

Contenu supprimé Contenu ajouté
Ligne 125 :
''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.