Словарь по логике

Фреге

Фридрих Людвиг Готтлоб Фреге, Gottlob Frege (8.11.1848 - 26.7.1925): Немецкий математик, философ и логик. В "Исчислении понятий" (1879) первым привел аксиоматики логики высказываний (с импликацией и отрицанием) и логики предикатов. Ввел понятия предикатов и кванторов, символы для кванторов. Построил первую систему формальной арифметики, заложил основы логической семантики. Разрабатывал принципы математического доказательства и теории множеств. Считается основоположником логицизма, но может быть отнесен и к предтечам функционально подхода, трактовал понятия как предметно-истинностные функции. Критиковал Милля за переоценку индукции, Канта - за деление суждений на синтетические и аналитические.
Другие работы: Основания математики. Логико-математическое исследование понятия числа (1884). О смысле и значении (1892).