기호(공식)
Symbol (formal)
논리 기호는 논리학의 기본 개념이며, 토큰은 특정 패턴을 형성하는 마크 또는 마크의 구성일 수 있다.[citation needed] 비록 통용되는 '기호'라는 용어는 어떤 때는 상징되는 사상을 가리키기도 하고, 또 어떤 때는 그 사상을 표현하기 위해 사용되고 있는 종이나 칠판의 표시를 가리키기도 하지만, 수학과 논리로 연구된 형식 언어에서 '기호'라는 용어는 그 사상을 가리키며, 그 표시는 토큰 인스턴스(stoken)로 간주되기도 한다. 상징의[dubious ] 논리학에서 기호는 생각을 설명하기 위해 문자 그대로의 효용성을 구축한다.
개요
공식 언어의 상징은 어떤 것의 상징이 될 필요는 없다. 예를 들어, 어떤 아이디어도 언급하지 않고 오히려 언어의 문장 부호(예: 괄호)의 한 형태로 기능하는 논리 상수가 있다. 공식 언어의 기호는 어떤 해석도 참조하지 않고 명시될 수 있어야 한다.
기호 또는 기호의 문자열은 언어의 형성 규칙과 일치하는 경우 잘 구성된 공식으로 구성될 수 있다.
형식 시스템에서 기호는 형식 작업에서 토큰으로 사용될 수 있다. 공식 언어의 형식 기호 집합을 알파벳(각 기호를 "문자"로 표기할 수 있음)[1][page needed]이라고 한다.
1차 논리학에서 사용되는 형식 기호는 변수(담론의 우주에서 온 구성원), 상수, 함수(우주의 다른 구성원에게 매핑) 또는 술어(T/F에 매핑)일 수 있다.
형식 기호는 해석이나 모델(공식 의미론)과 관련될 수 있지만, 형식 문법을 사용하여 더 큰 구조로 구성된 순수하게 통사적인 구조로 여겨진다.
단어들이 형식적인 상징으로 모델링될 수 있는가?
자연어(예: 영어)로 단위를 형식적인 상징으로 보는 움직임은 노암 촘스키(공식어로는 촘스키 계급을 초래한 이 작품)에 의해 시작되었다. 생성 문법 모델은 구문을 의미론으로부터 자율적으로 보았다. 논리학자 Richard Montague는 이러한 모델을 바탕으로 의미론도 형식 구조 위에 구성할 수 있다고 제안했다.
- 내 생각에는 자연 언어와 논리학자들의 인공 언어 사이에는 중요한 이론적 차이가 없다; 사실, 나는 두 종류의 언어의 구문과 의미론을 하나의 자연적이고 수학적으로 정밀한 이론 안에서 이해하는 것이 가능하다고 생각한다. 이 점에 대해서는 나는 다수의 철학자와는 다르지만 촘스키와 그의 동료들과도 동의한다고 믿는다."[2][page needed]
이것이 몬태규 문법의 기초가 되는 철학적 전제다.
그러나 언어 상징을 형식적인 상징과 동일시하려는 이러한 시도는 특히 인지언어학의 전통에서 스테반 하르나드 같은 철학자와 조지 라코프, 로널드 랭가커 같은 언어학자들에 의해 광범위하게 도전되어 왔다.
참조
- ^ John Hopcroft, Rajev Motwani 및 Jeffrey Ulman, Automata 이론 소개, 언어 및 계산, 2000
- ^ 리처드 몬태규, 유니버설 문법, 1970년
