王左立
- 作品数：21 被引量：48H指数：4
- 供职机构：南开大学哲学院更多>>
- 发文基金：教育部人文社会科学重点研究基地度重大研究项目中流文教基金天津市哲学社会科学研究规划项目更多>>
- 相关领域：哲学宗教语言文字经济管理文化科学更多>>
- 论演绎的辩护被引量：2
- 2006年
- 与归纳逻辑类似,演绎逻辑也面临着合理性问题。演绎逻辑的辩护问题是逻辑哲学中的重要问题。人们不能用归纳逻辑为演绎做辩护,用演绎逻辑为演绎做辩护也将导致失败。以往的演绎辩护,除了导致循环论证之外,还另有失败原因。在元语言中为对象语言的理论做辩护,这将导致无限的后退,最终也跳不出语言的范围。演绎逻辑是人们发明出来的推理工具,同时也是一种严格按照规则进行的游戏,人们对它无法做出本体论或认识论的辩护。
- 王左立
- 关键词：演绎逻辑辩护
- 可知性悖论及其解决方案被引量：1
- 2004年
- 可知性悖论不仅对认识论中的可知论提出了挑战,而且为逻辑学提出了一个难题。哲学家和逻辑学家们为了解决可知性悖论提出了许多不同的解决方案,如直觉主义逻辑的方案、弗协调逻辑的方案、情境理论的方案、语形限制的方案等,但是这些方案都未能完满地解决这一难题,有待深入研究。
- 王左立
- 关键词：认知逻辑
- 试论认知逻辑研究中的若干问题被引量：4
- 2003年
- 认知逻辑研究的目的是为人工智能研究提供有力的工具。然而,目前认知逻辑的研究成果却难于应用于人工智能的实践之中。这种情况在很大程度上是由于认知逻辑自身存在的问题造成的。第一,认知逻辑理论缺少可操作性,人们不能用能行的方法构造认知逻辑系统定理的证明和根据系统所进行的推演。第二,认知逻辑理论所采用的可能世界语义学方法不能对认知语句做出合乎情理的解释。第三,认知逻辑的公理系统并不是人工智能研究所必需的。由于这些问题的存在,逻辑学家需要对原有的方法进行认真的反思。
- 王左立
- 关键词：认知逻辑公理系统语义学
- 非形式逻辑与批判性思维被引量：20
- 2002年
- “非形式逻辑”与“批判性思维”既紧密相关又彼此区别。它们都以经验的和用自然语言表述的实际论证为对象 ,然而 ,非形式逻辑毕竟是逻辑 ,它以对实际论证的一般进程及一般形式的辨识、抽取与建构为重心和基点 ;而批判性思维对论证的关注则是多角度的和批判性的。非形式逻辑与批判性思维产生于实际的需要 。
- 崔清田王左立
- 关键词：非形式逻辑批判性思维
- 也谈无“是”即无逻辑被引量：4
- 2007年
- 如何看待"是"对逻辑的影响,这不仅是一个中国逻辑史研究的问题,也涉及到一些重要的逻辑哲学问题。本文考察了"是"字在传统词项逻辑理论中的作用,分析了逻辑与语言的关系,阐明了古汉语中没有"是"对于中国古代没能产生类似于西方传统词项逻辑理论的重要影响。
- 王左立
- 关键词：形而上学语言
- 人工生命哲学研究进展被引量：1
- 2003年
- '人工生命'是近年来发展起来的一门新学科,'人工生命哲学'是关于人工生命的哲学思考.人工生命哲学的研究近年来取得较大进展.本文主要讨论人工生命哲学的兴起、人工生命的哲学问题、关于人工生命哲学问题的反思,等等.
- 任晓明王左立
- 关键词：人工生命信息科学虚拟生物生命逻辑分析
- 《指物论》浅解
- “指”和“物”是公孙龙名学思想中的两个重要范畴。公孙龙正名理论的中心问题是正名实,而指物关系则是名实关系的基础。公孙龙对指物关系的讨论集中在《指物论》中。
- 王左立
- 文献传递
- 《公孙龙子》的语言意义理论
- 一、《公孙龙子》所讨论的“名”是语词。《公孙龙子》的正名学说以名实关系为研究对象,这一点已得到了学界的公认。然而,对什么是《公孙龙子》的“名”,学者们却有着不同的理解,由此而得出的对《公孙龙子》名学说的解释和评价也大相径...
- 王左立
- 文献传递
- 论演绎的辩护
- 纳逻辑类似，演绎逻辑也面临着合理性问题。演绎逻辑的辩护问题是逻辑哲学中的重要问题。人们不能用归纳逻辑为演绎做辩护，用演绎逻辑为演绎做辩护也将导致失败。 以往的演绎辩护，除了导致循环论证之外，还另有失败原因。在元语...
- 王左立
- 关键词：演绎逻辑
- 存在图的逻辑地位——批评与回应被引量：1
- 2012年
- 存在图是继欧拉图、文恩图和皮尔士一文恩图之后的又一种逻辑图。逻辑图是指用于表示命题和推理的二维图形。然而由于存在图之前的逻辑图在表达能力上的缺陷以及现代数理逻辑的成功,长期以来存在图并未引起人们的关注。直到近来计算机表示的图示推理发展起来以后人们才认识到它的重要性,并把它作为一种图式逻辑纳入了哲学逻辑的范畴。人们对存在图逻辑地位的认可经历了一个复杂的过程。存在图在被认可道路上遇到了逻辑系统身份、推理效率和阐述的精确性三个问题,随着这三个问题的解决,人们逐渐认可了存在图的逻辑地位。
- 聂海军王左立
- 关键词：逻辑图逻辑系统
