содержание программы:

Предмет и основные понятия логики. Формальная и математическая логика как наука о законах познания. Формализация доказательств в исчислении высказываний. Теория доказательств в исчислении предикатов. Доказательство как способ обоснования истинности суждений или теорий. Эмпирические и дедуктивные доказательства. Логические выводы. Логика и «внелогические» элементы мышления. Доказательство и интуиция.

Классическая логика высказываний; пропозиционные связки; интерпретация и модели. Теория дедуктивных рассуждений. Силлогистика; семантика традиционной силлогистики; негативная силлогистика.

Представление об аргументации. Аргументы и аргументация в формальной логике. Структура довода. Порядок аргументации и основные виды аргументов. Методы установления причинных зависимостей; аналогия; гипотеза.

Связи с общественностью и искусство убеждения