Раздел 3. Понятие как форма мышления. Виды понятий. Операции с понятиями.

Понятие как мысль особого вида. Логическая форма понятия. Способы выражения понятий в естественном языке. Понятие и смысл имени.

Содержание и объем понятия. Логическое и фактическое содержание понятия. Содержание понятия и смысл. Закон обратного отношения между содержаниями и объёмами понятий.

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

Раздел 4. Определение как приём познания. Виды определений.

Определение и приёмы, сходные с определением: остенсивное определение, описание, характеристика, сравнение, разъяснение посредством примеров. Номинальные и реальные определения. Явные и неявные определения. Определение через род и видовое отличие: генетические, атрибутино-реляционные и операциональные. Контекстуальные определения и определения через отношение к противоположному. Логико-методологические требования, предъявляемые к определениям. Ошибки в определениях.

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

Классификация как логико-гносеологическая процедура. Структура и виды классификаций.

Значение определений в науке и практических рассуждениях. Научная терминология.

Раздел 5. Суждение как форма мышления. Виды суждений. Правила логического квадрата. Деление суждений по модальности.

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

Логический квадрат. Правила логического квадрата. Категорические суждения и их виды: деление по количеству и качеству. Выделяющие и исключающие суждения. Распределённость терминов в суждениях. Круговые схемы отношений между терминами в категорических суждениях.

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

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

.

Раздел 6. Умозаключение. Виды умозаключений. Дедуктивные умозаключения. Правила категорического умозаключения. Условно-категорические умозаключения.

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

Категорический силлогизм: состав, фигуры, модусы. Фигуры силлогизма. Правила фигур. Модусы категорического силлогизма. Графический способ исследования силлогизмов. Алгоритм анализа и решения силлогических задач. Энтимема силлогизма. Полисиллогизм, сорит, эпихейрема.

Условные, условно-категорические, разделительно-категорические, условно-разделительные силлогизмы и выводы логики высказываний. Основные правила условно-категорических умозаключений: modus ponens, modus tollens. Логическое следование и выводы в естественном языке. Рассуждения «от противного», «по случаям», опровержение «путем сведения к абсурду». Дилеммы виды дилемм.