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