検索結果
ナビゲーションに移動
検索に移動
- 3キロバイト (121 語) - 2021年4月29日 (木) 00:38
- == 意味論 == …5キロバイト (264 語) - 2019年11月18日 (月) 10:24
- 4キロバイト (167 語) - 2019年11月21日 (木) 03:29
- === 意味論 === === 意味論 === …8キロバイト (470 語) - 2018年10月3日 (水) 21:59
- ==意味論== …6キロバイト (359 語) - 2024年8月13日 (火) 06:36
- 3キロバイト (169 語) - 2024年5月4日 (土) 10:41
- …学|公理系K]]よりも弱い[[様相論理]]、特に必然化規則規則 (necessitation rule) を棄却する様相論理に[[意味論 (論理学)|意味論]]を与える純粋な技術的手段として用いられた。以下、<math>\Box</math>は必然演算子である。 …7キロバイト (227 語) - 2021年9月15日 (水) 15:15
- …en-short|formal language}}）は、その[[文法]]（構文、[[統語論]]）が、場合によっては意味（[[意味論 (曖昧さ回避)|意味論]]）も、形式的に与えられている（[[形式体系]]を参照）[[言語]]である。形式的でないために、しばしば曖昧さが残されたり、話者集団によって用法のうつ それらの学問分野では、如何なる形式言語を研究すべきかの[[文法|文法論]]（構文論・統辞論）や形式言語の[[意味論 (曖昧さ回避)|意味論]]や[[演繹|演繹論]]が研究される。 …10キロバイト (279 語) - 2025年3月11日 (火) 18:10
- 2キロバイト (70 語) - 2014年11月13日 (木) 16:12
- ===意味論=== {{Main|意味論 (論理学)|形式意味論}} …10キロバイト (230 語) - 2025年3月15日 (土) 11:24
- NAF の[[プログラム意味論|意味論]]は未解決の問題だったが、Keith Clark (1978) によって論理プログラムの完全性 (completion) の観点で正しいことが示された …6キロバイト (417 語) - 2024年11月24日 (日) 17:00
- ===意味論=== …8キロバイト (467 語) - 2022年10月25日 (火) 16:00
- …あらゆる事柄は[[言語]]において[[表現]]されるのであるから、妥当な推論には、その推論が指し示す事柄が妥当であること（[[意味論 (曖昧さ回避)|意味論]]）、その推論が行われた状況において妥当であること（[[語用論]]）、その推論の構文が妥当であること（[[統語論 (論理学)|構文論]]）、が考えられ …5キロバイト (161 語) - 2024年11月21日 (木) 08:02
- '''動的意味論'''（どうてきいみろん）は、[[論理学]]や[[意味論 (言語学)|自然言語意味論]]において、「文の意味」というものを「文脈を更新する能力」として扱う枠組みである。静的意味論では、文の意味を知ることはその * [[意味論 (言語学)]] …15キロバイト (656 語) - 2022年7月23日 (土) 09:17
- ==意味論== …13キロバイト (686 語) - 2024年9月7日 (土) 10:23
- [[Category:意味論 (論理学)]] …4キロバイト (386 語) - 2024年4月13日 (土) 17:27
- クリプキはこの S5 に非常に単純な[[意味論 (論理学)|意味論]]が当てはまることを示した（下の[[#様相論理の意味論]]参照）。しかし実際には、議論の目的によって適切な公理系は異なる。例えば、真理論的様相に関して 様相論理の[[意味論 (論理学)|意味論]]としては[[ソール・クリプキ]]によって与えられた[[クリプキ意味論]]と呼ばれる体系があり、それと関係するよく知られたアイディアとして[[可能世界 …17キロバイト (696 語) - 2024年5月16日 (木) 05:53
- == 意味論 == …16キロバイト (400 語) - 2024年7月13日 (土) 15:31
- …h> であり、これによって新たな式 <math>Q(v, P)</math> が生成される。束縛演算子の意味は、その言語の[[意味論 (曖昧さ回避)|意味論]]で提供されるもので、ここでは考慮しない。 …7キロバイト (289 語) - 2022年8月1日 (月) 11:09
- 10キロバイト (557 語) - 2025年2月6日 (木) 17:22