Приглашаем посетить сайт
ФРЕГЕ
ФРЕГЕ (Frege) Готлоб (1848-1925) - нем. логик, математик и философ. Один из основоположников современной символической логики.
Сформулированные Ф. новые идеи и подходы во многом предопределили развитие логики в 20 в. В работе «Исчисление понятий» (1879) им был предложен первый вариант аксиоматического построения логики высказываний. В фундаментальной работе «Основные законы арифметики» (1893-1903) Ф. на основе специального исчисления предикатов построил формальную систему арифметики с целью логического обоснования идеи о сводимости математики к логике. Несмотря на то что в этой системе было обнаружено противоречие (т.н. парадокс Б. Рассела), последующее развитие логики в значительной степени подтвердило правоту Ф. в его общем понимании связи между логикой и математикой. Ф. впервые стал использовать кванторы; ввел понятие истинностного значения; предложил различать свойства и отношения как значения, соответственно, одноместных и многоместных пропозициональных функций.
Особенно значителен вклад Ф. в становление логической семантики. В статьях «Смысл и денотат», «Понятие и вещь», «Мысль: Логическое исследование» им были систематически исследованы отношения между языковыми выражениями и обозначаемыми ими объектами. Ф. разработал первую, ставшую классической, концепцию смысла и значения терминов, в основе которой лежит представление о «семантическом» треугольнике, в вершинах которого располагаются имя (термин), значение имени (объект, обозначаемый именем) и смысл имени. На основе этой концепции в дальнейшем была создана обобщенная теория терминов, свободная от парадоксов отношения именования и др. логических затруднений, возникавших на этапе первоначального осмысления проблем логической семантики.
Идеи Ф. оказали существенное воздействие на развитие не только логики, но и философии. В его работах известная идея Г. Лейбница о необходимости создания универсального логико-философского языка получила конкретное воплощение и дальнейшее развитие. Ф. одним из первых высказал мысль о том, что решение многих логических и филос. проблем кроется в анализе самого естественного языка, тех языковых символов, которые используются для выражения соответствующих содержательных представлений. По мнению Ф., незнание логики естественного языка, структуры его смыслового содержания является одной из главных причин возникновения парадоксов и противоречий в филос. рассуждениях. В этом смысле его по праву можно считать, наряду с Б. Расселом и Л. Витгенштейном, одним из основоположников аналитической философии. В современной логике сформулированная Ф. задача логической формализации естественного языка является одной из центральных как в теоретическом плане, так и в плане применения логики для решения практических задач компьютерной обработки информации.