Montague grammar is an approach to natural language semantics, named after American logician Richard Montague. The Montague grammar is based on formal logic, especially higher order predicate logic and lambda calculus, and makes use of the notions of intensional logic, via Kripke models. Montague pioneered this approach in the 1960s and early 1970s. Montague's thesis was that natural languages and formal languages can be treated in the same way.

PropertyValue
dbpprop:abstract
  • Montague grammar is an approach to natural language semantics, named after American logician Richard Montague. The Montague grammar is based on formal logic, especially higher order predicate logic and lambda calculus, and makes use of the notions of intensional logic, via Kripke models. Montague pioneered this approach in the 1960s and early 1970s. Montague's thesis was that natural languages and formal languages can be treated in the same way. "There is in my opinion no important theoretical difference between natural languages and the artificial languages of logicians; indeed, I consider it possible to comprehend the syntax and semantics of both kinds of language within a single natural and mathematically precise theory. On this point I differ from a number of philosophers, but agree, I believe, with Chomsky and his associates. " (Universal Grammar 1970) Montague published what soon became known as Montague grammar in three seminal papers: 1970: Universal grammar (= UG) 1970: English as a Formal Language (= EFL) 1973: The Proper Treatment of Quantification in Ordinary English (= PTQ) Montague's treatment of quantification has been linked to the notion of continuation in programming language semantics.
  • モンタギュー文法は自然言語の意味論へのアプローチの一つ。アメリカの論理学者リチャード・モンタギューの名を採って名付けられた。 モンタギュー文法は形式論理学、特にラムダ計算と集合論にもとづき、内包論理とタイプ理論も利用している。 モンタギューはこのアプローチを 1960 年代から 1970 年代の初頭にかけて率先した。 モンタギューによれば（英語のような）自然言語の意味論と（述語論理のような）形式言語のそれとの間に本質的な違いはない。 モンタギュー文法の中心的な概念は論文 "The Proper Treatment of Quantification in Ordinary English" ではじめて提案された。 モンタギューの量化の扱いはプログラミング意味論の継続の概念と関連付けられている。（Continuations in Natural Language 参照）
dbpprop:hasPhotoCollection
dbpprop:reference
rdfs:comment
  • Montague grammar is an approach to natural language semantics, named after American logician Richard Montague. The Montague grammar is based on formal logic, especially higher order predicate logic and lambda calculus, and makes use of the notions of intensional logic, via Kripke models. Montague pioneered this approach in the 1960s and early 1970s. Montague's thesis was that natural languages and formal languages can be treated in the same way.
rdfs:label
  • Montague grammar
  • モンタギュー文法
owl:sameAs
skos:subject
foaf:page
is dbpprop:disambiguates of
is dbpprop:redirect of