Category:論理学
自己言及のパラドックス
Liar paradox
ソフィスト
Sophist
三すくみ
数学基礎論
Foundations of mathematics
証明
非古典論理
Non-classical logic
決定問題
Decision problem
形式論理学
Formal logic
ミルの方法
Mill's methods
証明可能性論理
Provability logic
特殊化
非形式論理学
Informal logic
動的意味論
Dynamic semantics
消極的事実の証明
Evidence of absence
限定
自然種
Natural kind構成規則
Formation rule
計算木論理
Computation tree logic近傍意味論
Neighborhood semantics
エルブラン化
Herbrandization
解釈可能性論理
Interpretability logic
正論理
Colorless green ideas sleep furiously
Colorless green ideas sleep furiously
Two wrongs don't make a right
Two wrongs don't make a right意味論 (論理学)
Semantics
帰謬法 (修辞学)
Reductio ad absurdum
検証可能性 (科学哲学)
Testability証明 (数学)
Mathematical proof