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

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

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

Скорочені та складні умовиводи: ентимема, полісилогізм, епіхейрема.

Імовірнісні умовиводи. Поняття ймовірності.

Індукція як різновид імовірнісного умовиводу. Види індукції. Методи наукової індукції. Логічні помилки в індуктивних умовиводах.

Аналогія як різновид імовірнісного умовиводу. Види аналогії. Логічні помилки в умовиводах по аналогії.

Умови підвищення ступеня достовірності висновків у імовірнісних умовиводах.

Тема 5. Доведення та спростування як логічні операції

Логічна теорія аргументації).

Загальна характеристика доведення та спростування як логічних операцій: визначення, логічна структура. Вимоги логіки до аргументів.

Види доведень і спростувань: прямі та непрямі. Способи спростувань. Правила доведення та спростування і логічні помилки, що виникають при їхньому порушенні.