Тема 4 Доказательство

Понятие доказательства как способа обоснования истинности суждения и теорий. Структура доказательства: тезис, аргументы, демонстрация. Функции доказательства в PR работе и полемике.

Тема 5 Формализация доказательств в исчислении высказываний Теория истинностных функций. Тождественно-истинные формулы и их роль в формализации доказательства. Правило подстановки и примитивное правило вывода в процессе построения формального доказательства. Элементы дедуктивной логики высказываний. Теорема дедукции в исчислении высказываний.

Тема 6 Теория доказательств в исчислении предикатовВведение индивидных переменных. Понятие формулы и правило подстановки в исчислении предикатов. Связанные переменные и правила для кванторов всеобщности и существования. Теорема дедукции в исчислении предикатов.

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

Тема 8 Классическая логика высказываний Пропозициональные связки. Тождественно-истинные тождественно-ложные и выполнимые формулы. Логические отношения между формулами. Основные законы и способы правильных рассуждений; их роль в связях с общественностью.

Тема 9 Классическое исчисление предикатовКванторы. Интерпретации и модели. Выполнимость и истинность. Изоморфизм интерпретаций. Общезначимые формулы и логические отношения в исчислении предикатов. Метод аналитических таблиц.

Тема 10 Теория дедуктивных рассуждений Понятие теории. Содержательные и формализованные теории. Роль дедукции в содержательных и формализованных теориях. Понятие натурального исчисления и его виды. Вывод: его понятие и структура. Вывод и доказательство. Прямой вывод и вывод от противного. Кванторные правила вывода в исчислении предикатов. Место и роль выводов в системе PR.

Тема11Силлогистика Общие сведения о силлогистике; категорические атрибутивные высказывания, их структура, количество и качество. Понятие силлогистической формулы позитивной силлогистики. Семантика традиционной силлогистики: модельные схемы, понятие распределенности терминов. Законы силлогистики и непосредственные следствия. Простой категорический силлогизм: понятие, структура, фигуры, модусы, правила терминов и посылок. Негативная силлогистика и ее основные понятия. Энтимемы понятие и роль в дискуссии. Возможности и недостатки силлогических умозаключений в системе PR.