Заключения и техните видове
Формула на положително-отрицателен модус:
И има или В или С;
Следователно A не е C.
Формула на отрицателно-утвърдителен режим:
И има или В, или С;
Следователно A е C.
При одобряването на заключението се преминава от изложението на основата към изявлението на разследването. Формула:
Ако има A, значи има B;
Следователно има Б.
Заключението за този режим може да бъде както утвърдително, така и отрицателно.
В режим на отричане заключението преминава от отричане на ефекта до отричане на причината. Формула:
Ако има A, значи има B;
Следователно няма A.
Заключението относно този режим може да бъде утвърдително и отрицателно; качествената му страна е обратно свързана с качествения характер на условната предпоставка.
Изводът, при който едната предпоставка е условно съждение, а другата е разделяща, се нарича условно разделяща или лемматична умозаключение. По броя на последствията от условната предпоставка се разграничават дилеми, трилеми и полиилеми.
Дилемата е условно разделящ силогизъм с две алтернативи, тъй като няма трето решение на въпроса. В практиката на разсъждения има два вида дилеми - конструктивна и деструктивна.
В конструктивна (конструктивна) дилема има две последици от две основания. Втората предпоставка ограничава избора само до тези две основания (алтернативи). Заключението признава и двете изброени последици. По този начин, в конструктивна дилема, заключението изхожда от отстояване на мотиви до отстояване на последици. Общ контур на конструктивната дилема: