Begriffsschrift¶

Begriffsschrift (нем. «исчисление понятий», полное название «Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens» — «Исчисление понятий, подобное арифметическому формальный язык чистого мышления») — книга немецкого математика, логика и философа Готлоба Фреге, опубликованная в 1879 году. Это первая в истории работа, в которой была изложена система формальной логики, основанная на исчислении предикатов первого порядка, и заложившая основы современной математической логики. Begriffsschrift считается одним из важнейших трудов в истории логики, наряду с «Органоном» Аристотеля и «Логико-философским трактатом» Людвига Витгенштейна.

¶Исторический контекст

К середине XIX века классическая аристотелева логика, господствовавшая более двух тысячелетий, перестала удовлетворять потребностям математики. Развитие анализа, теории множеств и алгебры требовало более точных и выразительных средств для формализации рассуждений. В 1847 году Джордж Буль опубликовал «Математический анализ логики», положив начало алгебре логики, однако его система была ограничена силлогистикой и не охватывала внутреннюю структуру высказываний.

Фреге, работавший в Йенском университете, поставил перед собой задачу создать формальный язык, способный выразить любые математические доказательства с абсолютной строгостью. Результатом стала книга «Begriffsschrift», изданная в 1879 году тиражом около 100 экземпляров. Первоначально работа не получила широкого признания; современники, включая таких математиков, как Эрнст Шрёдер и Джузеппе Пеано, отнеслись к ней скептически из-за непривычной двумерной нотации.

¶Содержание и структура

Книга состоит из трёх частей: введения, изложения формальной системы и приложений с примерами логических выводов.

¶Формальный язык

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

• Черта содержания (Inhaltsstrich) — горизонтальная линия, указывающая, что следующее за ней выражение является суждением.
• Черта суждения (Urteilsstrich) — вертикальная черта слева от черты содержания, обозначающая, что суждение признаётся истинным.
• Условный знак (Bedingungsstrich) — вертикальная черта, соединяющая два выражения, обозначающая импликацию (если… то…).
• Знак отрицания (Verneinungsstrich) — короткая вертикальная черта под чертой содержания, обозначающая отрицание.
• Квантор общности (Allgemeinheitszeichen) — вогнутая черта над переменной, обозначающая «для всех».

Пример записи: выражение «∀x (P(x) → Q(x))» в нотации Фреге выглядело бы как горизонтальная черта с вертикальной чертой суждения, над которой расположена вогнутая черта с переменной, а под ней — условный знак, соединяющий P(x) и Q(x).

¶Основные понятия

Фреге ввёл ряд фундаментальных для современной логики понятий:

• Функция и аргумент — Фреге первым чётко разделил понятие функции (как незаполненной формы) и аргумента (как заполняющего элемента). Это позволило анализировать внутреннюю структуру высказываний.
• Предикат — как функция, принимающая значения «истина» или «ложь».
• Кванторы — Фреге ввёл квантор общности и квантор существования (хотя последний он выражал через отрицание и общность).
• Импликация — как логическая связка, а не как отношение между понятиями.

¶Аксиомы и правила вывода

Фреге сформулировал девять аксиом и два правила вывода (modus ponens и подстановка). Аксиомы включали:

1. Если A, то (если B, то A).
2. Если (если A, то (B → C)), то (если (A → B), то (A → C)).
3. Если (не A → не B), то (B → A).
4. Если (A → B), то (не B → не A).
5. Если (A → B), то (A → B) — тавтология.
6. Если (A → B) и (B → C), то (A → C).
7. Если (∀x P(x)), то P(a).
8. Если P(a) → Q(a), то (∀x P(x)) → (∀x Q(x)).
9. Если (∀x P(x)) → Q(a), то (∀x P(x)) → (∀x Q(x)).

Эти аксиомы, вместе с правилами вывода, позволяли выводить все истинные формулы логики предикатов.

¶Значение и влияние

¶Вклад в логику

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

• Ввёл кванторы и переменные, связанные кванторами.
• Чётко разделил объектный язык и метаязык.
• Показал, что логические выводы могут быть представлены как чисто синтаксические преобразования символов, без обращения к интуиции.
• Доказал, что арифметика может быть сведена к логике (логицизм), хотя эта программа была позже подвергнута критике Расселом и Гёделем.

¶Влияние на математику

Несмотря на первоначальное неприятие, идеи Фреге оказали глубокое влияние на развитие математической логики. Бертран Рассел и Альфред Норт Уайтхед в «Principia Mathematica» (1910–1913) использовали фрегевскую концепцию исчисления предикатов, хотя и в модифицированной нотации. Давид Гильберт и его школа развили формальные системы на основе идей Фреге. Курт Гёдель в своих теоремах о неполноте опирался на формализацию, восходящую к Begriffsschrift.

¶Влияние на философию

В философии Begriffsschrift оказала влияние на аналитическую традицию. Людвиг Витгенштейн в «Логико-философском трактате» (1921) использовал фрегевское понятие функции и пропозициональной функции. Работа Фреге также заложила основы семантики — учения о значении и истине, развитого впоследствии Альфредом Тарским.

¶Критика

Основной недостаток системы Фреге — её громоздкость. Двумерная нотация была крайне неудобна для практического использования. Уже в начале XX века она была вытеснена линейной записью, предложенной Джузеппе Пеано и развитой Расселом. Кроме того, в системе Фреге были обнаружены логические парадоксы, наиболее известный из которых — парадокс Рассела (1901), который показал противоречивость неограниченного применения принципа свёртывания.

¶Наследие

Несмотря на практическую неудобность, Begriffsschrift остаётся важнейшей вехой в истории логики. Она впервые показала возможность полной формализации математических рассуждений и предвосхитила создание компьютеров и языков программирования. Современные системы автоматического доказательства теорем, такие как Coq и Isabelle, используют принципы, впервые сформулированные Фреге.

¶Источники

• Фреге Г. «Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens». Halle, 1879.
• Kneale W., Kneale M. «The Development of Logic». Oxford University Press, 1962.
• Van Heijenoort J. «From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931». Harvard University Press, 1967.
• Goldfarb W. «Logic in the Twenties: The Nature of the Quantifier». Journal of Symbolic Logic, 1979.