Правило "живет" практикой его применения. Именно она является активным определяющим началом. Она определяет, какое следование правильно, а какое - нет. Существенно, что практика может изменяться, расширяться, появляются новые типы следования правилу. Наличная совокупность практик следования правилу не фиксирует того, что может быть дальше. Это - разнородная и открытая совокупность.
Устраняет ли подобная интерпретация объективность, например, законов арифметики? Бейкер и Хакер, как мы видели выше, обвиняют Крипке в крайнем субъективизме. У него якобы получается, что все сообщество не может ошибаться, а это означает отождествление истинности с фактическим поведением людей. Позицию Крипке данные авторы толкуют как утверждение, что если завтра все люди будут делать одну и ту же арифметическую ошибку, то это будет уже не ошибка, а правильное вычисление. Тогда как ясно, что реальность даст людям почувствовать, что они ошиблись, даже если они будут ошибаться "всем миром".
Поэтому Бейкер и Хакер убеждены, что Витгенштейн не мог придерживаться тех взглядов, которые развивает Крипке.
Ответ на подобное возражение, по моему мнению, состоит в том, что у Витгенштейна речь идет не о законах арифметики самих по себе, но всегда о системе: "законы в их определенном применении". Разумеется, если люди, даже и все вместе, вдруг изменят какой-то один фрагмент этой системы (не так сложат какие-то числа, оставив без изменений всю сложившуюся практику применения арифметики), тогда реальность за себя отомстит (будут рушиться мосты, не сходиться бухгалтерские отчеты и пр.). Позволю себе такой образ: если мы обходим все острые углы в комнате, а про один угол забудем, он нам о себе напомнит. А если мы сумеем построить новую практику обращения с углами, скажем, перестанем ходить по комнате, а будем парить под потолком, - что тогда нам этот один забытый угол! Витгенштейн заметил как-то, что вполне может быть арифметика, в которой 2 х 2 = 5. Но у нее будет другое применение! - Впрочем (тут же замечает он), как мы определяем, какое применение "то же самое", и какое - "другое"?
Возвращаясь к примеру, сконструированному Крипке, предлагаю представить себе следующую утопическую ситуацию: в XXI в. люди считают научно-технический прогресс уже не благом, а суетой. Они стремятся ограничивать свои потребности и гордыню, жить как можно проще и естественнее, как можно меньше нарушая естественный ход природных процессов. Они изучают в школах те же арифметические правила, что и мы. Однако у них принято, в случае, когда результат вычислений превышает какие-то разумные, по их мнению, пределы, прекращать их и писать просто "5". Где проходят эти "разумные пределы", люди определяют на основе признанных образцов и своего такта, наподобие того, как они определяют, что прилично, а что - неприлично. Когда вместо суммы каких-то огромных чисел пишут "5", это означает фактически отказ производить определенные действия (осуществлять капиталовложения, конструировать двигатели большой мощности), которые с точки зрения людей данной культуры негармоничны и потому нежелательны. Таким образом, в нашем примере все сообщество стало ошибаться, употребляя вместо "плюса" - "квус", что сочеталось с изменениями в применении арифметики и было, в свою очередь, частью общего изменения формы жизни. В этом случае люди совсем не будут ощущать, что их арифметика "не соответствует реальности". В их форме жизни она соответствует реальности. Более того: они убеждены, что следуют арифметическим правилам правильно, т.е. сообразно заложенному в них смыслу, тогда как математика XX в., с их точки зрения, заблуждалась, за что реальность в конечном счете отомстила людям (всевозможными экологическими катастрофами). Что ж, и математики XX в. считают, что они правильно употребляют арифметические правила, тогда как математика античности и средневековья была неоправданно ограниченной. Стоит ли за этим что-то более объективное, чем присущая всем людям убежденность в том, что они правы, а те, кто имеют отличные от них убеждения, ошибаются? Отмечу, что с позиций витгенштейновской философии никакого объективного эталона - в виде самих арифметических правил как объектов "третьего мира" - нет. Поэтому бессмыслен вопрос о том, какое из возможных применений арифметических правил "на самом деле" правильно. Каждое из применений является органической частью соответствующей формы жизни. Вопрос о том, какая форма жизни правильна, а какие - неправильны, лишен всякого смысла: никакой объективный ответ на него невозможен.