Intuicyjny formalizm Stanisława Leśniewskiego
Słowa kluczowe: Stanisław Leśniewski, foundations of mathematics, protothetic, ontology, mereology, intuitive formalism
AbstraktThe paper presents two volumes of Stanisław Leśniewski's Pisma zebrane [Collected Works] edited by Jacek Jadacki and published in 2015 by Towarzystwo Naukowe Warszawskie and Wydawnictwo Naukowe Semper. The focus here is on the works published in the second period of Leśniewski's scholarly activity, when he created his system of foundations of mathematics. However, in the publications it was not presented systematically and comprehensively. The article also explains why Leśniewski's view is called "intuitive formalism".
Miszczyński, R. (2016). Intuicyjny formalizm Stanisława Leśniewskiego. Filozofia Nauki, 24(2), 145-160.