Язык как знаковая информационная система. Структура языка логики. Понятие о логическом анализе языка. Соотношение логических и грамматических категорий. Классическая логика высказываний и предикатов. Понятие «имя», «высказывание», «предикат». Логические связки. Теория доказательств в исчислении предикатов.

Понятие знака: предметное и смысловое значение языковых выражений. Понятие семантики, синтаксиса, прагматики. Дескриптивные и логические термины. Формализация доказательств в исчислении высказываний. Понятие об искусственном языке (на примере логики высказываний). Язык как инструмент аргументации