ブラウザよりも高速アクセス！
21 関係: 否定、含意、存在記号、完全情報ゲーム、モデル検査、ヤーッコ・ヒンティッカ、プログラム意味論、パウル・ローレンツェン、命題論理、アルフレト・タルスキ、ゲーム理論、全称記号、線形論理、直観論理、論理学、論理和、論理積、述語論理、量化、自由変数と束縛変数、意味論。
否定
数理論理学において否定 (ひてい、Negation) とは、命題の真と偽を反転する論理演算である。否定は英語で Not であるが、Invert とも言われ論理演算ではインバージョン（Inversion）、論理回路では Not回路やインバータ回路（Inverter）とも呼ばれ入力に対して出力が反転する。 命題 P に対する否定を ¬P, P, !P などと書いて、「P でない」とか「P の否定」、「P 以外の場合」などと読む。 ベン図による論理否定（NOT）.
含意
* 文や単語において、表面的には見えないような別の意味合いを持たせること。.
存在記号
存在記号（そんざいきごう、existential quantifier）とは、数理論理学（特に述語論理）において、少なくとも1つのメンバーが述語の特性や関係を満たすことを表す記号である。通常「∃」と表記され、存在量化子（そんざいりょうかし）、存在限量子（そんざいげんりょうし）、存在限定子（そんざいげんていし）などとも呼ばれる。 これとは対照的に全称記号は、何かが常に真であることを示す。.
新しい！!: ゲーム意味論と存在記号 · 続きを見る »
完全情報ゲーム
完全情報ゲーム（かんぜんじょうほうゲーム、game with perfect information）とは、すべての意思決定点において、これまでにとられた行動や実現した状態に関する情報がすべて与えられているような展開型ゲームのことをいう。言いかえれば、情報集合がすべて 1 点からなっており、どのノードにおいてもそこで手番をもつプレーヤーがそれまでの歴史を完全に把握できるようなゲームである。.
新しい！!: ゲーム意味論と完全情報ゲーム · 続きを見る »
モデル検査
モデル検査（Model Checking）とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足するかどうか検証する。仕様は時相論理の論理式の形式で記述することが多い。.
新しい！!: ゲーム意味論とモデル検査 · 続きを見る »
ヤーッコ・ヒンティッカ
ヤーッコ・ヒンティッカ (Jaakko Hintikka、1929年1月12日 - 2015年8月12日） はフィンランドの哲学者、論理学者である。 ヴァンター出身。フロリダ州立大学、スタンフォード大学、ヘルシンキ大学、フィンランドアカデミーで教鞭をとった。現在はボストン大学の哲学科教授である。30冊の著書と、300以上の論文がある多産な哲学者である。ヒンティッカは数理論理学、哲学的論理学、数学の哲学、認識論、言語の哲学、科学哲学に多大な貢献をした。 彼の著作や、論文は9つ以上の言語に訳されている。 ヒンティッカは形式的認識論理、論理学のためのゲーム意味論の創始者とみなされている。ヒンティッカははじめ「様相論理の意味論」を考え出した。それは「クリプキ意味論（Kripke semantics）」との関連性がある。「様相論理の意味論」は今では「分析的タブローの方法」として教えられているものである。ここ数十年、彼の仕事の多くはゲーム意味論や「Independence-friendly logic」（Branching quantifierとして知られる）についてである。Branching Quantifierは従来の一階述語論理における量化よりすぐれた直感的な量化であるとヒンティッカは考えている。 ヒンティッカはアリストテレス、カント、ウィトゲンシュタインやパースについて新しく重要な解釈を提出した。ヒンティッカの仕事は、フレーゲ、ラッセル、カルナップ、クワイン、そしてかれの同僚であったフィンランド人哲学者イェオルイ・ヘンリク・フォン・ヴリクトなどの英米分析哲学の潮流に続くものと見ることができる。 2005年、ヒンティッカは「様相概念、特に信念や知識の概念の論理分析にたいする先駆的な貢献」を称えられ、ショック賞（論理学・哲学部門）を受賞した。.
新しい！!: ゲーム意味論とヤーッコ・ヒンティッカ · 続きを見る »
プログラム意味論
プログラム意味論（program semantics）とは、計算機科学（特に理論計算機科学と分類されることもある）の一分野で、プログラミング言語の意味と計算モデルに関する分野である。形式的なものは、プログラミング言語の形式意味論とも呼ばれる。標準規格等では形式的でなく意味論を与えているものも多い。.
新しい！!: ゲーム意味論とプログラム意味論 · 続きを見る »
パウル・ローレンツェン
パウル・ローレンツェン（ドイツ語:Paul Lorenzen、1915年3月24日 - 1994年10月1日）は、ドイツ帝国（現:ドイツ）キール出身の哲学者、数学者、論理学者。 1950年後半に同国出身の哲学者と共にゲーム理論的概念に基づいた論理の意味論の手法である「ゲーム意味論」を提唱し、エルランゲン学派を創設したことで名高い - コトバンク、2013年9月3日閲覧。。.
新しい！!: ゲーム意味論とパウル・ローレンツェン · 続きを見る »
命題論理
命題論理（propositional logic）とは、数理論理学（記号論理学）の基礎的な一部門であり、命題全体を1つの記号に置き換えて単純化し、論理演算を表す記号（論理記号・論理演算子）を用いて、その命題（記号）間の結合パターンを表現・研究・把握することを目的とした分野のこと。ブール論理はブール代数で形式化され2値の意味論を与えられた命題論理とみることができる。 命題を1つの記号で大まかに置き換える命題論理に対して、命題の述語（P）と主語（S）を、関数のF(x)のように別記号で表現し、更に量化子で主語（S）の数・量・範囲もいくらか表現し分けることを可能にした、すなわちより詳細に命題の内部構造を表現できるようにしたものを、述語論理と呼ぶ。.
新しい！!: ゲーム意味論と命題論理 · 続きを見る »
アルフレト・タルスキ
アルフレト・タルスキ（Alfred Tarski, 1901年1月14日 - 1983年10月26日）はポーランドおよびアメリカの数学者・論理学者。彼の生年を1902年とする記述も散見されるが、これは誤りである。 アリストテレス、クルト・ゲーデル、ゴットロープ・フレーゲとともに、「四人の偉大な論理学者」の一人として数えられる。また、彼の名前は「バナッハ＝タルスキーの定理」などで知られる。.
新しい！!: ゲーム意味論とアルフレト・タルスキ · 続きを見る »
ゲーム理論
2007a。 ゲーム理論（ゲームりろん、）とは、社会や自然界における複数主体が関わる意思決定の問題や行動の相互依存的状況を数学的なモデルを用いて研究する学問である。数学者ジョン・フォン・ノイマンと経済学者オスカー・モルゲンシュテルンの共著書『ゲームの理論と経済行動』(1944年) によって誕生した 。元来は主流派経済学（新古典派経済学）への批判を目的として生まれた理論であったが、1980年代の「ゲーム理論による経済学の静かな革命」を経て、現代では経済学の中心的役割を担うようになった。 ゲーム理論の対象はあらゆる戦略的状況 （strategic situations）である。「戦略的状況」とは自分の利得が自分の行動の他、他者の行動にも依存する状況を意味し、経済学で扱う状況の中でも完全競争市場や独占市場を除くほとんどすべてはこれに該当する。さらにこの戦略的状況は経済学だけでなく経営学、政治学、法学、社会学、人類学、心理学、生物学、工学、コンピュータ科学などのさまざまな学問分野にも見られるため、ゲーム理論はこれらにも応用されている。 ゲーム理論の研究者やエンジニアはゲーム理論家（game theorist）と呼ばれる。.
新しい！!: ゲーム意味論とゲーム理論 · 続きを見る »
全称記号
全称記号（ぜんしょうきごう、universal quantifier）とは、数理論理学において「全ての」（全称量化）を表す記号である。通常「∀」と表記され、全称量化子（ぜんしょうりょうかし）、全称限量子（ぜんしょうげんりょうし）、全称限定子（ぜんしょうげんていし）、普遍量化子（ふへんりょうかし）、普通限定子（ふつうげんていし）などとも呼ばれる。.
新しい！!: ゲーム意味論と全称記号 · 続きを見る »
線形論理
線形論理（せんけいろんり、Linear logic）は、「弱化(weakning)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源としての仮説 (hypotheses as resources)」という解釈をする。すなわち、全ての仮説は証明において「一回だけ」消費される。古典論理や直観論理のような論理体系では、仮説（前提）は必要に応じて何度でも使える。例えば、A と A ⇒ B という命題から A ∧ B という結論を導出するのは、次のようになる。.
新しい！!: ゲーム意味論と線形論理 · 続きを見る »
直観論理
観主義論理（intuitionistic logic）、直観論理あるいは構成的論理（constructive logic）とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。例えば古典論理では、全ての論理式に真か偽の真理値 (\) が割り当てられる。このときその真理値に対する直接的なエビデンスを持つか否かは問題にしない。これはどのような曖昧な命題においても「真か偽かが決定可能である」ということを意味する。対照的に直観主義論理では確定的に論理式に真理値を割り当てるのではなく、それが真であるとは「直接的なエビデンス」つまり「証明」があることと見做す。 Instead they remain of unknown truth value, until they are either proved or disproved.
新しい！!: ゲーム意味論と直観論理 · 続きを見る »
論理学
論理学（ろんりがく、）とは、「論理」を成り立たせる論証の構成やその体系を研究する学問である。.
新しい！!: ゲーム意味論と論理学 · 続きを見る »
論理和
''P'' ∨ ''Q'' のベン図による表現 数理論理学において論理和（ろんりわ、Logical disjunction）とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す論理演算である。離接（りせつ）、選言（せんげん）とも呼び、ORとよく表す。 二つの命題 P, Q に対する論理和を P ∨ Q と書き、「P または Q」と読む。後述のように、日常会話における「または」とは意味が異なる。.
新しい！!: ゲーム意味論と論理和 · 続きを見る »
論理積
数理論理学において論理積（ろんりせき、logical conjunction）とは、与えられた複数の命題のいずれもが例外なく真であることを示す論理演算である。合接（ごうせつ）、連言（れんげん、れんごん）とも呼び、ANDとよく表す。 二つの命題 P, Q に対する論理積を P ∧ Q と書き、「P かつ Q」や「P そして Q」などと読む。 ベン図による論理積P \wedge Q の表.
新しい！!: ゲーム意味論と論理積 · 続きを見る »
述語論理
述語論理（じゅつごろんり、）とは、数理論理学における記号的形式体系群を指す用語で、一階述語論理、二階述語論理、、無限論理などが含まれる。これらの形式体系の特徴は、論理式に含まれる変数を量化できる点である。一般的な量化子として、存在量化子 ∃ と全称量化子 ∀ がある。変数は議論領域の要素、関係、関数などである。例えば、関数記号に対する存在量化は「ある関数が存在する」という修飾として解釈される。述語論理の基礎は、ゴットロープ・フレーゲとチャールズ・サンダース・パースがそれぞれ独自に生み出し発展させた。 述語論理と言った場合、一階述語論理を指すこともある。述語論理の公理化された形態を述語計算 (predicate calculus) と呼び、述語論理は非形式的でより直観的なものとする見方もある。 様相作用素と量化子を併用する論理も述語論理の一種とされる。これについては様相論理を参照。.
新しい！!: ゲーム意味論と述語論理 · 続きを見る »
量化
量化（りょうか、Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。.
自由変数と束縛変数
数学や形式言語に関連する分野（数理論理学と計算機科学）において、自由変数（または自由変項、free variable）は数式や論理式で置換が行われる場所を指示する記法である。この考え方はプレースホルダーやワイルドカードにも関連する。 変数x は、例えば次のように書くと 束縛変数（または束縛変項、bound variable）になる。 あるいは これらの命題では、x の代わりに別の文字を使っても論理的には全く変化しない。しかし、複雑な命題で同じ文字を別の意味で再利用すると混乱が生じる。すなわち、自由変数が束縛されると、ある意味ではその後の数式の構成をサポートする作業に関与しなくなる。 プログラミングにおいては、自由変数とは関数の中で参照される局所変数や引数以外の変数を意味する。.
新しい！!: ゲーム意味論と自由変数と束縛変数 · 続きを見る »
意味論
意味論（いみろん、英: semantics）とは、言語学では統語論に対置される分野、数学（とくに数理論理学）では証明論に対置される分野で、それらが中身（意味）に関与せず記号の操作によって対象を扱うのに対し、その意味について扱う分野である。なお、一般意味論というものもあるが、言語の使用に関する倫理を扱うものであり、ありていに言って無関係である。.
新しい！!: ゲーム意味論と意味論 · 続きを見る »
