Готлоб Фреге (1848–1925) — немецкий логик, математик и философ, один из основоположников современной математической логики. vtk-portal.ru
Некоторые аспекты вклада Фреге в развитие философской логики:
- Создание исчисления понятий. vtk-portal.ru ru.ruwiki.ru Это полноценная система математической логики на основе специального формального языка. vtk-portal.ru Исчисление понятий Фреге стало предшественником современных формальных языков в логике и информатике. vtk-portal.ru
- Введение кванторов. vtk-portal.ru ru.ruwiki.ru Фреге ввёл в язык логики кванторы всеобщности (∀) и существования (∃), что позволило более точно выражать логические утверждения. vtk-portal.ru
- Разделение смысла и значения. spravochnick.ru ru.ruwiki.ru Фреге ввёл так называемый «треугольник Фреге» или семантический треугольник: знак—смысл—значение. ru.ruwiki.ru Под значением понималась предметная область, соотнесённая с неким именем. ru.ruwiki.ru Под смыслом подразумевался определённый аспект рассмотрения этой предметной области. ru.ruwiki.ru
- Логическая концепция истины. spravochnick.ru Фреге определял истину как соответствие между высказыванием и действительностью. spravochnick.ru Он также утверждал, что истина — это свойство высказывания, а не объекта, на который оно отсылает. spravochnick.ru
- Идея о функции. spravochnick.ru Фреге использовал понятие функции для объяснения связи между языком и мышлением. spravochnick.ru Он считал, что функции используются для выражения отношений между объектами и концепциями, и что эти функции могут быть формализованы в логических системах. spravochnick.ru
- Предложение логического определения понятия числа. vtk-portal.ru Это было важным шагом в обосновании математики. vtk-portal.ru
- Разработка строгой теории определений. vtk-portal.ru Она оказала влияние на аналитическую философию. vtk-portal.ru
Работы Фреге оказали значительное влияние на Э. Гуссерля, Б. Рассела, Р. Карнапа, Л. Витгенштейна и других учёных. bigenc.ru