Дом, который построил Кэрролл: регресс и адоптация в формальном обосновании

Статья посвящена регрессу обоснования, описанному Кэрроллом в эссе «Что Черепаха сказала Ахиллу». Дискуссии о регрессе обоснования, начавшиеся задолго до его описания Кэрроллом и уходящие корнями в проблематику топического обоснования в античной и средневековой логике, продолжаются до сих пор. Большинство исследователей согласно, однако, с тем, что ключевой причиной бесконечного регресса является превращение правила вывода в дополнительную посылку этого вывода. В статье рассматриваются попытки преодоления этого затруднения, связанные с различением Пирсом логических и материальных руководящих принципов рассуждения и с диспозициональным истолкованием Райлом логического знания как. Особое внимание уделяется проблеме адоптации Крипке, ставящей под сомнение возможность рационального признания и пересмотра базисных принципов логики. Показывается неадекватность предложенной Крипке интерпретации «картезианской» процедуры ревизии законов и принципов логики.  Намечается динамический подход к разрешению проблемы адоптации, предполагающий преодоление дихотомии правил вывода, конститутивных и не конститутивных для значения логических констант – в логической теории (logica docens), и оппозиции исчерпывающего логического знания как и полного его отсутствия – в практике рассуждений реальных когнитивных агентов (logica utens). На основе учения Витгенштейна о внутренних отношениях предлагается динамическое истолкование принципа композициональности.