Logique

La formule A x A y E z ((Ry ˆ Hxy) Vecteur (Pz ˆ Hxz)) représente la forme logique de la proposition "le cheval d'un roi est le cheval d'un personnage important". N'allez pas en déduire que tout roi est un personnage important (Ax (Rx Vecteur Px)) ! Car on peut imaginer que l'unique habitant d'un Monde Possible s'est couronné lui-même, que par ailleurs il n'est pas un centaure, et qu'il n'est pas un personnage important du tout... 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.