Некоторые работы и идеи Станислава Лесневского:
В «Попытке доказательства онтологического принципа противоречия» (1912) Лесьневский утверждал, что пропозиция «ни один объект не может быть одновременно B и не-B» истинна.
Лесьневский допускал, что имена могут обозначать несколько вещей, одну вещь или вовсе не обозначать никакой вещи.
По словам Лесьневского, онтология — это «модернизированная традиционная логика, рассматриваемая вместе с теорией индивидов».
Три части Логической теории Станислава Лесневского:
«прототетика» — обобщение пропозиционального исчисления высказываний за счет введения кванторов по пропозициональным переменным;
«онтология» — формальная теория, определяющая смысл связки «есть»;
«мереология» — формальная теория, определяющая характеристики отношения части и целого.
Кроме того, им были намечены, но не завершены:
«хронология» — формальная теория временных высказываний
и
«стереология» — формальная теория пространственных высказываний.
Станислав Лесьневский (1886-1939) - польский математик и философ, специализировался на математической логике. Один из главных представителей Львовско-варшавской школы
