Aristote et la « logique formelle moderne » : sur quelques paradoxes de l'interprétation de Łukasiewicz
La Syllogistique d’Aristote de ?ukasiewicz est écrite pour corriger les interprétations traditionnelles de la syllogistique d’Aristote en se plaçant « du point de vue de la logique formelle moderne ». Son interprétation contient plusieurs paradoxes forts : la description de la syllogistique comme u...
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Article ou chapitre numérique |
| Idioma: | Français |
| Publicado: |
2011
|
| Acceso en liña: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| Résumé: | La Syllogistique d’Aristote de ?ukasiewicz est écrite pour corriger les interprétations traditionnelles de la syllogistique d’Aristote en se plaçant « du point de vue de la logique formelle moderne ». Son interprétation contient plusieurs paradoxes forts : la description de la syllogistique comme une axiomatique qui utilise intuitivement les règles du calcul propositionnel, l’absence de quantificateurs et l’interprétation de la « nécessité syllogistique » comme un quantificateur universel, l’interprétation quadrivalente de la logique modale tout en admettant que la logique d’Aristote est bivalente. Tous ces paradoxes se comprennent mieux si l’on voit que ?ukasiewicz veut construire un système logique cohérent conforme aux intentions d’Aristote en utilisant la logique moderne comme un outil, tout en réagissant contre les critiques de la logique moderne à l’encontre de la syllogistique d’Aristote. |
|---|