ЛЕСЬНЕВСКИЙ СТАНИСЛАВ

(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. В. Донченко. Москва.