検索結果

[[Category:論理学]] …

…意味で"不可能"であることを除けば、（それが何であれ）可能世界と同種のものである。文脈によって、ある[[矛盾]]が ''w'' では真となること、[[論理学]]または[[形而上学]]の正規の規則が ''w'' では成立できないこと、またはその両方を意味する。 …学|公理系K]]よりも弱い[[様相論理]]、特に必然化規則規則 (necessitation rule) を棄却する様相論理に[[意味論 (論理学)|意味論]]を与える純粋な技術的手段として用いられた。以下、<math>\Box</math>は必然演算子である。 …

…'''（[[英語|英]]: '''Autoepistemic logic'''）とは、知識に関する知識を表現したり推論したりするために定式化された[[論理学|形式論理]]である。[[命題論理]]は事実しか表現できないが、自己認識論理は知識やある事実に関する知識がないことを表現できる。 == 意味論 == …

…[意味論 (曖昧さ回避)|意味論]]）、その推論が行われた状況において妥当であること（[[語用論]]）、その推論の構文が妥当であること（[[統語論 (論理学)|構文論]]）、が考えられる。 [[論理学]]の[[古典論理]]では、ある言語によって表現された文章内容が「真偽を問えるもの」であった場合、それを[[命題]]と呼び、ある命題から他の命題を導くこ …

[[論理学]]において、'''正規[[様相論理]]'''（せいきようそうろんり、''normal modal logic''）とは、以下の条件を満たす様相論理式（ …

==意味論== [[Category:論理学]] …

…んしき、'''トートロジー'''、{{lang-en-short|tautology}}、ギリシャ語の{{el|ταυτο}}「同じ」に由来）は、[[論理学]]の用語で「aである[[論理包含|ならば]]aである（a → a）」「aである、[[論理和|または]]、aで[[論理否定|ない]]（a∨￢a）」のよう …utive property#Propositional logic |分配律]]、[[吸収法則|吸収律]]、[[ド・モルガンの法則]]、[[対偶 (論理学)|対偶律]]、[[選言三段論法|選言的三段論法]]、[[モーダスポネンス|前件肯定式]]、推移律、移入律、{{仮リンク|移出律|en|Exportat …

[[論理学]]および[[言語学]]において、表現が'''共義的'''（syncategorematic）であるのは、その表現が指示対象を欠くが、にもかかわらずその …とができるということが示されている。しかし、共義性が[[自然言語]]において何らかの役割を果たしているのかどうかについては未だ未解明である。現代の[[論理学]]や[[数学]]では、自義的定義・共義的定義のいずれも広く用いられている<ref>{{cite encyclopedia |last= MacFarl …

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

…en-short|formal language}}）は、その[[文法]]（構文、[[統語論]]）が、場合によっては意味（[[意味論 (曖昧さ回避)|意味論]]）も、形式的に与えられている（[[形式体系]]を参照）[[言語]]である。形式的でないために、しばしば曖昧さが残されたり、話者集団によって用法のうつ それらの学問分野では、如何なる形式言語を研究すべきかの[[文法|文法論]]（構文論・統辞論）や形式言語の[[意味論 (曖昧さ回避)|意味論]]や[[演繹|演繹論]]が研究される。 …

[[Category:意味論 (論理学)]] …

クリプキはこの S5 に非常に単純な[[意味論 (論理学)|意味論]]が当てはまることを示した（下の[[#様相論理の意味論]]参照）。しかし実際には、議論の目的によって適切な公理系は異なる。例えば、真理論的様相に関して 様相論理の[[意味論 (論理学)|意味論]]としては[[ソール・クリプキ]]によって与えられた[[クリプキ意味論]]と呼ばれる体系があり、それと関係するよく知られたアイディアとして[[可能世界 …

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

'''動的意味論'''（どうてきいみろん）は、[[論理学]]や[[意味論 (言語学)|自然言語意味論]]において、「文の意味」というものを「文脈を更新する能力」として扱う枠組みである。静的意味論では、文の意味を知ることはその * [[意味論 (言語学)]] …

== 意味論 == …

…。そのため、証明論には'''構文論'''的（言語学の用語を使うと[[統語論]]的）性質があるが、対照的に[[モデル理論]]には[[意味論 (論理学)|意味論]]的（[[形式意味論]]も参照）性質がある。[[モデル理論]]、[[公理的集合論]]、[[再帰理論]]などと共に[[数学基礎論]]の四本柱とされている …

…h> であり、これによって新たな式 <math>Q(v, P)</math> が生成される。束縛演算子の意味は、その言語の[[意味論 (曖昧さ回避)|意味論]]で提供されるもので、ここでは考慮しない。 …

…学]]における（論理式の）操作的意味論に相当するものが[[証明論]]であるのに対し、'''モデル理論'''は同様の類推で表示的[[意味論 (論理学)|意味論]]に当たる。すなわち、前者は論理式の証明中での振る舞いを定めた形式的体系を研究するのに対して、後者は論理式の構成要素である記号に数学的対象（元、関数、 …コーレム]]はその公理を満たす別のモデル（[[算術の超準モデル]]）を開発した。これはある特定のモデルにおいて、言語または理論を{{仮リンク|解釈 (論理学)|label=解釈|en|Interpretation (logic)}}することによって何を意味するのかを説明する。より伝統的な例は、ある群によって …

…の一分野を[[モデル理論]]と呼ぶ。[[証明論]]という一分野では[[形式体系]]の証明そのものの構造を研究する。完全性定理は[[意味論 (論理学)|意味論]]と[[統語論]]の間を繋ぐことでこれら2つの分野の基本的な繋がりを確立している。しかし、完全性定理はこれら2つの概念の差異をなくすものではない。実際 …

'''矛盾許容論理'''（むじゅんきょようろんり、Paraconsistent Logic）とは、[[矛盾]]を特別な方法で扱う[[論理学|論理体系]]。また、矛盾に対して耐性のある論理を研究・構築する論理学の一分野を指す。'''矛盾許容型論理'''とも。 * [[意味論 (論理学)|意味論]]: [[嘘つきパラドックス]]などに陥らない真実の形式的かつ単純な説明手段として矛盾許容論理が提案されてきた。しかし、そのような体系では[[カリーの …