Лесьневский, Станислав

В Википедии есть статьи о других людях с фамилией Лесневский.

Станислав Лесьневский (пол. Stanisław Leśniewski; 30 марта 1886, Серпухов — 13 мая 1939, Варшава) — польский математик и философ. В математике специализировался на математической логике. Один из главных представителей Львовско-варшавской школы.

Станислав Лесьневский
пол. Stanisław Leśniewski
Имя при рождении	пол. Stanisław Kazimierz Leśniewski
Дата рождения	30 марта 1886(1886-03-30)
Место рождения	Серпухов, Московская губерния, Российская империя
Дата смерти	13 мая 1939(1939-05-13) (53 года)
Место смерти	Варшава, Польша
Страна	Польша
Учёная степень	доктор философии
Альма-матер	Львовский национальный университет имени Ивана Франко (1912) Лейпцигский университет (1906) Мюнхенский университет (1910)
Место работы	Варшавский университет
Род деятельности	математик, философ, преподаватель университета
Основные интересы	математика
Оказавшие влияние	Казимир Твардовский
Испытавшие влияние	Альфред Тарский
Медиафайлы на Викискладе

Биография

Родился в семье Исидора Лесьневского, польского инженера-железнодорожника. Семья переезжала в соответствии с географией строительства железных дорог, поэтому школьные годы С. Лесьневский провёл в Иркутске.

Обучался в университетах Берлина, Лейпцига, Мюнхена (где он слушал лекции философа Ганса Корнелиуса), Гейдельберга. В Львовском университете изучал, главным образом, философию, а также посещал лекции математиков Юзефа Пузыны и Вацлава Серпинского. В 1912 году в Львовском университете ему была присуждена степень доктора философии (под руководством К. Твардовского).

В 1913 году — учитель в Варшавской школе. С началом Первой мировой войны вернулся в Россию, в 1914—1918 гг. преподавал в польской средней школе в Москве. В эти годы издал свою формальную теорию, названную «мереология».

В 1919—1939 гг. — профессор философии математики Варшавского университета. В 1919 году совместно с Яном Лукасевичем основал Варшавскую Школу Логики.

Логическая теория

Лесьневский, разделяя антипсихологизм и аналитическую установку Лукасевича, отказывался от платонизма и логического плюрализма, предпочитая материалистический номинализм и классическую (двузначную) логику. Онтологические и метаматематические идеи направляли его логические исследования. Лесьневский стремился создать универсальную логическую теорию, которая бы избавила номинализм от противоречий и легла в основу номиналистической теории множеств.

Он создал три части этой теории: «прототетику», «онтологию» и «мереологию», а также наметил, но не завершил «хронологию» и «стереологию». Его логическая система избегает антиномий классической теории множеств, основываясь на концепции семантических категорий.

Лесьневский вместе с Котарбинским критиковал «гипостазирование» понятий, приводящую к онтологизации логических и математических объектов. Синтаксический аналог его теории семантических категорий применялся в лингвистике. В его логике нашли отражение идеи античных и средневековых логиков, что делает его труды ценными для логико-метаматематического и историко-философского исследования.

Избранные труды

• Лесневский С. И. Логические рассуждения: I. Опыт обоснования онтологического закона противоречия. II. К анализу экзистенциальных предложений. — СПб.: [тип. А. Смолинского], 1913. — 91 с. — (Перевод из: // Przeglad filozofiezny. – 1912. – № 2; 1911. – № 3).
• Лесьневский С. Об основаниях математики (глава 9). В кн. : Философия и логика Львовско-Варшавской школы. М.,1999. Серия «Научная философия».
• Podstawy ogolnej teorii mnogosei. Moskwa, 1916;
• Collected Logical Papers. Warszawa, Dordrecht. 1988.

Литература

• Агапов Е. П. Вклад С. Лесневского в формирование семантики : Автореф. дис. … канд. филос. наук. — М., 1984. — 24 с.
• В. Л. Васюков. Лесьневский // Новая философская энциклопедия : в 4 т. / пред. науч.-ред. совета В. С. Стёпин. — 2-е изд., испр. и доп. — М. : Мысль, 2010. — 2816 с.
• Солонин Ю. Н. Логические исследования Ст. Лесневского : Автореф. дис. … канд. филос. наук. — Л., 1970. — 20 с.
• Sobocinski, B. «L’analyse de l’antinomie russellienne par Leśniewski», Methodos 1, 1949, p. 94-107, p. 220—228, p. 308—316 et Methodos 2, 1950, p. 237—257.
• Luschei, Eugene, 1962. The Logical Systems of Lesniewski. Amsterdam: North-Holland.
• Trentman, John. 1966. «Lesniewski’s Ontology and Some Medieval Logicians.» Notre Dame Journal of Formal Logic no. 7:361-364.
• Canty, John Thomas. 1969. «Lesniewski’s Terminological Explanations as Recursive Concepts.» Notre Dame Journal of Formal Logic no. 10:337-369.
• Miéville, Denis, 1984. «Un développement Des systèmes logiques de Stanislas Lesniewski», Peter Lang, European University Studies.
• Simons, Peter M. 1982. «On Understanding Lesniewski.» History and Philosophy of Logic no. 3:165-191.
• Hiz, Henry. 1984. «Frege, Leśniewski and Information Semantics on the Resolution of Antinomies.» In Foundations: Logic, Language, and Mathematics, edited by Leblanc, Hugues, Mendelson, Elliott and Orenstein, Alex, 51-72. Dordrecht: Kluwer.
• Lejewski, C. «On Leśniewski’s Ontology», Ratio 2, 1958, p. 150—176
• Betti, Arianna. 2004. «Lesniewski’s Early Liar, Tarski and Natural Language.» Annals of Pure and Applied Logic no. 127:267-287.
• Betti, Arianna. 2009. «Leśniewski’s Systems and the Aristotelian Model of Science.» In The Golden Age of Polish Philosophy. Kazimierz Twardowski’s Philosophical Legacy, 93-111. Dordrecht: Springer.
• Urbaniak, Rafal, 2013. Leśniewski’s Systems of Logic and Foundations of Mathematics, Dordrecht: Springer.

Ссылки

• Воленьский Я. Лесневский (Lesnewsky) Станислав  (неопр.). Философский словарь. Дата обращения: 4 марта 2012.
• O'Connor J. J., Robertson E. F. Stanislaw Lesniewski  (неопр.). School of Mathematics and Statistics; University of St Andrews, Scotland (29 июля 2011). Дата обращения: 4 марта 2012. Архивировано 14 мая 2012 года. (англ.)