Frank PlEROBON, Kant et les mathématiques. La conception kantienne des mathématiques, Paris. Vnn, 2003.239 p.
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&#...
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Article ou chapitre numérique |
| Idioma: | Français |
| Publicado em: |
2004
|
| Acesso em linha: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| Resumo: | 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. |
|---|