Logique moderne. / Fascicule I, Logique des propositions et des prédicats, déduction naturelle

Description

L'ouvrage traite de la logique mathématique dans une perspective non algébrique. Il s'adresse, en effet, principalement aux étudiants et aux chercheurs en sciences humaines et non aux mathématiciens. il se propose une double fin: D'une part, il veut présenter la logique comme un instrument réellement applicable à l'analyse de situations et de problèmes divers. C'est la raison pour laquelle une importance particulière a été ac1 cordée à la «déduction naturelle», système où des règles d'inférence tiennent la place des axiomes traditionnels. D'autre part, il se propose, sans|. recourir à des considérations métamathématiques, d'éclairer la logique sous divers de ses aspects, C'est ainsi que, en plus de la dé- duction naturelle (Fascicule I), il exposera pour la logique des propositions (Fascicule II) et pour celle des prédicats (Fascicule III) les notions de tables de vérité, d'axiomatisation et de modèle. Un fascicule fournira aussi des exer- cices, notamment des exemples de «traduction» et des compléments. Enfin un dernier cahier traitera des logiques non classiques (logiques intuitionnistes, polyvalentes, mo- dales), toutes logiques moins con- nues, mais qui semblent offrir des possibilités d'avenir aux sciences de l'homme.