非经典逻辑.ppt

逻 辑 学 中央财经大学 文化与传媒学院 现代逻辑研究所 袁正校 教授 第一章 绪论 逻辑学的发展阶段: 逻辑学（Logic） ★传统逻辑(traditional logic) ★现代逻辑(modern logic) 传统逻辑(traditional logic) 来源：法庭论辩，数学推理，… 作用：爱因斯坦：“在近代，西方科学的发展是以两个伟大的成就为基础的，那就是希腊哲学家发明的形式逻辑体系，以及通过系统的实验发明有可能找出因果关系。” 现代逻辑(modern logic） 现代逻辑又称数理逻辑、符号逻辑（mathematical logic, symbol logic） 来源：莱布尼兹 (Leibniz,G.W.)：“普遍语言”和“思维演算”。 作用：促进现代科学的发展。 逻辑学包含的学科 ●传统逻辑： ▲传统演绎逻辑：(traditional deductive logic) ?亚里士多德的逻辑（Aristotelian logic ） ?斯多噶逻辑（Stoic Logic） ▲传统归纳逻辑（traditional inductive logic） ?培根的归纳逻辑(doctrine of Bacon) ?穆勒的归纳逻辑(doctrine of Mill) ▲类比推理（analogy） ▲回溯推理（reductive inference） 现代逻辑 ▲经典逻辑 （classical logic） ▲非经典逻辑 （non-classical logic） 经典逻辑（classical logic） ▲逻辑演算(logical calculus) ?命题逻辑（propositional logic） ?谓词逻辑（predicate logic） ▲模型论（modal theory） ▲证明论（proof theory） ▲递归论(recursion theory) ▲公理集合论（axiomatic set theory） 非经典逻辑 ▲扩展逻辑(extended logics) ▲异释逻辑(deviant logics) 扩展逻辑 ▲模态逻辑(modal logic) ▲时态逻辑(tense logic) ▲道义逻辑(deontic logic) ▲认知逻辑(epistemic logic) ▲优选逻辑(preference logic) ▲祈使逻辑(imperative logic) ▲疑问逻辑(erotetic logic) ▲… 异释逻辑 (deviant logics) ▲多值逻辑（many-valued logic） ▲直觉主义逻辑(intuitionist logic) ▲量子逻辑(quantum logic) ▲相干逻辑(relevant logic) ▲模糊逻辑(fuzzy logic) ▲弗协调逻辑(paraconsistent logic) ▲自由逻辑(free logic) ▲… * * *