В такой умозаключающей, рассуждающей (и, в частности, предсказывающей) работе мышления наиболее отчетливо проявляется его опосредствованный характер. Умозаключение, рассуждение — это и есть основная форма опосредствованного познания действительности. Например, если известно, что «все сланцы горючи» (первое суждение) и что «данное вещество является сланцем» (второе суждение), то сразу можно умозаключить, т.е. сделать вывод, что «данное вещество горюче» (третье суждение выведено из первых двух); причем уже не требуется специально прибегать к непосредственно опытной, эмпирической проверке этого вывода. Следовательно, умозаключение — это такая связь между мыслями (понятиями, суждениями)} в результате которой из одного или нескольких суждений мы получаем другое суждение, извлекая его из содержания исходных суждений. Исходные суждения, из которых выводится, извлекается другое суждение, называют посылками умозаключения. В приведенном выше примере посылками будут следующие суждения: «Все сланцы горючи» (общая, или большая посылка), «данное вещество является сланцем» (частная, или меньшая, посылка). Простейшей и типичной формой вывода на основе частной и общей посылок является силлогизм. Примером силллогизма может служить следующее рассуждение: «Все металлы - электропроводны. Олово — металл. Следовательно, олово - электропроводно». На основе, подобных способов и формул рассуждения можно сопоставлять друг с другом те или иные понятия и суждения, которыми пользуется человек в ходе своей мыслительной деятельности. По мере такого сопоставления осуществляется проверка всех основных мыслей, возникающих в процессе обдумывания постепенно решаемой задачи. Истинность, правильность каждой мысли становится тогда строго обоснованной и доказательной. По существу, весь процесс доказательства (например, математической теоремы) строится в конечном итоге как цепь 202 силлогизмов, соотносящих друг с другом различные суждения, понятия и т.д. Таким образом, силлогизм и все остальные логические формы совершенно необходимы для нормального протекания мыслительной деятельности. Благодаря им всякое мышление становится доказательным, убедительным, непротиворечивым и, значит, правильно отражает объективную действительность. Поэтому формальная логика, специально исследующая такие формы мышления, как понятие, суждение и умозаключение, тем самым изучает весьма существенные закономерности мыслительной деятельности. Закономерности, изучаемые формальной логикой, хотя и необходимы, но совершенно недостаточны для полного, глубокого, всестороннего объяснения человеческого мышления. — 177 —
|