Основы теории аргументации

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

Среди способов прояснения теории особую роль играют выявление логических связей ее утверждений, минимизация ее исходных допущений, построение ее в форме аксиоматической системы и, наконец, если это возможно, ее формализация. «Если мы требуем от наших теорий все лучшей проверяемости, — пишет К.Поппер, — то оказывается неизбежным и требование их логической строгости и большего информативного содержания. Все множество следствий теории должно быть получено дедуктивно; теорию, как правило, можно проверить лишь путем непосредственной проверки отдаленных ее следствий — таких следствий, которые трудно усмотреть интуитивно»[77]

.

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

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

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

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

3. Опровержимость и проверяемость

Еще одним способом теоретического обоснования является анализ утверждения с точки зрения возможности эмпирического его подтверждения и опровержения.

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

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