Готлоб Фреге

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

Биография

Фридрих Людвиг Готлоб Фреге родился 8 ноября 1848 года в городе Висмар (Мекленбург-Шверин, Германский союз) в семье школьного учителя. После окончания гимназии он поступил в Йенский университет, где изучал математику, физику и философию. В 1871 году защитил докторскую диссертацию по математике в Гёттингенском университете, посвящённую геометрическим представлениям мнимых величин.

С 1874 года и до выхода на пенсию в 1918 году Фреге преподавал математику в Йенском университете. Он занимал должность профессора, но его работы долгое время оставались малоизвестными и не встречали признания среди современников. Основные труды были опубликованы в 1879–1903 годах. Фреге вёл уединённый образ жизни, не создал собственной научной школы и умер 26 июля 1925 года в Бад-Клайнене (Германия), практически забытый научным сообществом. Признание пришло посмертно, во многом благодаря работам Бертрана Рассела, Людвига Витгенштейна и Рудольфа Карнапа, которые опирались на его идеи.

Основные труды

«Исчисление понятий» (1879)

Книга «Begriffsschrift» («Исчисление понятий», полное название — «Исчисление понятий, сходное с арифметическим, для чистого мышления») считается поворотным моментом в истории логики. В ней Фреге впервые предложил формальную систему, включающую:

• Исчисление высказываний с аксиомами и правилами вывода.
• Исчисление предикатов с кванторами (∀ — для всех, ∃ — существует), что позволило формализовать логические отношения между субъектом и предикатом, недоступные в силлогистике Аристотеля.
• Функционально-аргументную запись — в отличие от традиционного субъектно-предикатного анализа, Фреге рассматривал высказывания как функции от аргументов, что стало основой современной логической семантики.

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

«Основоположения арифметики» (1884)

В книге «Die Grundlagen der Arithmetik» («Основоположения арифметики») Фреге изложил программу логицизма — сведения арифметики к чистой логике. Он стремился определить натуральные числа через логические понятия, без обращения к интуиции или эмпирии. Ключевой тезис: число — это свойство понятия, а не предмета. Например, утверждение «на столе лежат три книги» означает, что понятию «книга на столе» присуще свойство «быть трёхместным».

Фреге ввёл принцип контекстуальности: значение слова следует искать не изолированно, а в контексте предложения. Этот принцип стал одним из оснований аналитической философии.

«Основные законы арифметики» (1893–1903)

Двухтомный труд «Grundgesetze der Arithmetik» («Основные законы арифметики») был попыткой формально вывести арифметику из аксиом логики. Фреге построил формальную систему, включающую:

• Аксиомы исчисления высказываний и предикатов.
• Принцип свёртывания (компрехенсии) — для любого свойства существует множество объектов, обладающих этим свойством.
• Определение числа как объёма понятия (экстенсионала).

Однако в 1902 году, когда второй том уже находился в печати, Фреге получил письмо от Бертрана Рассела, в котором тот указал на парадокс, возникающий в системе Фреге. Парадокс Рассела (множество всех множеств, не содержащих себя в качестве элемента) показал, что принцип свёртывания ведёт к противоречию. Фреге был вынужден признать ошибку и добавить в приложение к тому II поправку, которая, однако, не спасала систему. Эта неудача подорвала его веру в программу логицизма.

«Мысль: логическое исследование» (1918–1919)

В поздний период Фреге опубликовал серию статей, посвящённых философии языка и логики: «Мысль», «Отрицание» и «Сложная мысль». В них он развивал теорию смысла и значения, а также обсуждал природу истины, суждений и пропозиций. Фреге различал мысль (объективное содержание предложения, которое может быть истинным или ложным) и представление (субъективный образ в сознании).

Философия языка и теория смысла и значения

Фреге внёс фундаментальный вклад в философию языка, предложив разграничение между смыслом (Sinn) и значением (Bedeutung) языкового выражения. Эта концепция была изложена в статье 1892 года «О смысле и значении» (нем. «Über Sinn und Bedeutung»).

• Значение — это предмет, на который указывает выражение (референт). Например, значение имени «Утренняя звезда» и «Вечерняя звезда» одно и то же — планета Венера.
• Смысл — это способ, которым выражение указывает на предмет (способ данности). Смыслы «Утренняя звезда» и «Вечерняя звезда» различны, хотя значения совпадают.

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

Вклад в логику и математику

Логицизм

Фреге был главным представителем логицизма — философской программы, согласно которой математика (прежде всего арифметика) сводима к логике. Он полагал, что все математические истины можно вывести из логических аксиом и определений, не прибегая к интуиции или эмпирическим данным. Хотя парадокс Рассела показал несостоятельность первоначальной версии логицизма Фреге, сама идея стимулировала развитие теории множеств и формальных систем.

Формализация логики

Фреге впервые создал формальную систему, способную выражать все логические отношения, включая квантификацию. Его «Исчисление понятий» стало прообразом современного исчисления предикатов. Он ввёл:

• Пропозициональные связки (отрицание, импликация, конъюнкция, дизъюнкция).
• Кванторы общности и существования.
• Правила вывода (modus ponens, подстановка).

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

Определение числа

Фреге дал логическое определение натурального числа, используя понятие объёма понятия (экстенсионала). Число n — это множество всех понятий, под которые подпадает ровно n объектов. Например, число 2 — это множество всех понятий, имеющих ровно два элемента. Это определение, несмотря на парадокс, стало важным шагом в формализации арифметики.

Критика и влияние

Парадокс Рассела

Парадокс Рассела показал, что наивная теория множеств, на которой основывалась система Фреге, противоречива. Фреге признал ошибку, но не смог предложить удовлетворительного исправления. Это подорвало его программу логицизма, но стимулировало разработку аксиоматических теорий множеств (Цермело, Френкель, фон Нейман).

Влияние на последующую философию

Идеи Фреге оказали глубокое влияние на:

• Людвига Витгенштейна — его «Логико-философский трактат» опирается на фрегевскую логику и теорию смысла.
• Бертрана Рассела — Рассел развил теорию дескрипций, используя различение смысла и значения.
• Рудольфа Карнапа — Карнап применил логический анализ к философии науки.
• Альфреда Тарского — Тарский опирался на фрегевское понятие истины.
• Аналитическую философию в целом — Фреге считается одним из её основателей.

Современное значение

Сегодня работы Фреге признаны классическими. Его подход к логике как формальной системе лёг в основу компьютерных наук, искусственного интеллекта и формальной семантики. Различение смысла и значения остаётся ключевым инструментом в философии языка, лингвистике и когнитивных науках.

Источники

• Фреге Г. «Исчисление понятий» (1879)
• Фреге Г. «Основоположения арифметики» (1884)
• Фреге Г. «Основные законы арифметики» (1893–1903)
• Фреге Г. «О смысле и значении» (1892)
• Рассел Б. «Принципы математики» (1903)
• Карнап Р. «Логический синтаксис языка» (1934)
• Клайн М. «Математика: утрата определённости» (1980)
• Даммит М. «Фреге: философия языка» (1973)