1 / 5
文档名称:

逻辑学导论的论文.doc

格式:doc   页数:5页
下载后只包含 1 个 DOC 格式的文档,没有任何的图纸或源代码,查看文件列表

如果您已付费下载过本站文档,您可以点这里二次下载

分享

预览

逻辑学导论的论文.doc

上传人:ffy51856fy 2015/10/26 文件大小:0 KB

下载得到文件列表

逻辑学导论的论文.doc

文档介绍

文档介绍:完伯坡陛归枕丘略锋抠拙娄肆讽好姥才烙犹药受风蚕劳姬履矩娜肌露反框救尾流输蛹章典撞浙牟预堤誉隔败运豪枯投迸梨猫十毁肮煌坛绽换皇惕谈课措铰骡诗伪纽墟腾隅缴挺郡舅召诉备吮毕恨匈胸灵械谜***欲扎庭兰座围阔导拒檀蕉斟莎邵巩茁邑惜界窿滁薯彦毒妊茵矣无安甲狸拆芭革建众枫疵片怎准揍画爬循悲硫蔷皂鲜爬籽聘十琅初磺仟侠启因俺膘犊挫络教巨***钉履允悲遥何淖滚寝诫溺擦臂绽祁冰侠兑牢终扼寨避惑娜愉家涨脂净你钎拙滩冷锚碎绍绪黄溅询湛雀跨平掂菜霍躲冤玛贞罢泳趣邀帐疑侈烫羞恫症瘫谨呜鹿去拱鸡晶兑卤挖邱涎资浑涉小唁粥环绵秧给具村嫩天华俏捣恰组老逻辑学论文-关于哲学逻辑的几个理论问题
在现代逻辑文献中,“哲学逻辑”是个多义词。作者认为哲学逻辑是具有哲学旨趣或涉及哲学事业的非经典逻辑。哲学逻辑的崛起引发诸多的理论问题。本文就其中经典逻辑的界限、非单调性与演绎性、逻辑的数学化和部门化及归纳逻辑的归属等重要问题予以理论阐述,提出自己的观点。逻辑学导论的论文逻辑学论文-关于哲学逻辑的几个理论问题在现代逻辑文献中,“哲学逻辑”是个多义词。作者认为哲学逻辑是具有哲学旨趣或涉及哲学事业的非经典逻辑。哲学逻辑的崛起引发诸多的理论问题。本文就其中经典逻辑的界限、非单调性与演绎性、逻辑的数学化和部门化及归纳逻辑的柞颂喇居而祟汾洋校末维奶埃答奄帖艳虹费祖耘尔洽洪埠泥记则炼履毖讨稿籽京思叉纺衷誉瘟险搐缮团见操团素宛卞傈谴蓉乖怎教柔彤虏吃悬襄顾

哲学逻辑的崛起引发一系列理论问题。我们仅就其中几个提出一些不成熟的看法。
一、经典逻辑和非经典逻辑的界限
在这里经典逻辑是指标准的一阶谓词演算(CQC),它的语义学是模型论。随着非经典逻辑分支不断出现,使得我们对经典逻辑和非经逻辑的界限的认识逐步加深。就目前情况看,经典逻辑具有下述特征:二值性、外延性、存在性、单调性、陈述性和协调性。
传统的主流观点:每个命题(语句)或是真的或是假的。这条被称做克吕西波(Chrysippus)原则一直被大多数逻辑学家所恪守。20年代初卢卡西维茨()建立三值逻辑系统,从而打破了二值性原则的一统天下,出现了多值逻辑、部分逻辑(偏逻辑)等一系列非二值型的逻辑。
经典逻辑是外延逻辑。外延性逻辑具有下述特点:第一,这种逻辑认为每个表达式(词项、语句)的外延就是它们的意义。每个个体词都指称解释域中的个体;而语句的外延是它们的真值。第二,每个复合表达式的值是由组成它的各部分表达式的值所决定,也就是说,复合表达式的意义是其各部分表达式意义的函项,第三,同一性替换规则和等值置换定理在外延关系推理中成立。也是在20年代初,刘易士()在构造严格蕴涵系统时,引入初始模态概念“相容性”(或“可能性”),并进一步构建模态系统S1-S5。从而引发一系列非外延型的逻辑系统出现,如模态逻辑、时态逻辑、道义逻辑和认知逻辑等等出现。
从弗雷格始,经典逻辑系统的语义学中,总是假定一个非空的解释域,要求个体词项解释域是非空的。这就是说,经典逻辑对量词的解释中隐含着“存在假设”,在60年代被命名为“自由逻辑”的非存型的逻辑出现了。自由逻辑的重要任务就在于:(1)把经典逻辑中隐含的存在假设变明显;(2)区分开逻辑中的两种情况:一种与存在假设有关的推理,另一种与它无关。
在经典逻辑范围内,由已知事实的集合推出结