c'est autour de cet axe que la logique et la sémantique se sont
organisées au moyen âge. 19 formes de syllogismes sont répertoriées
puis remplacées par la théorie des conséquences, conséquentiae,
plus générale.
le raisonnement par l'absurde sert à chercher les contradictions:
secundum ymaginationem (imaginons que ) ......

Pierre d'Espagne, Guillaume d'Okham, Jean Buridan, Albert de saxe,
posent des problèmes et étudient des questions qui sont toujours
d'actualité de nos jours comme la différence entre l'infini en acte
qui repose sur des objets ou collections et l'infini en puissance (voir
les travaux de Cantor) plus théorique et abstrait