문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 수리논리학/예비사항 (문단 편집) == 자연 언어와 인공 언어 == 보통 [[수학]] 증명에서는 [[영어]], [[한국어]] 같은 자연 언어가 쓰이나, 수리 논리학에서는 엄밀히 그 문법이 정의된 [[인공언어]]가 쓰인다. 그 주된 이유로는 자연 언어가 대개 그 구조가 복잡하며 애매모호한 경우가 적지 않다는 것이다. 아래와 같은 사례들을 방지하기 위해 수리 논리학에서는 보다 명료하고 간단한 문법을 띤 인공어를 쓴다.[* 다만 메타논리에서는 편의상 자연 언어를 쓰는 경우가 많다.] 그중 일부는 [[수학 기호]]에서 찾아볼 수 있다. > [[한국어|비가 온다.]] > ---- > [[영어|It is raining.]] > ---- > [[독일어|Es regnet.]] 세 문장 모두 그 의미, 즉 표현하는 [[명제]]는 같지만 서로 다른 [[언어]]에 속하므로 의미 전달이 쉽지 않다. > 모든 사람은 죽는다. > ---- > 모든 박테리아는 죽는다. 일견 두 문장은 공통적으로 '''"모든 x는 F다"'''라는 형식을 띠는 것 같지만 이는 문제가 있다. 왜냐면 밑의 '모든 박테리아'''는''' 죽는다'인 반면, 윗 문장은 '모든 사람'''은''' 죽는다'이기 때문이다. > John is easy to please > ---- > John is eager to please '''표층 구조'''를 따지자면 이 두 영어 문장은 그 형식이 같다. 둘다 그 형식은 "''S'' be ''Adj'' to ''V''"이기 때문이다. 하지만 [[생성언어학]]의 관점에서 두 문장이 '''심층 구조'''에서 띠는 형식은 다르다. 윗 문장에서 John은 동사 please의 [[목적어]]이고, 아랫 문단에서는 존이 동사 please의 [[주어]]이기 때문이다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기