1886-1939) - польск. логик и философ, один из главный представителей Львовско-варшавской школы. Родился в Серпухове. С 1919 - проф. Варшавского ун-та. Разделяя антипсихологизм и общую аналитическую установку Лукасевича, Л. отвергал платонистские тенденции и идею логического плюрализма, склоняясь к материалистически ориентированному номинализму и классической (двузначной) интерпретации логики. Логические исследования Л. направлялись онтологическими и метаматематическими идеями. Он стремился построить универсальную логическую теорию, способную избавить номинализм от типичных для него парадоксов; кроме того, такая теория должна была лечь в основу номиналистической теории множеств. Л. построил три части этой теории: "прототетику" - обобщение пропозиционального исчисления высказываний за счет введения кванторов по пропозициональным переменным; "онтологию" - формальную теорию, определяющую смысл связки "есть"; "мереологию" - формальную теорию, определяющую характеристики отношения части и целого. Кроме того, им были намечены, но не завершены "хронология" - формальная теория временных высказываний и "стереология" - формальная теория пространственных высказываний. Логическая система Л. свободна от антиномий классической теории множеств, но, в отличие от теории типов Рассела - Уайтхеда, она основана на концепции семантических категорий, эксплицирующей синтаксис естественного языка. Логические идеи Л. были ассимилированы философско-методологической концепцией "реизма", развитой Котарбиньским. Вместе с ним Л. критиковал "гипостазирование" понятий, ведущее к онто-логизации логических и математических объектов. Синтаксический аналог его теории семантических категорий нашел применение в лингвистике. В логике Л. находят естественное выражение некоторые идеи античных и средневековых логиков (Аристотеля, Ансельма, Боэция, Оккама и др.). Это позволяет считать логические идеи Л. ценным инструментом не только логико-метаматематического, но и историко-философского исследования.
Логические рассуждения. СПб., 1913; Podstawy ogolnej teorii mnogosei. Moskwa, 1916; Collected Logical Papers. Warszawa, Dordrecht. 1988.
ЛЕСЬНЕВСКИЙ Станислав
ЛЕСЬНЕВСКИЙ (Lesniewski) Станислав
Источник: Современная западная философия: словарь
ЛЕСЬНЕВСКИЙ Станислав
(18 марта 1886 – 13 мая 1939) – польский логик, проф. Варшавского ун-та (с 1919). Большое внимание Л. уделял вопросам, связанным с логич. парадоксами. Разработанная им теория семантич. категорий близка к типов теории Уайтхеда и Рассела и, так же как последняя, ставит своей целью устранение известных антиномий. При анализе логич. парадоксов Л. предложил новый метод, заключающийся в том, что к высказыванию о к.-л. объекте добавляется требование ж е с т к о с т и этого объекта, т.е. требование выполнения для объекта А условия А=А. По Л., для таких парадоксальных объектов, как множество всех правильных множеств (т.е. множеств, к-рые не являются элементами самих себя), условие жесткости не выполняется. Л. – автор трех логич. систем, названных им соответственно прототетикой, о н т о л о г и е й и м е р е о л о г и е й. Эти системы отличаются большой четкостью и точностью, но являются более сложными, чем др. системы совр. математич. логики, и поэтому редко находят применение у математиков. Система прототетики является обобщением двузначного исчисления высказываний путем введения кванторов по переменным любого рода (в том числе и по пропозициональным переменным) и переменных различных логич. типов, значениями к-рых являются функции от значений истинности. Онтология является формализованной теорией значения символа "?" (согласующегося со значением связки "есть" в разговорном языке), дополненной разработанной Л. системой семантических категорий. Позднее была доказана эквивалентность онтологии алгебре множеств и их элементов. Однако положенный в основу онтологии семантич. анализ ее первичных терминов придает этой системе специфически философский смысл. В мереологии основную роль играет отношение "предмет x является частью предмета y". Это обычная булева алгебра без нулевого элемента. Логич. системы Л. можно рассматривать как результат его филос. номиналистич. воззрений. Не случайно Л. считается одним из родоначальников совр. номинализма в философии математики и логики. Работы Л. оказали большое влияние на развитие логики и философии в Польше. Соч.: Podstawy og?lnej teorii mnogo?ci, I, Moskwa, 1916: Grundz?ge eines neuen Systems der Grundlagen der Mathematik, "Fundamenta Mathematicae", 1929, t. 14; нов. изд. – Warsz., 1938; О podstawach matematyki, "Przegl?d Filozoficzny", 1927–31, v. 30–34; в рус. пер.: Логич. рассуждения, СПБ. 1913. Изложение логич. систем Л. содержится в работах; S?upecki J., S. L.´s protothetics, "Studia Logica", 1953, t. I; его же, S. L.´s Calculus of Names, там жe, 1955, t. 3; eго же, Towards a generalized mereology of L., там же, 1958, t. 8. Лит.: Soboci?ski В., L´analyse de l´antinomie russellienne par L., "M?thodos", 1949, v. 1, p. 94–107, 220–228, 308–316; 1950, v. 2, p. 237–57; Prior ?. ?., [Реферат статьи ], В. Soboci?ski, L´analyse de l´antinomie russellienne par L., "J. Symbolic Logic", 1953, v. 18; Grzegоrczyk ?., The systems of L. in relation to contemporary logical research, "Studia Logica", 1955, t. 3. В. Донченко. Москва.
Источник: Философская Энциклопедия. В 5-х т.
ЛЕСЬНЕВСКИЙ Станислав
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.
В. Л. Васюков
Логические идеи Лесьневского были ассимилированы философско-методологической концепцией «реизма», развитой Т. Котарбиньским. Вместе с тем Лесьневский критиковал «гипостазирование» понятий, ведущее к онтологизации логических и математических объектов. Синтаксический аналог теории семантических категорий Лесьневского нашел применение в лингвистике. В его логике получают свое естественное выражение некоторые идеи античных и средневековых логиков (Аристотеля, Ансельма, Боэция, Оккама и др.). Это сказывается в логическом номинализме систем Лесьневского, который может быть охарактеризован как современная версия аристотелевского номинализма; в трактовке кванторов, заставляющей вспомнить оккамовскую квантификацию по терминам (в отличие от квантификации по индивидным переменным в стандартных системах современной логики); во введении в его систему «онтологии» объекта «ничто», понимаемого как «никакой объект», что характерно для трактовки «ничто» Ансельмом Кентерберийским. Все это позволяет рассматривать системы Лесьневского как синтез традиционной (аристотелевской) и современной логик и делает его логические идеи инструментом не только метаматематического, но и историко-философского исследования.
Соч.: Логические рассуждения. СПб., 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.
В. Л. Васюков
Источник: Новая философская энциклопедия