Category:論理学の概念
白馬非馬
White Horse Dialogue
内包
スーパータスク
Supertask
ポルピュリオスの樹
Porphyrian tree
共有知識
Common knowledge (logic)
説明
Explanation
論理的推論
Logical reasoning
真実らしさ
Verisimilitude
矛盾
Contradiction外延
Extension (semantics)
論理的帰結
Logical consequence
決定可能性
Decidability (logic)
自己言及
Self-reference
命題
Proposition
アブダクション
Abductive reasoning