Titre : | La logique |
Auteurs : | Jean Largeault, Auteur |
Type de document : | texte imprimé |
Editeur : | Paris [France] : Presses universitaires de France (PUF), 1993 |
Collection : | Que sais-je?, num. 225 |
ISBN/ISSN/EAN : | 978-2-13-046088-6 |
Format : | 128 p. |
Langues: | Français |
Index. décimale : | QU/C (Branches de la philosophie : épistémologie, esthétique, logique, métaphysique, morale/éthique, philos. de la religion) |
Note de contenu : |
- Chapitre I —Trois âges de la logique : I. Qu’était la logique à l’origine? / II. Une ontologie biologique / III. Un art de raisonner / IV. Mathématiques de la logique et logique des mathématiques / V. Les cinq dernières décennies. - Chapitre II — La logique classique : I. Logique de propositions / II. Le premier ordre / III. Quelques validités / IV. Quelques propriétés du premier ordre. - Chapitre III — Décisions et algorithmes : I. La notion d’algorithme / II. Comment une axiomatisation peut se prolonger en une procédure de décision / III. Calculabilité et décidabilité / IV. Des résultats négatifs / V. Récursif et mécanique. - Chapitre IV — Extensions : I. Le second ordre / II. La logique à plusieurs sortes de variables / III. Les systèmes de modalités / IV. La logique dynamique. - Chapitre V — Options : I. Logiques à plus de deux valeurs / II. Pertinence et nécessité / III. Logique intuitionniste / IV. La logique dans l’intuitionnisme / V. La critique intuitionniste du tiers exclu. - Chapitre VI - - Quelle est la signification de la logique ?: I. Qu’est-ce que la Logique ? / II. La logique ou les logiques? / III. Une philosophie de la logique ?. - Bibliographie |
Exemplaires (1)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
QU/C Log 003 | QU/C Log 003 | Livre | Compactus | Livres empruntables | Prêt possible Disponible |