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