-
英汉对照逻辑学术语表（部分）
英文
abductive
reasoning
abstract sentence
acceptability
alethic logic
all
ambiguity of term
analog
analogical model
analogous justification
analytic statement
antecedent
anti syllogism
anti-dilemma
argument by
metaphor
argument/demonstration
argumentation
argumentative
reasoning
argumentum ad baculum
argumentum ad hominem
argumentum ad ignorontiam
argumentum ad judicium
argumentum ad misericordiam
argumentum ad personam
argumentum ad populum
argumentum ad vanitatem
argumentum ad verecundiam
artificicial language
assignment
attribute
basic semantic interpretations
being proper inclusion
belief logic
bivalent
principle
bound variable
broad context
bund
occurrence of variable
bund variable
case-based reasining
（
CBR
）
categorical proposition
causal reasoning
circle in
definition
circuit
diagram
；
electric
circulus in demonstrando
classification
中文
溯因推理
抽象语句
可接受性
真势模态逻辑；真值模态逻辑；客观逻辑
所有
语词歧义
类比物
类比模式
类比论证
分析陈述
前件
反三段论
反二难推理
喻证法
论证
论辩
论辩推理
诉诸暴力
诉诸个人
诉诸无知
诉诸感情
诉诸怜悯
人身攻击
诉诸公众
诉诸奉承
诉诸权威
人工语言
指派
属性
基本语义解释
真包含于关系
相信逻辑
二值原则
约束变元
广义语境
变元的约束出现
约束变元
范例推理
直言（性质）命题
因果推理
循环定义
电路图
循环论证
分类
英文
collective
collective term
common attribute
common name
compatibility
complete
induction
completeness theorem
compound concept
compound
proposition
concept/ conception
Conception
；
ideas
conclusion
conditional propositional hypothetical
proposition
Confirmation
；
verification
conjunct
conjunction
conjunctive
proposition
connective
consensus
consequent
consistency
construction
content/materal of thinking
context
contradictio in
adiecto
contradiction
contrariety
conversion
cooperrative principle
copula
copula
corroboration
corroboration
crucial evidence
crucial
experiments
de dicto modality
de re modality
deductive
argument/deductive proof
deductive
logic
deductive-nomological model
defenses
definiendum
definiens
definitio fit per genus proximum et
differentiam specificam
definitio
；
defffinitio
definition
definition is too narrow
definition is too wide
definition per genus et differerntiam
中文
集合体
集体词项
共有属性
通名
相容关系
完全归纳推理
完全性定理
复合概念
复合命题
概念
观念
结论
充分条件假言命题
证实
联言（合取）支
合取
/
合取式
联言（合取）命题
联项
共识
后件
协调性
建构
思维内容（材料）
语境
自相矛盾
矛盾关系
反对关系
换位法
合作原则
定义联项
定义联项
确证
确证
判决性证据
判决性试验
从言的模态
从物的模态
演绎论证
演绎逻辑
定律覆盖的演绎模型
辩护
被定义项
定义项
属加种差定义
下定义
定义
定义过窄
定义过宽
属加种差定义
英文
deontic logic
derivation
；
entail
ment
derived rule of inference
description
descriptive
statement
designation
dialectical reasoning
dichotomy
differentia
differentia specifica
dilemma
direct argument
direct refutation
disjunct
disjunction
disjunctive
proof method
disjunctive proposition
disproof method
distinctio
distinctive attribute
distribution
division
domain of individuals
elimination proof
enthememe
enumera
te
；
particularize
epistemic logic
equivocation
equivocation
Euler
’
s diagram
evaluative statement
example
；
citing
exclusion
exclusive
disjunctive proposition
existential
proposition
existential quantifier
extention of term
extentional context
extentional logic
factual
elements
factual judgment
fallacia consequentis
fallacia non causae ut causae
fallacy
fallacy of
composition
fallacy of division
false
falsification
figures of syllogism
中文
道义逻辑
推导
导出规则
摹状词
描述陈述
所指
辩证推理
二分法
种差
种差
二难推理
直接论证
直接反驳
选言（析取）支
析取
/
析取式
淘汰法
选言命题
反证法
区别
特有属性
周延性
划分
个体域
排除法
省略三段论
列举
认知逻辑
混淆概念
偷换概念
欧拉图
评价陈述
举例
不相容关系（全异关系）
不相容的选言命题
特称（存在）命题
存在量词
词项的外延
外延语境
外延逻辑
事实因素
事实判断
虚假推断
误推原因
谬误
合谬
分谬
假
证伪
/
否证
三段论的格
英文
finding
first-order logic
first-
order predicate logic
Forbid
；
forbiddon
forbidden proposition
forecast of science
form of
inference
form/structure of thinking
formal deduction with premise
formal fallacy
formal
implication
formal language
formal reasoning
formation
rule
formation rules
formula
fortiori
foundational rules
of syllogism
free occurrence of
variable
free variable
functional definition
fundamentum divisionis
general term
generalization
of term
generalized modal
genetic definition
genus
genus
hasty generalization
hasty generalization
hasty
induction
high-order logic
Hume's problem
hypothesis of
science
hypothesis of work
hypothetical proposition
hypothetical syllogism
hypothetico-deductive method
identity
ignoratio elenchi
illocutionary acts
implication
implicature
inclusive disjunctive proposition
incomplete induction
independent
independent
proof
indirect argument
indirect proof
中文
判决，裁决
一阶逻辑
（一阶）谓词逻辑
禁止
禁止命题
科学预测
推理形式
思维形式（结构）
有前提的形式推演
形式谬误
形式蕴涵
形式语言
形式推理
形成规则
形成规则
公式
当然推论
三段论的基本规则
变元的自由出现
自由变元
功用定义
划分的根据
普遍词项
词项的概括
广义模态逻辑
发生定义
属
属概念
轻率概括
以偏概全
轻率归纳
高阶逻辑
休谟问题
科学假说
工作假说
假言命题
假言三段论
假说
-
演绎法
全同关系
偷换论题；转移论题
语旨行为
蕴涵
/
蕴涵式
隐涵
相容的选言命题
不完全归纳推理
独立（关系）
独立证明
间接论证
反证法
英文
indirect refutation
individual
individual
constant
individual variable
inductive inference
inductive justification
inductive logi inference
inductive method
inductive
support
inductive-statistical model
inference
inference by
analogy
informal fallacy
instances
instantiation
integration
intention of
term
intentional context
intentional logic
interpretated term
interpretation of science
interpretative term
intersection
inverse
implication
inverse implication
inverse implication
inversion
irreleveent
dialectic
judgment
Judicial
Reasoning
judicial subsumption
Judicial syllogism
justification
kind-term
knowledge logic
language
language expression
law of
contradiction
law of excluded middle
law of identity
law of
sufficient reason
legal concept
Legal Logic
limitation of
term
locutionary acts
logic
of science
logical connective
main connectives
secondary
connective
中文
间接反驳
个体词
个体常项
个体变元
归纳推理
归纳论证
归纳逻辑
归纳方法
归纳支持
归纳一统计模式
推论
类比推理
非形式谬误
实例
例示
整合
词项的内涵
内涵语境
内涵逻辑
被解释项
科学解释
解释项
交叉关系
反若则命题
反蕴涵
逆蕴涵
戾换法
不相干的论辩
判断
司法推理；审判推理
司法归类
司法三段论
正当性论证
类名
知道逻辑
语言
语言表达式
矛盾律
排中律
同一律
充足理由律
法律概念
法律逻辑学
词项的限制
语谓行为
科学逻辑
逻辑联结词
主联结词
从联结词