Repository | Book | Chapter

——1. Nous allons maintenant développer le Calcul des ensembles ou des classes comme une Algèbre indépendante et toute formelle, sans nous occuper du contenu, càd de la signification des formules ; et pour cela, nous devrons substituer aux définitions réelles du chapitre précédent des définitions formelles, càd définir tous les symbols par leurs relations avec d"autres symboles (ce qui ne manquerait^a pas d"impliquer un cercle vicieux, si l"on^b prenait ces définitions formelles pour des définitions primitives). Nous donnerons de chaque formule et de chaque proposition les deux interprétations, conceptuelle et propositionnelle, qu"elle peut recevoir en Logique ; et pour les distinguer, nous les ferons précéder respectivement des initiales I. C. et I. P.⁽¹⁾

DOI: 10.1007/978-3-0346-0411-6_4

Full citation: