1. Программа курса

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

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

Тема 2. Понятие как форма мышления

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

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

Определение (дефиниция) понятия. Реальные и номинальные определения. Явные и неявные определения. Определение через род и видовое отличие. Генетическое определение. Приемы, сходные с определением понятий: описание, характеристика, разъяснение посредством примера, сравнение, различие, контекстуальное определение. Правила определения. Ошибки, возможные в определении.

Деление понятий. Виды деления: по видоизменению признака, дихотомическое деление. Правила деления понятий и возможные ошибки в делении.

Классификация и ее виды.

Тема 3. Суждение (высказывание) как форма мышления

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

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

Тема 4. Умозаключение как форма мышления

Общее понятие об умозаключении. Структура умозаключения: посылки, заключения, логическая связь между посылками и заключением.

Понятие логического следования. Виды умозаключений: дедуктивные, индуктивные, по аналогии.

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

Категорический силлогизм. Состав, фигуры, модусы, правила категорического силлогизма.

Сокращенный категорический силлогизм (энтимема). Понятие о полисиллогизмах и соритах. Чисто условные умозаключения. Условно-категорические умозаключения. Разделительные умозаключения. Дилемма и трилемма.

Индуктивные умозаключения. Понятие индуктивного умозаключения и его виды. Полная индукция. Неполная индукция и ее виды: индукция через простое перечисление (популярная); индукция через анализ, отбор фактов; научная индукция.

Индуктивные методы установления причинных связей. Метод сходства. Метод различия. Объединенный метод сходства и различия. Метод сопутствующих изменений. Метод остатков. Роль дедуктивных и индуктивных умозаключений в учебном процессе.

Умозаключение по аналогии. Аналогия и ее структура. Виды умозаключений по аналогии: аналогия свойств и отношений. Нестрогая и строгая аналогия. Ложная аналогия. Роль аналогии в юридической практике.