АВТОНЙМНОЕ УПОТРЕБЛЕНИЕ ВЫРАЖЕНИЙ

(от греч. gtjtoc — сам и ovu^a — имя) — такое упо­требление словесных выражений, при к-ром они вы­ступают в качестве своих собств. имен. В сужде­ниях о вещах, свойствах и отношениях выражения языка обычно применяются как названия того, о чем идет речь; пользование языком как естественным, так и искусственным (в т. ч. формализованным языком, т. е. интерпретированным логич. исчислением), ос­новано на принципе, согласно к-рому в высказыва­нии о нек-ром объекте фигурирует не сам объект, а его имя. Чтобы верно усвоить смысл высказыва­ния, надо различать обозначаемое (объект) и обозна­чающее (его имя). Это не трудно сделать, если объект носит неязыковый характер. Так, различие между городом Москвой и cjjobom «Москва» непосредственно очевидно.  Вопрос осложняется, когда объекты —

языковые образования. Такая ситуация нередка, т. к. все естеств. и многие формализованные языки отли­чаются тем, что на них можно говорить о самом языке и его выражениях — словах, именах, предложениях, буквах, знаках, формулах и пр. Это вызывает необхо­димость отличать употребление языкового выражения как обозначения к.-л. объекта (или в виде составной части предложения при выражении к.-л. мысли) от упоминания выражения в качестве предмета высказывания. Упоминание выражений мо­жет осуществляться с помощью специально для этой цели образованных имен, что вполне обеспечивает соблюдение требования различения обозначаемого и обозначающего. Однако иногда бывает целесо­образно прибегнуть к употреблению выражения в ка­честве имени самого себя. В математике этот способ выражения часто используют в отношении математич. символов. Например, пишут: х входит в Ф(х, у). В этом предложении буква «х» и формула «Ф(х, у)» употреблены автонимно. А. у. в. не приводит к сме­шению обозначаемого и обозначающего, если в рам­ках данного контекста А. у. в. отличимо от неавто-нимного употребления того же выражения.

А. у. в., и в частности введение автонимных пре­дикатов (предикатов, в к-рых на места переменных подставляются не имена выражений языка, а сами эти выражения), используется в связи с попытками преодоления нек-рых трудностей, возникающих в се­мантике логической [см. также Истинность (в ма­тематической логике), Парадоксы семантические]. А. у. в. рассматривается в связи с построением особых информационно-логич. языков и проблемами кодирова­ния и перекодирования информации в машинах, реа­лизующих эти языки. Изучение А. у. в. имеет гносео-логич. значение, поскольку входит в проблему отно­шения между обозначаемым и обозначающим, решение к-рой дает конкретный логич. материал для материа-листич. обоснования отношения между мышлением (вы­ражаемым всегда в языке) и бытием. Различение меж­ду обозначаемым и обозначающим проводилось еще стоиками. В математич. логике важность этого раз­личения была подчеркнута нем. ученым Г. Фреге. А. у. в. было известно еще в ср.-век. логике. В матема­тич. логике А. у. в. исследовали Карнап, Куайн и др.

Существуют различные способы образования имен выра­жений. Один из них состоит в употреблении нек-рых выра­жений в качестве имен для др. выражений. Напр., говоря о формуле «ac+j/=j/-far», можно ее обозначить буквой «Ф». Такой способ применяется, напр., при построении логич. исчислений (в этом случае выражения, обозначающие знаки и формулы исчисления и не принадлежащие к нему, наз. метазнаками, см. Метаязык). Др. способ, к-рый распро­странен в естеств. языках, — заключение выражений в кавычки. Напр., в предложениях:

(1) Имя «Маша» начинается с буквы «М»;

(2) «Стол» — имя существительное;

(3) Выражение «х > 2» содержит букву < ос» —э упоминание выражений:

Маша, М, стол, х > 2, х осуществляется с помощью имен этих выражений:

«Маша», «М», «стол», «х> 2», «х».

Выражения последней строки могут, в свою очередь, стать предметом высказываний, и тогда мы будем иметь дело с име­нами:

««Маша»», ««М»», ««стол»», < < «х > 2»», ««х»».

Так получаются выражения, образованные с помощью мно­го раз повторенной операции заключения в кавычки, причем они могут быть очень громоздкими. А.у.в. позволяет избе­жать этой ситуации. Предложения (1)—(3) могут быть пере­писаны в виде:

(Г) Имя Маша начинается с буквы М;

(-? ') Стол — имя существительное;

(3') х ^ 2 содержит букву х.

Эти предложения имеют тог же смысл, что и предложения (1)—(3), но упоминаемые в них выражения являются имена­ми самих себя. т. е. употребляются автонимно. Предложение (3') вполне естественно в содержательно строящейся (нефор­мальной) математике (т.к. символы и формулы в ней пишутся обычно без кавычек). Предложения, подобные (2'), встре­чаются в книгах по грамматике. Предложение (1'), кажущееся противоречащим традиции письменной речи, в устной речи совпадает с (1), т. к. в последней кавычки не передаются.

1234567Следующая ⇒

Поделиться: