La logique

Jean Largeault - Collection Que sais-je ?

128 pages, parution le 01/08/1998

Ajouter à une liste

Indisponible

Résumé

A côté de la logique dite classique, extension immédiate de la syllogistique d'Aristote, se sont introduits des systèmes plus riches en pouvoir d'expression où la validité de certaines lois est suspendue, des systèmes à plus de deux valeurs, d'autres où des opérations modales s'ajoutent à la structure. L'auteur a indiqué brièvement les principales directions suivant lesquelles la logique s'est développée, en guidant la curiosité des lecteurs vers les manuels et ouvrages spécialisés mentionnés en bibliographie.

Sommaire

    Chapitre I — Trois âges de la logique, 3
    I. Qu'était la logique à l'origine ?, 3 — II. Une ontologie biologique, 5 — III. Un art de raisonner, 7 — IV. Mathématiques de la logique et logique des mathématiques, 9 — V. Les cinq dernières décennies, 16.
    Chapitre II — La logique classique, 25
    I. Logique des propositions, 25 — II. Le premier ordre, 28 — III. Quelques validités, 35 — IV. Quelques propriétés du premier ordre, 38.
    Chapitre III — Décision et algorithmes, 55
    I. La notion d'algorithme, 55 — II. Comment une axiomatisation peut se prolonger en une procédure de décision, 57 — III. Calculabilité et décidabilité, 59 — IV. Des résultats négatifs, 62 — V. Récursif et mécanique, 66.
    Chapitre IV — Extensions, 70
    I. Le second ordre, 70 — II. La logique à plusieurs sortes de variables, 76 — III. Les systèmes de modalités, 77 — IV. La logique dynamique, 85.
    Chapitre V — Options, 86
    I. Logiques à plus de deux valeurs, 86 — II. Pertinence et nécessité, 91 — III. Logique intuitionniste, 92 — IV. La logique dans l'intuitionnisme, 103 — V. La critique intuitionniste du tiers exclu, 106.
    Chapitre VI — Quelle est la signification de la logique ?, 110
    I. Qu'est-ce que la logique ?, 110 — II. La logique ou les logiques ?, 115 — III. Une philosophie de la logique ?, 120.
    Bibliographie, 126

L'auteur - Jean Largeault

Autres livres de Jean Largeault

Relativité de l'ontologie et autres essais

Logique élémentaire

Intuitionnisme et théorie de la démonstration

Énigmes et controverses

Découvrir tous les livres de Jean Largeault

Caractéristiques techniques

	PAPIER
Éditeur(s)	PUF
Auteur(s)	Jean Largeault
Collection	Que sais-je ?
Parution	01/08/1998
Nb. de pages	128
Format	11,5 x 17,5
Couverture	Broché
Poids	96g
Intérieur	Noir et Blanc
EAN13	9782130460886
ISBN13	978-2-13-046088-6