On the Work and Influence of Stanisłw Leśniewski
1977; Elsevier BV; Linguagem: Inglês
10.1016/s0049-237x(09)70428-8
ISSN2542-6702
Autores Tópico(s)Advanced Topology and Set Theory
ResumoPublisher Summary This chapter discusses the foundations of the general theory of sets. This work deals with “parts,” “ingredients,” “sets,” “classes,” “elements,” “subclasses,” and certain interesting kinds of classes. The chapter introduces the theory of parts or mereology and presents a brief characterization of Lesniewski's system as compared with other systems of logic and the foundations of mathematics, especially, from the point of view of antinomies and definitions.The chapter further presents a brief description of Lesniewski's solution of Russell's antinomy, and . a description of mereology in terms of “exterior” as the only primitive. A reduction of group theory to an adequate single axiom containing a single primitive term f/A,B,C/ meaning A.B = C, and a single axiom for Abelian groups is also presented in the chapter.
Referência(s)