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

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

Структура формальной логики. Общая и прикладная, традиционная и современная (математическая) логики. Основы и предпосылки математической логики. Логика классическая и логика неклассическая. Принцип двузначности и принцип многозначности. Единство и многообразие логических теорий. Логика и язык. Понятие семиотики. Естественные и искусственные языки. Знак и денотат. Виды знаков. Формализация и многообразие ее трактовок. Этапы построения формализованного языка. Символика традиционной логики, логики высказываний, логики предикатов и вспомогательные символы специальных логических теорий.

Логика и право. Логика и судебная риторика. Предмет исследования, структура и функции юридической логики. Практическое значение формальной логики для юристов.

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

Понятие – исходная форма мышления. Место понятий в структуре мыслительного процесса. Типология признаков предмета. Имя, понятие, термин, категория. Понятие и слово. Понятийно-категориальный аппарат юриспруденции.

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

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

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

Тема 3. Суждение (высказывание)

Суждение как форма мышления. Структура суждения: субъект, предикат, логическая связка. Кванторы и квантификация. Суждение и предложение. Суждение и высказывание. Универсумы рассуждений.

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

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

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

Сложные суждения и способы их образования. Логические операторы. Отрицание. Конъюнктивное (соединительное) суждение. Слабая (нестрогая) дизъюнкция. Сильная (строгая) дизъюнкция. Полная (закрытая) и неполная (открытая) дизъюнкции.

Условное суждение и его виды. Условное суждение и материальная импликация. Формальная импликация и строгая импликация. Эквиваленция. Символическое выражение сложных суждений.

Деление суждений по модальности. Логические и физические (онтологические, каузальные) модальности. Алетическая модальность и ее категории. Понятие эпистемической, аксиологической, темпоральной (временной) модальностей. Понятие о логике предпочтений и ее законах.