Logique et langage : déduction naturelle.pdf

Logique et langage : déduction naturelle PDF

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 dargumentation 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 formelle des concepts ? Lanalyse du langage des mathématiques ? Une recherche sur les fondements théoriques de linformatique ? 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 lavantage de mieux faire comprendre le rôle des constantes logiques, cest-à-dire de la négation, des petits mots de la langue naturelle comme et, ou, si alors, tous, quelques, aucun... Cet ouvrage est destiné à des étudiants des trois premières années duniversité 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 sur en informatique et en mathématiques. Le livre est accompagné dun CD-Rom gratuit, qui permettra aux lecteurs de résoudre les exercices proposés en ayant les éléments de réponses lorsquils rencontreront des difficultés. Les auteurs ont tous enseigné cette matière à luniversité de Paris-Sorbonne dans des cours destinés à des étudiants en sciences humaines. Louvrage et les exercices résultent de cette expérience pédagogique.

TÉLÉCHARGER

LIRE EN LIGNE

TAILLE DU FICHIER 5.66 MB
ISBN 9782705669256
AUTEUR Jean-Pierre Desclés
FICHIER Logique et langage : déduction naturelle.pdf
DATE 06/05/2020

Raisonnement naturel et logique formelle Eléments d'histoire L'homme possède, entre autres facultés, le pouvoir de raisonner. Tous les hommes sont capables de raisonnement et sous des formes qui semblent varier relativement peu d'une époque à l'autre, d'une culture à l'autre1. Depuis longtemps des personnes se sont intéressées à cette faculté particulière et ont tenté d'en codifier