Принципы построения символических формализованных

Языков логики

Второй важнейший вопрос темы 1 – это вопрос о принципах построения символических формализованных языков логики. При рассмотрении этого вопроса мы ориентируемся на понимание языка как знаковой системы, сложившееся в семиотике. Основные понятия семиотики – знак, знаковая ситуация (семиозис), предметное значение знака (денотат), смысловое значение знака (смысл), интерпретатор, знаковая система, синтактика, семантика, прагматика.

Знак – это материальный предмет или явление, который(-ое) в определенной ситуации, называемой знаковой ситуацией (семиозисом), направляет действие некоторой организованной системы (интерпретатора) на другой предмет (конкретный или абстрактный), называемый денотатом (предметным значением) знака, с помощью следа в организованной системе (смысла знака).