ЛЕСЬНЕВСКИЙ

ЛЕСЬНЕВСКИЙ (Leśniewski) Станислав – (28 марта 1886, Серпухове, Московская губ., Россия – 13 мая 1939, Варшава) – выдающийся польский логик и философ, один из главных представителей Львовско-варшавской школы [ЛЬВОВСКО-ВАРШАВСКАЯ ШКОЛА]. С 1904 по 1910 учился в университетах Лейпцига, Гейдельберга, Цюриха, Мюнхена. В 1912 защитил докторскую диссертацию во Львовском университете под руководством К.Твардовского [ТВАРДОВСКИЙ]. С 1915 по 1918 жил в Москве, преподавал математику в польских гимназиях. С 1919 и до своей смерти в 1939 – проф. Варшавского университета. На формирование философских взглядов Лесьневского оказали влияние «Логические исследования» Э.Гуссерля, а также А.Марта, К.Твардовский и А.Мейнонг, интересы в логике во многом определились благодаря работам Я.Лукасевича [ЛУКАСЕВИЧ]. Разделяя антипсихологизм и общую аналитическую установку последнего, Лесьневский в то же время отвергал свойственные Лукасевичу платонистские тенденции и идею логического плюрализма, склоняясь к номинализму и классической (двузначной) интерпретации логики.

Логические исследования Лесьневского направлялись онтологическими и математическими идеями. Он стремился построить универсальную логическую систему, свободную от парадоксов и способную послужить в качестве номиналистического основания математики. В результате им были разработаны три дедуктивные теории – «Прототетика», «Онтология», «Мереология», объединение которых образует возможное основание для всей структуры математики. Главной особенностью систем Лесьневского является необычная стратегия их построения как формальных систем, связанная со стремлением одновременно передать свойства естественного языка. В качестве своей составной части они включают теорию семантических категорий, аналогичную, с одной стороны, делению выражений обыденного языка на части речи, а с другой стороны, до некоторой степени связанную с теорией типов. В общем виде «Прототетика» может рассматриваться как расширение пропозиционального исчисления с кванторами по переменным любого рода, «Онтология» – как формальная теория связки «есть» (в выражениях типа «Уран – планета», «кит – млекопитающее» и т.п.), а «Мереология» – как теория отношений «часть – целое» между объектами.

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

Сочинения:

1. Логические рассуждения. СПб., 1913;

2. Podstawy ogólnej teoryi mnogosci. Moskwa, 1916;

3. Grundzüge eines neuen Systems der Grundlagen der Mathematik, § 1–11. – «Fundamenta Mathematicae», t. 14, 1929, s. 1–81; § 12, Collectanea Logical, 1938;

4. Über die Grundlagen der Ontologie. – Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III, 23, 1930, s. 111–132;

5. Collected works, Kluwer, Nijhoff, v. 1 and 2, 1992.

Литература:

1. Васюков В.Л. Формальная феноменология (глава I). М., 1999;

2. Slupecki J. St.Leśnewski's Prototets. – «Studia Logica», 1954, t. 1;

3. Idem. S.Lesnewski's culculus of names. – Ibid., 1955, t. 3;

4. Grzegorcayk A. The systems of Lesnewski in relation to contemporary logical research. – Ibidem.

В.Л.Васюков