Свойство
Сво́йство (в философии, математике и логике) — атрибут предмета (объекта).[B: 1][B: 2][B: 3][1] Понятие «свойство» является категорией, имеющей «одинаковое значение для любой науки», наряду с двумя другими основными категориями; вещи и отношения.[2]
В соответствии с принципом отождествления вещей, который известен как закон Лейбница, две вещи тождественны, если все их свойства общие.[3]
По другому определению, свойство — сторона проявления качества. При этом не всякое свойство предмета (объекта) должно рассматриваться при определении качества: свойство у предмета может иметься, но при сравнении предмета с другими оно может не быть отличительным или существенным.
Общие положения
Свойства объекта зависят от вида взаимодействия объекта и субъекта, например: если на яблоко смотреть — оно имеет цвет и форму; если его откусить — имеет твёрдость и вкус; если его взвешивать — имеет вес; если оценивать его габариты — имеет размеры, если потрогать — на ощупь яблоко гладкое. Объект является своими свойствами не только субъекту, но и другим объектам, то есть свойства могут проявляться и в ходе взаимодействия объектов друг с другом.
Например, о красном предмете говорится, что он обладает свойством «красноты». Свойство можно рассматривать как форму предмета самого по себе, притом, что он может обладать и другими свойствами. Свойства, при такой расширенной интерпретации, подпадают под действие парадокса Тесея[4], парадокса Рассела и парадокса Греллинга-Нельсона.
Совокупность некоторых частных свойств предмета может проявляться в некотором обобщённом свойстве предмета (поглощаться обобщённым свойством). Например, «краснота» яблока — обобщённое свойство яблока, а процентные доли содержания отдельных химических веществ в кожице яблока (характеризующие эту «красноту» яблока) — частные свойства яблока; «динамика» автомобиля — обобщённое свойство автомобиля, а мощность двигателя, снаряжённая масса, отношение главной передачи и др. (характеризующие эту «динамику» автомобиля) — частные свойства автомобиля.
Ошибочный вывод от случайного часто встречается в индуктивных обобщениях. Заметив, что известное свойство обнаружено во всех наблюдавшихся до сих пор предметах класса, неосторожные исследователи часто думают, будто свойство это — существенное для предметов данного класса и потому должно быть обнаружено не только в уже рассмотренных экземплярах, но и во всяком представителе того же класса. Свойство, обнаруженное в нескольких (и даже многих) предметах класса, может оказаться существенным, но может оказаться и случайным.[5]
Свойство отличается от логического понятия класса тем, что не связано с понятием экстенсиональности, а от философского понятия класса — тем, что свойство рассматривается в качестве отличного (отделённого) от предмета, который обладает им.
Особенности использования термина
В логике
В логике, основанной на булевой алгебре, понятие «свойство» совпадает с понятием «предикат».[6]
В математике
В математике если дан любой элемент множества X, то определённое свойство p либо истинно, либо ложно, то есть понятие «свойство» совпадает с понятием «подмножество». На формальном языке: свойство p: X → {истинно, ложно}(то есть отображение, функция из Х в множество из двух элементов). Всякое свойство естественным образом задаёт подмножество {x: x обладает свойством p} и соответствующую индикаторную функцию (англ. indicator function). В некоторых разделах математики (например, теории искусственного интеллекта) применяется более сложное определение свойства как отношения эквивалентности на множестве Х. В этом случае p: X → {множество имен значений свойства}. Прообразы всех имен при этом отображении задают разбиение множества Х на непересекающиеся подмножества (значения свойства). Такое определение свойства позволяет единообразно рассматривать не только качественные, но и количественные характеристики объектов.
Использование
Свойства используются в науке для образования понятий.
Свойства объектов и ситуаций широко применяются в теории решения задач, в процессах автоматизации производства, управления и поиска информации, при построении экспертных систем.[B: 3]
Примечания
- При создании этой статьи использован материал «PlanetMath», которая лицензирована GFDL
- Уемов, 1963, с. 3.
- Уемов, 1963, с. 8.
- Уемов, 1963, с. 11—33.
- Асмус, 1954, с. 81—82.
- Предикат / М. М. Новосёлов // Плата — Проб. — М. : Советская энциклопедия, 1975. — (Большая советская энциклопедия : [в 30 т.] / гл. ред. А. М. Прохоров ; 1969—1978, т. 20).
Литература
- Асмус В. Ф. Учение логики о доказательстве и опровержении. — М.: Госполитиздат, 1954. — 88 с. — 50 000 экз.
- Уемов А. И. Вещи, свойства и отношения. — М.: Издательство Академии Наук СССР, 1963. — 184 с. — 8000 экз.
- Бенерджи Р. Теория решения задач. Подход к созданию искусственного интеллекта. — М.: Мир, 1972.