stringtranslate.com

Готтлоб Фреге

Фридрих Людвиг Готтлоб Фреге ( / ˈ f r eɪ ɡ ə / ; [10] нем.: [ˈɡɔtloːp ˈfreːɡə] ; 8 ноября 1848 — 26 июля 1925) был немецким философом, логиком и математиком. Он был профессором математики в Йенском университете и, по мнению многих, является отцом аналитической философии , сосредоточившись на философии языка , логике и математике . Хотя при жизни его в значительной степени игнорировали, Джузеппе Пеано (1858–1932), Бертран Рассел (1872–1970) и, в некоторой степени, Людвиг Витгенштейн (1889–1951) познакомили с его работами последующие поколения философов. Фреге широко признан величайшим логиком со времен Аристотеля и одним из самых глубоких философов математики. [11]

Его вклад включает в себя развитие современной логики в Begriffsschrift и работу по основам математики . Его книга « Основы арифметики» является основополагающим текстом проекта логицизма и цитируется Майклом Дамметом как источник лингвистического поворота . Его философские работы « О смысле и референции » и « Мысль » также широко цитируются. Первая отстаивает два различных типа смысла и дескриптивизма . В «Основаниях » и «Мысли» Фреге отстаивает платонизм против психологизма или формализма , касающихся чисел и предложений соответственно.

Жизнь

Детство (1848–69)

Фреге родился в 1848 году в Висмаре , Мекленбург-Шверин (сегодня часть Мекленбург-Передняя Померания ). Его отец Карл (Карл) Александр Фреге (1809–1866) был соучредителем и директором женской гимназии до своей смерти. После смерти Карла школой руководила мать Фреге Августа Вильгельмина Софи Фреге (урожденная Бяллоблоцкая, 12 января 1815 г. – 14 октября 1898 г.); ее матерью была Августа Амалия Мария Баллхорн, потомок Филиппа Меланхтона [12], а ее отцом был Иоганн Генрих Зигфрид Бяллоблоцки, потомок польского дворянского рода, покинувшего Польшу в 17 веке. [13] Фреге был лютеранином. [14]

В детстве Фреге познакомился с философиями, которые стали руководством к его будущей научной карьере. Например, его отец написал учебник по немецкому языку для детей в возрасте от 9 до 13 лет под названием Hülfsbuch zum Unterrichte in der deutschen Sprache für Kinder von 9 bis 13 Jahren (2-е изд., Висмар, 1850; 3-е изд., Висмар и Людвигслуст: Хинсторфф, 1862) (Вспомогательная книга для обучения немецкому языку детей от 9 до 13 лет), первый раздел которого был посвящен структуре и логике языка .

Фреге учился в Große Stadtschule Wismar  [de] и окончил её в 1869 году. [15] Преподаватель математики и естествознания Густав Адольф Лео Сакс (1843–1909), который также был поэтом, сыграл важную роль в определении будущей научной карьеры Фреге, вдохновив его продолжить учёбу в его родном альма-матер — Йенском университете . [ 16]

Обучение в университете (1869–74)

Фреге поступил в Йенский университет весной 1869 года как гражданин Северогерманского союза . За четыре семестра обучения он посетил около двадцати курсов лекций, большинство из которых были по математике и физике. Его самым важным учителем был Эрнст Карл Аббе (1840–1905; физик, математик и изобретатель). Аббе читал лекции по теории гравитации, гальванизму и электродинамике, комплексному анализу, теории функций комплексной переменной, приложениям физики, избранным разделам механики и механике твердых тел. Аббе был для Фреге больше, чем просто учителем: он был доверенным другом, и, как директор оптического производителя Carl Zeiss AG, он был в состоянии продвигать карьеру Фреге. После окончания Фреге они вступили в более тесную переписку. [ необходима цитата ]

Его другими известными университетскими преподавателями были Христиан Филипп Карл Снелл (1806–1886; предметы: использование анализа бесконечно малых в геометрии, аналитическая геометрия плоскостей , аналитическая механика, оптика, физические основы механики); Герман Карл Юлиус Трауготт Шеффер (1824–1900; аналитическая геометрия, прикладная физика, алгебраический анализ, телеграф и другие электронные машины ); и философ Куно Фишер (1824–1907; кантовская и критическая философия ). [ необходима ссылка ]

Начиная с 1871 года Фреге продолжил обучение в Гёттингене, ведущем университете по математике на немецкоязычных территориях, где он посещал лекции Рудольфа Фридриха Альфреда Клебша (1833–72; аналитическая геометрия), Эрнста Христиана Юлиуса Шеринга (1824–97; теория функций), Вильгельма Эдуарда Вебера (1804–91; физические исследования, прикладная физика), Эдуарда Рикке (1845–1915; теория электричества) и Германа Лотце (1817–81; философия религии). Многие из философских доктрин зрелого Фреге имеют параллели в Лотце; это было предметом научных дебатов, было ли или нет прямое влияние на взгляды Фреге, возникшее из-за посещения им лекций Лотце. [ необходима цитата ]

В 1873 году Фреге получил докторскую степень под руководством Эрнста Христиана Юлиуса Шеринга, защитив диссертацию под названием «О геометрическом представлении мнимых форм на плоскости» («Ueber eine geometrische Darstellung der imaginären Gebilde in der Ebene»), в которой он стремился решить такие фундаментальные проблемы геометрии, как математическая интерпретация бесконечно удаленных (мнимых) точек проективной геометрии . [ необходима ссылка ]

Фреге женился на Маргарете Катарине Софии Анне Лизеберг (15 февраля 1856 г. – 25 июня 1904 г.) 14 марта 1887 г. [15] У пары было по крайней мере двое детей, которые, к сожалению, умерли в раннем возрасте. Спустя годы они усыновили сына, Альфреда. Однако о семейной жизни Фреге известно немногое. [17]

Работа логиком

Хотя его образование и ранние математические работы были сосредоточены в основном на геометрии, работа Фреге вскоре обратилась к логике. Его Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens [ Концептуальный сценарий: формальный язык для чистого мышления, смоделированный по образцу арифметического ], Halle a/S: Verlag von Louis Nebert, 1879 г.ознаменовал поворотный момент в истории логики. Begriffsschrift проложил новые пути, включая строгую трактовку идей функций и переменных . Целью Фреге было показать, что математика вырастает из логики , и, делая это, он разработал методы, которые отделили его от аристотелевской силлогистики, но приблизили его довольно близко к стоической пропозициональной логике. [18]

Титульный лист Begriffsschrift (1879 г.)

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

Часто упоминаемым примером является то, что логика Аристотеля неспособна представлять математические утверждения, такие как теорема Евклида , фундаментальное утверждение теории чисел о том, что существует бесконечное количество простых чисел . Однако «концептуальная нотация» Фреге может представлять такие выводы. [19] Анализ логических понятий и аппарат формализации, который является существенным для Principia Mathematica (3 тома, 1910–13, Бертрана Рассела , 1872–1970, и Альфреда Норта Уайтхеда , 1861–1947), теории описаний Рассела , теорем о неполноте Курта Гёделя (1906–78) и теории истины Альфреда Тарского (1901–83), в конечном счете принадлежит Фреге.

Одной из заявленных целей Фреге было выделение подлинно логических принципов вывода, так что в правильном представлении математического доказательства ни в коем случае не апеллировало бы к «интуиции». Если и был интуитивный элемент, он должен был быть изолирован и представлен отдельно как аксиома: с этого момента доказательство должно было быть чисто логическим и без пробелов. Демонстрируя эту возможность, более крупной целью Фреге было защитить точку зрения, что арифметика является разделом логики, точку зрения, известную как логицизм : в отличие от геометрии, арифметика должна была показать, что не имеет никакой основы в «интуиции» и не нуждается в нелогических аксиомах. Уже в Begriffsschrift 1879 года важные предварительные теоремы, например, обобщенная форма закона трихотомии , были выведены в рамках того, что Фреге понимал как чистую логику.

Эта идея была сформулирована в несимволических терминах в его «Основах арифметики» ( Die Grundlagen der Arithmetik , 1884). Позднее, в своих «Основных законах арифметики» ( Grundgesetze der Arithmetik , т. 1, 1893; т. 2, 1903; т. 2 был опубликован за его счет), Фреге попытался вывести, используя свой символизм, все законы арифметики из аксиом, которые он утверждал как логические. Большинство этих аксиом были перенесены из его Begriffsschrift , хотя и не без некоторых существенных изменений. Единственным действительно новым принципом был тот, который он назвал « Основным законом V» : «диапазон значений» функции f ( x ) совпадает с «диапазоном значений» функции g ( x ) тогда и только тогда, когда ∀ x [ f ( x ) = g ( x )].

Решающий случай закона может быть сформулирован в современных обозначениях следующим образом. Пусть { x | Fx } обозначает расширение предиката Fx , то есть множество всех F, и аналогично для Gx . Тогда Основной закон V гласит, что предикаты Fx и Gx имеют одинаковое расширение тогда и только тогда, когда ∀x [ Fx ↔ Gx ]. Множество Fs совпадает с множеством Gs только в том случае, если каждое F является G, а каждое G является F. (Этот случай особый, поскольку то, что здесь называется расширением предиката или множеством, является лишь одним типом «диапазона значений» функции.)

В известном эпизоде ​​Бертран Рассел написал Фреге как раз в то время, когда 2-й том Grundgesetze собирался выйти в печать в 1903 году, показав, что парадокс Рассела может быть выведен из Основного закона Фреге V. Легко определить отношение принадлежности к множеству или расширению в системе Фреге; затем Рассел обратил внимание на «множество вещей x , которые таковы, что x не является членом x ». Система Grundgesetze подразумевает , что множество, таким образом характеризуемое, одновременно является и не является членом самого себя, и, таким образом, является непоследовательным. Фреге написал поспешное, в последнюю минуту Приложение к Тому. 2, выводя противоречие и предлагая устранить его путем изменения Основного закона V. Фреге открыл Приложение исключительно честным комментарием: «Едва ли что-либо более досадное может случиться с научным писателем, чем когда один из фундаментов его здания пошатнулся после того, как работа закончена. Именно в такое положение я попал после письма г-на Бертрана Рассела, как раз когда печать этого тома близилась к завершению». (Это письмо и ответ Фреге переведены в Jean van Heijenoort 1967.)

Впоследствии было показано, что предложенное Фреге средство подразумевает, что во вселенной дискурса существует только один объект , и, следовательно, он бесполезен (действительно, это привело бы к противоречию в системе Фреге, если бы он аксиоматизировал идею, фундаментальную для его рассуждений, о том, что Истина и Ложь являются различными объектами; см., например, Дамметт, 1973), но недавние исследования показали, что большую часть программы Grundgesetze можно спасти другими способами:

Работа Фреге в области логики не привлекала особого внимания международной общественности до 1903 года, когда Рассел написал приложение к «Принципам математики», в котором изложил свои разногласия с Фреге. Диаграммная нотация, которую использовал Фреге, не имела предшественников (и с тех пор не имела подражателей). Более того, до появления в 1910–1913 годах книги Рассела и Уайтхеда « Principia Mathematica» (3 тома) доминирующим подходом к математической логике по-прежнему был подход Джорджа Буля (1815–64) и его интеллектуальных потомков, особенно Эрнста Шрёдера (1841–1902). Логические идеи Фреге, тем не менее, распространились через труды его ученика Рудольфа Карнапа (1891–1970) и других поклонников, особенно Бертрана Рассела и Людвига Витгенштейна (1889–1951).

Философ

Фреге, ок.  1905 г.

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

Как философ математики, Фреге атаковал психологическое обращение к ментальным объяснениям содержания суждения о смысле предложений. Его первоначальная цель была весьма далека от ответа на общие вопросы о смысле; вместо этого он разработал свою логику для исследования основ арифметики, взявшись ответить на такие вопросы, как «Что такое число?» или «К каким объектам относятся числовые слова («один», «два» и т. д.)?» Но, занимаясь этими вопросами, он в конечном итоге обнаружил, что анализирует и объясняет, что такое значение, и таким образом пришел к нескольким выводам, которые оказались весьма существенными для последующего курса аналитической философии и философии языка.

Чувство и отношение

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

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

Различие можно проиллюстрировать следующим образом: в своем обычном использовании имя «Чарльз Филипп Артур Джордж Маунтбеттен-Виндзор», которое для логических целей является неанализируемым целым, и функциональное выражение «Король Соединенного Королевства», которое содержит значимые части «Король ξ» и «Соединенное Королевство», имеют один и тот же референт , а именно, человека, наиболее известного как король Карл III . Но смысл слова « Соединенное Королевство » является частью смысла последнего выражения, но не частью смысла «полного имени» короля Карла.

Эти различия оспаривались Бертраном Расселом, особенно в его статье « Об обозначении »; споры продолжаются и по сей день, особенно подогреваемые знаменитыми лекциями Сола Крипке « Именование и необходимость ».

дневник 1924 года

Опубликованные философские труды Фреге носили очень технический характер и были оторваны от практических вопросов, настолько, что исследователь Фреге Дамметт выразил свое «шокирование, обнаружив при чтении дневника Фреге, что его герой был антисемитом». [22] После Немецкой революции 1918–1919 годов его политические взгляды стали более радикальными. В последний год его жизни, в возрасте 76 лет, его дневник содержал политические взгляды, направленные против парламентской системы, демократов, либералов, католиков, французов и евреев, которых, по его мнению, следовало бы лишить политических прав и, желательно, выслать из Германии. [23] Фреге признался, что «когда-то он считал себя либералом и был поклонником Бисмарка », но затем симпатизировал генералу Людендорфу . В записи от 5 мая 1924 года Фреге выразил согласие со статьей, опубликованной в Deutschlands Erneuerung Хьюстона Стюарта Чемберлена , в которой восхвалялся Адольф Гитлер . [24] Фреге записал убеждение, что было бы лучше, если бы евреи Германии «затерялись, или, лучше сказать, хотели бы исчезнуть из Германии». [24] Некоторые интерпретации были написаны о том времени. [25] Дневник содержит критику всеобщего избирательного права и социализма. У Фреге были дружеские отношения с евреями в реальной жизни: среди его учеников был Гершом Шолем , [26] [27] который очень ценил его учение, и именно он вдохновил Людвига Витгенштейна уехать в Англию, чтобы учиться у Бертрана Рассела . [28] Дневник 1924 года был опубликован посмертно в 1994 году. [29]

Личность

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

Важные даты

Важные работы

Логика, основа арифметики

Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (1879), Halle an der Saale: Verlag von Louis Nebert (онлайн-версия).

Die Grundlagen der Arithmetik: Eine logisch-mathematische Untersuruchung über den Begriff der Zahl (1884), Бреслау: Verlag von Wilhelm Koebner (онлайн-версия).

Grundgesetze der Arithmetik , Band I (1893); Группа II (1903), Йена: Verlag Hermann Pohle (онлайн-версия).

Философские исследования

« Функция и понятие » (1891)

« О смысле и отношении » (1892)

« Понятие и объект » (1892)

«Что такое функция?» (1904)

Логические исследования (1918–1923). Фреге намеревался опубликовать следующие три статьи вместе в книге под названием Logische Untersuchungen ( Логические исследования ). Хотя немецкая книга так и не вышла, статьи были опубликованы вместе в Logische Untersuchungen под ред. G. Patzig, Vandenhoeck & Ruprecht, 1966, а английские переводы появились вместе в Logical Investigations под ред. Peter Geach, Blackwell, 1975.

Статьи по геометрии

Смотрите также

Примечания

  1. ^ Только доказательства Части II Begriffsschrift переписаны в современной нотации в этой работе. Частичное переписывание доказательств Части III включено в Boolos, George , "Reading the Begriffsschrift ," Mind 94 (375): 331–344 (1985).
  2. ^ Журнал Beiträge zur Philosophie des Deutschen Idealismus был органом Deutsche Philosophische Gesellschaft  [de] .

Ссылки

  1. ^ Балагер, Марк (25 июля 2016 г.). Залта, Эдвард Н. (ред.). Платонизм в метафизике. Лаборатория метафизических исследований, Стэнфордский университет – через Стэнфордскую энциклопедию философии.
  2. ↑ Ганс Слуга , «Предполагаемый реализм Фреге», Inquiry 20 (1–4):227–242 (1977).
  3. ^ ab Michael Resnik , II. Фреге как идеалист, а затем реалист, Inquiry 22 (1–4):350–357 (1979).
  4. ^ Том Рокмор , О фундаментализме: стратегия метафизического реализма , Rowman & Littlefield, 2004, стр. 111.
  5. ^ Фреге критиковал прямой реализм в своей работе « О бытии и суждениях » (см. Сэмюэл Лебенс, Бертран Рассел и природа предложений: история и защита теории множественных отношений суждений , Routledge, 2017, стр. 34).
  6. ^ ab Truth – Интернет-энциклопедия философии; Дефляционная теория истины (Стэнфордская энциклопедия философии).
  7. ^ Готтлоб Фреге, Grundgesetze der Arithmetik I, Йена: Verlag Hermann Pohle, 1893, §36.
  8. ↑ Уиллард Ван Орман Куайн , введение в «Bausteine ​​der mathematischen Logik» Моисея Шёнфинкеля , стр. 355–357, особенно 355. Переведено Стефаном Бауэром-Менгельбергом как «О строительных блоках математической логики» в Jean van Heijenoort (1967), A Source Book in Mathematical Logic, 1879–1931 . Harvard University Press, стр. 355–66.
  9. ^ Готтлоб Фреге, Основы арифметики , Northwestern University Press, 1980, стр. 87.
  10. ^ "Frege". Полный словарь Вебстера издательства Random House .
  11. ^ Вемайер, Кай Ф. (2006). «Фреге, Готтлоб». В Борхерте, Дональд М. (ред.). Энциклопедия философии . Том. 3 (2-е изд.). Справочник Macmillan США . ISBN 0-02-866072-2.
  12. ^ Лотар Крейзер, Готтлоб Фреге: Leben – Werk – Zeit , Феликс Майнер Верлаг, 2013, с. 11.
  13. ^ Арндт Рихтер, «Аненлист математиков Готтлоба Фреге, 1848–1925»
  14. ^ Жакетт, Дейл (4 апреля 2019 г.). Фреге: философская биография. Cambridge University Press. ISBN 9780521863278.
  15. ^ ab Жакетт, Дейл Фреге: философская биография , Cambridge University Press, 2019, стр. xiii.
  16. ^ Жакетт, Дейл (4 апреля 2019 г.). «2 - Образование через университетские дни (1854–1874)». Фреге: философская биография (1-е изд.). Cambridge University Press. стр. 37, 42. doi : 10.1017/9781139033725.005. ISBN 978-1-139-03372-5.
  17. ^ «Фреге, Готтлоб | Интернет-энциклопедия философии».
  18. ^ Сюзанна Бобзиен опубликовала в 2021 году работу с провокационным названием «Фреге плагиатил стоиков»: Бобзиен С., – В: Темы в Платоне, Аристотеле и эллинистической философии , Лекции Килинга 2011–2018, стр. 149-206; Залта, Эд, Фреге, Стэнфордская энциклопедия философии
  19. ↑ Хорстен, Леон и Петтигрю, Ричард, «Введение» в The Continuum Companion to Philosophical Logic (Continuum International Publishing Group, 2011), стр. 7.
  20. ^ Логика, теорема и основы арифметики Фреге, Стэнфордская энциклопедия философии на plato.stanford.edu
  21. ^ Берджесс, Джон (2005). Fixing Frege . Princeton University Press. ISBN 978-0-691-12231-1.
  22. ↑ Херш, Рубен, Что такое математика на самом деле? (Издательство Оксфордского университета, 1997), стр. 241.
  23. ^ Даммет, Майкл А.Е. (1973). Фреге; философия языка . Нью-Йорк, Харпер и Роу. п. xii. ISBN 978-0-06-011132-8– через Интернет-архив .
  24. ^ ab Yvonne Sherratt (21 мая 2013 г.). Философы Гитлера. Yale University Press. стр. 60. ISBN 978-0-300-15193-0. OCLC  1017997313.
  25. ^ Ганс Слуга : Кризис Хайдеггера: философия и политика в нацистской Германии , стр. 99 и далее. Источником Слуги была статья Эккарта Менцлера-Тротта: «Ich wünsch die Wahrheit und nichts als die Wahrheit: Das politische Assessment des deutschen Mathematikers und Logikers Gottlob Frege». В: Форвм , вып. 36, нет. 432, 20 декабря 1989 г., стр. 68–79. http://forvm.contextxxi.org/-no-432-.html
  26. ^ "Биография Фреге".
  27. ^ «Фреге, Готтлоб – Интернет-энциклопедия философии».
  28. ^ "Джульет Флойд, Переписка Фреге-Витгенштейна: интерпретационные темы" (PDF) . Архивировано (PDF) из оригинала 21 мая 2013 г.
  29. ^ Готфрид Габриэль, Вольфганг Кинцлер (редакторы): «Gottlob Freges politisches Tagebuch». В: Deutsche Zeitschrift für Philosophie , vol. 42, 1994, стр. 1057–98. Введение редакции на стр. 1057–66. Эта статья была переведена на английский язык в: Inquiry , vol. 39, 1996, стр. 303–342.
  30. ↑ Лекции Фреге по логике , под ред. Эриха Х. Река и Стива Аводея , Open Court Publishing, 2004, стр. 18–26.
  31. ^ Жакетт, Дейл, ред. (2019), «Хронология основных событий в жизни Фреге», Фреге: философская биография , Кембридж: Cambridge University Press, стр. xiii–xiv, doi : 10.1017/9781139033725.001, ISBN 978-1-139-03372-5, S2CID  242262152
  32. ^ Festschrift Людвига Больцмана gewidmet zum sechzigsten geburtstage 20 февраля 1904 г. Портрет Mit einem, 101 abbildungen im text и 2 tafeln. Лейпциг, Дж. А. Барт. 1904.

Источники

Начальный

Вторичный

Философия

Логика и математика

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

Внешние ссылки