Similar to 意味論_(論理学)

意味論 (論理学)

内包と外延
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
負論理
Logic level