Логические системы Лесневского
Article Sidebar
Опубликован:
03.05.2012
Ключевые слова:
Лесневский, прототетика, онтология, мереология
Main Article Content
Аннотация
Статья «Логические системы Ст. Лесневского» посвящена рассмотрению трех систем польского логика Ст. Лесневского. Целью Лесневского было построение непротиворечивых оснований математики, и стратегией на пути к этому – борьба с замкнутостью языка и возможность контролировать открытость систем путем особых правил вывода. В работе рассмотрены системы Прототетики, Онтологии и Мереологии, их особенности и значение вклада Лесневского в логику. Также приводится краткое описание становления теорий Лесневского и характерные свойства каждой из систем.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Москвицова Н. Логические системы Лесневского // Логические исследования / Logical Investigations. 2012. Т. 18. C. 141-156.
Выпуск
Раздел
Статьи
Литература
Васюков В.Л. Формальная феноменология, М.: Наука, 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.
Васюков В.Л. Материалы лекций «Логические проблемы онтологии». Философский факультет МГУ, кафедра логики. Март 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.