Станислав Лесьневский (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]
