« Précis d'épistémologie/Principes logiques » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 105 :
''Si '''C''' est une conséquence logique des prémisses Q et si toutes les prémisses Q sont des conséquences logiques des prémisses P alors '''C''' est une conséquence logique des prémisses P.''
Les règles fondamentales de déduction sont intuitivement évidentes, dès qu'on a compris les concepts de conséquence et de possibilité logiques et la détermination de la vérité des énoncés composés à partir de celle des énoncés atomiques. On peut prouver rigoureusement la vérité de ces intuitions, avec la définition de la relation de conséquence logique à partir du concept de monde logiquement possible.
La règle de répétition, la règle de transitivité et les règles fondamentales de déduction peuvent être considérées comme les principes des principes logiques, parce qu'elles suffisent pour justifier tous les autres principes logiques.
| |||