Концепция "значение как употребление" и ее приложения
    Блинов А.К.
    Рассмотрим основные аспекты концепции "значение как употребление", обсужденные в "Философских исследованиях" Витгенштейна - работе, наиболее плотно ассоциирующейся с укоренением этих представлений. Центральные аргументы в этой связи - аргументы индивидуального языка и следования правилу.
    В §§ 139-242 "ФИ" Витгенштейн устанавливает невозможность "логически индивидуального языка", которому ни в коем случае нельзя научиться. Считается, что аргумент частного языка лишает ощущения и восприятия статуса сугубо индивидуальных и вследствие этого недостижимых ментальных сущностей, которые не обуславливаются никакими физическими событиями[4] . Витгенштейн подвергает критике "августинианскую" теорию значения, согласно которой значение есть определенный предмет (образ в сознании; абстрактная сущность) и которая, соответственно, представляет собой не просто семантическую теорию, но философскую парадигму, разделяемую многими авторами, в том числе самим Витгенштейном в "Трактате". По мнению Г. Бейкера, "Витгенштейн целится в философский миф, а не в невинное повседневное представление о языке как деятельности, управляемой правилами"[5] .
    Вообще говоря, в основе подобных "мифических" концепций должно лежать минимум два допущения:
    i . знаку соответствует некоторая внеязыковая сущность, и
    ii . эта сущность имеет ментальную природу.
    В то же время Витгенштейн опровергает идею, что язык есть "исчисление правил значения". Хотя нельзя отрицать, что язык есть деятельность по правилам, но эти правила, с точки зрения Витгенштейна, принципиально нельзя систематизировать в исчисление. Поэтому он стремится показать, что нельзя говорить о неосознанном следовании языковым правилам, которое можно было бы тем или иным образом эксплицировать и дополнить им осознанное следование правилам, чтобы таким образом построить исчерпывающее исчисление языковых правил.
    При этом Витгенштейн раскрывает два тезиса:
    а) нет такой системы языковых правил, которая была бы полной и недвусмысленной[6] , и
    б) нет такого правила, которое независимо от нашей практики его применения определяло бы, правильно или неправильно используется выражение.
    Предположим, например, что нас интересует некоторая формальная система. Когда определены аксиомы и правила вывода, мы уже думаем о них как об определении всего, что может считаться теоремой (или всего, что имеет значение для доказательства теоремы). Принимая аксиомы и правила, мы (как мы считаем) тем самым уже берем на себя обязательство к принятию определенных вещей как теорем; математическая задача состоит в том, чтобы раскрыть, каково в конкретных случаях наше обязательство. Однако, несмотря на факт, что доказательство в такой системе является механически достигаемым понятием (т.е. что мы можем эффективно запрограммировать машину, чтобы проверить любое предполагаемое доказательство), в действительности так или иначе нет никакого жесткого определения тех предложений, которые являются теоремами. В наиболее общей форме можно сказать, что в нашем понимании любого понятия нет никакого жесткого определения того, что можно считать его правильным применением. ............