Can I read Logique moderne. on EtoBox?

Logique moderne. by Jean-Blaise Grize is a nonfiction available to read on EtoBox.

What is Logique moderne. about?

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 poss

Who reads Logique moderne.?

Author

Jean-Blaise Grize

Publisher

Gauthiers-Villars

Published

1972

Language

FR

Category

nonfiction

Subjects

Mathematics, Logic, Stem