形式逻辑
规范用词
形式逻辑
英文翻译
formal logic
所属学科
自然辩证法
>
科学哲学
>
科学哲学总论
名词审定
自然辩证法名词审定委员会
见载刊物
《
自然辩证法名词
》 科学出版社
公布时间
2003年
科学哲学总论 的上级学科
自然辩证法
科学哲学
形式逻辑 相关科技名词
达到最佳说明的推论
inference to the best explanation
反溯推理
retroactive reasoning
推理的理解模式
understanding modes of reasoning
反事实条件句
counterfactual conditionals
假设条件句
subjunctive conditionals
主体条件句
subjective conditionals
论证模式
argument pattern
合式公式
well-formed formulas
科学逻辑
scientific logic
经典逻辑
classical logic
三段论
syllogism
形式逻辑
formal logic
数理逻辑
mathematical logic
时态逻辑
temporal logic
模态逻辑
modal logic
反问逻辑
erotetic logic
直觉主义逻辑
intuitionist logic
道义逻辑
deontic logic
非经典逻辑
non-classical logic
次协调逻辑
para-consistent logic
n值逻辑
n-value logic
量子逻辑
quantum logic
不协调逻辑
non-consistent logic
相干逻辑
relevance logic
超赋值逻辑
supervaluation logic
逻辑记号
logical notation
逻辑词汇
logical vocabulary
逻辑构造
logical construct
逻辑概率
logical probability
逻辑重建
logical reconstruction
逻辑万能
logical omniscience
逻辑主义
logicism
逻辑原子论
logical atomism
演绎
deduction
演绎逻辑
deductive logic
演绎主义
deductionism
自反性
reflexivity
归纳
induction
归纳逻辑
inductive logic
休谟问题
Humean problem