A négliger l'étude du langage pour aller directement aux choses, on ne fait que projeter dans l'être l'ombre portée du discours, de ses éléments, de ses articulations. Soutenu par cette conviction, Guillaume d Ockham mène, au début du XIVe siècle une analyse critique minutieuse des catégories logiques et métaphysiques léguées par Aristote, Porphyre et Boèce: entreprise de déréalisation qui ne conduit pas à un enfermement dans le langage mais tut au contraire à une étude rigoureuse des modes selon lesquels les signes verbaux et conceptuels se rapportent aux choses existantes, dans leur réalité singulière. La somme de logique, dont la première partie est ici traduite pour a première fois en français, constitue un moment décisif dans la mise en place des principes de l'analyse sémantique que développèrent bon nombre de philosophes du XIVe siècle. Œuvre majeure pour comprendre la pensée des derniers siècles médiévaux, la logique ockhamiste rompt avec toute vision d'un système cosmologique de renvois symboliques où le monde est lui-même un langage - vision dominante depuis Augustin - et travaille à reformuler dans la simplicité d'un rapport référentiel le face à face qui s'instaure entre le monde réel et le langage comme ensemble organisé de signes. Le premier traité comprend la théorie des termes. Elle expose d'abord les principes de la sémiologie ockhamiste, notamment le statut de signe naturel, c'est- à-dire du concept, les principes d'une relation sémantique directe entre le signe (parlé ou conceptuel) et son ou ses signifiés, puis les différents types de termes, en particulier la distinction entre termes absolus, qui signifient proprement et directement tout ce qu'ils signifient et des termes connotatifs, qui outre leur signification première ont une signification latérale ou secondaire. Cette distinction est décisive pour comprendre le programme ultérieur de réduction des catégories. La traité comprend ensuite un exposé de la théorie ockhamiste de l'universel, la théorie des " prédicables " de Porphyre (genre, espèce, propre, différence et accident), une brève mise au point sur les transcendantaux, une théorie détaillée des catégories, notamment de la quantité et de la relation, puis la théorie de la supposition (c'est-à-dire de la référence des termes en contexte propositionnel), avec définition, et étude des différents types de supposition.