Тема 1. Предмет логики. Основные этапы становления логики как науки

Основные этапы становления логики как науки. Философские основы логики. Формальная и математическая логика как наука о законах и формах правильного мышления. Логика и язык. Синтаксический, семантический и прагматический аспекты языка. Логика в организации информационного процесса. Логические аспекты информатики. Логическое и психологическое: сходство и различия. Соотношение логики и психологии в общении. Язык-объект и метаязык. Понятие логической формы. Основные типы логических форм. Истинность и логическая правильность. Отношение логического следования. Подмены и нарушения логической формы: их последствия. Необходимость соблюдения требований логической формы в организации информационных процессов. Требования к логической форме в PR высказываниях. Логические законы и логические теории. Понятие рассуждения и умозаключения. Общение и понимание в связях с общественностью.

Тема 2. Понятие

Понятие как одна из форм правильного мышления.

Значение логических приемов анализа и синтеза, абстрагирования и обобщения в образовании понятий. Определение содержания и объема понятий и отношений между ними.

Понятия общие, единичные и собирательные, конкретные и абстрактные. Логическая характеристика понятия.

Логические ошибки, допускаемые при отождествлении собирательных понятий с общими.

Виды отношений между понятиями: тождественность, равнозначность, соподчиненность, пересечение, противоположность и противоречивость.

Логические действия над понятиями – обобщение и ограничение, определение и деление – их познавательное и практическое значение.

Приемы обобщения и ограничения; виды определения и деления понятий; правила определения и деления понятий и логические ошибки, связанные с их нарушением. Правильность определения и деления понятий.

Операции с классами (объемами понятий).

Тема 3. Суждение (Высказывание)

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

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

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

Тема 5. Формализация доказательств в исчислении высказываний

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

Тема 6. Теория доказательств в исчислении предикатов

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

Тема 7. Эмпирическое и дедуктивное доказательства

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

Тема 8. Классическая логика высказываний

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

Тема 9. Классическое исчисление предикатов

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

Тема 10. Теория дедуктивных рассуждений

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

Тема 11. Силлогистика

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