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