КАВЫЧКИ

– в грамматике естественного языка парный знак препинания (обычно ,, « или « »), используемый для выделения прямой речи или отдельных выражений, которые употребляются не в привычном смысле.

В логике К. используются для того, чтобы отличить автономное употребление выражений от обычного. Напр., в предложениях «Москва расположена на Москве-реке» и «Москва состоит из шести букв» слово «Москва» в первом предложении употребляется обычно, а во втором – автонимно, т. е. в качестве имени самого себя. Чтобы избежать смешения обычного и автонимного употребления выражений, используются К., т. наз. «кавычковые имена». Второе предложение следует записать так: «"Москва» состоит из шести букв». В естественном языке несложно различить обычное употребление выражений и их автонимное употребление. Однако в логике, когда приходится говорить о выражениях некоторого языка, возможна путаница, приводящая к ошибкам.