英汉对照逻辑学术语表.docx
《英汉对照逻辑学术语表.docx》由会员分享，可在线阅读，更多相关《英汉对照逻辑学术语表.docx（23页珍藏版）》请在冰点文库上搜索。
英汉对照逻辑学术语表
英汉对照逻辑学术语表（部分）
英文
中文
abductivereasoning
溯因推理
abstractsentence
抽象语句
acceptability
可接受性
alethiclogic
真势模态逻辑；真值模态逻辑；客观逻辑
all
所有
ambiguityofterm
语词歧义
analog
类比物
analogicalmodel
类比模式
analogousjustification
类比论证
analyticstatement
分析陈述
antecedent
前件
antisyllogism
反三段论
anti-dilemma
反二难推理
argumentbymetaphor
喻证法
argument/demonstration
论证
argumentation
论辩
argumentativereasoning
论辩推理
argumentumadbaculum
诉诸暴力
argumentumadhominem
诉诸个人
argumentumadignorontiam
诉诸无知
argumentumadjudicium
诉诸感情
argumentumadmisericordiam
诉诸怜悯
argumentumadpersonam
人身攻击
argumentumadpopulum
诉诸公众
argumentumadvanitatem
诉诸奉承
argumentumadverecundiam
诉诸权威
artificiciallanguage
人工语言
assignment
指派
attribute
属性
basicsemanticinterpretations
基本语义解释
beingproperinclusion
真包含于关系
belieflogic
相信逻辑
bivalentprinciple
二值原则
boundvariable
约束变元
broadcontext
广义语境
bundoccurrenceofvariable
变元的约束出现
bundvariable
约束变元
）CBR（case-basedreasining
范例推理
categoricalproposition
直言（性质）命题
causalreasoning
因果推理
circleindefinition
循环定义
electric；circuitdiagram
电路图
circulusindemonstrando
循环论证
classification
分类
英文
中文
collective
集合体
collectiveterm
集体词项
commonattribute
共有属性
commonname
通名
compatibility
相容关系
completeinduction
完全归纳推理
completenesstheorem
完全性定理
compoundconcept
复合概念
compoundproposition
复合命题
concept/conception
概念
Conception；ideas
观念
conclusion
结论
conditionalpropositionalhypotheticalproposition
充分条件假言命题
verificationConfirmation；
证实
conjunct
联言（合取）支
conjunction
合取/合取式
conjunctiveproposition
联言（合取）命题
connective
联项
consensus
共识
consequent
后件
consistency
协调性
construction
建构
content/materalofthinking
思维内容（材料）
context
语境
contradictioinadiecto
自相矛盾
contradiction
矛盾关系
contrariety
反对关系
conversion
换位法
cooperrativeprinciple
合作原则
copula
定义联项
copula
定义联项
corroboration
确证
corroboration
确证
crucialevidence
判决性证据
crucialexperiments
判决性试验
dedictomodality
从言的模态
deremodality
从物的模态
deductiveargument/deductiveproof
演绎论证
deductivelogic
演绎逻辑
deductive-nomologicalmodel
定律覆盖的演绎模型
defenses
辩护
definiendum
被定义项
definiens
定义项
definitiofitpergenusproximumetdifferentiamspecificam
属加种差定义
；definitiodefffinitio
下定义
definition
定义
definitionistoonarrow
定义过窄
definitionistoowide
定义过宽
definitionpergenusetdiffererntiam
属加种差定义．
英文
中文
deonticlogic
道义逻辑
entailmentderivation；
推导
derivedruleofinference
导出规则
description
摹状词
descriptivestatement
描述陈述
designation
所指
dialecticalreasoning
辩证推理
dichotomy
二分法
differentia
种差
differentiaspecifica
种差
dilemma
二难推理
directargument
直接论证
directrefutation
直接反驳
disjunct
选言（析取）支
disjunction
析取/析取式
disjunctiveproofmethod
淘汰法
disjunctiveproposition
选言命题
disproofmethod
反证法
distinctio
区别
distinctiveattribute
特有属性
distribution
周延性
division
划分
domainofindividuals
个体域
eliminationproof
排除法
enthememe
省略三段论
particularize；enumerate
列举
epistemiclogic
认知逻辑
equivocation
混淆概念
equivocation
偷换概念
'Eulersdiagram
欧拉图
evaluativestatement
评价陈述
citing；example
举例
exclusion
不相容关系（全异关系）
exclusivedisjunctiveproposition
不相容的选言命题
existentialproposition
特称（存在）命题
existentialquantifier
存在量词
extentionofterm
词项的外延
extentionalcontext
外延语境
extentionallogic
外延逻辑
factualelements
事实因素
factualjudgment
事实判断
fallaciaconsequentis
虚假推断
fallacianoncausaeutcausae
误推原因
fallacy
谬误
fallacyofcomposition
合谬
fallacyofdivision
分谬
false
假
falsification
证伪/否证
figuresofsyllogism
三段论的格
英文
中文
finding
判决，裁决
first-orderlogic
一阶逻辑
first-orderpredicatelogic
（一阶）谓词逻辑
Forbid；forbiddon
禁止
forbiddenproposition
禁止命题
forecastofscience
科学预测
formofinference
推理形式
form/structureofthinking
思维形式（结构）
formaldeductionwithpremise
有前提的形式推演
formalfallacy
形式谬误
formalimplication
形式蕴涵
formallanguage
形式语言
formalreasoning
形式推理
formationrule
形成规则
formationrules
形成规则
formula
公式
fortiori
当然推论
foundationalrulesofsyllogism
三段论的基本规则
freeoccurrenceofvariable
变元的自由出现
freevariable
自由变元
functionaldefinition
功用定义
fundamentumdivisionis
划分的根据
generalterm
普遍词项
generalizationofterm
词项的概括
generalizedmodal
广义模态逻辑
geneticdefinition
发生定义
genus
属
genus
属概念
hastygeneralization
轻率概括
hastygeneralization
以偏概全
hastyinduction
轻率归纳
high-orderlogic
高阶逻辑
Hume'sproblem
休谟问题
hypothesisofscience
科学假说
hypothesisofwork
工作假说
hypotheticalproposition
假言命题
hypotheticalsyllogism
假言三段论
hypothetico-deductivemethod
假说-演绎法
identity
全同关系
ignoratioelenchi
偷换论题；转移论题
illocutionaryacts
语旨行为
implication
蕴涵/蕴涵式
implicature
隐涵
inclusivedisjunctiveproposition
相容的选言命题
incompleteinduction
不完全归纳推理
independent
独立（关系）
independentproof
独立证明
indirectargument
间接论证
indirectproof
反证法．
英文
中文
indirectrefutation
间接反驳
individual
个体词
individualconstant
个体常项
individualvariable
个体变元
inductiveinference
归纳推理
inductivejustification
归纳论证
inductivelogiinference
归纳逻辑
inductivemethod
归纳方法
inductivesupport
归纳支持
inductive-statisticalmodel
归纳一统计模式
inference
推论
inferencebyanalogy
类比推理
informalfallacy
非形式谬误
instances
实例
instantiation
例示
integration
整合
intentionofterm
词项的内涵
intentionalcontext
内涵语境
intentionallogic
内涵逻辑
interpretatedterm
被解释项
interpretationofscience
科学解释
interpretativeterm
解释项
intersection
交叉关系
inverseimplication
反若则命题
inverseimplication
反蕴涵
inverseimplication
逆蕴涵
inversion
戾换法
irreleveentdialectic
不相干的论辩
judgment
判断
JudicialReasoning
司法推理；审判推理
judicialsubsumption
司法归类
Judicialsyllogism
司法三段论
justification
正当性论证
kind-term
类名
knowledgelogic
知道逻辑
language
语言
languageexpression
语言表达式
lawofcontradiction
矛盾律
lawofexcludedmiddle
排中律
lawofidentity
同一律
lawofsufficientreason
充足理由律
legalconcept
法律概念
LegalLogic
法律逻辑学
limitationofterm
词项的限制
locutionaryacts
语谓行为
logicofscience
科学逻辑
logicalconnective
逻辑联结词
mainconnectives
主联结词
secondaryconnective
从联结词
英文
中文
logicalconstant
逻辑常项
logicalfallacy
逻辑谬误
logicalpositivismorlogicalempiricism
逻辑实证主义
logicalsquare
逻辑方阵
logicaltruism
逻辑的真
logicaltruism
逻辑的真命题
logicalvariable
逻辑变项
majorterm
大项
mannermaxim
方式准则
manyquestions
复杂问语
manyquetions
复杂问语
materalfallacy
实质谬误
materialimplication
实质蕴涵
materialimplicationalproposition
实质蕴涵命题
materialreasoning
实质推理
meaningoflanguageexpression
语言表达式的意义
mechanicalanalogy
机械类比
membradividentia
子项
meta-language
元语言
methodofanalysis
分析法
methodofcomparison
比较法
methodofexperiment
实验方法
methodofobservation
观察方法
methodofsynthesis
综合法
middleterm
中项
smethods'Mill
弥尔方法
minorterm
小项
Minusproposition
负命题
modallogic
模态逻辑
modalproposition
模态命题
modality
模态词
modeofargument
论证方式
model
模型
moderninductivelogic
现代归纳逻辑
modusponendotollens
肯定否定式
modusponens
肯定前件式
modustollendoponens
否定肯定式
modustollens
否定后件式
moodsofsyllogism
三段论的式
mothedofscience
科学方法
Must
必须
Obligation
义务
mutualimplication
互蕴涵
narrowcontext
狭义语境
n-arypredicate
n元谓词
naturaldefinition
性质定义
naturallanguage
自然语言
necessaryconditionalhypotheticalproposition
必要条件假言命题
negativeterm
负词项．
英文
中文
nominaldefinition
名义定义
nonsequitur
推不出
Non-Cognitivism
不可知论
non-collectiveterm
非集体词项
normativelogic
规范逻辑
normativeproposition
规范命题
nulldomain
空域
nullterm
空词项
object
对象
objectlanguage
对象语言
obligatoryproposition
必须命题
obversion
换质法
opaquecontext
晦暗语境
opensentence
开语句
Opposition
对当关系
ordering
序列
ostensivedefinition
实指定义
otherinduction
其他归纳推理
oughttobe
实然
paradigm
范式
parallelconnection
并联
parole/speech
言语
particularaffirmativeproposition
特称肯定命题
particularnegativeproposition
特称否定命题
partition
分解
perloctionaryacts
语效行为
Permission
允许
permittedproposition
允许命题
petitiorincipii
预期理由
physicaltruism
事实的真（物理的真）
physicaltruism
事实的真命题
polytomy
多分法
positiveterm
正词项
possibleworldsemantics
可能世界语义学
posthocergopropterhoc
在此之后，因此之故
posthocergoproterhoc
以先后为因果
pragmaticcontext
语用语境
pragmaticinference
语用推理
pragmaticlogic
语用逻辑
pragmatics
语用学
predicate
谓词；谓项
predicatelogic
谓词逻辑
premise
前提
presupposition
预设
primitivesymbol
初始符号
probabiticalinference
概率归纳推理
pronunciationalambiguity
语音歧义
proof
真实性论证
properinclusion
真包含关系
英文
中文
propername
专名
proposition
命题
propositionalattitudes
命题态度
propositionalform
命题形式
propositionalfunction
命题函项
propositionallogic
命题逻辑
provableequivalence
可证等价关系
quanlitymaxim
质准则
quantifier
量词
quantifier
量项
quantitymaxim
量准则
quaternioterminorum
四名词
range
变域
RatioDecidendi
判决理由
Rationality
合理性
realdefinition
实质定义
reason；；warrantevidence
论据
reasoning
推理
redectioadabsurdum
归谬法
reductiontoabsurdity
归谬法
abduction
回溯、溯因
reduction
约简，归结
reductionreductiveinference；
还原推理
inductivestrength
归纳强度
refutation/rebut
反驳
relationbetweenspeciesandgenus
升级会员 