Similar to 意味論_(論理学)
意味論 (論理学)
Semantics
内包と外延
Intension
疑念
Doubt
決定可能性
Decidability (logic)
事実
Fact
絶対性 (数理論理学)
Absoluteness (logic)
説明
Explanation
全称命題
Categorical proposition
妥当性
Validity (logic)
定義
Definition
ドクサ
Doxa
解釈可能性論理
Interpretability logic近傍意味論
Neighborhood semantics
形式体系
Formal system
形式論理学
Formal logic
限定
構成規則
Formation rule
自然種
Natural kind
時相論理
Temporal logic
自明
証明
証明可能性論理
Provability logic
数学基礎論
Foundations of mathematics数理論理学
Mathematical logic
正論理
線形時相論理
Linear temporal logic
ソフィスト
Sophist
定義可能集合
Definable set