Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
形式論理(けいしきろんり)とは、 近代(哲学からの影響の薄れた)以降における論理学である数理論理学における論理のように、形式体系として整っている論理のこと。 (独)Formale Logik: ドイツ観念論哲学の祖と言われるイマヌエル・カントがアリストテレス流の論理学に与えた名称。自己の唱えた Transzendentale
論理式 論理式 (数学) - 数理論理学、命題論理、述語論理において、形式文法の規則に合った式のこと。 プログラミング言語などで、ブーリアン型を扱う式のこと。 このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探
数学における論理式(ろんりしき: logical expression)とは、真理値を必要とする場所にあらわれる式で、原子論理式や、それを論理演算子で結びあわせた式である。ここでは古典論理のものを例示するが、非古典論理をはじめ、他の多くの論理体系についても同様な議論は可能である。 命題論理の論理式は命題論理
非線形物理学(ひせんけいぶつりがく、英: Nonlinear physics)は、非線形な系を扱う物理学の分野である。カオス理論、ソリトン、格子振動で調和近似の成り立たない場合、線形な方程式では記述できない流体力学分野などがこの学問分野の対象となる。 非平衡 複雑系 非線形科学 表示 編集
ようにすると、その説明自体は論理的には何一つ曇り無く正確であることに注意。連続体仮説、選択公理などを参照のこと。 ^ a b 「論理学史」p195 山下正男 岩波書店 1983年9月14日第1刷発行 ^ 毎日新聞社編『話のネタ』PHP文庫 p.55 1998年 ^ 「近代科学の源をたどる
線形論理(せんけいろんり、英: Linear logic)は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源としての仮説 (hypotheses as resources)」という解釈をする。すなわち、全ての仮説は証
非表象理論(ひひょうしょうりろん、Non-representational theory)とは、英語圏の人文地理学において発展した理論である。言語や図像といった「表象を超えて」、情動や身体的実践から人間の社会的行為を分析する点が特徴である。しばしば、NRTと略称される。
非単調論理(ひたんちょうろんり、英: Non-monotonic logic)とは、帰結関係が単調でない論理を意味する。多くの形式論理は単調な帰結関係であり、理論に論理式を追加しても帰結は還元されない。直観的に言えば、単調性とは新たな知識の学習によって既に存在する知識が減ることがないことを意味する