А.А. Ивин «Теория аргументации»
Страница 9
Невозможно доказать общее утверждение посредством ссылок на свидетельства, относящиеся к каким-то отдельным случаям его применимости. Универсальные обобщения — это своего рода гипотезы строящиеся на базе существенно неполных рядов наблюдений. Подобные универсальные утверждения невозможно доказать исходя из тех наблюдений, в ходе обобщения которых они были выдвинуты, и даже на основе последующих обширных и детализированных серий предсказаний, выведенных из них и нашедших свое подтверждение в опыте. Теории, концепции и иные обобщения (Эмпирического материала не выводятся логически из этого материала. Одну и ту же совокупность фактов можно обобщить по-разному и охватить разными теориями. При этом ни одна из них не будет вполне согласовываться со всеми известными в своей области фактами. Сами факты и теории не только постоянно расходятся между собой, но и никогда четко не отделяются друг от друга.
Все это говорит о том, что согласие теории с экспериментами, фактами или наблюдениями недостаточно для однозначной оценки ее приемлемости. Эмпирическая аргументация всегда требует дополнения теоретической. Не эмпирический опыт, а теоретические рассуждения оказываются обычно решающими при выборе одной из конкурирующих концепций.
В отличие от эмпирической аргументации способы теоретической аргументации чрезвычайно многообразны и внутренне разнородны. Они включают дедуктивное обоснование, системную аргументацию, методологическую аргументацию и т.д. Не существует единой, проведенной последовательно классификации способов теоретической аргументации.
Сущность дедуктивной аргументации. Одним из важных способов теоретической аргументации является дедуктивная аргументация.
Дедуктивная аргументация — это выведение обосновываемого положения из иных, ранее принятых утверждений.
Если выдвинутое положение удается логически (дедуктивно) вывести из уже установленных положений, это означает, что оно приемлемо в той же мере, что и сами эти положения.
Дедуктивное рассуждение — это всегда в каком-то смысле принуждение. Размышляя, мы постоянно ощущаем давление и несвободу. Не случайно Аристотель, первым подметивший безоговорочность логических законов, с горечью заметил: «Мышление — это Страдание», ибо «коль вещь необходима, в тягость она нам».
Обоснование одних утверждений путем ссылки на истинность или приемлемость других утверждений — одна из функций, выполняемых дедукцией в процессах аргументации.
В обычных процессах аргументации фрагменты дедуктивного обоснования обычно предстают в очень сокращенной форме. Нередко результат дедукции выглядит как наблюдение, а не как итог рассуждения.
Дедуктивное рассуждение служит также для верификации (косвенного подтверждения) утверждений: из проверяемого положения дедуктивно выводятся его эмпирические следствия; подтверждение этих следствий оценивается как возможный довод в пользу исходного положения.
Дедуктивное рассуждение может использоваться также для фальсификации гипотез. В этом случае демонстрируется, что вытекающие из гипотез следствия являются ложными. Не достигшая успеха фальсификация представляет собой ослабленный вариант верификации: неудача в опровержении эмпирических следствий проверяемой гипотезы служит аргументом, хотя и весьма слабым, в поддержку этой гипотезы.
И наконец, дедукция используется для систематизации теории, прослеживания логических связей входящих в нее утверждений, построения объяснений, опирающихся на общие принципы, предлагаемые теорией. Как будет ясно из дальнейшего, прояснение логической структуры теории, укрепление ее эмпирической базы и выявление ее общих предпосылок составляют заметный вклад в обоснование входящих в теорию утверждений.
Дедуктивная аргументация применима во всех областях рассуждения и в любой аудитории.
Удельный вес дедуктивной аргументации в разных областях знания существенно различен. Так, она очень широко используется в математике и математической физике и эпизодически — в истории или философии.
В зависимости от того, насколько широко применяется дедуктивная аргументация, все науки принято делить на дедуктивные и индуктивные. В дедуктивных науках используется по преимуществу или даже единственно дедуктивная аргументация. В индуктивных такая аргументация играет лишь заведомо вспомогательную роль, а на первом месте стоит эмпирическая аргументация, имеющая индуктивный, вероятностный характер. Типично дедуктивной наукой считается математика, образцом индуктивных наук являются естественные науки.
Деление наук на дедуктивные и индуктивные, широко распространенное еще несколько десятилетий назад, сейчас во многом утратило свое былое значение. Оно ориентировано на науку, рассматриваемую в статике, прежде всего как систему надежно установленных истин
Неясность и неточность понятия доказательства. Понятие дедукции является общеметодологическим. В логике ему соответствует понятие доказательства.
Доказательство обычно определяется как процедура обоснования истинности некоторого утверждения путем приведения тех истинных утверждений, из которых оно логически следует.
Приведенное определение включает два центральных понятия логики: истина и логическое следование. Эти понятия нельзя назвать в достаточной мере ясными, и, значит, определяемое через них понятие доказательства также не может быть отнесено к ясным.
Многие наши утверждения не являются ни истинными, ни ложными, лежат вне «категории истины»: требования, предостережения и т.п. Они указывают, какой данная ситуация должна стать, в каком направлении ее нужно преобразовать. Если от описаний мы вправе требовать, чтобы они были истинными, то удачный приказ, совет и т.д. мы характеризуем как эффективный или целесообразный, но не как истинный.
В стандартном определении доказательства используется понятие истины. Доказать некоторый тезис — значит логически вывести его из других, являющихся истинными положений. Но есть утверждения, не связанные с истиной. Очевидно также, что, оперируя ими, нужно быть и логичным, и доказательным.
В связи с этим встает вопрос о существенном расширении понятия доказательства: оно должно охватывать не только описания, но и утверждения типа оценок и норм. Но задача переопределения доказательства пока не решена ни логикой оценок, ни логикой норм, и понятие доказательства остается не вполне ясным по своему смыслу'.
Отметим далее, что не существует единого понятия логического следования.
Это понятие определяется через закон логики: из утверждения (или системы утверждений) А логически следует утверждение В в том и только в том случае, когда выражение «если А, то В» представляет собой закон логики.
Данное определение — только общая схема бесконечного множества возможных определений. Конкретные определения логического следования получаются из нее путем указания логической системы, задающей понятие логического закона. Логических же систем, претендующих на статус закона логики, в принципе бесконечно много.
Образцом доказательства, которому в той или иной мере стремятся следовать во всех науках, является математическое доказательство. «Нигде нет настоящих доказательств, — писал Б. Паскаль, — кроме как в науке геометров и там, где ей подражают» (под «геометрией» Паскаль имел "в виду, как это было обычным в его время, всю математику).
Содержание понятия доказательства не является в достаточной мере определенным, круг тех рассуждений, которые можно назвать доказательствами, не имеет сколько-нибудь четко очерченной границы. Это означает, что понятие «доказательство» является одновременно и неясным, и неточным. В этом плане оно подобно таким понятиям, как «язык», «игра», «пейзаж» и т.д.
§ 2. Системная аргументация
Сущность системной аргументации.
Системная аргументация — обоснование утверждения путем включения его в качестве составного элемента в кажущуюся хорошо обоснованной систему утверждений, или теорию.
Подтверждение следствий, вытекающих из теории, одновременно подкрепляет саму теорию. С другой стороны, теория сообщает выдвинутым на ее основе положениям определенные импульсы и силу и тем самым содействует их обоснованию. Утверждение, ставшее элементом теории, опирается уже не только на отдельные факты, но во многом также на широкий круг явлений, объясняемых теорией, на предсказание ею новых, ранее неизвестных эффектов, на связи ее с другими теориями и т.д. Анализируемое положение, включенное в теорию, получает ту эмпирическую и теоретическую поддержку, какой обладает теория в целом.