Category:論理学
ソフィスト
Sophist▲1 trends
自己言及のパラドックス
Liar paradox
三すくみ
数学基礎論
Foundations of mathematics
数理論理学
Mathematical logic
証明
循環論法
Circular reasoning
決定問題
Decision problem
非古典論理
Non-classical logic
自然種
Natural kind
形式論理学
Formal logic
論理哲学
Philosophy of logic
特殊化
ミルの方法
Mill's methods
冗語
Pleonasm
動的意味論
Dynamic semantics構成規則
Formation rule近傍意味論
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エティオロジー
Etiology
帰謬法 (修辞学)
Reductio ad absurdum
検証可能性 (科学哲学)
Testability証明 (数学)
Mathematical proof