Дефинициальная эквивалентность элементарной онтологии и обобщенной силлогистики оккамовского типа.

Abstract

Исчисление имен было построено Ст. Лесневским как альтернатива расселовской системы логики. Эта система не беднее системы Рассела. С другой стороны, исчисление имен Лесневского замышлялось как естественное обобщение традиционной логики. Б.Рассел четко различал собственные имена и общие имена; эти имена, согласно Б.Расселу, принадлежат к разным семантическим категориям или типам. В противоположность этому, по Ст. Лесневскому, имена, вне зависимости, являются ли они общими, единичными или пустыми, принадлежат к одной и той же семантической категории. В этом подход Лесневского родственен аристотелевской силлогистике.

Целью статьи является доказательство дефинициальной эквивалентности предложенной мною силлогистики С2Д, обогащенной аксиомой атомности, элементарной онтологии Ст. Лесневского ЕО.