Logique et langage

Déduction naturelle

Jean-Pierre Desclès, Brahim Djioua, Florence Le Priol

212 pages, parution le 15/04/2010

Ajouter à une liste

Expédié sous 5 jours

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

QUANTITÉ

Résumé

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 formelle 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...

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 en mathématiques.

Le livre est accompagné d'un CD-Rom gratuit, 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.

Les auteurs ont tous enseigné cette matière à l'université de Paris-Sorbonne dans des cours destinés à des étudiants en sciences humaines. L'ouvrage et les exercices résultent de cette expérience pédagogique.

L'auteur - Jean-Pierre Desclès

Jean-Pierre Desclès est professeur en informatique et linguistique à l'université de Paris-Sorbonne où il enseigne l'informatique linguistique, la linguistique théorique, la logique et l'ingénierie des langues en effectuant ses recherches dans ces domaines.

Autres livres de Jean-Pierre Desclès

Logique combinatoire et lambda calcul

Découvrir tous les livres de Jean-Pierre Desclès

L'auteur - Brahim Djioua

Brahim Djioua est maître de conférences en informatique linguistique à l'université de Paris-Sorbonne où il enseigne l'informatique et la logique appliquées à la linguistique. Il mène ses recherches au laboratoire LaLIC.

L'auteur - Florence Le Priol

Florence Le Priol, docteur en informatique est ingénieur dans l'équipe LaLIC. Elle mène des recherches dans le cadre des projets de l'équipe.

Autres livres de Florence Le Priol

Annotations automatiques et recherche d'information

Découvrir tous les livres de Florence Le Priol

Caractéristiques techniques

	PAPIER
Éditeur(s)	Hermann
Auteur(s)	Jean-Pierre Desclès, Brahim Djioua, Florence Le Priol
Parution	15/04/2010
Nb. de pages	212
Format	16 x 22
Couverture	Broché
Poids	320g
Intérieur	Noir et Blanc
EAN13	9782705669256
ISBN13	978-2-7056-6925-6