1) задается некоторое количество исходных знаков (семиотических атомов); эти знаки называются простыми; 2) задаются правила конструирования сложных знаков из исходных знаков; результатом применения правил будет несколько классов знаков; 3) совокупность построенных знаков есть знаковая система. Мы будем строить три класса знаков из наших исходных. Правила: 1. Знак а ?(принадлежит) 1-му классу знаков. 2. Если знак X ? 1-му классу знаков, то Хb ? 1-му классу знаков. В результате применения этих двух правил можем получить бесконечное количество знаков вида: a, ab, abb, abbb и т.д. (это знаки первого класса). 3. Если X & ("и") Y ? 1-му классу, то XcY? 2-му классу. aca
acab знаки 2-го класса abcab
abbca 4. Знак аса есть знак 3-го класса. Таким образом, 3-й класс есть подкласс 2-го, так как из него мы выделили подкласс ХсХ и назвали его 3-м классом (другое определение). 5. Если XcY? 3-му классу, то XbcYb также есть знак 3-го класса.
аса
abcab знаки 3-го класса
abbcabb
Значения этих знаков мы не знаем, но строим определенного вида выражения (синтаксический уровень). Сейчас нам надо перейти на уровень интерпретации. Мы нашей системе можем по желанию дать три различные интерпретации (т.е. три вида семантики в широком смысле): 1) грамматическая интерпретация; 2) логическая интерпретация; 3) арифметическая интерпретация. 1. Грамматическая интерпретация. Выражения 1-го класса можно интерпретировать как существительные и как определения к существительным. Правила: 1) а — (дом) — существительное; 2) b — (маленький) — прилагательное; ab — дом маленький 3) с — глагол; 4) всякое выражение 2-го и 3-го класса — предложение авса мальчик маленький читает книгу аввса пес большой красивый кусает хозяина 2. Логическая интерпретация. Если грамматическая интерпретация различает правильные и неправильные предложения (например, bа — неправильное предложение, так как не вытекает из наших правил), то логическая интерпретация различает истинные и ложные предложения. Пусть С интерпретируется как знак равенства. Тогда предложение abca будет правильным, но ложным, а предложение аса будет и правильным, и истинным (как весь третий класс): а = a (ab = ab; abb = abb и т.д.). — 275 —
|