Cтраница 4
Дедуктивный вывод представляет собой цепь утверждений, каждое из к-рых есть или посылка, или утверждение, непосредственно следующее по законам логики из утверждений, уже имевших место в этой цепи. В случае дедуктивного вывода следствия содержатся в посылках в скрытом виде, и они должны быть извлечены из них в результате применения методов логического анализа. [46]
В широком смысле к достоверному выводу и относится дедуктивный вывод, который в настоящее время хорошо изучен и исследован. В классической логике дедуктивный вывод рассматривается как вывод от общего к частному. Дедукция - в высшей степени идеализированная и ограниченная форма рассуждений, и если мы хотим моделировать некоторые аспекты человеческих рассуждений ( здравый смысл, неопределенность, противоречивость информации и т.п.), то дедукции будет совершенно недостаточно, и нужно привлекать недедуктивные или правдоподобные формы рассуждений, такие как абдукция и индукция. [47]
Первоначально в формальной логике ( напр. Иными словами, дедуктивный вывод - цепь утверждений, каждое из к-рых является или посылкой, или утверждением, непосредственно следующим по законам логики из других утверждений этой цепи. [48]