Résumé : La syllogistique aristotélicienne, et plus généralement la théorie de l'inférence, trouve son fondement dans une heuristique dialogique et dialectique. La sémantique pragmatique d'une falsification d'un énoncé universel est précisée dans un jeu de rôle dialogique. De même, toute la théorie de l'inférence abstraite se fonde sur une supposition de deux agents idéaux dont l'un promeut la thèse à prouver tandis que l'autre joue le rôle de testeur de ladite thèse.