Свойство

Сво́йство (в философии, математике и логике) — атрибут предмета (объекта). 
Понятие «свойство» является категорией, имеющей «одинаковое значение для любой науки», наряду с двумя другими основными категориями; вещи и отношения.

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

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

Например, о красном предмете говорится, что он обладает свойством «красноты». Свойство можно рассматривать как форму предмета самого по себе, притом, что он может обладать и другими свойствами. Свойства, при такой расширенной интерпретации, подпадают под действие парадокса Тесея, парадокса Рассела и парадокса Греллинга-Нельсона.

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

Ошибочный вывод от случайного часто встречается в индуктивных обобщениях. Заметив, что известное свойство обнаружено во всех наблюдавшихся до сих пор предметах класса, неосторожные исследователи часто думают, будто свойство это — существенное для предметов данного класса и потому должно быть обнаружено не только в уже рассмотренных экземплярах, но и во всяком представителе того же класса. Свойство, обнаруженное в нескольких (и даже многих) предметах класса, может оказаться существенным, но может оказаться и случайным.

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

Особенности использования термина

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

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

Использование 
Свойства используются в науке для образования понятий.

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

См. также 

 Критерий (логика)
 Необходимое и достаточное условия
 Параметр
 Понятие
 Признак (логика)

Примечания

Литература  

Математические термины
Философские термины
Метафизические теории