Тема 5.1. Умовивід як форма мислення

Загальне поняття про умовивід. Умовивід як форма пізнання окремого, особливого та загального у відображенні реальних речей.

Структура умовиводу: засновки, висновок, логічний зв’язок між засновками та висновком.

Дедуктивні умовиводи. Загальна характеристика дедуктивних умовиводів. Необхідний характер логічного слідування в дедуктивних умовиводах. Різні форми дедуктивних умовиводів та поняття правила висновку.

Традиційна силогістика. Висновки з категоричних висловлювань.

Безпосередні умовиводи: перетворення, обернення, протиставлення предикатові.

Тема 5.2. Категоричний силогізм (Опосередковані умовиводи)

Визначення та склад силогізму. Правильні модуси. Аксіома силогізму. Загальні правила силогізму. Спеціальні правила фігур силогізму.

Скорочений силогізм (ентимема). Відновлення силогізму з ентимеми. Поняття про складні (полісилогізми) та складноскорочені силогізми (сорити й епіхейреми).