|
|
||||||
УМОЗАКЛЮЧЕНИЕОбщая характеристика умозаключенияБолее сложной формой человеческой мысли является умозаключение. Умозаключение — форма мышления, в которой из одного, двух или более суждений, называемых посылками, выводится новое суждение, называемое заключением, или выводом. Таким образом, структура суждения включает:
При выявлении логической формы умозаключения посылки и заключение принято записывать отдельно, располагая их друг под другом. Посылки отделяются от заключения горизонтальной чертой, обозначающей логическое следование:
Виды умозаключенийПо направленности логического следования умозаключения делятся на два класса (рис. 29):
![]() Рис. 29 В недедуктивных умозаключениях вывод не следует строго логически из посылок, а лишь в некоторой степени подтверждается посылками. В таком умозаключении истинные посылки не являются достаточным основанием для вывода. До соответствующей проверки вывод не может считаться ни истинным, ни ложным. Недедуктивные умозаключения бывают двух видов:
Дедуктивные (от лат. deductio — выведение) — умозаключения, у которых между посылками и выводом имеется отношение логического следования. В основе дедукции лежит n-кратная импликация. По числу исходных суждений дедуктивные умозаключения делятся на следующие виды:
По виду исходных суждений дедуктивные умозаключения бывают двух видов: 1) дедуктивные умозаключения на основе простых суждений, в которых учитывается внутренняя структура суждения; 2) дедуктивные умозаключения на основе сложных суждений, в которых учитываются только связи между суждениями, а внутренняя структура суждений не учитывается (выводы логики высказываний). Если дедуктивное умозаключение сделано правильно, то есть рассуждение было корректно, то соответствующая ему формула должна быть тавтологией. Корректность рассуждений проверяют либо табличным, либо алгебраическим способом. |
<< | СОДЕРЖАНИЕ | ПОСМОТРЕТЬ ОРИГИНАЛ | >> |
---|