Résumé
Cet ouvrage qui s'adresse tant à l'étudiant qu'à "l'honnête homme", présente donc les techniques logiques élémentaires depuis la logique aristotélicienne jusqu'à la logique moderne, calcul des propositions et calcul des prédicats. Chaque chapitre est suivi d'une série d'exercices visant à mettre le lecteur en situation de pratiquer la technique logique. Le corrigé des exercices est donné à la fin de l'ouvrage. De plus quelques textes philosophiques accompagnent certains chapitres et s'offrent à la méditation. Cet ouvrage s'efforçant de toujours donner un recul réflexif par rapport à une discipline, recul qui fait le propre de l'esprit philosophique.
L'auteur - Gérard Chazal
Gérard Chazal, docteur en philosophie, enseigne à l'Université de Bourgogne. Il a publié Le Miroir automate : introduction à une philosophie de l'informatique (Champ Vallon, 1995) et Formes, figures, réalité (Champ Vallon, 1997).
Autres livres de Gérard Chazal
Sommaire
- Introduction
- 1. Nature et brève histoire de la logique
- 2. La proposition chez Aristote
- 3. Le syllogisme
- 4. Déduction et résolution des syllogismes
- 5. L'Ecole de Mégare et les stoïciens
- 6. Le calcul des propositions : conjonction et disjonction inclusive
- 7. Le calcul des propositions : disjonction exclusive, implication etéquivalence
- 8. Le calcul des propositions : généralisation de la notion d'opérateur logique
- 9. Le calcul des propositions : les formes normales
- 10. Le calcul des propositions : notion de déduction
- 11. L'analyse de la proposition : la notion de prédicat
- 12. La quantification
- 13. La quantification et les opérateurs binaires : portée d'un quantificateur
- 14. Interprétation ensembliste du calcul des prédicats : éléments de théorie des ensembles
- 15. Opérateurs sur les ensembles
- 16. Les relations
- 17. Les propriétés des relations binaires
- 18. Fonctions et applications
- 19. Déduction et démonstration dans le calcul des prédicats
- 20. Langage - Métalangage, Syntaxe - Sémantique, Langage formel - Système formel
- Conclusion
- Corrigé des exercices
- Bibliographie
Caractéristiques techniques
| PAPIER | NUMERIQUE | |
| Éditeur(s) | Hermès - Lavoisier | |
| Auteur(s) | Gérard Chazal | |
| Parution | 21/09/1996 | 01/06/2008 |
| Nb. de pages | 224 | 0 |
| Format | 16 x 24 | - |
| Couverture | Broché | - |
| Poids | 340g | - |
| Intérieur | Noir et Blanc | - |
| Contenu | - |
PDF |
| EAN13 | 9782866015480 |
9782746234062 |
| ISBN13 | 978-2-86601-548-0 | - |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Informatique Développement d'applications Techniques de programmation Logique
- Sciences Mathématiques Mathématiques par matières Algèbre Cours
- Sciences Mathématiques Mathématiques par matières Algèbre Exercices
- Sciences Mathématiques Mathématiques par matières Logique
- Sciences Mathématiques Mathématiques par matières Logique Logique floue
- Sciences Mathématiques Mathématiques par matières Logique Algèbre de Boole
- Sciences Mathématiques Mathématiques par matières Théorie des ensembles
- Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques
