Сво́йство (в философии, математике и логике) — атрибут предмета (объекта). Например, о красном предмете говорится, что он обладает свойством красноты. Свойство можно рассматривать как форму предмета самого по себе, притом, что он может обладать и другими свойствами. Свойства, следовательно, подпадают под действие парадокса Рассела и парадокса Греллинга-Нельсона.

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

Свойство отличается от логического понятия класса тем, что не связано с понятием экстенсиональности, а от философского понятия класса — тем, что свойство рассматривается в качестве отличного (отделённого) от предмета, который обладает им.

В логике

В логике, основанной на булевой алгебре, понятие «свойство» совпадает с понятием «высказывание».

В математике

В математике если дан любой элемент множества X, то определённое свойство p либо истинно, либо ложно, то есть понятие «свойство» совпадает с понятием «подмножество». На формальном языке: свойство p: X → {истинно, ложно}(то есть отображение, функция из Х в множество из двух элементов). Всякое свойство естественным образом задаёт подмножество {x: x обладает свойством p} и соответствующую индикаторную функцию (англ. indicator function). В некоторых разделах математики (например, теории искусственного интеллекта) применяется более сложное определение свойства как отношения эквивалентности на множестве Х. В этом случае p: X → {множество имен значений свойства}. Прообразы всех имен при этом отображении задают разбиение множества Х на непересекающиеся подмножества (значения свойства). Такое определение свойства позволяет единообразно рассматривать не только качественные, но и количественные характеристики объектов.

Применение

Свойства используются в науке для образования понятий. Свойства объектов и ситуаций широко применяются в теории решения задач, в процессах автоматизации производства, управления и поиска информации, при построении экспертных систем.

См. также

• Признак
• Параметр
• Критерий

Литература

• Р. Бенерджи «Теория решения задач. Подход к созданию искусственного интеллекта» — М.: Мир, 1972 г.
• При создании этой статьи использован материал «PlanetMath», которая лицензирована GFDL