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