Фреге и Рассел: рождение аналитической философии

Логика как фундамент знания

В конце XIX века немецкий математик Готлоб Фреге (1848–1925) создал то, что стало аналитической философией — не намеренно, а в поисках оснований арифметики. Его вопрос: что такое число «2»? Не «сколько будет 2+2» — а что именно значит «два». Ответить на этот вопрос нужно было точно, без апелляции к интуиции.

Фреге изобрёл современную символическую логику — язык, в котором можно записывать логические отношения с математической строгостью. Его «Begriffschrift» (Понятийное письмо, 1879) — поворотный момент: впервые логика получила нотацию, сравнимую по точности с алгебраической.

Смысл и денотат: два измерения значения

Фреге сделал фундаментальное различение, которое стало основой семантики. «Утренняя звезда» и «вечерняя звезда» — одно и то же небесное тело (Венера). Они имеют одинаковый денотат (Bedeutung — то, на что указывают). Но они различны по смыслу (Sinn — способ указания). «Утренняя звезда = вечерняя звезда» — не тавтология, а информативное открытие, потому что два смысла разные.

Это различение имеет огромные следствия. Оно объясняет, почему «2+2=4» и «квадрат гипотенузы равен сумме квадратов катетов» — оба истинные, но первое банально, а второе — открытие. Оно также объясняет, почему утверждения о несуществующих объектах («нынешний король Франции лыс») создают логические проблемы.

Бертран Рассел и логический атомизм

Бертран Рассел (1872–1970) прочёл Фреге и продолжил его программу. Вместе с Уайтхедом он написал «Principia Mathematica» (1910–1913) — грандиозный трёхтомный труд, сводящий математику к логике. Параллельно Рассел разрабатывал философию языка.

Рассел обнаружил, что Фреге считал числа «понятиями» — объектами логического мира. Это приводило к парадоксам (знаменитый «парадокс Рассела»: множество всех множеств, не содержащих себя в качестве элемента). Рассел показал: интуитивные понятия математики требуют более строгого логического анализа.

Его «теория дескрипций» решает проблему «нынешнего короля Франции»: такие выражения — не имена, а «дескрипции», сокращения для сложных пропозиций. «Нынешний король Франции лыс» означает: «Существует один и только один нынешний король Франции, и он лыс» — что при отсутствии короля ложно, а не бессмысленно.

Логический позитивизм: Венский кружок

В 1920–30-е годы в Вене сформировался кружок философов и учёных, вдохновлённых Расселом и ранним Витгенштейном: Мориц Шлик, Рудольф Карнап, Отто Нейрат. Их программа — логический позитивизм или неопозитивизм.

Принцип верификации: утверждение имеет смысл, только если оно либо аналитически истинно (по определению), либо эмпирически верифицируемо. Утверждения метафизики («Абсолют духовен», «Свобода воли существует»), религии и традиционной этики не проходят этот тест — они буквально бессмысленны.

Это радикальная позиция, которую быстро начали оспаривать. Сам принцип верификации не верифицируем — это не эмпирическое утверждение. Но дискуссия о границах осмысленного и о природе научного знания оказалась исключительно продуктивной.

Вопрос для размышления: Можно ли проверить большинство ваших деловых и жизненных убеждений так же строго, как Рассел проверял логические утверждения? Что было бы, если бы мы применяли принцип верификации к корпоративным стратегиям?