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