Introduction A La Logique Formelle Et Symbolique. Avec Des Exercices Et Leurs Corriges - Brossura

Salem, Jean

Brossura

ISBN 10: 2091905194 ISBN 13: 9782091905198

Casa editrice: Nathan, 1998

Riassunto

Les apprentis logiciens et leurs enseignants avec eux se plaignaient jusqu'ici de ne disposer d'aucun ouvrage d'initiation à la logique formelle et symbolique ; aussi devaient-ils se rabattre sur des traités unanimement jugés trop difficiles pour satisfaire le débutant. Cet ouvrage se propose tout d'abord de présenter à l'étudiant les premières notions du calcul propositionnel et du calcul des prédicats. Il prétend également le familiariser au maniement des principaux outils logiques : aussi chaque leçon est-elle suivie par de nombreux exercices, dont les solutions sont données à la fin du volume. Fait suite à cette initiation un choix de textes relatifs à l'épistémologie de la logique : on y trouvera notamment des extraits d'œuvres d'Aristote, Boole, Frege, Russel, Wittgenstein, etc. Cet ouvrage comporte également un glossaire détaillé ainsi que de nombreuses indications bibliographiques qui guideront ultérieurement le lecteur, s'il cherche à se perfectionner.

Su questo libro

Informazioni sull?autore

Jean Salem, agrégé et docteur en philosophie, est diplômé en sciences politiques, histoire, art et archéologie, et maître de conférences à l'université de Paris I, Sorbonne.

Dettagli dell?edizione

• Editore: Nathan
• Data di pubblicazione: 1998
• Lingua: Francese
• ISBN 10: 2091905194
• ISBN 13: 9782091905198
• Rilegatura: Copertina flessibile
• Numero di pagine: 141
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile