Лесьневский Станислав

Лесьне́вский Стани́слав (Stanisław Leśniewski) [28.3(по другим данным, 30.3).1886, Серпухов Московской губернии, ныне Московской области – 13.5.1939, Варшава], польский логик и философ, представитель львовско-варшавской школы. В 1904–1910 гг. учился в университетах Лейпцига, Гейдельберга, Цюриха, Мюнхена; в 1912 г. защитил докторскую диссертацию во Львовском университете под руководством К. Твардовского. В 1915–1918 гг. жил в Москве, преподавал математику в польских гимназиях. С 1919 г. преподавал в Варшавском университете (профессор с 1936). Испытал влияние Э. Гуссерля, а также Твардовского, А. Марти и А. Мейнонга. Разделяя антипсихологические и аналитические установки работ Я. Лукасевича, Лесьневский отвергал свойственные Лукасевичу тенденцию к платонизму и идею логического плюрализма, склоняясь к номинализму и классической (двузначной) интерпретации логики. Он стремился построить универсальную логическую систему, свободную от парадоксов и способную стать номиналистическим обоснованием математики. Разработанные им 3 дедуктивные теории – «Прототетика», «Онтология», «Мереология» – были построены как формальные системы, передающие в то же время свойства естественного языка: их составной частью является теория семантических категорий, аналогичная делению выражений обыденного языка на части речи и связанная вместе с тем с теорией типов. В общем виде «Прототетика» может рассматриваться как расширение исчисления высказываний с кванторами по переменным любого рода, «Онтология» – как формальная теория связки «есть» (в выражениях типа «Уран – планета», «кит – млекопитающее» и т. п.), а «Мереология» – как теория отношений «часть – целое». Логические идеи Лесьневского были восприняты Т. Котарбиньским в его концепции «реизма». Лесьневский критиковал «гипостазирование» понятий, ведущее к онтологизации логических и математических объектов. В целом систему Лесьневского можно рассматривать как своеобразный синтез традиционной (аристотелевской) и современной логики.