Différences entre les versions de « Précis d'épistémologie/Principes logiques »

''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.
4 741

modifications