Дедуктивное обоснование. - Обоснование и классификация способов аргументации

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

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

Дедукция также может использоваться и для фальсификации гипотез. При этом используется известное правило дедуктивной логики modus tollens:

(A > B, B) > ( A) - "Если А, то В и не-В, следовательно не-А".

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

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

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

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

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

    1. Формы условно-категорического умозаключения (modus ponens и modus tollens); о modus tollens мы уже писали, примером же modus ponens может служить следующее рассуждение: "Если в нашей галактике действительно миллионы пригодных для жизни планет, то вполне вероятно, что жизнь могла возникнуть не только на нашей планете. В нашей галактике действительно миллионы пригодных для жизни планет. Поэтому вполне вероятно, что жизнь могла возникнуть не только на нашей планете" (логическая форма: (A > B, А) > В - "Если А, то В, и А, следовательно В"). 2. Формы чисто-условного умозаключения (иногда это называют гипотетическим силлогизмом): "Если А, то В и если В, то С, следовательно, если А, то С", что символически можно записать как ((А > В) &; (B > C)) > (A > C). 3. Условно-дизъюнктивное умозаключение; 4. Дилемма; 5. Reductio ad absurdum ("сведение к абсурду" - иначе - к противоречию).

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

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

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

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

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

В связи с системным обоснованием следует сказать о принципе ограниченности сомнения. Есть эмпирические утверждения, которые могут проверяться в опыте и которые не проверяются, а включаются как обоснование для проверки других утверждений. Например, большинство из нас в типичных ситуациях не сомневаются в своем имени, местожительстве и ряде других фактов. Поэтому сами такие факты (или, точнее, эмпирические предложения) сами используются для проверки других предложений (проверяя почтовый ящик, мы не сомневаемся в своем имени, но проверяем корреспонденцию, опираясь уже на это знание). С другой стороны, в другом контексте, будучи включенными в другую систему, мы можем и эти "непроверяемые" факты подвергнуть сомнению (например, попав в больницу с черепно-мозговой травмой человек может усомниться в правильности своего имени; или вспомним Алису в стране чудес, когда она, попав в необычные обстоятельства, задается вопросом "Я это или не я?" и, в конце концов, приходит к выводу, что она - Мэри Эн, и уже в этом у нее "нет никаких сомнений").

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

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

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

    1) Утверждения, относительно которых сомнение возможно и разумно в рамках конкретной практики; 2) Утверждения, в отношении которых сомнение возможно, но неразумно в данном контексте (результаты надежных измерений; информация, полученная из надежных источников); 3) Утверждения, не подлежащие сомнению и проверке в данной практики под угрозой разрушения самой практики; 4) Утверждения, ставшие, в рамках соответствующей системы, стандартами оценки других утверждений и потому не проверяемые в рамках данной практики (но допускающие проверку в других контекстах); 5) Методологические предложения, не проверяемые в рамках любой практики.

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

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

Среди способов прояснения теории выделяют:

    - Выявление логических связей ее утверждений; - Минимизация ее исходных допущений; - Построение ее в форме аксиоматической системы; - Формализация теории, если это возможно.

Принципиальная опровержимость и принципиальная проверяемость.

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

Свои основные идеи Поппер формулирует так:

    1) Легко получить подтверждения, или верификации, почти для каждой теории, если мы ищем подтверждений. 2) Подтверждения должны приниматься во внимание только в том случае, если они являются результатом рискованных предсказаний, то есть когда мы, не будучи осведомленными о некоторой теории, ожидали бы события, несовместимого с этой теорией, - события, опровергающего данную теорию 3) Каждая "хорошая" научная теория является некоторым запрещением: она запрещает появление определенных событий. Чем больше теория запрещает, тем она лучше. 4) Теория, не опровержимая никаким мыслимым событием, является ненаучной. Неопровержимость представляет собой не достоинство теории (как часто думают), а ее порок. 5) Каждая настоящая проверка теории является попыткой ее фальсифицировать, то есть опровергнуть. Проверяемость есть фальсифицируемость.

Таким образом, по Попперу, критерием научного статуса теории является ее фальсифицируемость, опровержимость, или проверямость.

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

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

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

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

Но и это требование нельзя абсолютизировать - иначе наука обречена на стагнацию. Эта идея хорошо выражена в соотношении периодов "нормального" и революционного развития науки Т. Куна.

Томас Кун - американский историк и философ, один из лидеров историко-эволюционистского направления в философии науки. Его книга "Структура научных революций", впервые опубликованная в США в 1962 г., стала значительным событием, породившим множество дискуссий и интерпретаций. Наиболее существенное, что выделяется в этой книге - доказательство наличия в развитии науки нормальных и революционных периодов. Центральным понятием, служащим основанием для выделения таких периодов, является понятие "парадигма". "Под парадигмами, - пишет Кун, - я подразумеваю признанные всеми научные достижения, которые в течение определенного времени дают научному сообществу модель постановки проблем и их решений". В качестве парадигмы чаще всего выступает фундаментальная теория и совокупность соответствующих ей методов исследования. Историко-научный прогресс - это чередование эпизодов конкурентной борьбы между научными сообществами. Наиболее важными типами таких эпизодов являются "нормальная наука" (период безраздельного господства парадигмы) и "научная революция" (распад парадигмы, конкуренция между альтернативными образцами и, наконец, победа новой парадигмы, т. е. переход к новому периоду "нормальной науки"). Примерами парадигм в истории науки являются "астрономия Птолемея (или Коперника)", "аристотелевская (или ньютоновская) динамика", "корпускулярная (или волновая) оптика".

Как пишет Кун, изучение парадигм является тем, что, главным образом, и подготавливает студента к тому, чтобы "войти в науку", стать членом того или иного научного сообщества. Поскольку он присоединяется таким образом к людям, которые изучали основы их научной области на тех же самых конкретных моделях, его последующая практика в научном исследовании не часто будет обнаруживать расхождение с фундаментальными принципами. Ученые, научная деятельность которых строится на основе одинаковых парадигм, опираются на одни и те же правила и стандарты научной практики. Эта общность установок и видимая согласованность, которую они обеспечивают, представляют собой предпосылки для нормальной науки. Цель нормальной науки не в том, чтобы внести какие-либо значительные новшества в парадигму, но напротив, используя парадигму, опираясь на ее правила и методы решать технические задачи различной степени сложности - "головоломки" - которые служат пробным камнем для проверки таланта и мастерства исследователя. Тем не менее, в процессе научного исследования накапливаются факты, не находящие объяснения в рамках старой парадигмы. Происходит их осмысление, ведущее к созданию новых теорий и новой парадигмы. Переход к новой парадигме является процессом реконструкции области на новых основаниях. К тому времени, когда переход заканчивается, ученый-профессионал уже изменит свою точку зрения на область исследования, ее методы и цели. Сам переход называется научной революцией.

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

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

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

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

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

Правда, иногда следование этому принципу может сыграть дурную шутку даже с великим ученым:

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

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

Контекстуальный характер этих требований выражается в зависимости их применения от типа науки и даже от периода ее развития.

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

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

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

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

Проблема метода состоит в следующем: может ли строгое следование методу само по себе обеспечить истину и тем более служить ее обоснованием? Методологизм в философии был свойственен Новому времени: наиболее яркими примерами являются рационалистическая методология Р. Декарта и эмпирическая методология Ф. Бэкона.

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

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

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

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

И последнее делать всюду перечни настолько полные и обзоры столь всеохватывающие, чтобы быть уверенным, что ничего не пропущено".

Ссылки на метод более характерны для естественных наук (например, химия: ссылки на различные способы получения веществ и т. п.).

Научные методы сами должны оцениваться и оправдываться с прагматической точки зрения. Только ли методы и концептуальные каркасы составляют "реальность" научной теории? Все-таки, науки должны стоять на почве объективности, и истина в них, прежде всего, трактуется как соответствие объективности, а не правилам и критериям (последнее составляет конвенциональную концепцию истины).

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

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

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

Похожие статьи




Дедуктивное обоснование. - Обоснование и классификация способов аргументации

Предыдущая | Следующая