Логические критерии

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

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

Кроме этого говорят еще о критерии полноты теории. Семантическая полнота означает, что все суждения внутри данной теоретической модели являются доказанными, а не произвольно введенными. Критерий синтаксической полноты гласит, что теория является истинной (или точнее – корректной), если присоединение к ней произвольного суждения (формулы) делает ее противоречивой. Логические критерии истины, во-первых, носят достаточно формальный и отрицательный характер[938] и, во-вторых, за исключением универсального критерия непротиворечивости имеют актуальное значение в основном для аксиоматически построенных теорий в логике и математике.