La problématique de la communauté humaine dans Huis Clos et Les Séquestrés
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&#...
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Article ou chapitre numérique |
| Idioma: | Français |
| Publicado: |
2005
|
| Acceso en liña: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| id |
cairn-RIP_231_0121 |
|---|---|
| record_format |
cairn |
| spelling |
cairn-RIP_231_0121RIPRevue internationale de philosophie https://shs.cairn.info/revue-internationale-de-philosophie-2005-1-page-121?lang=fr https://doi.org/10.3917/rip.231.0121 La problématique de la communauté humaine dans Huis Clos et Les Séquestrés Verstraeten, Pierre2005 fre Revue internationale de philosophie | 231 | 1 | 2005-03-01 | p. 121-146 | 0048-8143 RIP_23169 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.Cairn free access |
| language |
Français |
| format |
Article ou chapitre numérique |
| building |
0/Bibliothèque numérique/ 1/Bibliothèque numérique/Cairn/ |
| description |
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. |
| author |
Verstraeten, Pierre |
| spellingShingle |
Verstraeten, Pierre La problématique de la communauté humaine dans Huis Clos et Les Séquestrés |
| author_facet |
Verstraeten, Pierre |
| author_sort |
Verstraeten, Pierre |
| title |
La problématique de la communauté humaine dans Huis Clos et Les Séquestrés |
| title_short |
La problématique de la communauté humaine dans Huis Clos et Les Séquestrés |
| title_full |
La problématique de la communauté humaine dans Huis Clos et Les Séquestrés |
| title_fullStr |
La problématique de la communauté humaine dans Huis Clos et Les Séquestrés |
| title_full_unstemmed |
La problématique de la communauté humaine dans Huis Clos et Les Séquestrés |
| title_sort |
la problématique de la communauté humaine dans huis clos et les séquestrés |
| publishDate |
2005 |
| container_title |
|
| container_issue |
|
| url |
https://ezproxy.univ-orleans.fr/login?url=https://shs.cairn.info/revue-internationale-de-philosophie-2005-1-page-121?lang=fr https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.3917/rip.231.0121 |
| _version_ |
1877246682207354881 |