Lesniewski’s logical systems


N.G. Moskvitsova


The paper “Lesniewski’s systems of logic” is devoted to three systems of logic of the polish logician St. Lesniewski. Lesniewski intended to construct the consistent foundations of mathematics, and then his strategy was fighting with the closure of the language and ability to control the system’s openness by the especial rules of the inference. In this paper we consider the systems of Protothetic, Ontology and Mereology, and also their peculiar features and Lesniewski’s contribution to the logic. We briefly describe the formation of Lesniewski’s systems and characteristic properties of each system.






Васюков В.Л. Формальная феноменология, М.: Наука, 1999.
Васюков В.Л. Материалы лекций «Логические проблемы онтологии». Философский факультет МГУ, кафедра логики. Март 2007.
Цирулис Я.П. Прототетика без типовой неопределенности выражений // Латвийский математический ежегодник. Вып. 23 (Рига). 1979. С. 166-178.
Цирулис Я.П. Традиционные средства вывода в Прототетике // Латвийский математический ежегодник. Вып. 23 (Рига). 1979. С. 179-193.
Chwistek L. Principle of Inconsistency in the Light of the Recent Research of Bertrand Russell // Dissertations of the Polish Academy of Science, historical and philosophical department. Vol. 30, 1912.
Couturat L. L’Algebre de la logique. Paris, 1914.
Grzegorczyk A. The Systems of Lesniewski in relation to contemporary logical research // Studia Logica. Vol. III, 1955.
Le Blanc O.V. Lesniewski’s Computative Protothetic. 1991.
Leonard H.S., Goodman N. The Calculus of Individuals and its Uses // Journal of Symbolic Logic. Vol. 5, 1940.
Lesniewski St. Collected Works. PWN-Polish Scientific Publishers-Warszawa. Vol. I, 1992.
Lesniewski St. Podstawy ogolnej teorii mnogosci (Foundations of the General set theory), I. M., 1916.
Slupecki J. St. Lesniewski’s Protothetics // Studia Logica. Vol.I, Warszawa, 1953.
Slupecki J. St. Lesniewski’s Calculus of Names // Studia Logica. Vol. III, Warszawa, 1955.
Woodger J.H. Axiomatic Method in Biology. Cambridge, 1937.
Urbaniak R. Lesniewski’s Systems of Logic and Mereology; History and Reevaluation. Calgary, Alberta, 2008.