语言
没有数据
通知
无通知
「並行性意味論」は並行処理の形式意味論を扱う意味論一般を指す。特筆すべきものとしてはアクターモデルやプロセス代数がある。 「ゲーム意味論」はゲーム理論をベースとした形式意味論である。 場合によっては、異なる意味論間の関係を説明する必要が生じる。例えば: ある言語の操作的意味論の結果が、その言語の公理的意味
より一般化して、ゲーム意味論は述語論理にも適用される。新たなルールとして、支配的な量化子をその所有者（立証者は存在記号を所有し、偽証者は全称記号を所有する）が削除でき、その際に束縛変項の全ての出現をプレイヤーの選んだ任意の定項で置き換える。このとき、全称量化では1つの反例で偽となり、存在量化では1つの例で真となることに注意されたい。
意味論（いみろん）とは論理学の分野である。 言語学における統語論は、数理論理学では証明論に対応する。同様にして言語学における意味論に対応するのが数理論理学における意味論である。証明論では対象を単なる記号として扱い、その記号の操作のみによるものとして証明をおこなう。たとえば「点A」というものがあって
semantics)と言う。 さらに、可能性や必然性、条件文などの表現を扱うために、この考えは可能世界意味論に拡張される。可能世界意味論では、文が可能世界にどのように写像されるかを取り扱う。たとえば、「雪が白いかもしれない」という文の表す命題は、雪がさまざまな色をしている可能世界の中に雪が白い可能世界が少なくとも一つ存在し、そこに写像されると考える。
一般意味論（いっぱんいみろん、General Semantics）は、アルフレッド・コージブスキー（1879年 - 1950年）により1919年から1933年までの間に構築された教育的規範である。一般意味論は、言語学の意味論とは全く異なる。その名称は、コージブスキーが「意味反応」(Semantic
)\Leftrightarrow \forall x(\phi \rightarrow \psi )} 更新意味論（こうしんいみろん）は、フランク・ヴェルトマンによって開発された動的意味論の枠組みである。更新意味論において、各々の式 φ {\displaystyle \varphi } は談話文脈を受け取って談話文脈を返す関数
反義関係 包摂関係 一つの語や形態素（語彙素）が担う意味を意義素という。ちょうど音素が音韻論における基本的な単位であるのと同様に、意義素は意味論における基本的な単位であるという見立てができる。そして音素がさらに弁別素性の集まったものと考えられるのと同じように、意義素
(1)言葉・記号などで表現され， また理解される一定の内容。
搜索 
搜索 搜索 
