메타언어

이 문서에는 여러 가지 문제가 있습니다.개선을 돕거나 토크 페이지에서 이러한 문제에 대해 논의해 주십시오.(이러한 템플릿메시지를 삭제하는 방법과 타이밍에 대해 설명합니다) 이 글은 그 주제에 익숙하지 않은 사람들에게는 불충분한 맥락을 제공한다. 독자에게 더 많은 콘텍스트를 제공하여 기사 개선에 도움을 주십시오. (2021년 4월) (이 템플릿메시지를 삭제하는 방법과 시기에 대해 알아보기) 이 문서에는 일반적인 참조 목록이 포함되어 있지만 대응하는 충분한 인라인 인용이 없습니다. 좀 더 정밀한 인용문을 도입하여 이 글의 개선에 도움을 주시기 바랍니다.(2010년 9월) (이 템플릿메시지의 삭제 방법과 삭제 타이밍을 확인) 이 기사에서는 관련 주제에 대해 고도로 전문화된 한 가지 측면만 설명합니다. 일반적인 정보를 추가하여 이 문서의 개선에 도움을 주십시오. 토크 페이지에 제안 사항이 포함될 수 있습니다.(2013년 1월) (이 템플릿메시지를 삭제하는 방법과 타이밍을 확인합니다)

논리학과 언어학에서, 메타언어란 ^[1]종종 목적어라고 불리는 다른 언어를 기술하기 위해 사용되는 언어이다.메타 언어의 표현은 종종 이탤릭체, 따옴표 또는 별도의 ^{[citation needed]}줄에 쓰기를 사용하여 객체 언어의 표현과 구별됩니다.메타언어에서의 문장과 구문의 구조는 ^[2]메타비관세로 설명할 수 있다.

종류들

내장, 순서, 내포(또는 계층형) 메탈랭귀지 등, 인식되고 있는 다양한 메탈랭귀지가 있습니다.

내장

임베디드 메타언어란 객체 언어에 형식적이고 자연스럽게 고정된 언어입니다.이 생각은 더글라스 호프스타터의 책, 괴델, 에셔, 바흐에서 공식 언어와 수 이론 사이의 관계에 대한 논의에서 발견된다: "...수 이론의 메타 언어가 그 ^[3]안에 포함되어 있는 것은 어떤 형식화의 본질이다."

명사, 동사, 심지어 단어와 같은 단어가 영어 자체와 관련된 특징과 개념을 설명하는 영어에서와 같이 자연어 또는 비공식 언어에서도 발생합니다.

주문된

순서 있는 메타 언어는 순서 있는 논리와 유사합니다.순서가 매겨진 메타언어의 예로는 대상언어를 논하기 위한 하나의 메타언어의 구축이 있으며, 이어서 제1언어를 논하기 위한 다른 메타언어의 작성 등이 있다.

네스트된

중첩된(또는 계층형) 메타언어는 각 레벨이 더 큰 수준의 추상화를 나타낸다는 점에서 순서가 매겨진 메타언어와 유사합니다.그러나 중첩된 메타 언어는 각 레벨이 아래의 언어를 포함한다는 점에서 순서가 매겨진 언어와 다릅니다.

내포된 메타언어의 패러다임적 예는 생물학의 린느 분류 체계에서 비롯되었다.시스템의 각 레벨에는 아래의 레벨이 포함되어 있습니다.속(속)을 논할 때 사용되는 언어는 종(種)을 논할 때도 사용되며, 질서에 대한 논할 때 사용되는 언어는 왕국까지의 속(,) 등을 논할 때도 사용됩니다.

자연어로

자연어는 내포된 언어들과 질서 있는 언어들을 결합한다.자연어에는 금속어가 무한히 퇴보하고 있으며, 각각은 보다 전문화된 어휘와 단순한 구문을 가지고 있다.

현재 언어를 ${\displaystyle {L\mathrm{}}_{}}$ 0$(\$으로 지정하면 해당 언어의 문법은 L $(\$ L_${0$ $내$에 중첩된 하위^[4] 언어인 메타 $언어{\displaystyle {}_{}}$ ${\displaystyle {L\mathrm{}}_{}}$1(\$displaystyle L_{1})$의 담화입니다.

• $({$의 문법은 사실적 기술 형식이며, $({$0$\})$의 하위 언어인 $메타{\displaystyle {}_{}}$ ${\displaystyle {언어\mathrm{}}_{}}$L2({$displaystyle L_{$2$\}\})$의 담화입니다.
• L2({$displaystyle L_{2$의 문법은 L0$({$의 $하위{\displaystyle {}_{}}$ 언어인 메타 $언어{\displaystyle {}_{}}$ $({$3$\})$에 기재되어 있습니다.
• $L3({$displaystyle $L_{3})$의 문법은$$ $({$에 기재된 이론의 구문구조를 설명하는 메타토리의 형태를 가진다.
• ${\displaystyle {L\mathrm{}}_{}}$ 4$(\$ 및$$ 후속 메탈랭귀지는 L $(\$과 문법이 동일하며 참조만 다릅니다.

이 모든 언어들은 ${\displaystyle {L\mathrm{}}_{}}$ 0$($ 스타일 L_${$0$\})$의 하위 언어이므로 ${\displaystyle {L\mathrm{}}_{}}$ 1($디스플레이 스타일$ $L_$${1})$은 중첩된 메타 $언어$이지만 L $($ L_${2})$ 및$$ 후속 언어는 순서대로 정렬됩니다.^[5]이러한 언어들은 모두 $0$의 $하위$ 언어이므로 언어 $전체$에 관해서는 모두 임베디드 언어입니다$.$

형식 시스템의 금속 언어들은 모두 궁극적으로 자연어로 해결되는데, 수학자들과 논리학자들이 그들의 용어와 연산을 정의하고 그들의 ^[6]공식들을 '읽기' 위해 대화하는 '공통 용어'이다.

표현의 종류

일반적으로 메타 언어로 표현되는 몇 가지 실체가 있습니다.논리학에서는 보통 메타 언어가 논의하는 대상 언어는 형식 언어이며, 종종 메타 언어도 마찬가지입니다.

연역법

연역 시스템(또는 공식 시스템의 연역 장치)은 시스템의 이론을 ^[7]도출하기 위해 사용될 수 있는 공리(또는 공리 스키마타)와 추론 규칙으로 구성된다.

메타바러블

메타변수(또는 메타언어 또는 메타문법 변수)는 메타언어의 기호 또는 기호 집합을 나타내는 기호 또는 기호 집합입니다.예를 들어, 이 문장에서:

A와 B를 형식 $언어 L$의 임의의 공식으로 합니다$.$

기호 A와 B는 객체 $언어 L$의$$기호가 아니라 객체 $언어$L을 설명하는 메타 언어$($이 경우 영어)의 메타 언어입니다.

메타테오리와 메타테오렘

메타토리는 주제가 다른 이론인 이론이다.그 이론에 대한 메타토리의 진술은 메타오렘이라고 불린다.메타옴은 메타언어로 표현된 공식 체계에 대한 진정한 진술이다.주어진 형식 체계 내에서 증명된 이론과 달리, 메타옴은 메타오레임 안에서 증명되고, 메타오레임은 메타오레에 존재하지만 대상 ^[8]이론은 아닌 개념들을 참조할 수 있다.

해석

해석은 언어의 기호와 단어에 의미를 부여하는 것이다.

은유에서의 역할

마이클 J. 레디(1979)는 우리가 언어에 대해 말할 때 사용하는 언어의 대부분은 그가 말하는 도관 비유에 의해 개념화되고 ^[9]구조화된다고 주장한다.이 패러다임은 두 개의 서로 다른 관련 프레임워크를 통해 작동합니다.

주요 프레임워크에서는 언어를 사람 간의 폐쇄된 파이프라인으로 간주합니다.
1. 언어는 사람의 생각과 감정(정신적 내용)을 다른 사람에게 전달한다.

예: 당신의 생각을 더 잘 전달하도록 노력하세요. 

2. 화자와 작가는 자신의 정신적인 내용을 말로 표현한다.

예: 당신은 각각의 개념을 더 신중하게 말로 표현해야 합니다. 

3. 말은 용기

예: 그 문장은 감동으로 가득 차 있었다. 

4. 청취자와 독자는 단어에서 정신적 내용을 추출한다.

예: 시에서 새로운 감각을 발견하면 알려주세요. 

마이너 프레임워크는 언어를 정신적인 내용을 공허에 흘리는 개방된 파이프로 간주합니다.
1. 스피커와 라이터는 멘탈 콘텐츠를 외부로 내보낸다.

예: 그 아이디어를 좋은 방향으로 끌어냅니다. 

2. 이 공간에서 정신적인 내용을 재인식한다(구체적으로 본다).

예: 그 개념은 수십 년 동안 떠돌았다. 

3. 청취자와 독자는 이 공간에서 정신적 콘텐츠를 추출한다.

예: 에세이에서 좋은 개념이 있으면 알려주세요. 

메타프로그래밍

컴퓨터는 정식 언어로 된 프로그램, 일련의 명령을 따릅니다.프로그래밍 언어의 개발에는 메타 언어의 사용이 수반됩니다.프로그래밍에서 메탈랭귀지로 작업하는 행위를 메타프로그래밍이라고 합니다.

1960년대에 John Backus와 Peter Naur에 의해 개발된 Backus-Naur 형식은 컴퓨팅에 사용된 최초의 금속 언어 중 하나입니다.메타프로그래밍에서 일반적으로 사용되는 현대 프로그래밍 언어의 예로는 ML, Lisp, m4, Yacc 등이 있습니다.

「 」를 참조해 주세요.

사전

• 아우디, 1996년케임브리지 철학 사전.케임브리지:케임브리지 대학 출판부
• Baldick, C. 1996년옥스퍼드 간결한 문학 용어 사전.옥스퍼드:옥스퍼드 대학 출판부
• 커든, J. A. 1999년펭귄 문학 용어와 문학 이론 사전.런던:펭귄 북스
• 혼데리히, T. 1995옥스퍼드 철학의 동반자.옥스퍼드:옥스퍼드 대학 출판부
• 매튜스, P. H. 1997옥스퍼드 언어학 간결한 사전.옥스퍼드:옥스퍼드 대학 출판부 ISBN978-0-19-280008-4.
• 맥아더, T. 1996'간결한 옥스퍼드 영어 동반자'옥스퍼드:옥스퍼드 대학 출판부

레퍼런스

외부 링크

• 메타언어, 프린키피아 사이버네티카
• Willard McCarty (2006년 제출) 문제적 은유, 휴머니스트 토론 그룹, 제20권, 제92호.