Непосредственные умозаключения: выводы по логическому квадрату, превращение, обращение, противопоставление предикату. Различные способы противопоставлений и методы их проверки.
Простой категорический силлогизм (ПКС). Определение и структура ПКС. Аксиома силлогизма. Общие правила ПКС. Фигуры и модусы ПКС. Правила фигур ПКС. Правильные и неправильные модусы ПКС. Опровержение неправильных модусов с помощью диаграмм Эйлера-Венна. Обоснование модусов 2, 3, 4 фигур силлогизма с помощью модусов первой фигуры. ПКС с выделяющими суждениями. Энтимема. Восстановление силлогизма из энтимемы. Полисиллогизмы. Линейные и каскадные цепи силлогизмов. Прогрессивный и регрессивный полисиллогизм. Сорит. Эпихейрема.
Литература:
1. Гетманова А.Д. Логика. М., 1986. С. 131-145.
2. Кириллов В.И., Старченко А.А. Логика: Учебник для юридических вузов. М., 2001. С. 121-140.
3. Никифоров А.Л. Общедоступная и увлекательная книга по логике. М., 1996. С. 85-116.