Adéquation et complétude de la méthode diagrammatique, relativement aux techniques traditionnelles de la syllogistique.
Résumé
Dans cet appendice technique, nous démontrons qu'une certaine méthode diagrammatique (par les diagrammes d'Euler généralisés) est capable de capturer tous et exactement tous les raisonnements qui sont valides au sens de la syllogistique (selon la méthode traditionnelle des figures et des modes).
Origine : Fichiers produits par l'(les) auteur(s)