Тема 1. Предмет и значение логики. Научное понимание процесса познания
Научное понимание процесса познания. Чувственное познание и абстрактное мышление. Основные характеристики абстрактного мышления. Роль языка в познании.
Логическая форма мысли. Основные типы логических форм: понятие, суждение, умозаключение. Понятие формально-логического закона. Правильные и неправильные умозаключения. Формальная логика как наука.
Основные этапы формирования логической науки. Символическая логика. Логика традиционная и современная.
Языки естественные и искусственные. Язык как знаковая система. Понятие знака. Основные характеристики знаков: смысл и значение. Семиотика.
Тема 2. Понятие как форма мышления
Понятие как мысль особого вида. Логическая форма понятия. Способы выражения понятий в естественном языке.
Признаки предметов. Виды признаков: простые и сложные, положительные и отрицательные, существенные и несущественные, отличительные и неотличительные.
Содержание и объем понятия. Логическое и фактическое (основное и полное) содержание понятия. Логический и фактический (основной и полный) объем понятия. Закон обратного отношения между содержаниями и объемами понятий.
Тема 3. Виды понятий. Отношения между понятиями
Разновидности понятий по характеру признаков, входящих в содержание: положительные и отрицательные, относительные и безотносительные. Разновидности понятий по количеству элементов объема: пустые, единичные и общие понятия. Разновидности понятий по характеру элементов объема: абстрактные и конкретные. Собирательное и разделительное употребление понятий.
Отношения между понятиями. Сравнимые и несравнимые понятия. Отношения совместимости: тождество, пересечение, подчинение. Отношения несовместимости: соподчинение, противоположность, противоречие.
Тема 4. Логические операции с понятиями
Обобщение и ограничение понятий.
Определение понятий. Виды определений: реальные и номинальные, явные и неявные. Приемы, сходные с определением: описание, характеристика, сравнение, разъяснение посредством примеров. Определения через род и видовое отличие. Индуктивные определения. Логико-методологические требования, предъявляемые к определениям. Ошибки в определениях.
Деление. Структура деления. Виды деления: дихотомическое и деление по видоизменению признака. Правила деления и возможные ошибки.
Классификация как логико-гносеологическая процедура. Структура и виды классификаций. Роль классификаций в познании.
Тема 5. Суждение как форма мышления. Простые суждения
Суждение как форма мышления. Способы выражения суждений в языке. Истинность и ложность суждений. Простые и сложные суждения.
Разновидности простых суждений: атрибутивные, суждения с отношением, суждения существования. Структура простого атрибутивного суждения: субъект, предикат, квантор, связка. Категорические суждения, их типы. Распределенность терминов в категорических суждениях.
Отношения между суждениями: логический квадрат.
Тема 6. Сложные суждения
Сложные суждения. Разновидности логических союзов. Соединительные суждения: конъюнктивные, последовательно-конъюнктивные, одновременно конъюнктивные. Разделительные суждения: дизъюнктивные и строго дизъюнктивные. Условные и импликативные суждения. Понятия необходимого и достаточного условий. Выражение суждений на языке логики высказываний.
Способы отрицания сложных суждений. Значение истинности логических союзов. Построение таблиц истинности для сложных суждений.
Тема 7. Законы логики
Понятие логического закона. Общая характеристика законов логики. Сфера действия законов логики.
Основные требования правильного мышления: определенность, непротиворечивость, обоснованность.
Закон тождества как выражение определенности мысли. Закон непротиворечия. Закон исключенного третьего и специфика его действия. Закон достаточного основания как выражение требования обоснованности мысли.
Взаимосвязь законов логики и их роль.
Тема 8. Умозаключение как форма мышления
Общая характеристика умозаключения. Состав умозаключения: посылки, вывод, отношение логического следования.
Классификация умозаключений: дедуктивные и недедуктивные. Особенности дедуктивных умозаключений. Умозаключения логики суждений. Умозаключения, основанные на преобразовании внутренней структуры простых суждений. Индуктивные умозаключения. Традукция.