1. Все люди смертны — класс людей есть подкласс более обширного класса смертных, возможно включающего нелюдей. 2. Сократ есть человек — автоматически Сократ смертен. 3. Сократ смертен — Сократ может быть нелюдью. все просто: люди и нелюди смертны здесь определенный тип отношений типов значений — типов областей действительности: - индивид - свойство индивида - класс индивидов по общим свойствам - отношение принадлежности индивида классу - отношение вхождения подкласса в класс - отношение дополнения подкласса в классе. формальное основание дано Аристотелем. проблема — класс не род и не вид и потому формальная классификация (как и статистика) не дает знания о сущности, при-роде индивидов в их истории — откуда и зачем свойства и отношения сущность — не формализация, а природа, т.е. то, из чего, благодаря чему и как должно и может существовать сущее, его онто конституция, в которой зашиты его свойства, родовые, видовые и индивидуальные, данные в его явлении и по которым производится формализация и идеализация путем абстрагирования.