Обложка Фреге Г. (Готлоб) Логико-философские труды: Логические исследования. Основоположения арифметики
Id: 171496
1699 руб.

Логико-философские труды:
Логические исследования. Основоположения арифметики

2008. 288 с. ISBN 978-5-379-00760-7. Букинист. Состояние: 4+.
  • Мягкая обложка

Аннотация

Logische Untersuchungen: Die Grundlagen Der Arithmetic.

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


Об авторе
Фреге Готлоб
Выдающийся немецкий логик, математик и философ. Родился в г. Висмар, в семье директора школы. Образование получил в университете Йены, а затем в Геттингенском университете, где в 1873 г. защитил диссертацию на ученую степень доктора философии. После защиты диссертации вернулся в Йену, в 1875 г. получил место приват-доцента в Йенском университете. В 1879 г. стал экстраординарным, в 1896 г. — ординарным профессором математики. В общей сложности Фреге преподавал в Йенском университете в течение 44 лет, читая курсы лекций по различным математическим дисциплинам — аналитической геометрии, высшей алгебре, теории функций, теории чисел и др., а с 1883 г. также по логико-математической тематике. Его взгляды повлияли на известных философов Р. Карнапа и Л. Витгенштейна, которые в 1910–1914 гг. слушали его лекции об исчислении понятий.

Вклад Фреге в логику по своему значению сопоставим с логическим наследием Аристотеля, Курта Гёделя и Альфреда Тарского. Он по праву считается основателем современной формальной логики и изобретателем логической семантики. Его революционное сочинение «Исчисление понятий» (1879) положило начало новой эпохе в истории логики. Главным трудом Г. Фреге стала работа «Основные законы арифметики» (т. 1–2, 1893–1903), в которой он предложил систему формализованной арифметики на основе разработанного им расширенного исчисления предикатов, имея в виду обосновать тем самым идею о сводимости значительной части математики к логике. Его труды по логической семантике и анализу языка — «Функция и понятие» (1891), «Смысл и денотат» (1892), «Понятие и вещь» (1892) — в наше время признаны классическими.