English version

Cahiers du Centre de Logique, vol. 13

Références

Olivier Esser, Une théorie positive des ensembles
volume 13 des Cahiers du Centre de logique, Academia-Bruylant, Louvain-la-Neuve (Belgique), 2004, 117 pages
ISBN 2-8729-687-6, 18 euros

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

Résumé

Les théories positives des ensembles développent l'observation que les ensembles paradoxaux se définissent à l'aide de la négation. Après avoir introduit une notion de positivité plus ou moins libérale, elles postulent que toute formule "positive" définit un ensemble.

Olivier Esser part d'une théorie positive existante enrichie par un schéma d'axiomes qui munit toute classe d'une "clôture" et il montre que la théorie qui en résulte interprète celle de Kelley-Morse ainsi que l'axiome "la classe des ordinaux est ramifiable" et vice versa.

Les résultats qu'il obtient montrent clairement que les théories orthodoxes ont exclu trop d'ensembles. En écartant uniquement ce qui fait problème dans les paradoxes -l'usage de la négation-, il retrouve non seulement les ensembles des théories habituelles mais encore de nombreux autres ensembles qu'on n'avait aucune raison valable d'exclure.

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

 
   

 

13 septembre 2009