Станислав Лесьневский (30 марта 1886 - 13 мая 1939) был польским математиком , философом и логиком .
Станислав Лесьневский | |
---|---|
Родившийся | |
Умер | 13 мая 1939 г. | (53 года)
Национальность | Польский |
Альма-матер | Львовский университет |
Известен | Исчисление имен Мереология |
Научная карьера | |
Поля | Математика |
Учреждения | Варшавский университет |
Докторант | Казимеж Твардовски |
Докторанты | Альфред Тарски |
Под влиянием | Дени Мьевиль |
Жизнь
Он родился 28 марта 1886 года в Серпухове , под Москвой , в семье отца Изидора, инженера, работавшего на строительстве Транссибирской магистрали , и матери Елены ( урожденной Пальчевской). [1] Лесьневский учился в средней школе в Иркутске . Позже он посещал лекции Ганса Корнелиуса в Мюнхенском университете Людвига Максимилиана [2] и лекции Вацлава Серпинского во Львовском университете . [3]
Лесьневский принадлежал к первому поколению Львовско-Варшавской логической школы, основанной Казимежем Твардовским . Вместе с Альфредом Тарским и Яном Лукасевичем он сформировал тройку , которая сделала Варшавский университет в межвоенный период , возможно, самым важным исследовательским центром в мире формальной логики . [4]
Его главным вкладом было построение трех вложенных формальных систем , которым он дал греческие названия прототетической, онтологии и мереологии . [5] («Исчисление имен» иногда используется вместо онтологии, термин, широко используемый в метафизике в совершенно другом смысле.) Хорошее представление этих систем в учебнике - это то, что Саймонс (1987) сравнивает и противопоставляет их с варианты мереологии , более популярные в наши дни, восходящие к исчислению индивидуумов Леонарда и Гудмана. Саймонс проясняет то, что очень трудно определить, читая Лесьневского и его учеников, а именно, что польская мереология - это теория первого порядка, изоморфная тому, что сейчас называется классической экстенсиональной мереологией .
Несмотря на то, что он опубликовал значительный объем работ (Leśniewski, 1992, его собрание сочинений в английском переводе), некоторые из них на немецком языке, ведущем языке математики того времени, его работы оказали ограниченное влияние из-за их загадочного стиля и высокой степени. идиосинкразические обозначения. Лесьневский также был радикальным номиналистом : он отвергал аксиоматическую теорию множеств в то время, когда эта теория находилась в самом расцвете. Он указал на парадокс Рассела и тому подобное в подтверждение своего отказа и разработал три свои формальные системы как конкретную альтернативу теории множеств. Несмотря на то, что Альфред Тарский был его единственным докторантом, Лесьневский, тем не менее, оказал сильное влияние на целое поколение польских логиков и математиков своим преподаванием в Варшавском университете. Мысль Лесьневского известна главным образом благодаря трудам его учеников (например, Сжедницки и Рики 1984). [6]
Во время польско-советской войны в 1919-21, Лесьневский служил делу независимости Польши, разбив русских советских шифров для польского генштаба «s Бюро шифров . [7]
Лесьневский внезапно умер от рака незадолго до немецкого вторжения в Польшу , в результате которого был разрушен его « Начлас» . Похоронен на Повонзком кладбище в Варшаве. [8]
Работает
- 1988. Конспект лекций по логике . Kluwer. Оглавление.
- 1992. Собрание сочинений . 2 тт. Kluwer. Оглавление.
- 1929, "Убер Функционен, Дерен Фельдер Групп Мит Руксихт на Дизе Функционен Синд", 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.
Смотрите также
- История философии в Польше
- Список поляков
Рекомендации
- ^ "Станислав Лесьневский" . Проверено 20 марта 2020 года .
- ^ "Станислав Лесьневский - логик радикальный" . Проверено 20 марта 2020 года .
- ^ "Станислав Лесьневский" . Проверено 20 марта 2020 года .
- ^ "Naissance du mathématicien Polonais Станислав Лесьневский 30 марта 1886 года" . Проверено 20 марта 2020 года .
- ^ "Станислав Лесневский" . Проверено 20 марта 2020 года .
- ^ "Система дедукции Лесьневского - подставы философии и математики" (PDF) . Проверено 20 марта 2020 года .
- ^ "Война wywiadów" . Проверено 20 марта 2020 года .
- ^ "Варшавские Забытки Помники Нагробное" . Проверено 20 марта 2020 года .
- Айвор Граттан-Гиннесс , 2000. В поисках математических корней . Принстон: Издательство Принстонского университета.
- Luschei, Евгений, 1962. Логические системы Лесневского . Амстердам: Северная Голландия.
- Миевиль, Дени, 1984. «Развитие логических систем Станислава Лесневского», Питер Ланг, Исследования европейских университетов.
- Саймонс, Питер, 1987. Части: Исследование онтологии . Нью-Йорк: Издательство Оксфордского университета.
- Сжедницки, JTJ, и Рики, В.Ф. (ред.), 1984. Системы Лесневского: онтология и мереология . Дордрехт: Клувер.
- Сурма, Станислав Я. (редактор) (1977/8) «О системах Лесьневского, Труды XXII конференции по истории логики», Studia Logica 36 (4): 247–426 MR0476370
- Урбаниак, Рафаль, 2013. Системы логики и основы математики Лесьневского, Дордрехт: Springer.
- Воленски, январь, 1989. Логика и философия в Львовско-Варшавской школе . Дордрехт: Клувер.
Внешние ссылки
- Саймонс, Питер. «Лесневский» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
- Воленский, Ян. "Львовско-варшавская школа" . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
- Бетти, Арианна, 2001, « Вечная правда: связь Больцано-Твардовского-Лесневского ».
- Польская философия: Станислав Лесневский Франческо Конильоне и Арианна Бетти.
- Веб-страница Рауля Кораззона «Теория и история онтологии»: Лесневски.
- Избранная библиография Лесневского и о нем. Включает переводы на английский язык и избранную библиографию второстепенной литературы.
- О'Коннор, Джон Дж .; Робертсон, Эдмунд Ф. , "Станислав Лесьневский" , MacTutor Архив истории математики , Сент-Эндрюсский университет.