# 说明

对因特网哲学百科（[Internet Encyclopedia of Philosophy](http://www.iep.utm.edu/home/about/)）上与逻辑相关的词条进行中文翻译。

## 相关词条

* [论证（argument）](http://www.iep.utm.edu/argument/)
* [亚里士多德：逻辑（Aristotle: Logic）](http://www.iep.utm.edu/aris-log/)
* [Avicenna (Ibn Sina): Logic](http://www.iep.utm.edu/av-logic/)
* [波尔扎诺：数学知识的哲学（Bernard Bolzano: Philosophy of Mathematical Knowledge](http://www.iep.utm.edu/bol-math/)
* [F. H. Bradley: Logic](http://www.iep.utm.edu/brad-log/)
* [卡尔纳普：模态逻辑（Rudolf Carnap: Modal Logic）](http://www.iep.utm.edu/cmlogic/)
* [分类（Classification）](http://www.iep.utm.edu/classifi/)
* [演绎和归纳论证（Deductive and Inductive Arguments）](http://www.iep.utm.edu/ded-ind/)
* [对话逻辑（Dialogical Logic）](http://www.iep.utm.edu/dial-log/)
* [逻辑与语言中的对偶性（Duality in Logic and Language）](http://www.iep.utm.edu/duality-temporary/)
* [动态认知逻辑（Dynamic Epistemic Logic）](http://www.iep.utm.edu/de-logic/)
* [Epsilon 演算（Epsilon Calculus）](http://www.iep.utm.edu/ep-calc/)
* [谬误（Fallacies）](http://www.iep.utm.edu/fallacy/)
* [弗雷格（Gottlob Frege）](http://www.iep.utm.edu/frege/)
* [无穷（The Infinite）](http://www.iep.utm.edu/infinite/)
* [Institution Theory](http://www.iep.utm.edu/insti-th/)
* [Lambda 演算（Lambda Calculi）](http://www.iep.utm.edu/lambda-calculi/)
* [莱布尼茨：逻辑（Leibniz: Logic）](http://www.iep.utm.edu/leib-log/)
* [说谎者悖论（Liar Paradox）](http://www.iep.utm.edu/par-liar/)
* [Adolf Lindenbaum](http://www.iep.utm.edu/lindenba/)
* [逻辑后承（Logical Consequence）](http://www.iep.utm.edu/logcon/)
* [逻辑后承的演绎论概念（Deductive-Theoretic Conceptions of Logical Consequence）](http://www.iep.utm.edu/logcon-d/)
* [模态逻辑：一种当代观点（Modal Logic: A Contemporary View）](http://www.iep.utm.edu/modal-lo/)
* [自然演绎（Natural Deduction）](http://www.iep.utm.edu/nat-ded/)
* [次协调逻辑（Paraconsistent Logic）](http://www.iep.utm.edu/para-log/)
* [皮尔士：逻辑（Charles Sanders Peirce: Logic）](http://www.iep.utm.edu/peir-log/)
* [命题逻辑（Propositional Logic）](http://www.iep.utm.edu/prop-log/)
* [历史与哲学视野下的量子逻辑（Quantum Logic in Historical and Philosophical Perspective）](http://www.iep.utm.edu/qu-logic/)
* [反证法（Reductio ad Absurdum）](http://www.iep.utm.edu/reductio/)
* [Russell-Myhill Paradox](http://www.iep.utm.edu/par-rusm/)
* [罗素悖论（Russell's Paradox）](http://www.iep.utm.edu/par-russ/)
* [对当方阵（Square of Opposition）](http://www.iep.utm.edu/sqr-opp/)
* [有效性与可靠性（Validity and Soundness）](http://www.iep.utm.edu/val-snd/)
* [The Yablo Paradox](http://www.iep.utm.edu/yablo-pa/)

实际翻译的次序会依据译者对词条的熟悉程度和词条本身的重要性而定。

## 许可（Licence）

由于原词条禁止任何盈利性使用，故本翻译也禁止任何盈利性使用。