Признаки и схема понятия

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

Дифференциальные признаки используются в качестве харак­теристики содержания понятия.

Характеристические — это признаки, которые позволяют отли­чить сущности, относящиеся к объему одного и того же понятия.

Валентные — это признаки, обеспечивающие связь между раз­личными понятиями. Без потери общности можно считать такие связи бинарными.

Признак характеризуется именем и значением. Можно выде­лить несколько типов значений признаков: логические, числовые, символьные и др. Имя признака вместе с его значением образует полное наименование соответствующего признака. Например, при­знак ВОЗРАСТ вместе со значением «30 лет» образует наимено­вание признака «возраст 30 лет».

Имя признака позволяет указать ту семантическую роль, ко­торую играет его значение в организации связи между сущностью и признаком, ее характеризующим. Так, в предыдущем примере имя признака ВОЗРАСТ характеризует определенную роль поня­тия «30 лет» по отношению к некоторой сущности, в качестве ко­торой выступает конкретный человек.

Совокупность имен дифференциальных, характеристических и валентных признаков составляет схему понятия, обозначаемую как shm P. Таким образом, схему понятия Р можно представить в виде тройки

Shm Р = <D, H, V>, (1)

где d={d i}, i = l, n — множество имен дифференциальных признаков;

H={Hj}, j = l, m — множество имен характеристических признаков;

V=={Vk}, k = l, l — множество имен валентных признаков.

Имена признаков будем обозначать прописными буквами ла­тинского алфавита (возможно с индексами) А, В, С, D,..., а зна­чения — строчными буквами.

Тот факт, что признак Ai данного понятия принимает одно из возможных значений a dom Ai, будем выражать в виде пары (Ai, a ). Здесь dom Ai обозначает множество (домен) всех воз­можных значений признака Ai. Тогда каждая сущность е, принад­лежащая объему понятия Р, может быть представлена в виде множества пар дифференциальных, характеристических и валентных признаков.

e ={ (Di, d ), (Hj, h ), (Vk, v )}. (2)

Однако описывать аналогичным выражением понятие не всег­да естественно, так как у понятий некоторые из значений призна­ков могут не определяться. Более подходящей формой представ­ления понятий являются логические формулы.