Теория смысла Готлоба Фреге [Борис Владимирович Бирюков] (fb2)

Б. В. Бирюков
Теория смысла Готлоба Фреге
Понятие смысла играет существенную роль в современной логике. С ним связано построение так называемых интенциональных логических исчислений, т. е. исчислений в которых не действует принцип объемности. Такого рода исчисления преследуют цель выявить с помощью формальных средств смысл выражений некоторого вида обычного содержательного языка (например, исчисления строгой импликации имеют задачей выявить смысл таких выражений, как «Б следует из А», «из А логически вытекает Б»).
В то же время к понятию смысла прибегают и при изложении систем классической двузначной математической логики. Так поступают, например, Г. Гермес и Г. Шольц [23], А. Чёрч [22]. В этом случае понятие смысла языкового выражения используется для того, чтобы сделать естественным переход от обычных языков, с которых, по ...