Logique

Le lecteur de ce court traité apprendra, entre autres choses, comment on représente la forme logique d'une proposition, ce qu'est un modèle d'une formule, et une méthode pour fabriquer des modèles qui est aussi une méthode de déduction. Philosophes, linguistes, informaticiens, mathématiciens trouveront, dans cet ouvrage, un peu plus qu'une introduction à l'un des arts libéraux qui - avec grammaire et rhétorique - constituent le traditionnel trivium - le plus fascinant sans doute. On trouvera, au fil des exemples et des exercices, le bestiaire familier des traités de logique : chauve-souris, chats, chevaux, licornes, centaures… Mais on rencontrera aussi un ours blanc, une fourmi, et même un loup de Tasmanie.