Cahiers du Centre de Logique, vol. 7

(épuisé / out of print)

Références

R. HINNION (éd.), L'anti-fondation en logique et en théorie des ensembles
volume 7 des Cahiers du Centre de logique, Academia, Louvain-la-Neuve (Belgique), 1992, 112 pp.
ISBN 2-87209-186-6

Ce Cahier peut être commandé auprès des éditions Academia-L'Harmattan

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

Hinnion, R.

À propos de l'anti-fondation

 

Forti, M. Honsell, F.

Weak foundation and anti-foundation properties of positively comprehensive hyperuniverses

 

Boffa, M.

Décoration ensembliste de graphes par approximation

 

Crabbé, M.

Soyons positifs : la complétude de la théorie naïve des ensembles

 

Lismont, L.

Logique du premier ordre anti-fondée

 

Holmes, M. R.

Modelling fragments of Quine's "New Foundations"

 
     
     

 

17 l 16 l 15 l 14 l 13 l 12 l 11 l 10 l 9 l 8 l 6 l 5 l 4 l 3 l 2 l 1

 

 

7 septembre 2009