Приглашаем посетить сайт
ЛЕСЬНЕВСКИЙ
ЛЕСЬНЕВСКИЙ (Lesniewsld) Станислав - (28 марта 1886, Серпухове, Московская губ., Россия - 13 мая 1939, Варшава) - выдающийся польский логик и философ, один из главных представителей Львовско-варшавской школы. С 1904 по 1910 учился в университетах Лейпцига, Гейдельберга, Цюриха, Мюнхена. В 1912 защитил докторскую диссертацию во Львовском университете под руководством К. Твардовского. С 1915 по 1918 жил в Москве, преподавал математику в польских гимназиях. С 1919 и до своей смерти в 1939 - проф. Варшавского университета. На формирование философских взглядов Лесьневского оказали влияние "Логические исследования" Э. Гуссерля, а также А. Марта, К. Твардовский и А. Мейнонг, интересы в логике во многом определились благодаря работам Я. Лукасешча. Разделяя антипсихологизм и общую аналитическую установку последнего, Лесьневский в то же время отвергал свойственные Лукасевичу платонистские тенденции и идею логического плюрализма, склоняясь к номинализму и классической (двузначной) интерпретации логики. Логические исследования Лесьневского направлялись онтологическими и математическими идеями. Он стремился построить универсальную логическую систему, свободную от парадоксов и способную послужить в качестве номиналистического основания математики. В результате им были разработаны три дедуктивные теории - "Прототетика", "Онтология", "Мереология", объединение которых образует возможное основание для всей структуры математики. Главной особенностью систем Лесьневского является необычная стратегия их построения как формальных систем, связанная со стремлением одновременно передать свойства естественного языка. В качестве своей составной части они включают теорию семантических категорий, аналогичную, с одной стороны, делению выражений обыденного языка на части речи, а с другой стороны, до некоторой степени связанную с теорией типов, В общем виде "Прототетика" может рассматриваться как расширение пропозиционального исчисления с кванторами по переменным любого рода,-"Онтология" - как формальная теория связки "есть" (в выражениях типа "Уран - планета", "кит - млекопитающее" и т. п.), а "Мереология" - как теория отношений "часть - целое" между объектами.
Логические идеи Лесьневского были ассимилированы философско-методологической концепцией "реизма", развитой Т. Котарбиньским. Вместе с тем Лесьневский критиковал "гипостазирование" понятий, ведущее к онтологизации логических и математических объектов. Синтаксический аналог теории семантических категорий Лесьневского нашел применение в лингвистике. В его логике получают свое естественное выражение некоторые идеи античных и средневековых логиков (Аристотеля, Ансельма, Боэция, Оккама и др.). Это сказывается в логическом номинализме систем Лесьневского, который может быть охарактеризован как современная версия аристотелевского номинализма; в трактовке кванторов, заставляющей вспомнить оккамовскую квантификацию по терминам (в отличие от квантификации по индивидным переменным в стандартных системах современной логики); во введении в его систему "онтологии" объекта "ничто", понимаемого как "никакой объект", что характерно для трактовки "ничто" Ансельмом Кентерберийским. Все это позволяет рассматривать системы Лесьневского как синтез традиционной (аристотелевской) и современной логик и делает его логические идеи инструментом не только метаматематического, но и историко-философского исследования.
Соч.: Логические рассуждения. СПб., 1913; Podstawy ogolnej leoryi mnogosci. Moskwa, 1916; Grundzüge eines neuen Systems der GrundIngen der Mathematik, § 1-11.- "Fundamenta Mathematicaei", t. 14, 1929, s. 1-81; § 12, Collectanea Logica I, 1938; Über die Grundlagen der ntologie.- Comptes rendus des séances de la Société 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. Lesnewski's Prototets.- "Sludia Logica", 1954, t. l; Idem. S. Lesnewski's ciilculus of names.- Ibid., 1955, t. 3; Grwgorcayk A. The systems of Lesnewski in relation to contemporary logical research.- Ibidem.
В. Л. Васюков