検索結果

== 統語論 == 自己認識論理の[[統語論]]は、命題論理に知識を表す様相作用素 <math>\Box</math> を追加したものである。<math>F</math> を論理式としたとき <m …

…tion rule）もしくは'''形成規則'''とは、[[アルファベット (計算機科学)|アルファベット]]からなる記号列のうち、どれが当該言語で[[統語論]]的に正しいかを定める規則である。構成規則で言及されるのは記号列の配置や操作といった統語論的対象のみであり、従って式の{{仮リンク|解釈 (論理学)| …

…essdate=2021-11-21|language=ja-JP}}</ref>。[[言語学]]の諸分野のうち、[[音韻論]]、[[形態論]]、[[統語論]]、[[命数法]]、[[文字]]、[[比較言語学]]などから出題される<ref name=":1">{{Cite web|和書|title=問題集|u |[[統語論|統語]] …

=== 統語論 === …

'''形式言語'''（けいしきげんご、{{lang-en-short|formal language}}）は、その[[文法]]（構文、[[統語論]]）が、場合によっては意味（[[意味論 (曖昧さ回避)|意味論]]）も、形式的に与えられている（[[形式体系]]を参照）[[言語]]である。形式的でな …

…ること（[[意味論 (曖昧さ回避)|意味論]]）、その推論が行われた状況において妥当であること（[[語用論]]）、その推論の構文が妥当であること（[[統語論 (論理学)|構文論]]）、が考えられる。 …

…デル理論]]と呼ぶ。[[証明論]]という一分野では[[形式体系]]の証明そのものの構造を研究する。完全性定理は[[意味論 (論理学)|意味論]]と[[統語論]]の間を繋ぐことでこれら2つの分野の基本的な繋がりを確立している。しかし、完全性定理はこれら2つの概念の差異をなくすものではない。実際、もう1つの成果 …n:Original proof of Gödel's completeness theorem|en]])は、問題を論理式の特殊ケースを表すある[[統語論]]的な形式に還元し、以後はその形式を場当たり的な方法で扱った。 …

しかし、以上の解釈は単に教育的な意味しかない。形式的証明は純粋に[[統語論 (論理学)|統語的]]であるため、シークエントの[[意味論 (論理学)|意味]]は実際の[[推論規則]]を提供する計算法の属性として与えられるものであ …

変数束縛機構は数学、論理学、計算機科学など様々な分野で使われるが、いずれの場合もそれらは式と変数についてのその分野における全く[[統語論|統語的]]な属性である。ここでは式を[[木 (数学)|木]]で表し、その葉ノードに変数、定数、定項などが対応し、葉でないノードに論理演算子が対応するよ …

非自明なモデルの文脈における[[統語論]]および[[意味論 (論理学)|意味論]]を含む基本的な関係を説明するために、統語論側で[[ペアノの公理]]のような[[自然数]]についての適切な[[ …|label=シグネチャ|en|Signature (logic)}}の[[意味論 (論理学)|意味論]]を与える一方、[[数理論理学|論理]]は[[統語論]]を与える。[[恒等式]]および{{仮リンク|疑恒等式|en|Quasiidentity}}の項とともに、普遍代数はいくつかの限定的な統語論のツールも …

'''範疇文法'''（はんちゅうぶんぽう、{{lang-en-short|Categorial grammar}}）は[[自然言語]]の[[統語論]]において、[[構成素|統語成分]]が[[関数 (数学)|関数]]やその[[引数]]の結合であるとの仮説に基づいて編成された[[形式主義]]文法理論で …

以下では、議論を[[統語論|統語]]（syntax）の曖昧性（ambiguity）に限定し、さらに用語として「文法」ではなく「統語」を使うことができる文脈ではできるだけ「統語」を …

…]]などがある。これらは論理体系の[[公理]]や[[推論規則]]によって構築される。そのため、証明論には'''構文論'''的（言語学の用語を使うと[[統語論]]的）性質があるが、対照的に[[モデル理論]]には[[意味論 (論理学)|意味論]]的（[[形式意味論]]も参照）性質がある。[[モデル理論]]、[[ …

{{Main|統語論 (論理学)}} …

…えられているものの、最近の研究論文においてもなお言及される。問題というよりは理解に役立つ例（例えば、動作の推論のための新しい論理に関する{{仮リンク|統語論 (論理学)|en|Syntax (logic)|preserve=1}}の説明）として用いられるのである …

…念を提唱した。記号自体は[[記号学]]における4つの相互依存したレベル、層、分野、すなわち[[語用論]]・[[意味論 (曖昧さ回避)|意味論]]・[[統語論]]・Empiricsにおいて考慮される。これらの4つの層は、社会と物理世界や技術世界を接続する役目を担っている。 [[統語論]]はメッセージを表現する際に使われる形式を扱う。統語論はコミュニケーションにおける記号体系の論理や文法を研究する分野である。統語論は記号や記号体系の内 …

…文法は[[音韻論]]、[[形態論]]、[[意味論 (言語学)|意味論]]、[[言語獲得]]など一般に扱うが[[統語論]]が主となっている。以下では[[統語論]]に話題を絞り、他の領域に関してはそれぞれ関連記事を参照されたい。 …

エルブラン基底を導入することで、論理式を[[命題論理]]式として扱うことができ、論理式の意味を[[統語論|構文的]]に決めることができる。 …