Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
語彙論(ごいろん、英語:lexicology)は、語彙を扱う言語学の部門である。近接する分野に辞書を扱う辞書学がある。 意味論 意味論のうち、対義語、類義語といった語義の関連を対象とする分野は語彙意味論と呼ばれる。 語句論 慣用句、イディオムなどが語彙の中でどのような位置づけをされるかという点から、
論理学・哲学における意味論。 意味 (哲学)(英語版) - 哲学における「意味の理論」(theories of meaning) プログラム意味論 - コンピュータ科学での意味論。 オントロジー (情報科学) セマンティック・ウェブ OWL 公理的意味論 操作的意味論 意味ネットワーク 意味論 (心理学)(英語版)
意味論(いみろん、英: semantics)とは、言語学において語・句・文・テクストといった記号列(文字列)の構成について論じる統語論と2大分野として対をなす、その記号列が表す意味について論じる分野である。また、実際の発話や文脈に依存した記号の使用に関わる語用論とも対置される。 統語論と意味論
「並行性意味論」は並行処理の形式意味論を扱う意味論一般を指す。特筆すべきものとしてはアクターモデルやプロセス代数がある。 「ゲーム意味論」はゲーム理論をベースとした形式意味論である。 場合によっては、異なる意味論間の関係を説明する必要が生じる。例えば: ある言語の操作的意味論の結果が、その言語の公理的意味
より一般化して、ゲーム意味論は述語論理にも適用される。新たなルールとして、支配的な量化子をその所有者(立証者は存在記号を所有し、偽証者は全称記号を所有する)が削除でき、その際に束縛変項の全ての出現をプレイヤーの選んだ任意の定項で置き換える。このとき、全称量化では1つの反例で偽となり、存在量化では1つの例で真となることに注意されたい。
(1)〔vocabulary〕
derivation of programs" であった。 述語変換意味論では、命令型プログラミング言語の意味論(プログラム意味論)を定義するため、その言語の各「コマンド」に「述語変換子; Predicate Transformer」を対応させる。「述語変換子」は、プログラムの部分について2つの述語を対応させる全体関数である。
意味論(いみろん)とは論理学の分野である。 言語学における統語論は、数理論理学では証明論に対応する。同様にして言語学における意味論に対応するのが数理論理学における意味論である。証明論では対象を単なる記号として扱い、その記号の操作のみによるものとして証明をおこなう。たとえば「点A」というものがあって