2.2 Типы знаков
В повседневной жизни мы наблюдаем большое многообразие знаков. Дорожные знаки, показания приборов, следы на снегу, дым из трубы, азбука Морзе – все это знаки. Немецкий философ Мартин Хайдеггер (1889-1976) считал, что практически весь мир является «знаковой сетью». Так как любой предмет, процесс или явление «указывает» нам на другие. В мире любая вещь выступает «знаком иного». В этом Хайдеггер видел универсальный способ связи всего существующего.
Различают три основных вида знаков в зависимости от характера их отношения к обозначаемым объектам: знаки-индикаторы, знаки-образы, знаки-символы.
Знак-индикатор (знак-индекс) связан с репрезентируемым (представляемым) им предметом каузальным способом (отношением причины). К ним относятся следы на снегу, положение флюгера, дым из трубы, смех и т.д. Например, дым – индикатор огня; смех – индикатор веселого настроения. В языке к таким знакам можно отнести некоторые выражения, возникающие как реакции человека на внешние воздействия (например, междометия).
Знак-образ является в какой-то мере изображением обозначаемого предмета. Он связан с репрезентируемым предметом отношением подобия (внешнего сходства). Это фотографии, карты местности, реалистические художественные изображения, чертежи, схемы и т.п. В языке к числу знаков-образов можно отнести те слова, которые по своему звучанию воспроизводят звуковые характеристики обозначаемых ими процессов и вызывают определенные звуковые образы обозначаемых ими объектов (например, «треск», «звон», «жужжание» и т.п.).
Знак-символ по отношению к репрезентируемому объекту характеризуется негативно, т.е. физически с ним никак не связан. Это большинство слов, арабские цифры, математические знаки и т.п. Их связь с обозначаемыми предметами устанавливается либо по соглашению, либо стихийно при формировании языка и в процессе практического усвоения его отдельным человеком. Знаки-символы играют в языке решающую роль.
2.3 Семантические категории языка
Все выражения, являющиеся знаками, в зависимости от типов их предметных значений могут быть разбиты на классы, называемые семантическими категориями.
Семантическая категория – это класс выражений с однотипными предметными значениями, при этом включающий все выражения с предметным значением данного типа.
Такими классами являются имена, предикаторы, предметные функторы, логические термины, повествовательные предложения.
Имена – слова и словосочетания, являющиеся знаками предметов.
Предикаторы – выражения языка (слова и словосочетания), предметными значениями которых являются свойства (одноместные предикаторы) и отношения (многоместные предикаторы).
Свойствами в современной логике называют характеристики отдельных предметов («белый», «странный», «иметь спинку», «ходить» и т.п.). Отношения – это связь между двумя и более предметами («находиться между», «быть братом», «быть больше», «знать лучше, чем» и т.п.). Таким образом, отношения представляют собой характеристики не отдельных предметов, а некоторых систем предметов.
Наличие или отсутствие у какого-либо предмета свойства или отношения к другим предметам называется признаком. Признаки – это любые возможные характеристики предмета, все, что можно высказать о предмете.
Предметные функторы – это знаки так называемых предметных функций. Наряду с математическими функциями «синус», «логарифм», «умножение» и т.п. сюда относятся такие особые характеристики предметов, как скорость, плотность, возраст, пол, профессия, агрегатное состояние, место жительства и др. Иногда их называют предметно-функциональными характеристиками.
Логические термины (логические константы) – это знаки логических отношений «и», «или», «если…, то…», «неверно, что» и операций «всякий», «существует» («некоторые»), «тот…, который…».
Знаки первых четырех категорий (имена, предикаторы, предметные функторы и логические термины) используются в составе предложений. При этом, в отличие от логических терминов, имена, предикаторы и предметные функторы называются дескриптивными (описательными) терминами (рис. 1).
Рис. 1. Семантические категории языка
Дескриптивные и логические термины различаются тем, что первые специфичны для различных областей познания и поэтому характеризуют конкретное содержание высказываний той или иной области познания. Логические термины являются общими в высказываниях разных областей познания и определяют те аспекты смыслов высказываний, понятий, теорий, которые называют логическими содержаниями.