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

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

Станислав Лесневский (30 марта 1886 — 13 мая 1939) — польский математик , философ и логик .

Жизнь

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

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

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

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

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

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

Работает

1988. Конспекты лекций по логике . Клювер. Оглавление.
1992. Собрание сочинений . 2 тома. Клювер. Оглавление.
1929, «О функциях, поля которых являются группами относительно этих функций», Fundamenta Mathematicae 13: 319–32.
1929, «Принципы новой системы оснований математики», Fundamenta Mathematicae 14: 1-81.
1929, «О функциях, поля которых являются абелевыми группами относительно этих функций», Fundamenta Mathematicae 14: 242–51.

См. также

Ссылки

^ «Станислав Лесневский» . Проверено 20 марта 2020 г.
^ «Станислав Лесневский – радикальный логик» . Проверено 20 марта 2020 г.
^ «Станислав Лесневский» . Проверено 20 марта 2020 г.
^ «Рождение польского математика Станислава Лесневского 30 марта 1886 года» . Проверено 20 марта 2020 г.
^ «Стэнфордская энциклопедия философии» .
^ «Станислав Лесневский» . Проверено 20 марта 2020 г.
^ «Дедуктивные системы Лесневского - основы философии и математики» (PDF) . Проверено 20 марта 2020 г.
^ «Интеллектуальная война» . Проверено 20 марта 2020 г.
^ «Варшавские исторические могильные памятники» . Проверено 20 марта 2020 г.

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

Внешние ссылки

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

[1] «Станислав Лесневский» . Проверено 20 марта 2020 г.

[2] «Станислав Лесневский – радикальный логик» . Проверено 20 марта 2020 г.

[3] «Станислав Лесневский» . Проверено 20 марта 2020 г.

[4] «Рождение польского математика Станислава Лесневского 30 марта 1886 года» . Проверено 20 марта 2020 г.

[5] «Стэнфордская энциклопедия философии» .

[6] «Станислав Лесневский» . Проверено 20 марта 2020 г.

[7] «Дедуктивные системы Лесневского - основы философии и математики» (PDF) . Проверено 20 марта 2020 г.

[8] «Интеллектуальная война» . Проверено 20 марта 2020 г.

[9] «Варшавские исторические могильные памятники» . Проверено 20 марта 2020 г.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

Базы данных авторитетного контроля
Международный	БЫСТРЫЙ ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Франция Данные БНФ Германия Израиль Соединенные Штаты Чешская Республика Польша
академики	MathSciNet Проект математической генеалогии zbMATH
Люди	Немецкая биография Находка
Другой	ЗАКУСКА ИдРеф