Introduction à la logique formelle et symbolique PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Introduction à la logique formelle et symbolique PDF full book. Access full book title Introduction à la logique formelle et symbolique by Jean Salem. Download full books in PDF and EPUB format.
Author: Jean Salem
Publisher:
ISBN: 9782091905198
Category : Logic, Symbolic and mathematical
Languages : fr
Pages : 141
Get Book Here
Book Description
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.
Author: Jean Salem
Publisher:
ISBN: 9782091905198
Category : Logic, Symbolic and mathematical
Languages : fr
Pages : 141
Get Book Here
Book Description
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.
Author:
Publisher:
ISBN:
Category :
Languages : fr
Pages : 144
Get Book Here
Book Description
Author: Antoinette Virieux-Reymond
Publisher: FeniXX
ISBN: 2705933476
Category : Science
Languages : fr
Pages : 140
Get Book Here
Book Description
Cet ouvrage est une réédition numérique d’un livre paru au XXe siècle, désormais indisponible dans son format d’origine.
Author: Gilbert Hottois
Publisher: De Boeck Supérieur
ISBN: 9782804138356
Category : Philosophy
Languages : fr
Pages : 220
Get Book Here
Book Description
L'ouvrage comporte deux grandes parties : * la première est une présentation technique et théorique de la logique formelle, principalement la logique des propositions et des prédicats ainsi que des éléments de logique non classique; * la seconde est d'orientation plus philosophique. Elle invite à réfléchir sur la logique et les problèmes de philosophie du langage qu'elle suscite à partir de Wittgenstein, Frege, Russell, Quine et Strawson. Cet ouvrage s'adresse aux universitaires, philosophes, philologues, linguistes, informaticiens, scientifiques désireux d'actualiser leurs connaissances en logique ou intéressés par le langage.
Author: André Delessert
Publisher: EPFL Press
ISBN: 9782880741532
Category : First-order logic
Languages : fr
Pages : 208
Get Book Here
Book Description
Author: Marc Peeters
Publisher: Editions Mardaga
ISBN: 9782804700188
Category : Logic
Languages : fr
Pages : 244
Get Book Here
Book Description
Author: Gilbert Hottois
Publisher: De Boeck
ISBN: 9782804112660
Category : Langage et langues - Philosophie
Languages : fr
Pages : 273
Get Book Here
Book Description
Deux parties: introduction théorique et technique à la logique formelle; introduction à la philosophie du langage et de la logique.
Author: Denis Vernant
Publisher: Editions Mardaga
ISBN: 9782870092712
Category : Logic
Languages : fr
Pages : 260
Get Book Here
Book Description
Author: Thomas MOUHANNA (père)
Publisher:
ISBN:
Category :
Languages : fr
Pages : 45
Get Book Here
Book Description
Author: Thierry Lucas
Publisher: De Boeck Supérieur
ISBN: 9782804182489
Category : Philosophy
Languages : fr
Pages : 272
Get Book Here
Book Description
Cet ouvrage propose une introduction à la logique contemporaine, à la fois rigoureuse et accessible à tous. Il aborde d’emblée la logique propositionnelle et la logique des prédicats du premier ordre, sans en développer les aspects mathématiques, mais sans négliger les techniques fondamentales. L’accent est particulièrement mis sur la logique comme outil d’analyse du langage. Le livre vaut non seulement pour la richesse des thèmes abordés, mais aussi pour la large gamme d’exercices résolus qui conduisent progressivement le lecteur à une connaissance approfondie des notions de base de la logique. Cette 4e édition, signée par deux auteurs des éditions précédentes et enrichie de l’apport d’un nouvel auteur, remanie le stock déjà abondant des exercices et lui ajoute une trentaine de pages, fruit de l’expérience d’enseignement.
