Logique et langage : déduction naturelle
Par : , ,Formats :
Disponible dans votre compte client Decitre ou Furet du Nord dès validation de votre commande. Le format PDF protégé est :
- Compatible avec une lecture sur My Vivlio (smartphone, tablette, ordinateur)
- Compatible avec une lecture sur liseuses Vivlio
- Pour les liseuses autres que Vivlio, vous devez utiliser le logiciel Adobe Digital Edition. Non compatible avec la lecture sur les liseuses Kindle, Remarkable et Sony
- Non compatible avec un achat hors France métropolitaine
, qui est-ce ?Notre partenaire de plateforme de lecture numérique où vous retrouverez l'ensemble de vos ebooks gratuitement
Pour en savoir plus sur nos ebooks, consultez notre aide en ligne ici
C'est si simple ! Lisez votre ebook avec l'app Vivlio sur votre tablette, mobile ou ordinateur :
- Nombre de pages216
- FormatPDF
- ISBN978-2-7056-8628-4
- EAN9782705686284
- Date de parution14/04/2010
- Protection num.Adobe DRM
- Taille47 Mo
- Infos supplémentairespdf
- ÉditeurHermann
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 sur 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.
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 sur 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.
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 sur 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.
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 sur 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.
A propos de Jean-Pierre Desclés
Verbum N° 40 N° 2, 2018
Grammaires catégorielles
Grand Format
15,00 €
