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

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

Биография

править

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

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

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

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

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

править

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

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

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

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

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

Примечания

править
  1. Ныне — районный центр в Московской области, Россия.
  2. https://books.google.cat/books?id=ueZfDwAAQBAJ&pg=PA209 — С. 209—210.
  3. 1 2 https://books.google.cat/books?id=ueZfDwAAQBAJ&pg=PA209
  4. 1 2 https://books.google.cat/books?id=0bK8BAAAQBAJ&pg=PA5
  5. https://books.google.cat/books?id=ueZfDwAAQBAJ&pg=PA210
  6. В русской литературе и библиографии используется написание фамилии без мягкого знака: «Лесневский».
  7. Философский словарь / П. Апрышко, А. Поляков, Ю. Солодухин; под ред. И. Фролова. — М.: Республика, Современник, 2009. — 848 с. сс.341-342

Литература

править
  • Агапов Е. П. Вклад С. Лесневского в формирование семантики : Автореф. дис. … канд. филос. наук. — М., 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.

Ссылки

править