4 795
modifications
« Précis d'épistémologie/Principes logiques » : différence entre les versions
→Les raisonnements sans hypothèse et les lois logiques : l'alternative fondamentale
(→Les raisonnements sans hypothèse et les lois logiques : l'alternative fondamentale) |
|||
|
La tautologie pure : '''
Comme '''p''' est une conséquence logique de '''p''' d'après la règle de répétition, '''si p alors p''' est une loi logique d'après la règle d'incorporation d'une hypothèse.
Elle est la conjonction du principe de non-contradiction et de la loi du tiers exclu. Tout énoncé qui a une signification complètement déterminée est vrai ou faux mais pas les deux. Lorsqu'un énoncé est à la fois vrai et faux, ou ni vrai ni faux, sa signification n'est pas complètement déterminée : il est vrai en un sens, faux en un autre, ou bien il n'est ni vrai ni faux parce que rien ne permet d'en décider.
Une loi découverte par les stoïciens : '''si (si non p alors p) alors p'''
Par exemple : si tout est faux alors tout n'est pas faux (puisqu'il serait vrai que tout est faux), donc tout n'est pas faux.
* (1) Hypothèse : '''
** (2) Hypothèse : '''non p'''
** (3) '''p''' d'après (1) et (2) et la règle de détachement.
Toutes les règles de déduction, fondamentales ou dérivées, peuvent être traduites en lois logiques, parce que si C est une conséquence logique des prémisses P alors '''
==La dérivation des conséquences logiques==
| |||