英汉对照逻辑学术术语表

英汉对照逻辑学术术语表一、基础通用逻辑BasicGeneralLogic英文中文释义简注logic逻辑研究推理、论证有效性的学科logician逻辑学家逻辑学研究者logical逻辑的；合乎逻辑的符合推理规则illogical不合逻辑的推理存在谬误formallogic形式逻辑以符号、形式规则研究推理informallogic非形式逻辑日常自然语言论证分析symboliclogic符号逻辑数理逻辑别称，使用人工符号mathematicallogic数理逻辑融合数学方法的形式逻辑philosophicallogic哲学逻辑逻辑在哲学问题中的应用分支appliedlogic应用逻辑面向具体领域的逻辑分支purelogic纯逻辑仅研究形式推演，无领域应用二、命题逻辑PropositionalLogic英文中文释义简注proposition命题可判断真假的陈述句atomicproposition原子命题不可拆分的基础命题compoundproposition复合命题由联结词连接多个原子命题propositionalvariable命题变元代表任意命题的符号（p,q,r）propositionalconstant命题常元固定真假的命题符号truthvalue真值命题的真/假取值true(T)真真值为真false(F)假真值为假truthtable真值表枚举命题所有真值组合的表格logicalconnective/sententialconnective命题联结词复合命题连接算子negation否定；非¬，对原命题真值取反conjunction合取；且∧，两命题同时为真才真disjunction析取；或∨，至少一命题为真则真exclusivedisjunction异或；不相容析取二者仅其一为真implication/conditional蕴涵；条件句→，若前件则后件antecedent前件蕴涵式中“如果”后的命题consequent后件蕴涵式中“那么”后的命题biconditional双蕴涵；等值↔，两命题同真假才成立tautology重言式所有真值指派下恒真公式contradiction矛盾式所有真值指派下恒假公式contingentformula可满足式/偶真式有真有假的公式logicalequivalence逻辑等值两公式真值完全相同logicalentailment逻辑蕴涵公式集必然推出另一公式satisfiability可满足性存在指派使公式为真三、谓词逻辑（一阶逻辑）PredicateLogic/First-OrderLogic英文中文释义简注predicate谓词描述个体性质/关系的表达式individual个体论域内研究对象individualconstant个体常元固定指代某个体符号（a,b,c）individualvariable个体变元指代任意个体符号（x,y,z）domainofdiscourse/universeofdiscourse论域变元取值全部对象集合quantifier量词约束个体变元的算子universalquantifier全称量词∀，所有、全部existentialquantifier存在量词∃，存在、至少一个boundvariable约束变元被量词约束的变元freevariable自由变元未被量词约束的变元well-formedformula(WFF)合式公式符合语法规则的逻辑表达式scopeofquantifier量词辖域量词作用的公式范围identity等词；同一关系=，个体相等谓词second-orderlogic二阶逻辑可量化谓词、集合的高阶逻辑四、集合论逻辑基础SetTheoryLogic英文中文set集合element/member元素emptyset空集subset子集propersubset真子集union并集intersection交集complement补集Cartesianproduct笛卡尔积powerset幂集membershiprelation属于关系五、推理、论证与谬误Reasoning,Argument&Fallacy英文中文释义简注argument论证一组前提推出结论的语句集合premise(pl.premises)前提论证的已知依据conclusion结论论证推出的命题validargument有效论证前提真则结论必然真（形式正确）soundargument可靠论证形式有效且全部前提为真inductiveargument归纳论证从个别推一般，或然性推理deductiveargument演绎论证从一般推个别，必然性推理abductivereasoning溯因推理；最佳解释推理由结果反推原因syllogism三段论直言命题经典演绎推理categoricalsyllogism直言三段论亚里士多德传统三段论majorpremise大前提含大项的三段论前提minorpremise小前提含小项的三段论前提majorterm大项三段论结论谓词minorterm小项三段论结论主词middleterm中项两前提共有、结论不出现项fallacy谬误无效、误导性推理形式formalfallacy形式谬误推理结构本身错误informalfallacy非形式谬误内容、语境导致的逻辑错误circularreasoning/beggingthequestion循环论证；乞题结论隐含在前提中adhominem人身攻击谬误攻击人而非论证falsedilemma虚假二难仅给出两种极端选择hastygeneralization轻率概括少量样本直接得出全称结论六、模态逻辑ModalLogic英文中文modallogic模态逻辑modaloperator模态算子necessity必然性（□）possibility可能性（

）possibleworld可能世界accessibilityrelation可达关系deonticlogic道义逻辑（模态分支）epistemiclogic认知逻辑（模态分支）temporallogic时态逻辑（模态分支）七、证明、推演系统Proof&DeductionSystem英文中文deduction演绎推演inferencerule推理规则axiom公理axiomsystem公理系统theorem定理proof证明derivation推导naturaldeduction自然演绎系统sequent矢列；相继式sequentcalculus矢列演算consistency一致性；无矛盾性completeness完备性soundness可靠性decidability可判定性八、传统直言逻辑（亚里士多德逻辑）CategoricalLogic英文中文categoricalproposition直言命题subjectterm主项predicateterm谓项quantity量（全称/特称）quality质（肯定/否定）universalaffirmative(A)全称肯定命题（A命题）universalnegative(E)全称否定命题（E命题）particularaffirmative(I)特称肯定命题（I命题）particularnegative(O)特称否定命题（O命题）squareofopposition对当方阵conversion换位法obversion换