Тема 3. Понятие как форма мышления. Категории имени в современной логике.

Понятие как форма отражения действительности. Понятие и предмет. Категория имени в логике: понятие как общее имя. Выражение понятий в языке. Основные логические приемы формирования понятий: анализ, синтез, сравнение, абстрагирование, обобщение.

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

Виды понятий. Классификация понятий по содержанию (конкретные и абстрактные, относительные и безотносительные, положительные и отрицательные, разделительные и собирательные). Классификация понятий по их объему (пустые и непустые, общие и единичные, регистрирующие и нерегистрирующие).

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

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

Операции с классами (объемами понятий): сложение, вычитание, умножение.

Значение логических операций с понятиями в практике мышления специалиста.

Тема 4. Суждение как форма мышления. Категория высказывания в современной логике.

Единство и различие категорий высказывание, суждение, предложение. Истинные, ложные и бессмысленные суждения.

Общая характеристика суждения как формы мышления. Структура суждений. Простые и сложные суждения.

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

Отношения между простыми суждениями: сравнимые и несравнимые, совместимые и несовместимые. Виды совместимости: эквивалентность, подчинение, частичная совместимость. Виды несовместимости: противоположность, противоречие. «Логический квадрат».

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

Понятие модальности суждений. Фактическая (онтологическая) и логическая модальности. Алетическая модальность: необходимость, возможность, случайность. Эпистимическая модальность: достоверные и проблематические суждения. Деонтическая модальность: обязывание, запрещение, разрешение. Деонтическая характеристика правовых норм, их логический анализ.