Логика как часть теории познания

Слово "логика" большинством воспринимается как название науки о правильном мышлении. Желание правильно мыслить естественно и даже похвально. Но чтобы научиться правильно мыслить, надо знать правила, которым мысли подчиняются. Правила же лишь тогда будут полезны, когда предметная область их приложения четко осознается. И здесь возникает довольно сложная проблема: что же такое мысль, мышление? То же самое, что речь, «слово», которыми мы постоянно пользуемся, или нечто отличное от них?

Что слово не тождественно тому предмету, который оно обозначает, достаточно очевидно. А смысл слова, хотя и теснейшим образом связан со словом, но все-таки не есть само слово, так же смысл слова не есть и сам тот предмет, признаки которого он отражает. Смысл - нечто незримое, неосязаемое. Что же тогда?... Незримость мысли, не воспринимаемость ее органами чувств привносит значительные трудности и в понимание логики.

Слово "логика" в повседневной речи часто означает для нас взаимосвязанность, последовательность и не столько как простая, текучая непрерывность, сколько следование по необходимости. Когда говорят или признают: "логично", - то имеют в виду, как главное, что нечто следует из предшествующего обязательно. В этом смысле логичное бывает лишь тогда, когда оно обуславливается тем или иным законом: то ли законом связи букв и слов в предложении, то ли законом связи между мыслями в рассуждении, то ли законом природы, то ли общественным законом.

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

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

Умозаключение (syllogismos) есть речь,

в которой если нечто предположено,

то через положенное из него с необходимостью

вытекает нечто отличное от положенного.

Аристотель. Топика.

1. Понятие дедукции в широком смысле

Дедукция - это частный случай умозаключения.

В широком смысле умозаключение - логическая операция, в результате которой из одного или нескольких принятых утверждений получается новое утверждение - заключение.

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

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

К дедуктивным относятся, к примеру, такие умозаключения:

Если идет дождь, земля является мокрой.

Идет дождь.

Земля мокрая.

Если гелий металл, он электропроводен.

Гелий не электропроводен.

Гелий не металл.

Черта, отделяющая посылки от заключения, заменяет слово «следовательно».

Примерами индукции могут служить рассуждения:

Аргентина является республикой; Бразилия - республика;

Венесуэла -- республика; Эквадор - республика.

Аргентина, Бразилия, Венесуэла, Эквадор - латиноамериканские государства.

Все латиноамериканские государства являются республиками.

Италия - республика; Португалия - республика; Финляндия - республика; Франция - республика.

Италия, Португалия, Финляндия, Франция - западноевропейские страны.

Все западноевропейские страны являются республиками.

Индукция не дает полной гарантии получения новой истины из уже имеющихся. Максимум, о котором можно говорить, - это определенная степень вероятности выводимого утверждения. Так, посылки и первого и второго индуктивного умозаключения истинны, но заключение первого из них истинно, а второго - ложно. Действительно, все латиноамериканские государства - республики; но среди западноевропейских стран имеются не только республики, но и монархии, например Англия, Бельгия и Испания.

Особенно характерными дедукциями являются логические переходы от общего знания к частному типа:

Все люди смертны.

Все греки люди.

Следовательно, все греки смертны.

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

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

В рассуждении «Шекспир писал сонеты; следовательно, неверно, что Шекспир не писал сонетов» есть дедукция, но нет перехода от общего к частному. Рассуждение «Если алюминий пластичен или глина пластична, то алюминий пластичен» является, как принято думать, индуктивным, но в нем нет перехода от частного к общему.

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

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

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

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

Все ранее рассмотренные схемы рассуждений являлись примерами дедуктивных рассуждений. Логика высказываний, модальная логика, логическая теория категорического силлогизма - все это разделы дедуктивной логики.

1.1 Обычные дедукции

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

В обычных рассуждениях дедукция только в редких случаях предстает в полной и развернутой форме. Чаще всего мы указываем не все используемые посылки, а лишь некоторые. Общие утверждения, о которых можно предполагать, что они хорошо известны, как правило, опускаются. Не всегда явно формулируются и заключения, вытекающие из принятых посылок. Сама логическая связь, существующая между исходными и выводимыми утверждениями, лишь иногда отмечается словами, подобными «следовательно» и «значит»,

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

«Благодаря давней привычке, - заметил как-то Шерлок Холмс, - цепь умозаключений возникает у меня так быстро, что я пришел к выводу, даже не замечая промежуточных посылок. Однако они были, эти посылки»,

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

1.2 Дедуктивная аргументация

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

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

Дедуктивная аргументация является универсальной, применимой во всех областях знания и в любой аудитории. «И если блаженство есть не что иное, как жизнь вечная, -- пишет средневековый философ И.С.Эриугена, - а жизнь вечная - это познание истины, то блаженство - это не что иное, как познание истины». Это теологическое рассуждение представляет собой дедуктивное умозаключение, а именно силлогизм.

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

В зависимости от того, насколько широко используется дедуктивная аргументация, все науки принято делить на дедуктивные и индуктивные.

В первых используется по преимуществу или даже единственно дедуктивная аргументация.

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

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

дедукция обычный аргументация силлогизм

1.3 Умозаключение как форма мышления

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

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

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

В любом умозаключении различают три основных момента:

a. исходное знание (посылки);

b. обосновывающее знание (логическое основание вывода);

c. выводное знание (заключение).

Истинность выводного знания зависит от истинности посылок и логической правильности их связи.

По степени общности посылок и вывода умозаключения делятся на три группы:

a. дедуктивные, когда мысль идет от большей к меньшей общности знания;

b. индуктивные, когда мысль развивается от знания одной степени общности к новому знанию большей степени общности;

c. по аналогии, когда посылки и вывод выражают знание одинаковой степени общности.

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

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

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

Рассмотрим, например, категории единичного, особенного и всеобщего. Являясь противоположностями, они по существу в каждом умозаключении находятся в органическом единстве.

Чтобы показать это, рассмотрим такое умозаключение:

Береза - дерево

Дерево -- растение

Береза - растение

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

Приведенное умозаключение раскрывает отмеченную ранее диалектику процесса познания, протекающего от единичного к особенному и от особенного - ко всеобщему.

Первая посылка "береза есть дерево" повествует о том, что единичное есть особенное. Здесь мысль протекает от единичного к особенному.

Вторая посылка "дерево есть растение" сообщает о том, что особенное есть всеобщее. Здесь движение мысли идет от особенного ко всеобщему. В выводе "береза есть растение", ради которого строилось все умозаключение, мысль движется от единичного ко всеобщему. Следовательно, в данном умозаключении единичное связывается и диалектически отождествляется со всеобщим, но не непосредственно, а опосредованно через особенное. Единичное с особенным и особенное со всеобщим связаны непосредственно, а единичное со всеобщим - опосредованно.

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