В посте Объекты, свойства в логике я определил свойство, как двоичный (да-нет) признак объекта: "красный", "Является красным?" Причем, этот признак определен для любого объекта (как обладающего, так и не обладающего цветом): эта шляпка - красная, это облако - не красное, этот звук - не красный.
Введем еще одно понятие, связанное с объектом - атрибут. Атрибут задает отображение из некоторых объектов (не обязательно всех), например, "цвет", "температура", "масса". Т.е., в отличие от свойства, объект может обладать или не обладать указанным атрибутом. Это обыгрывается в известном интернет-меме: «Сигнал – три зеленых свистка».
Само свойство (например, «красный») тоже является атрибутом (с двумя значениями: да-нет) и определенном для любого объекта (на полном множестве). В то же время, свойство «красный» можно определить через атрибут «цвет» следующим образом: «объект имеет цвет и этот цвет - красный». Казалось бы, какие-то непонятные и бессмысленные игры: свойство, атрибут… Зачем? Но чуть позже при рассмотрении понятия «отрицание» станет понятна цель обращения внимания на эти нюансы.
Комментарии
Вы бы уж лучше сразу написали, какую литературу стоит использовать, а какую нет. Какая книга самый топ?
Так, в том и прикол, что нет такой книги. Поэтому я и взялся писать этот ликбез по логике. Я считаю, что дочитав до конца (когда закончу, а уже больше половины) этот цикл статей, человек сильно поднимет уровень своего логического мышления.
Непонятно.
Спасибо за реакцию! Попробуйте сформулировать, что именно непонятно, или задайте вопрос.
Непонятна разница между атрибутом и свойством.
Свойство - то, на что можно всегда ответить да или нет?
Вот это - слон? (да/нет) [самолет - не слон, ураган - не слон, радость - не слон, а этот слон - слон]
Вот это - красное? (да/нет) [эта роза - красная, эта маргаритка - не красная, этот кирпич - красный, этот гром - не красный (у него цвета нет)]
Для любого свойства в применении к любому объекту вопрос правомерен и имеет ответ "да" или "нет".
В отличие от свойства, атрибут не обязательно (хотя, и такое возможно) для всех объектов имеет смысл? и он может иметь множество значений (а не два, как у свойства).
Например; Какой цвет у этого флага? - красный, а у этого листка? - зеленый, а у этого ветра? - невозможно ответить, бессмысленный вопрос.
Другой пример: Какая порода у этого объекта? - собака овчарка, а у этого? - корова Костромская, а у этого самолета? - невозможно ответить, бессмысленный вопрос.
Свойство - применимо к любому объекту и имеет значения либо "да", либо "нет" и никаких других ("красный (ое)", "птица", "мяч")
Атрибут обычно применим не ко всем объектам и может иметь много значений ["цвет" (список цветов), "температура" (число), "электрический заряд" (число), "сторона монеты" (орел, решка)]
Ошибка "имеет смысл? и он", надо "имеет смысл, и он"
То есть атрибут - это небинарное свойство?
Типа того, только я бы уточнил, не обязательно бинарное, а кроме того, не обязательно определённое на всех объектах.
А свойство - частный случай атрибута: бинарное/логическое и обязательно определённое на всех объектах.
Атрибут - не обязательно бинарное свойство. Понятно.
Не обязательно определённое свойство - непонятно. Цвет свистка - не красный, не зелёный, а отсутствует. Почему не атрибут? Потому, что свисткам не присущ (не атрибутирован) цвет? А кто производит атрибуцию?
А свойство - частный случай атрибута: бинарное/логическое и обязательно определённое на всех объектах. - непонятно.
Уточню: здесь "свисток" - звук, а не предмет для издания оного. Вопрос о цвете звука считается бессмысленным. Можно сказать, у атрибута, как функции, есть область определения (ОДЗ по школьному), а область значений может быть произвольной (числовой, перечислимой, векторной и др.). А у свойства, область определения всегда - полное множество, а область значений - бинарная пара да-нет.
Это за пределами теории.