En dehors du monde arabe, il y avait peu d’activité dans le raisonnement impliquant la période de Boèce et le 12ème siècle. Certes, Byzance n’a rien produit de conscient. En Europe latine, il y a eu quelques écrivains, dont Alcuin d’York (vers 730-804) et Garland the Computist (épanoui vers 1040). Cependant, ce n’est qu’à la fin du XIe siècle qu’un intérêt significatif pour la logique a repris. Saint Anselme de Cantorbéry (1033-1109) a parlé de questions sémantiques dans son De grammatico et a étudié les notions de possibilité et de nécessité dans les fragments survivants, mais ces messages texte n’avaient pas beaucoup d’influence. Plus importante était la méthode de base d’Anselme consistant à utiliser des approches rationnelles de la théologie. Son exemple a donné le ton à beaucoup de choses qui allaient suivre. Le tout premier logicien latin essentiel après Boèce était Pierre Abélard (1079-1142). Il a écrit trois groupes de commentaires et de gloses sur l’Isagoge de Porphyre et les Groupes et De interprete d’Aristote ; il s’agissait des Introductiones parvulorum (contenant également des gloses sur certains écrits de Boèce), Logica « Ingredientibus » et Logica « Nostrorum pétitioni sociorum » (autour de l’Isagoge seulement), ainsi que le traité indépendant Dialectica (en partie existant). Ces œuvres montrent une compréhension de Boèce mais vont bien au-delà de lui. L’un des sujets abordés avec perspicacité par Abélard sont le rôle de la copule dans les propositions catégoriques, les effets de divers rôles du signe de négation dans les propositions catégoriques, les notions modales comme « possibilité », les contingents à long terme (tels que pris en charge, par exemple, , au chapitre 9 du De interprete d’Aristote), et les propositions conditionnelles ou « conséquences ». Les recherches fécondes d’Abélard ont élevé la recherche logique dans l’Europe médiévale à un nouveau niveau. Son exploit est encore plus remarquable, car les sources à sa disposition étaient les mêmes que celles qui étaient disponibles en Europe au cours des 600 dernières années : les catégories et le De interprete d’Aristote et l’Isagoge de Porphyre, ainsi que les commentaires et traités indépendants de Boèce. Même du vivant d’Abélard, cependant, les choses avaient changé. Juste après environ 1120, les traductions de Boèce des Analyses précédentes, des sujets et des réfutations sophistiques d’Aristote ont commencé à couler. À un moment donné au cours du deuxième quart du XIIe siècle, Jacques de Venise interpréta l’Analytique postérieure du grec, ce qui rendit ainsi l’ensemble de l’Organon accessible en latin. Ces nouvelles fonctions aristotéliciennes facilement disponibles ont été reconnues collectivement sous le nom de Logica nova (« Nouvelle Logique »). Dans un tourbillon d’activités, d’autres personnes au cours des XIIe et XIIIe siècles ont créé des traductions supplémentaires de ces fonctions ainsi que des commentaires grecs et arabes, ainsi que de nombreux autres articles philosophiques ainsi que d’autres fonctions à partir de sources grecques et arabes. Les réfutations sophistiques se sont avérées un moteur essentiel dans le développement de la logique du moyen âge. C’est un petit catalogue de sophismes, comment les éviter, et la façon de piéger les autres pour qu’ils les exécutent. Le travail est extrêmement sommaire. De nombreux types d’erreurs ne sont généralement pas discutés, et ceux qui le sont peuvent avoir été traités d’une manière différente. Contrairement aux statistiques postérieures, les réfutations sophistiques étaient relativement claires et compréhensibles. Et contrairement aux statistiques précédentes – où, à l’exception de la syllogistique modale, Aristote avait laissé peu de choses à compléter – il y avait clairement encore beaucoup à étudier sur les sophismes. De plus, l’invention des sophismes était particulièrement essentielle en théologie, en particulier dans les doctrines de la Trinité ainsi que de l’Incarnation. En un mot, le Sophistic Refutations a été conçu sur mesure pour entraîner l’ingéniosité rationnelle du 12ème siècle. Et c’est certainement ce qui s’est passé.