Символ (формальный) - Symbol (formal)

Эта статья о символах в теории формального языка. Для использования в других целях см. Символ (значения).
Эта диаграмма показывает синтаксические объекты который может быть построен из формальные языки. Символы и строки символов можно в общих чертах разделить на ерунда и правильно составленные формулы. Формальный язык можно рассматривать как идентичный набору его хорошо сформированных формул. Набор хорошо составленных формул можно условно разделить на теоремы и нетеоремы.

А логический символ фундаментальный концепция в логика, жетоны из которых могут быть знаки или конфигурация знаков, образующих определенный узор.[нужна цитата ] Хотя обычно употребляемый термин «символ» относится иногда к символизируемой идее, а иногда к отметкам на листе бумаги или классной доске, которые используются для выражения этой идеи; в формальные языки учился в математика и логика, термин «символ» относится к идее, а знаки считаются жетон экземпляр символа.[сомнительный – обсуждать] В логике символы создают буквальную полезность для иллюстрации идей.

Обзор

Символы формального языка не обязательно должны быть символами из что-либо. Например, есть логические константы которые не относятся к какой-либо идее, а скорее служат формой пунктуации в языке (например, круглые скобки). Символы формального языка должны быть указаны без ссылки на какие-либо интерпретация их.

Символ или нить символов может содержать правильно сформированная формула если это соответствует правила формирования языка.

В формальная система символ может использоваться в качестве токена в формальных операциях. Набор формальных символов в формальный язык называется алфавитом (следовательно, каждый символ может называться «буквой»)[1][страница нужна ]

Официальный символ, используемый в логика первого порядка может быть переменной (членом из вселенная дискурса ), константа, функция (отображение на другой член вселенной) или предикат (отображение на T / F).

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

Можно ли моделировать слова как формальные символы?

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

На мой взгляд, нет существенного теоретического различия между естественными языками и искусственными языками логиков; действительно, я считаю возможным понять синтаксис и семантику обоих типов языков в рамках единой естественной и математически точной теории. В этом отношении я не согласен с рядом философов, но, как мне кажется, согласен с Хомским и его единомышленниками ». [2][страница нужна ]

Это философская предпосылка, лежащая в основе Грамматика Монтегю.

Однако эта попытка приравнять лингвистические символы к формальным символам была широко оспорена, особенно в традиции когнитивная лингвистика философами вроде Стеван Харнад, а лингвисты любят Джордж Лакофф и Рональд Лангакер.

Рекомендации

  1. ^ Джон Хопкрофт, Раджив Мотвани и Джеффри Уллман, Введение в теорию автоматов, языки и вычисления, 2000
  2. ^ Ричард Монтегю, Универсальная грамматика, 1970

Смотрите также