4. Теория доказательств

По выводу (методу выведения нового суждения) умозаключения делятся на три вида.

Первый – дедуктивное, когда из общего суждения - посылки выводится частное или единичное суждение – заключение. Пример. Посылки: а) Все деревья имеют корни, ствол и листья (общее суждение). б) Береза имеет корни, ствол и листья (единичное суждение). Заключение - Береза является деревом (единичное суждение).

Второй – индуктивное, когда из единичного или частного суждения - посылки выводится общее суждение - заключение. Пример. Посылки: а) Береза, клен и липа имеют корни, ствол и листья (частное суждение). б) Береза, клен и липа являются деревьями (частное суждение). Заключение – Деревья имеют корни, ствол и листья (общее суждение).

Третий – аналогичное (подобное), когда из единичного или частного суждения – посылки выводится единичное или частное суждение – заключение. Пример. Посылки: а) Береза является деревом (единичное суждение). б) Береза и липа имеют корни, ствол и листья (частное суждение). Заключение – Липа является деревом (единичное суждение).

Умозаключение, в котором из двух посылок выводится заключение, называется простым силлогизмом. Сложный силлогизм состоит из простых, когда заключение первого простого силлогизма является посылкой второго, заключение второго простого силлогизма – посылкой третьего и т.д.