https://filosof.at.ua/publ/biografii...skij/2-1-0-164
Станислав Лесьневский
Станислав Лесьневский (Lesniewski) — польский логик и философ, один из главных представителей Львовско-варшавской школы.
Родился в 1886 в Серпухове. С 1919 — профессор Варшавского университета. Умер в 1939.
Философия Лесьневского
Разделяя антипсихологизм и общую аналитическую установку Лукасевича, Лесьневский отвергал платонистские тенденции и идею логического плюрализма, склоняясь к материалистически ориентированному номинализму и классической (двузначной) интерпретации логики. Логические исследования Лесьневского направлялись онтологическими и метаматематическими идеями. Он стремился построить универсальную логическую теорию, способную избавить номинализм от типичных для него парадоксов; кроме того, такая теория должна была лечь в основу номиналистической теории множеств. Лесьневский построил три части этой теории:
«прототетику» — обобщение пропозиционального исчисления высказываний за счет введения кванторов по пропозициональным переменным;«онтологию» — формальную теорию, определяющую смысл связки «есть»;
«мереологию» — формальную теорию, определяющую характеристики отношения части и целого.
Кроме того, им были намечены, но не завершены «хронология» — формальная теория временных высказываний и «стереология» — формальная теория пространственных высказываний. Логическая система Лесьневского свободна от антиномий классической теории множеств, но, в отличие от теории типов Рассела — Уайтхеда, она основана на концепции семантических категорий, эксплицирующей синтаксис естественного языка. Логические идеи Лесьневского были ассимилированы философско-методологической концепцией «реизма», развитой Котарбинским. Вместе с ним Лесьневский критиковал «гипостазирование» понятий, ведущее к онтологизации логических и математических объектов. Синтаксический аналог его теории семантических категорий нашел применение в лингвистике. В логике Лесьневского находят естественное выражение некоторые идеи античных и средневековых логиков (Аристотеля, Ансельма, Боэция, Оккама и др.). Это позволяет считать логические идеи Лесьневскго ценным инструментом не только логико-метаматематического, но и историко-философского исследования.