Решён
Почему нотация Фреге в логике не прижилась?

Илья Мудрый Философия
713
5

Читаю сейчас Begriffsschrift и вот что не дает покоя. Фреге по сути придумал первую формальную систему логики предикатов, изобрел кванторы, связки, импликацию как базовый коннектив. Система мощная, выразительная, исторически первая.

Но его двумерная нотация (эти деревья с вертикальными и горизонтальными линиями) полностью вымерла. Победила линейная запись Пеано-Рассела, потом польская нотация Лукасевича, потом современная стандартная. Никто в XX веке не использовал Begriffsschrift.

Почему? Это чисто типографская проблема (сложно набирать в печати)? Или есть более глубокие когнитивные причины, по которым двумерная запись проигрывает линейной? Ведь деревья вывода мы до сих пор рисуем, секвенциальные исчисления Генцена тоже двумерные. Значит дело не только в плоскости записи.

Решение
67
Участник • 1 ответ

Причин несколько и они разного порядка.

Типографика. Да, это был реальный и очень серьезный фактор. В 1879 году Фреге пришлось договариваться с издателем о специальном наборе. Каждая формула занимала полстраницы. Рассел в Principia Mathematica (1910-1913) использовал линейную запись, которую можно было набрать обычным типографским шрифтом. Для распространения идей в научном сообществе это критично.

Композициональность. Линейная нотация тривиально вкладывается сама в себя. Пишешь формулу, берешь ее в скобки, подставляешь как аргумент в другую. У Фреге вложенность означала рост дерева вправо и вниз, что быстро становилось нечитаемым для сложных выражений.

Социальный фактор. Begriffsschrift при жизни Фреге прочитали буквально единицы. Рассел, Пеано, может быть Гуссерль. Книга продалась тиражом несколько сотен экземпляров. Когда Рассел популяризировал идеи Фреге (квантификацию, пропозициональные функции), он уже переложил их в свою нотацию. Большинство логиков XX века знакомились с идеями Фреге через Рассела, а не из первоисточника.

Когнитивный момент. Тут вы правильно подметили про деревья вывода. Двумерность сама по себе не проблема. Проблема конкретно фрегевской нотации в том, что она кодирует логическую структуру формулы (какой коннектив главный, что от чего зависит) пространственным расположением. Это хорошо для анализа одной формулы, но плохо для манипуляции. Когда вы проводите вывод, вам нужно переписывать формулы, подставлять, применять правила. С линейной записью это механическая операция. С деревьями Фреге каждый шаг вывода требует перерисовки всей структуры.

Деревья Генцена работают, потому что двумерность там относится к структуре доказательства, а сами формулы внутри узлов записаны линейно. Фреге же сделал двумерными сами формулы.

Аватар Илья Мудрый

Про разницу между двумерностью доказательства и двумерностью формулы - отличное наблюдение, спасибо. Не формулировал для себя так четко.

33
Эксперт • 6 ответов

Забавный исторический момент, который обычно упускают. Фреге в предисловии к Begriffsschrift сам сравнивал свою нотацию с микроскопом, а обычный язык с глазом. Мол, микроскоп не заменяет глаз в повседневной жизни, но незаменим для научных целей.

Ирония в том, что его "микроскоп" оказался настолько неудобным, что даже ученые предпочли пользоваться "очками" (нотация Пеано-Рассела). Микроскоп хорош, когда надо разглядеть одну клетку. Но если надо обработать тысячу образцов за день, нужен инструмент попроще.

Еще один момент. Фреге использовал только два примитивных коннектива: отрицание и импликацию (условную связку). Конъюнкцию, дизъюнкцию выражал через них. Это минималистично и элегантно с точки зрения основ, но на практике формулы раздувались. Там где у Рассела стоит p & q, у Фреге дерево из трех отрицаний и двух импликаций.

40
Эксперт • 3 ответа

Если совсем коротко: LaTeX не было.

Шутка. Но только отчасти. Посмотрите на историю любой нотации в математике. Побеждает та, которую легко писать от руки на доске и набирать в печати. Нотация Лейбница для дифференцирования победила нотацию Ньютона ровно по той же причине. dx/dy удобнее в вычислениях чем точки над буквами.

Фреге проиграл не потому что его система плохая. Она проиграла потому что научная коммуникация это социальный процесс, и в нем побеждают стандарты с наименьшим порогом входа.

9
Участник • 13 ответов

а мне кажется тут надо вообще задать другой вопрос, а именно почему она ДОЛЖНА была прижиться?

фреге придумал систему для конкретной задачи, обоснования арифметики. он не проектировал универсальный язык для сообщества логиков. это потом рассел взял его идеи и переупаковал для широкого потребления. обвинять фреге в том что его нотация не стала стандартом, это как обвинять тесла (не маска а реального) в том что его система переменного тока выглядела не так как у вестингауза

плюс не забывайте, рассел нашел парадокс в системе фреге в 1902. после этого begriffsschrift стал историческим артефактом а не рабочим инструментом. зачем учить нотацию противоречивой системы

Аватар Александр Ремонт

Парадокс Рассела был найден в Grundgesetze (1893/1903), а не в Begriffsschrift (1879). Это разные работы с разными аксиомами. Begriffsschrift как логическое исчисление непротиворечив.

16
Участник • 3 ответа

Программист тут, не логик. Но заинтересовался и полез смотреть как эта нотация выглядит.

Честно? Напоминает AST (abstract syntax tree) в визуальном представлении. По сути Фреге рисовал дерево разбора формулы. Современные IDE так отображают AST кода. Только мы этим деревом не пишем программы, мы пишем текстом, а дерево генерируется автоматически для анализа.

Может быть если бы у Фреге был компьютер, который рендерит его деревья из линейного ввода и позволяет сворачивать/разворачивать ветки, его нотация бы прижилась? Чисто как формат отображения, не ввода.

Написать ответ

Премодерация гостей

Вы отвечаете как гость. Ваш ответ будет скрыт до проверки модератором. Чтобы ответ появился сразу и вы получали репутацию — войдите в аккаунт.

Будьте вежливы и соблюдайте правила платформы.