The General and the Master : The Subtext of the Philosophy of Emotion and its Relationship to Obtaining Enlightenment in the Platform Sutra
Dans cet article je presente les fondements de la logique intuitioniste basee sur la logique lineair. Traditionnellement, la logique intuitioniste est concideree comme etant en disaccord avec les lois fondamentales de la logique classique sur la dualite, comme le tiers-exclu, les lois de Morgan, l&#...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | Article ou chapitre numérique |
| اللغة: | Français |
| منشور في: |
2005
|
| الوصول للمادة أونلاين: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| الملخص: | Dans cet article je presente les fondements de la logique intuitioniste basee sur la logique lineair. Traditionnellement, la logique intuitioniste est concideree comme etant en disaccord avec les lois fondamentales de la logique classique sur la dualite, comme le tiers-exclu, les lois de Morgan, l'elimination de la double negation, etc. Je propose l'idee suivante, la logique lineaire (classique) est essentiellement la logique intuitioniste, et en raison de 1'utilisation de la dualite classique dans la logique lineaire, la logique intuitioniste est en fait compatible avec la dualite classique, au niveau le plus fondamental. La notion essentielle dans cette analyse est la notion de modalite, "necessairement toujours constructible", presente en logique lineaire. Cette notion joue un role d'objectivisation dans le cadre de la semantique, qui relie logique lineaire et logique intuitioniste. |
|---|