СВОЙСТВО

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

М. М. Новоселов