Символ (формальный)
- Логический символ — фундаментальное понятие в логике, создающее буквальную полезность для иллюстрации идей.
- Символы формального языка не обязательно должны символизировать что-то еще, например, логические константы.
- Символы формального языка должны быть заданы без ссылки на их интерпретацию.
- Символ или последовательность символов могут содержать правильно сформированную формулу, если это согласуется с правилами формирования языка.
- В формальной системе символ может использоваться в качестве маркера в формальных операциях.
- Формальные символы обычно рассматриваются как чисто синтаксические структуры, объединенные в более крупные структуры с использованием формальной грамматики.
- Переход к использованию слов на естественном языке в качестве формальных символов был инициирован Ноамом Хомским.
- Модель генеративной грамматики рассматривала синтаксис как нечто независимое от семантики.
- Попытка приравнять лингвистические символы к формальным была широко оспорена, особенно в традиции когнитивной лингвистики.
Полный текст статьи: