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

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

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

БиографияПравить

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

Обучался в университетах Берлина, Лейпцига, Мюнхена (где он слушал лекции философа Hans Cornelius — версия статьи «Корнелиус, Ганс» на английском языке Ганса Корнелиуса (англ.) (рус.), Гейдельберга. В Львовском университете изучал, главным образом, философию, а также посещал лекции математиков Юзефа Пузыны и Вацлава Серпинского. В 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.

ПримечанияПравить

↑ Ныне — районный центр в Московской области, Россия.
↑ https://books.google.cat/books?id=ueZfDwAAQBAJ&pg=PA209 — С. 209—210.
↑ ¹ ² https://books.google.cat/books?id=ueZfDwAAQBAJ&pg=PA209
↑ ¹ ² https://books.google.cat/books?id=0bK8BAAAQBAJ&pg=PA5
↑ В русской литературе и библиографии используется написание фамилии без мягкого знака: «Лесневский».

ЛитератураПравить

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

[1] Ныне — районный центр в Московской области, Россия.

[_1e7539bba72a17da-2] ttps://books.google.cat/books?id=ueZfDwAAQBAJ&pg=PA209 — С. 209—210.

[_2bea378128598f57-3] ¹ ² https://books.google.cat/books?id=ueZfDwAAQBAJ&pg=PA209

[_f37ce313cc6ee6ff-4] ¹ ² https://books.google.cat/books?id=0bK8BAAAQBAJ&pg=PA5

[5] В русской литературе и библиографии используется написание фамилии без мягкого знака: «Лесневский».

[5]

[1]

[2]

[3]

[4]