обозначения отношение

отношение между именем и его денотатом, т. е. объектом, к которому относится имя; то же, что и отношение именования. О. о. является одним из фундаментальных отношений семантического анализа. Теория О. о. базируется на следующих принципах:

1) однозначности: каждое имя обозначает только один объект;

2) предметности: предложение говорит о предметах, обозначенных входящими в предложение именами;

3) взаимозаменимости: если два имени обозначают один и тот же предмет, то истинностное значение предложения не изменится, если одно из этих имен заменить другим.

Казалось бы, эти принципы являются совершенно естественными, однако их последовательное проведение встречает значительные трудности. Во-первых, в неэкстенсиональных контекстах нарушается принцип взаимозаменимости, напр. предложение "Н. не знал, что Пушкин был автором "Евгения Онегина"" может быть истинным, но едва ли его можно заменить предложением "Н. не знал, что Пушкин был Пушкиным". Во-вторых, возникают проблемы, связанные с использованием пустых имен, таких, как "Пегас", "Зевс" и т. п. Напр., два предложения "Круглый квадрат кругл" и "Круглый квадрат не кругл" являются истинными, хотя и противоречат друг другу, следовательно, нарушается закон противоречия. В-третьих, встают проблемы, связанные с использованием единичных отрицательных высказываний существования, напр.: "Не существует простого числа между 7 и 11". Из утвердительного единичного высказывания следует высказывание существования, напр. из высказывания "Дунай - европейская река" следует "Существует такой х, что х - европейская река". Однако если мы возьмем высказывание "Пегас не существует", то из него будет следовать "Существует такой х, который не существует". И наконец, четвертая группа проблем, возникающая в связи с принципами О.о., относится к анализу утверждений тождества: как отличить высказывания "а = а" и "а=b"?

Решение перечисленных проблем дает мощный стимул развитию логической семантики.