Фреге

Кто это

Немецкий логик и математик (1848–1925), отец современной логики и аналитической традиции. Создал формальную логику предикатов, превзойдя силлогистику Аристотеля впервые за 2000 лет.

🌀 Этногенез

Обскурация латинского Запада (рубеж XIX–XX вв.). См. Fylosofyia latynskoho Zapada po fazam.


Ключевые идеи

Note

  • Логика предикатов с кванторами («все», «существует») — язык, способный выразить математическое рассуждение; конец монополии аристотелева силлогизма.
  • Смысл и значение (Sinn und Bedeutung): «утренняя звезда» и «вечерняя звезда» имеют разный смысл, но одно значение (Венера). Различие, ставшее основой философии языка.
  • Логицизм: попытка вывести арифметику из чистой логики («Основания арифметики»).
  • Антипсихологизм: законы логики объективны, а не «законы мышления».

Влияние

Фреге — фундамент аналитической философии: на нём стоят Рассел, Vythenshtein, весь логический анализ языка и математическая логика XX века.

Связанные заметки

Дисклеймер

Логицистскую программу подорвал парадокс Рассела; но логический аппарат Фреге стал основой всей современной логики.