Similar to 形式的検証
数学基礎論
Foundations of mathematics
数理論理学
Mathematical logicデジタル物理学
Digital physics
ファジィ論理
Fuzzy logic
二人の将軍問題
Two Generals' Problem
部分観測マルコフ決定過程
Partially observable Markov decision process閉世界仮説
Closed-world assumption
ホーン節
Horn clause
マルコフ決定過程
Markov decision process
ヨセフスの問題
Josephus problem
ラフ集合
Rough set
アプリオリ
A priori knowledge
イデオロギー
Ideology▲1 trends
違法性阻却事由 (国際法)
違法性阻却事由 (日本法)
Justification (jurisprudence)
威力に訴える論証
Argumentum ad baculum
過剰正当化効果
Overjustification effect帰結主義
Consequentialism
基礎付け主義
Foundationalismゲティア問題
Gettier problem
権威
Authority
権原
Entitlement program
考証
合理化 (心理学)
Rationalization (psychology)
黒人の友人を持つ私は、人種差別主義者ではない
I'm not racist, I have black friends
自然の斉一性
消極的事実の証明
Evidence of absence
証拠
Evidence (law)
