Тема 1. Предмет и значение логики

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

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

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

Тема 3. Суждение

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