ГЛАВА 1. СИСТЕМА ОТСЧЕТА из приведения относительно небольшого количества специфических правил в определенный порядок (программу); затем эти правила руководят огромным количеством достаточно гибких операций компьютера. Если, как было сказано выше, кто-то наблюдает за избыточным количеством человеческой коммуникации, то все происходит с точностью до наоборот. Человек, наблюдая за определенной системой операций, пытается сформулировать правила, лежащие в основе ее функционирования, ее «программы» в нашей аналогии с компьютером. 1.5. МЕТАКОММУНИКАЦИЯ И ПОНЯТИЕ ИСЧИСЛЕНИЯ Знания, приобретенные нашим гипотетическим наблюдателем, изучающим прагматическую избыточность поведенческого феномена «игра в шахматы», вызывают аналогию с математическим понятием исчисление. Исчисление, согласно Булю (Boole) (31, р. 4), — «метод, основанный на использовании символов, которые подчиняются известным и общим законам комбинации, а результаты допускают логичные интерпретации». Мы уже предполагали, что подобная формализация возможна и в человеческой коммуникации, что вызывает ряд сложностей в ходе рассуждения об исчислении. Как только математики перестают использовать математику как инструмент вычисления и делают этот инструмент объектом изучения — как, например, в случае исследований последовательности арифметики как системы, — они применяют язык, который не является частью математики, а рассуждает о ней. Дэвид Гилберт (D. Hilbcrt) (64) называет этот язык метаматематическим. Формальная структура математики — это исчисление, метаматематика выражает это исчисление. Нейджел (Nagel) и Ньюман (Newman) определили разницу между этими двумя понятиями с восхитительной ясностью: 2 Прагмвтнкв человеческих кмшуникаднЯ -33- ПРАГМАТИКА ЧЕЛОВЕЧЕСКИХ КОММУНИКАЦИЙ «Невозможно переоценить важность отличия между математикой и метаматематикой. Игнорирование метаматематики вызовет парадоксы и путаницу. Признание ее важности дает возможность представить логическую структуру математической аргументации более четко. Отличие заключается в том, что оно предлагает точную кодификацию различных символов, которые создают формальное исчисление, свободное от скрытых допущений и иррелевантных ассоциаций смысла. Более того, оно требует точные дефиниции операций и логических правил математических построений и дедукций, многие из которых математики применяли, не задумываясь над тем, что они используют» (108, р. 32; курсив наш). — 23 —
|