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