Свойство

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

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

Свойства объекта зависят от вида взаимодействия объекта и субъекта, например: если на яблоко смотреть - оно имеет цвет и форму; если его откусить - имеет твёрдость и вкус; если его взвешивать - имеет вес; если оценивать его габариты - имеет размеры, если трогать - имеет шероховатость. Объект является своими свойствами не только субъекту, но и другим объектам, то есть свойства могут проявляться и в ходе взаимодействия объектов друг с другом.

Совокупность некоторых частных свойств предмета может проявляться в некотором обобщённом свойстве предмета (поглощаться обобщённым свойством). Например, "краснота" яблока - обобщённое свойство яблока, а процентные доли содержания отдельных химических веществ в кожице яблока (характеризующие эту "красноту" яблока) - частные свойства яблока; "динамика" автомобиля - обобщённое свойство автомобиля, а мощность двигателя, снаряжённая масса, отношение главной передачи и др. (характеризующие эту "динамику" автомобиля) - частные свойства автомобиля.

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

В логике

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

В математике

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

Применение

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

См. также

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

Литература

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