Ce court traité apprendra, entre autres choses, comment on représente la forme logique d'une proposition, ce qu'est le modèle d'une formule, et une méthode pour fabriquer des modèles qui est aussi une méthode de déduction. ©Electre 2025
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.
Paru le : 06/04/1998
Thématique : Logique
Auteur(s) : Auteur : Bernard Ruyer
Éditeur(s) :
PUF
Collection(s) : Non précisé.
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782130492870
Reliure : Broché
Pages : 224
Hauteur: 22.0 cm / Largeur 15.0 cm
Épaisseur: 0.1 cm
Poids: 305 g
Carte fidélité
Mollat Radio
