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

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

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