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

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

Допустим, нам надо установить, что объединяет между собой следующие города: Вадуц, Валенсия, Валлетта, Ванкувер, Вена, Вьентьян. Сразу можно выдвинуть предположение, что это — города, являющиеся столицами. Действительно, Вьентьян — столица Лаоса, Вена — Австрии, Валлетта — Мальты, Вадуц — Лихтенштейна. Но Валенсия — не столица Испании, а Ванкувер — не столица Канады. Вместе с тем Валенсия — главный город одноименной испанской провинции, а Ванкувер — одноименной канадской провинции. Чтобы сохранить исходную гипотезу, мы должны соответствующим образом уточнить определение понятия столицы. Будем понимать под «столицей» главный город государства или его территориальной части: провинции, области и т.п. В таком случае Валенсия — столица провинции Валенсия, а Ванкувер — столица провинции Ванкувер. Благодаря перестройке «мира столиц» мы добились того, что наше исходное предположение стало истинным.

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

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

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

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