| dbo:abstract
|
- La logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du XIXe siècle en logique mathématique. Appelée simplement logique à ses débuts, c'est l'apparition d'autres systèmes logiques formels, notamment de la logique intuitionniste, qui a suscité l'adjonction de l'adjectif classique au terme logique. À cette époque, le terme de logique classique fait référence à la logique aristotélicienne. La logique classique est caractérisée par des postulats qui la fondent et la différencient de la logique intuitionniste, exprimés dans le formalisme du calcul des propositions ou du calcul des prédicats :
* Le tiers exclu énonce que pour toute proposition mathématique considérée, elle-même ou sa négation est vraie :
* Le raisonnement par l'absurde :
* La contraposition :
* L'implication matérielle : Ces principes sont équivalents par raisonnement intuitionniste, c’est-à-dire que l'on peut montrer que n'importe lequel d'entre eux permet de déduire les autres en utilisant les règles intuitionnistes. On y ajoute généralement l'une des lois de De Morgan : Ces principes contribuent au fait que les modèles calculatoires de la logique classique sont beaucoup plus complexes que ceux de la logique intuitionniste. Le principe est valide en logique classique, et n'est pas démontrable en logique intuitionniste, mais son adjonction à la logique intuitionniste n'engendre pas la logique classique. (fr)
- La logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du XIXe siècle en logique mathématique. Appelée simplement logique à ses débuts, c'est l'apparition d'autres systèmes logiques formels, notamment de la logique intuitionniste, qui a suscité l'adjonction de l'adjectif classique au terme logique. À cette époque, le terme de logique classique fait référence à la logique aristotélicienne. La logique classique est caractérisée par des postulats qui la fondent et la différencient de la logique intuitionniste, exprimés dans le formalisme du calcul des propositions ou du calcul des prédicats :
* Le tiers exclu énonce que pour toute proposition mathématique considérée, elle-même ou sa négation est vraie :
* Le raisonnement par l'absurde :
* La contraposition :
* L'implication matérielle : Ces principes sont équivalents par raisonnement intuitionniste, c’est-à-dire que l'on peut montrer que n'importe lequel d'entre eux permet de déduire les autres en utilisant les règles intuitionnistes. On y ajoute généralement l'une des lois de De Morgan : Ces principes contribuent au fait que les modèles calculatoires de la logique classique sont beaucoup plus complexes que ceux de la logique intuitionniste. Le principe est valide en logique classique, et n'est pas démontrable en logique intuitionniste, mais son adjonction à la logique intuitionniste n'engendre pas la logique classique. (fr)
|
| rdfs:comment
|
- La logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du XIXe siècle en logique mathématique. Appelée simplement logique à ses débuts, c'est l'apparition d'autres systèmes logiques formels, notamment de la logique intuitionniste, qui a suscité l'adjonction de l'adjectif classique au terme logique. À cette époque, le terme de logique classique fait référence à la logique aristotélicienne. On y ajoute généralement l'une des lois de De Morgan : Le principe (fr)
- La logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du XIXe siècle en logique mathématique. Appelée simplement logique à ses débuts, c'est l'apparition d'autres systèmes logiques formels, notamment de la logique intuitionniste, qui a suscité l'adjonction de l'adjectif classique au terme logique. À cette époque, le terme de logique classique fait référence à la logique aristotélicienne. On y ajoute généralement l'une des lois de De Morgan : Le principe (fr)
|
_B_V_B_-)_A1.png?width=300)
_B_V_B_-)_A1.png){kind=link}
_B_V_B_-)_A1.png){kind=link}
