Основные виды дедуктивных рассуждений, выраженные ЯКЛВ

В ходе аргументационного процесса следует осознанно использовать разнообразные формы дедуктивных рассуждений, в связи с чем рассмотрим в парадигме КЛВ основные классы умозаключений, акцентируя внимание на их корректных разновидностях. В КЛВ на основе прямых правил вывода строятся следующие основные классы наиболее часто используемых в практике аргументации умозаключений: 1) непосредственные условные умозаключения; 2) чисто условные (чисто гипотетические) умозаключения; 3) условно-категорические умозаключения; 4) чисто разделительные умозаключения; 5) разделительно-категорические умозаключения; 6) разделительно-условные (лемматические) умозаключения. Условными называются умозаключения, в логической структуре которых в качестве посылок содержатся одно или несколько импликативных суждений. Поскольку в умозаключении может присутствовать одна или несколько посылок, то будем, как и в силлогистике, различать непосредственные условные и опосредованные условные умозаключения. Непосредственным условным умозаключением являются такие умозаключения, в которых из посылки — условного суждения — получают новое условное суждение — заключение. В свою очередь, антецеденты непосредственного условного умозаключения могут быть как элементарными высказываниями, так и конъюнкцией элементарных высказываний, в связи с чем среди непосредмтвенных условных умозаключений принято различать: 1) простую контрапозицию условного суждения: в таком случае антецедент посылки — элементарное высказывание (см.: закон контрапозиции); 2) сложную контрапозицию условного суждения, когда антецедент либо консеквент посылки является конъюнкцией двух элементарных высказываний, а антецедентом либо консеквентом заключения становится конъюнкция одного из этих элементарных высказываний со взятым с отрицанием консеквентом либо антецедентом посылки.