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