Словарь терминов. 
Основы логики

Дескриптивная семиотика — это семиотика, которая изучает конкретные знаковые системы.

Знак — это материальный объект, которым в процессе мышления и общения людей замещают другой объект.

Знаки-индексы — это знаки, значения которых полностью определяет контекст их использования.

Знаки-символы — это знаки, физически никак не связанные с обозначаемыми предметами. Их значения устанавливают в основном по условному соглашению. В связи с этим они получают статус условного обозначения и всеобщего правила.

Знаковый процесс (семиозис) — это процесс, в котором нечто функционирует как знак.

Иконические знаки — это знаки, значения которых полностью определяются обозначаемым предметом.

Логическая прагматика — это раздел логической семиотики, который изучает отношения между языковыми знаками и носителями языка в структуре логической теории.

Логическая семантика — это раздел логической семиотики, который изучает отношения между языковыми знаками и их значениями в структуре логической теории.

Логический синтаксис — это раздел логической семиотики, который изучает отношения между языковыми знаками в структуре логической теории.

Метаязык — это язык, средствами которого описывают и исследуют свойства и отношения объектного языка.

Объектный язык — это язык, при помощи которого фиксируют, описывают предметную (внеязыковую) действительность.

Прагматическое измерение — это измерение, которое фиксирует отношение между знаком и его интерпретатором в структуре знакового процесса.

Предметное значение (денотат) знака — это предмет, обозначаемый знаком.

Семантическое измерение — это измерение, которое фиксирует отношение между знаком и его значением в структуре знакового процесса.

Семиотика — это наука, которая изучает знаки и знаковые процессы.

Синтаксическое измерение — это измерение, которое фиксирует отношение между знаками в структуре знакового процесса.

Смысловое значение (смысл) знака — это содержание знака, которое усваивают в процессе его понимания. Смысл знака — это совокупность существенных характеристик предмета, обозначаемого этим знаком.

Теоретическая семиотика — это семиотика, которая изучает общие свойства и отношения, присущие любым знаковым системам, независимо от их материального воплощения.