ЛЕСЬНЕВСКИЙ Станислав

— (28 марта 1886, Серпухове, Московская губ., Россия — 13 мая 1939, Варшава) — выдающийся польский логик и философ, один из главных представителей Львовско-варшавской школы. С 1904 по 1910 учился в университетах Лейпцига, Гейдельберга, Цюриха, Мюнхена. В 1912 защитил докторскую диссертацию во Львовском университете под руководством К. Твардовского. С 1915 по 1918 жил в Москве, преподавал математику в польских гимназиях. С 1919 и до своей смерти в 1939 — проф. Варшавского университета. На формирование философских взглядов Лесьневского оказали влияние «Логические исследования» Э. Гуссерля, а также А. Марта, К. Твардовский и А. Мейнонг, интересы в логике во многом определились благодаря работам Я. Лукасешча. Разделяя антипсихологизм и общую аналитическую установку последнего, Лесьневский в то же время отвергал свойственные Лукасевичу платонистские тенденции и идею логического плюрализма, склоняясь к номинализму и классической (двузначной) интерпретации логики. Логические исследования Лесьневского направлялись онтологическими и математическими идеями. Он стремился построить универсальную логическую систему, свободную от парадоксов и способную послужить в качестве номиналистического основания математики. В результате им были разработаны три дедуктивные теории — «Прототетика», «Онтология», «Мереология», объединение которых образует возможное основание для всей структуры математики. Главной особенностью систем Лесьневского является необычная стратегия их построения как формальных систем, связанная со стремлением одновременно передать свойства естественного языка. В качестве своей составной части они включают теорию семантических категорий, аналогичную, с одной стороны, делению выражений обыденного языка на части речи, а с другой стороны, до некоторой степени связанную с теорией типов, В общем виде «Прототетика» может рассматриваться как расширение пропозиционального исчисления с кванторами по переменным любого рода,-«Онтология» — как формальная теория  связки «есть» (в выражениях типа «Уран — планета», «кит — млекопитающее» и т. п.), а «Мереология» — как теория отношений «часть — целое» между объектами.

Логические идеи Лесьневского были ассимилированы философско-методологической концепцией «реизма», развитой Т. Котарбиньским. Вместе с тем Лесьневский критиковал «гипостазирование» понятий, ведущее к онтологизации логических и математических объектов. Синтаксический аналог теории семантических категорий Лесьневского нашел применение в лингвистике. В его логике получают свое естественное выражение некоторые идеи античных и средневековых логиков (Аристотеля, Ансельма, Боэция, Оккама и др.). Это сказывается в логическом номинализме систем Лесьневского, который может быть охарактеризован как современная версия аристотелевского номинализма; в трактовке кванторов, заставляющей вспомнить оккамовскую квантификацию по терминам (в отличие от квантификации по индивидным переменным в стандартных системах современной логики); во введении в его систему «онтологии» объекта «ничто», понимаемого как «никакой объект», что характерно для трактовки «ничто» Ансельмом Кентерберийским. Все это позволяет рассматривать системы Лесьневского как синтез традиционной (аристотелевской) и современной логик и делает его логические идеи инструментом не только метаматематического, но и историко-философского исследования.

Соч.: Логические рассуждения. СПб., 1913; Podstawy ogolnej leoryi mnogosci. Moskwa, 1916; Grundzuge eines neuen Systems der GrundIngen der Mathematik, § 1—11.— «Fundamenta Mathematicaei», t. 14, 1929, s. 1-81; § 12, Collectanea Logica I, 1938; Uber die Grundlagen der ntologie.— Comptes rendus des seances de la Societe des Sciences et des Lettres de Varsovie, Classe 111,23, 1930, s. 111—132; Collected works, Kluwer, Nijhoff, v. l and 2, 1992.

Лит.: Васюков В. Л. Формальная феноменология (глава I). M., 1999; SliipeckiJ. St. Lesnewskis Prototets.— «Sludia Logica», 1954, t. l; Idem. S. Lesnewskis ciilculus of names.— Ibid., 1955, t. 3; Grwgorcayk A. The systems of Lesnewski in relation to contemporary logical research.— Ibidem.

В. Л. Васюков