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.