Словарь логики
Кавычки:
Кавычки - — в грамматике естественного языка парный знак препинания (обычно ,, " или « »), используемый для выделения прямой речи или отдельных выражений, которые употребляются не в привычном смысле. В логике К. используются для того, чтобы отличить автономное употребление выражений от обычного. Напр., в предложениях «Москва расположена на Москве-реке» и «Москва состоит из шести букв» слово «Москва» в первом предложении употребляется обычно, а во втором — автонимно, т. е. в качестве имени самого себя. Чтобы избежать смешения обычного и автонимного употребления выражений, используются К., т. наз. «кавычковые имена». Второе предложение следует записать так: «"Москва" состоит из шести букв». В естественном языке несложно различить обычное употребление выражений и их автонимное употребление. Однако в логике, когда приходится говорить о выражениях некоторого языка, возможна путаница, приводящая к ошибкам.
Похожие на Кавычки слова / понятия:
Класс, Множество (В Логике И Математике)
Классификация
Конъюнкция
Концепт
Коннотация
Конструктивная Логика
Контекст
Контекстуальное Определение
Контрадикторная Противоположность
Контрапозиции Закон