Category:論理学

三すくみ

論文

IMRAD
IMRAD
自己言及のパラドックス
Liar paradox
限定

様相論理
Modal logic
ソフィスト
Sophist
ミュンヒハウゼンのトリレンマ
Münchhausen trilemma
議論
Disputation
ヴァイシェーシカ学派
Vaisheshika
冗語
Pleonasm
非古典論理
Non-classical logic
線形時相論理
Linear temporal logic
決定問題
Decision problem
クワイン・マクラスキー法
Quine–McCluskey algorithm
動的意味論
Dynamic semantics
正論

量子論理
Quantum logic
四値論理
Four-valued logic
自然種
Natural kind
論破
構成規則
Formation rule
数学基礎論
Foundations of mathematics
ミルの方法
Mill's methods
近傍意味論
Neighborhood semantics
論理哲学
Philosophy of logic
エルブラン化
Herbrandization
解釈可能性論理
Interpretability logic