|
|
От переводчика |
Введение. Готтлоб Фреге: современный взгляд |
Часть первая. ЗАПИСЬ В ПОНЯТИЯХ |
| Исчисление понятий |
| Применения исчисления понятий |
| Булев логический формульный язык и мое исчисление понятий |
| О научной правомерности исчисления понятий |
| Булева вычислительная логика и мое исчисление понятий |
| О цели исчисления понятий |
| Об исчислении понятий господина Пеано и о моем собственном исчислении |
Часть вторая. ЛОГИЧЕСКАЯ СЕМАНТИКА |
| Функция и понятие |
| О смысле и значении |
| Размышления о смысле и значении |
| О понятии и предмете |
| Критическое освещение некоторых пунктов в "Лекциях по алгебре логики"
Э. Шредера |
| Что такое функция? |
Часть третья. ЛОГИЧЕСКИЕ ИССЛЕДОВАНИЯ |
| Логика |
| Краткий обзор моих логических концепций |
| Введение в логику |
| Логика. Введение |
| Мысль. Логическое исследование |
| Отрицание. Логическое исследование |
| Логические исследования. Часть третья: структура мысли |
| Логическая всеобщность |
| Мои основополагающие логические воззрения |
Комментарии |
Послесловие. В логическом мире Фреге |
Именной указатель |
Фреге Готлоб Выдающийся немецкий логик, математик и философ. Родился в г. Висмар, в семье директора школы. Образование получил в университете Йены, а затем в Геттингенском университете, где в 1873 г. защитил диссертацию на ученую степень доктора философии. После защиты диссертации вернулся в Йену, в 1875 г. получил место приват-доцента в Йенском университете. В 1879 г. стал экстраординарным, в 1896 г. — ординарным профессором математики. В общей сложности Фреге преподавал в Йенском университете в течение 44 лет, читая курсы лекций по различным математическим дисциплинам — аналитической геометрии, высшей алгебре, теории функций, теории чисел и др., а с 1883 г. также по логико-математической тематике. Его взгляды повлияли на известных философов Р. Карнапа и Л. Витгенштейна, которые в 1910–1914 гг. слушали его лекции об исчислении понятий.
Вклад Фреге в логику по своему значению сопоставим с логическим наследием Аристотеля, Курта Гёделя и Альфреда Тарского. Он по праву считается основателем современной формальной логики и изобретателем логической семантики. Его революционное сочинение «Исчисление понятий» (1879) положило начало новой эпохе в истории логики. Главным трудом Г. Фреге стала работа «Основные законы арифметики» (т. 1–2, 1893–1903), в которой он предложил систему формализованной арифметики на основе разработанного им расширенного исчисления предикатов, имея в виду обосновать тем самым идею о сводимости значительной части математики к логике. Его труды по логической семантике и анализу языка — «Функция и понятие» (1891), «Смысл и денотат» (1892), «Понятие и вещь» (1892) — в наше время признаны классическими.
|
|
|
|