Литература

1. Кобзарь В.И. Основы логических знаний: Учеб. для студ. гум. фак-тов. Гл.3. СПб. : Изд-во СПб ун-та, 1994. С. 52 - 59.

2. Логика: Учеб. пособие / Под ред. Б.В.Ахлибининского / ГЭТУ. Гл.II. СПб, 1995. С. 31 - 38.

3. Основные законы и формы мышления: Логический практикум / Под ред. М.Ю.Казаринова / ГЭТУ. Гл. II. СПб, 1997. С. 27 - 33.

Лекция 7. Умозаключение §1. Понятие умозаключения: определение, структура, классификация

Третьей общечеловеческой формой мышления является умозаключение - логическая форма, в рамках которой из одного или нескольких суждений (посылок) выводится новое суждение (заключение, вывод).

Специфика умозаключения состоит в том, что с его помощью из уже имеющегося знания, выраженного в тех или иных суждениях, мы можем получить новое знание, не обращаясь при этом непосредственно к действительности. Процесс рассуждения, дающий в заключение новое знание относительно предмета рассуждения, называется логическим выводом.

Из определения видно, что умозаключение представляет собой систему суждений и правильность его форм определяется характером этих составляющих и их соотношением. А поскольку каждое суждение представляет собой определенную систему понятий со своими правилами построения, то и умозаключение, в конечном счете, есть система понятий, правильное строение которой зависит от их соотношений, распределенности терминов в посылках и т.д. На это следует обратить внимание при анализе различных типов умозаключений, особенно дедуктивных, анализе их свойств и доказательстве правил построения.

Истинность заключения обусловлена двумя факторами: во-первых, истинностью посылок, во-вторых, формальной правильностью связи между посылками - правильной формой соответствующего умозаключения.

В зависимости от последовательности движения мысли и логической обоснованности выводного суждения умозаключения делятся на виды:

1) дедуктивные: от более общего знания к менее общему; заключение с логической необходимостью вытекает из посылок, оно ими обосновано полностью и однозначно;

2) индуктивные: от менее общего знания к более общему; заключение имеет чаще всего вероятностный характер;

3) умозаключения по аналогии: от частного знания к частному; заключение носит вероятностный характер.

Дедуктивные умозаключения дают чисто формальные выводы, т.е. по существу лишь раскрывают в новой форме информацию, изначально заложенную в посылках. Тем не менее, без них невозможно и творческое мышление, они играют очень важную роль в науке (особенно в теоретических построениях), в современной математической логике, в кибернетике и информатике и т.д. К дедуктивным выводам (так называемым непосредственным умозаключениям) часто относят уже рассмотренные нами операции с простыми категорическими суждениями (обращение, превращение, противопоставление, выводы по логическому квадрату). Возможны непосредственные выводы из релятивных и модальных суждений, основанные на свойствах определенных отношений и модальностей. В данной лекции мы рассмотрим более сложные формы дедукции - простой категорический силлогизм и умозаключения из сложных суждений.

Индуктивные выводы и аналогии, уступая дедукции в точности и надежности, имеют, с другой стороны, преимущество в том, что только в них появляется принципиально новое знание. Обоснованное в этих формах, как правило, недостаточно, оно все же приобретает формулировку гипотезы, которая затем может проверяться и соотноситься с имеющимся знанием, в том числе и дедуктивными методами.