Словарь логики - принцип объемности

(экстенсиональности) (от лат. extentio — протяжение) — принцип теории множеств, суть которого в том, что два множества (класса), состоящие из одних и тех же элементов, равны (совпадают, являются равнообъемными). Применительно к логике П. о. можно сформулировать так: два предиката (свойства, отношения, понятия) могут быть отождествлены друг с другом (являются неразличимыми в определенном смысле), коль скоро они имеют один и тот же объем.

Так, множества, соответствующие пре­дикатам (и соответствующим им понятиям) «равносторонние пря­моугольники» и «равноугольные ромбы», одни и те же: они пред­ставляют собой множество квадратов. Эти понятия можно отожде­ствлять между собой, сделать неразличимыми в отношении доказательства теорем. В классической логике широко используется этот принцип.

Но в опытных науках П.о. постоянно нарушается: приходится различать равнообъемные понятия по свойствам, кото­рые в них зафиксированы. Эти свойства могут быть существенны­ми и несущественными, более существенными и менее существен­ными для решения различных задач. Так, два понятия «животное, способное производить орудия труда» и «животные, обладающие мягкой мочкой уха» равнообъемны: они выделяют, специфициру­ют один и тот же класс класс людей.