Similar to 命題
9
9
12345679
論理式 (数学)
Logical formula原子論理式
Atomic formula
シークエント
Sequent推論規則
Rule of inference
数式
Expression (mathematics)
全称記号
Universal quantification
ポーランド記法
Polish notation
意味論 (論理学)
共有知識
Common knowledge (logic)
決定可能性
Decidability (logic)ジレンマ
Dilemma
真実らしさ
Verisimilitude
スーパータスク
Supertask絶対性 (数理論理学)
Absoluteness (logic)
説明
Explanation
妥当性
Validity (logic)
ドクサ
Doxa
二律背反
Antinomy
認識的閉包
Epistemic closure
白馬非馬
White Horse Dialogue
反照的均衡
Reflective equilibrium
反心理主義
Anti-psychologism
必然性
Necessity (logic)
ヒュームの原理
Hume's principle
ポルピュリオスの樹
Porphyrian tree
ロゴス
Logos