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

Станислав Лесневский
Рожденный	( 1886-03-30 )30 марта 1886 г. Серпухов , Российская империя
Умер	13 мая 1939 г. (1939-05-13)(53 года) Варшава , Польша
Национальность	польский
Альма-матер	Львовский университет
Известный	Исчисление имен Мереология
Научная карьера
Поля	Математика
Учреждения	Варшавский университет
научный руководитель	Казимеж Твардовский
Докторанты	Альфред Тарский

Станислав Лесьневский ( польск. [lɛɕˈɲɛfskʲi] ; 30 марта 1886 — 13 мая 1939) — польский математик , философ и логик . Профессор математики в Варшавском университете , ведущий представитель Львовско -Варшавской школы логики и известен тем, что создал и представил концепцию мереологии как часть всеобъемлющей структуры логики и математики.

Лесьневский родился 28 марта 1886 года в Серпухове , недалеко от Москвы , в семье Изидора, инженера, работавшего на строительстве Транссибирской магистрали , и Елены ( урождённой Пальчевской). ^{[1] Лесьневский учился в} Иркутской гимназии . Позже он посещал лекции Ганса Корнелиуса в Мюнхенском университете Людвига-Максимилиана ^[2] и лекции Вацлава Серпинского во Львовском университете ^[3] .

Лесьневский принадлежал к первому поколению Львовско -Варшавской школы логики, основанной Казимежем Твардовским . Вместе с Альфредом Тарским и Яном Лукасевичем он сформировал трио, которое сделало Варшавский университет в межвоенный период , возможно, самым важным в мире исследовательским центром формальной логики . ^[4] Несмотря на это, растущий антисемитизм Лесьневского позже привел к ухудшению отношений с Тарским. ^[5]

Его главным вкладом было построение трех вложенных формальных систем , которым он дал греческие названия прототетика, онтология и мереология . ^[6] («Исчисление имен» иногда используется вместо онтологии, термина, широко используемого в метафизике в совершенно ином смысле.) Хорошее хрестоматийное представление этих систем — у Саймонса (1987), который сравнивает и противопоставляет их с вариантами мереологии , более популярными в наши дни, происходящими от исчисления личностей Леонарда и Гудмена. Саймонс проясняет то, что очень трудно определить, читая Лесьневского и его учеников, а именно, что польская мереология является теорией первого порядка, эквивалентной тому, что сейчас называется классической экстенсиональной мереологией (по модулю выбора языка).

Хотя он опубликовал довольно много работ (Leśniewski, 1992, его собрание сочинений в английском переводе), некоторые из них на немецком языке, ведущем языке математики того времени, его труды имели ограниченное влияние из-за их загадочного стиля и весьма своеобразной нотации. Лесьневский также был радикальным номиналистом : он отверг аксиоматическую теорию множеств в то время, когда эта теория была в полном расцвете. Он указал на парадокс Рассела и тому подобное в поддержку своего отказа и разработал свои три формальные системы как конкретную альтернативу теории множеств. Несмотря на то, что Альфред Тарский был его единственным докторантом, Лесьневский, тем не менее, оказал сильное влияние на целое поколение польских логиков и математиков посредством своего преподавания в Варшавском университете. Мысли Лесьневского известны в основном благодаря трудам его студентов (например, Srzednicki and Rickey 1984). ^[7]

Во время польско-советской войны 1919-21 годов Лесьневский служил делу независимости Польши, взламывая советские русские шифры для Бюро шифров Польского Генерального штаба . ^[8]

Лесьневский скоропостижно скончался от рака, незадолго до немецкого вторжения в Польшу , в результате которого его Nachlass был уничтожен . Он был похоронен на кладбище Повонзки в Варшаве . ^[9]

• 1988. Конспект лекций по логике . Клювер. Содержание.
• 1992. Собрание сочинений . 2 т. Клювер. Содержание.
• 1929, «Über Funktionen, deren Felder Gruppen mit Rücksicht auf diese Funktionen sind», Fundamenta Mathematicae 13: 319–32.
• 1929, «Grundzüge eines neuen Systems der Grundlagen der Mathematik», Fundamenta Mathematicae 14: 1-81.
• 1929, «Über Funktionen, deren Felder Abelsche Gruppen in bezug auf diese Funktionen sind», Fundamenta Mathematicae 14: 242–51.

• История философии в Польше
• Список поляков

• Айвор Граттан-Гиннесс , 2000. В поисках математических корней . Принстон: Princeton University Press.
• Лушей, Евгений, 1962. Логические системы Лесневского . Амстердам: Северная Голландия.
• Мьевиль, Дени, 1984. «Развитие логических систем Станисласа Лесневского», Питер Ланг, Исследования европейских университетов.
• Саймонс, Питер, 1987. Части: Исследование онтологии . Нью-Йорк: Oxford University Press.
• Srzednicki, JTJ, и Rickey, VF , (ред.), 1984. Системы Лесневского: онтология и мереология . Дордрехт: Kluwer.
• Сурма, Станислав Й. (редактор) (1977/8) «О системах Лесьневского», Труды XXII конференции по истории логики», Studia Logica 36(4): 247–426 MR 0476370
• Урбаниак, Рафал, 2013. Системы логики и основания математики Лесьневского , Дордрехт: Springer.
• Воленский, Ян, 1989. Логика и философия в львовско-варшавской школе . Дордрехт: Kluwer.

• «Лесневский: Логика». Интернет-энциклопедия философии .
• Саймонс, Питер. «Лесневский». В Zalta, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
• Воленский, Ян. «Львовско-Варшавская школа». В Zalta, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
• Бетти, Арианна, 2001, «Вечная истина: связь Больцано-Твардовского-Лесневского».
• Польская философия: Станислав Лесневский Франческо Конильоне и Арианна Бетти.
• Веб-страница Рауля Кораццона «Теория и история онтологии»: Лесневский.
• Избранная библиография о Лесневском. Включает английские переводы и избранную библиографию вторичной литературы.
• О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Станислав Лесьневский», Архив истории математики MacTutor , Университет Сент-Эндрюс