Фреге был первым, кто создал символьно-формализованную систему формальной логики. "Исчисление понятий".
До него были элементы логического формализма у Буля, Милля и т.д., но системного языка формальной логики не было.
На основе его идей "Основоположения арифметики" была создана современная математическая логика да и весь формальный язык современной математики.
Поэтому в истории логики Фреге делит первое и второе место с Аристотелем.
Но из-за его радикальных антисемитских взглядов сейчас о его значении умалчивают.
Гуманитарий вполне может читать такие его работы, как "О смысле значения", "О понятии и предмете", "Что такое функция?" и др. работы по логической семантики.