

David CRANSTON est un logicien et philosophe écossais, formé à Paris au sein du milieu intellectuel bouillonnant du tournant du XVIe siècle. Élève et proche collaborateur de Jean Major, il s'inscrit dans le réseau écossais qui gravite autour du Collège de Montaigu et des institutions universitaires parisiennes. Mort prématurément à moins de quarante ans, il laisse une œuvre brève mais techniquement remarquable, qui témoigne de la vitalité d'une scolastique logique tardive au moment où l'humanisme renaissant commence à en contester la légitimité.
L'œuvre de Cranston se concentre sur la logique et les questions de langage, dans la tradition de la logique terministe héritée d'Ockham et de Buridan. Son traité principal porte sur les suppositiones — la théorie médiévale de la référence des termes dans le contexte des propositions — et sur les conséquences logiques, raffinant des outils conceptuels élaborés depuis le XIIIe siècle. Il s'intéresse également aux sophismes et aux insolubilia — paradoxes logiques comme le Menteur — terrain d'exercice privilégié de la logique universitaire de son temps.
Cranston appartient au courant du nominalisme parisien, héritier de la via moderna ockhamiste, qu'il pratique avec une technicité remarquable. Son œuvre s'inscrit dans le dialogue tendu avec l'humanisme de la Renaissance, qui reproche à la scolastique son jargon barbare, tandis que des logiciens comme Cranston défendent la fécondité d'une analyse précise du langage que les humanistes abandonnent pour le beau style.
La postérité de Cranston est limitée par sa mort précoce et par le déclin général de la logique scolastique face à la marée montante de l'humanisme et de la Réforme protestante. Néanmoins, ses travaux s'inscrivent dans une tradition qui, via Port-Royal et Leibniz, contribue à l'émergence de la logique formelle moderne. Les historiens de la philosophie analytique voient dans la logique terministe médiévale, dont Cranston est l'un des derniers représentants parisiens, une anticipation remarquable des problématiques de référence et de vérité qui dominent la philosophie du langage contemporaine.