Chargement...
Chargement...

Logique et langage : déduction naturelle : avec exercices interactifs et animés (logiciel Logic)

Auteur : Jean-Pierre Desclés

Auteur : Brahim Djioua

Auteur : Florence Le Priol

35,00 €
Chargement...
Livraison à partir de 0,01 €
-5 % Retrait en magasin avec la carte Mollat
en savoir plus

Résumé

Présentation de la méthode de la déduction naturelle de A. Gentzen (1934) qui permet de faire comprendre le rôle des constantes logiques, de la négation ainsi que des mots de la langue naturelle tels que : ou, si, alors, tous, quelques, aucun. Le CD-ROM permet de résoudre les exercices proposés dans l'ouvrage. ©Electre 2024

Penser, parler, raisonner sont des activités liées au "logos" grec.

Ces activités sont en étroite interaction, en particulier dans les sciences cognitives actuelles. La logique est-elle un art pour bien raisonner ? Une méthode d'argumentation correcte ? Une science de démonstration ? Une discipline dont la norme est le vrai ?

Une étude des opérations mentales ? Une identification des lois de la pensée ? Une analyse formelles des concepts ? L'analyse du langage des mathématiques ?

Une recherche sur les fondements théoriques de l'informatique ?

La logique est un langage qui doit aider à répondre, au moins en partie, à toutes ces questions.

Plutôt que de présenter la logique comme un système formel, avec des règles générales, nous préférons présenter la logique des propositions et des prédicats par la méthode de la "déduction naturelle" de A. Gentzen (1934). Cette méthode a l'avantage de mieux faire comprendre le rôle des "constantes logiques", c'est-à-dire de la négation, des petits mots de la langue naturelle comme et, ou, si... alors, tous, quelques, aucun... Ces "constantes logiques" sont caractérisées par des règles (d'élimination et d'introduction) qui décrivent leur fonctionnement sémantique.

Cet ouvrage est destiné à des étudiants des trois premières années d'université et au-delà qui désirent acquérir la maîtrise des raisonnements logiques, que ce soit en philosophie, en linguistique, en psychologie, en sociologie, en communication, et bien sûr en informatique et mathématiques.

Le livre est accompagné d'un CD-Rom qui permettra aux lecteurs de résoudre les exercices proposés en ayant les éléments de réponses lorsqu'ils rencontreront des difficultés.

Fiche Technique

Paru le : 16/04/2010

Thématique : Logique

Auteur(s) : Auteur : Jean-Pierre Desclés Auteur : Brahim Djioua Auteur : Florence Le Priol

Éditeur(s) : Hermann

Collection(s) : Non précisé.

Série(s) : Non précisé.

ISBN : 978-2-7056-6925-6

EAN13 : 9782705669256

Reliure : Broché

Hauteur: 22.0 cm / Largeur 16.0 cm


Épaisseur: 1.8 cm

Poids: 313 g