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

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.