|
Cahiers du Centre de Logique, vol. 7(épuisé / out of print)RéférencesR. HINNION (éd.), L'anti-fondation en logique et en
théorie des ensembles RésuméLa théorie des ensembles usuelle pose comme axiome qu'un ensemble ne peut appartenir à lui-même et, en général, que les ensembles sont bien fondés. Cet axiome a été depuis longtemps mis en question par des axiomes d'anti-fondation. D'autre part, il existait des théories des ensembles plus marginales, comme celle de Quine, qui sont naturellement anti-fondées. Mais c'est surtout ces dernières années, suite à la découverte par Aczel de l'axiome AFA, dû à Forti et Honsell, et exploité par Barwise dans la théorie logico-linguistique des situations, que l'étude des ensembles anti-fondés a connu un essor sans précédent. Ce septième volume des Cahiers du Centre de logique, sans vouloir être exhaustif, est consacré à l'exploitation des divers aspects de l'anti-fondation. Il regroupe six articles inédits de logiciens venus d'horizons différents. Le lecteur y trouvera d'abord une introduction générale par Roland Hinnion, qui s'est également chargé de la direction de ce Cahier. Il découvrira ensuite des textes portant sur des théories positives (Forti-Honsell, Boffa), sur la théorie des ensembles contradictoires (Crabbé), sur les langages anti-fondés (Lismont) et sur la théorie des ensembles de Quine (Holmes). Table des matières
|
|||||||||||||||||||||||||||||||||||
|
23 octobre 2015 |
|||||||||||||||||||||||||||||||||||
