南京大学哲学系现代逻辑与逻辑应用研究所
- 作品数：120 被引量：239H指数：9
- 相关作者：刘叶涛王洪光周艳刘伟杨征源更多>>
- 相关机构：南京航空航天大学计算机科学与技术学院计算机科学与技术系南京航空航天大学计算机科学与技术学院燕山大学文法学院更多>>
- 发文基金：国家社会科学基金教育部人文社会科学研究基金教育部人文社会科学重点研究基地度重大研究项目更多>>
- 相关领域：哲学宗教自然科学总论理学语言文字更多>>
- 我国科学逻辑研究的开拓与创新之路——在纪念中国逻辑学会成立30周年大会上的报告
- "科学逻辑"是当代应用逻辑学科群的重要分支学科。我国科学逻辑的系统性研究肇始于20世纪五六十年代的逻辑问题大讨论,80年代初伴随我国逻辑教学与研究现代化的起步得以全面启动。我国科学逻辑研究的突出特点是,在其全面启动之初,...
- 张建军
- 关键词：科学逻辑应用逻辑
- 文献传递
- 基于原子偏好理论的直觉模糊偏好成因分析
- 2013年
- Atanassov在Zadeh的基础上提出了直觉模糊集,把选择中行动主体的模糊偏好分为三个组成部分:隶属度、非隶属度和犹豫度。这一分析方法较为贴近行动主体的实际选择。然而直觉模糊偏好何以能够形成,是直觉模糊理论所需要研究的基本问题。原子偏好基于逻辑原子主义思想而提出,通过原子偏好建构偏好的过程,就是行动主体形成事物间偏好关系的过程。直觉模糊偏好之所以能够形成,根本的原因在于形成行动主体的原子偏好中,有些是不可比较性原子偏好。
- 王志远
- 关键词：行动逻辑决策逻辑模糊偏好
- 满意方案存在性与选择中的变异独裁(英文)
- 2010年
- 面临选择时,行动主体是理性的。依据理性选择假定,基于方案间的偏好序列,行动主体能够求取选择函数的解,且能做出正确行动。根据人类偏好选择情结,文章提出并证明了满意方案存在性定理,给出了获取满意方案的方法。在孔多塞与布里丹之驴选择情景中,行动主体都能做出满意选择;构建了与这两种选择情景密切相关的五种选择模型。但满意方案的存在性会导致变异独裁的产生,即变异独裁通过公共认可的理性能够实现其独裁目的;文章最后讨论了变异独裁的特征。
- 王志远
- 关键词：社会选择偏好
- 潜无穷、实无穷探析被引量：5
- 2009年
- 究竟什么是潜无穷、什么是实无穷,它们之间究竟存在着什么样的关系?无穷概念从诞生之日起就伴随着潜无穷和实无穷的长期论争。尽管不同的哲学家、逻辑学家和数学家持有不同的无穷观,但是历史上他们对于潜无穷和实无穷给出的都是直观的描述,一直没有给出严格的数学定义;对于潜无穷和实无穷之间的关系也是莫衷一是。通过对潜无穷、实无穷特征的分析,我们可以尝试给出一个严格的潜无穷和实无穷定义,利用这一定义可以对若干悖论进行新的解释,并且可以对集合论研究提供一个新的视角。
- 杜国平
- 关键词：实无穷悖论
- 经典安瑟尔谟本体论证明的逻辑评估——一个可能世界理论的视角
- 2012年
- 可能世界理论解释表明,安瑟尔谟的本体论证明并未以康德式存在的谓词性设定为论据,整个证明最关键之处乃在于现实世界是否就是不可超越的伟大性得到示例的那些可能世界之一。经典本体论证明的破解也说明,作为现代逻辑的一种重要理论形态,可能世界理论对于宗教哲学研究有着重大学术价值,它有力地推动着一些重要宗教哲学问题的深入研究。
- 张力锋
- 关键词：上帝本体论证明可能世界理论
- 从形式蕴涵看“实质蕴涵怪论”--怪论定理之“反例”化解路径新探被引量：9
- 2012年
- 由蕴涵怪论引发的实质蕴涵合理性辩护问题,既是当代逻辑哲学的重要课题,也是逻辑基础教学中难以回避的问题。化解怪论定理之"反例",是实质蕴涵合理性辩护的重要途径。以往的化解路径可以较好地应对"第一类怪论定理"问题,但难以化解关于"第二类怪论定理"的"严峻反例"。运用"形式蕴涵"理论重新审视实质蕴涵问题,可以为怪论定理之"反例"提供一条新的化解路径,使"严峻反例"问题得到彻底解决,从而使经典逻辑真理的普适性得以维护。
- 张建军
- 关键词：形式蕴涵实质蕴涵蕴涵怪论
- 从逻辑行动主义方法论看解释鸿沟被引量：1
- 2020年
- 针对解释鸿沟问题,当前无论还原的物理主义还是非还原的物理主义,其解决理路都存在一定的局限性。受布兰顿的分析实用主义所启发,派瑞斯认为,现象概念和其相应的理论概念之间的解释鸿沟是其语用中介的语义关系中的鸿沟,若不忽视语用学,则可消解此鸿沟。然而,从逻辑行动主义方法论的视角看,这种解决方案也存在解释之不足,诉诸这种方法论,则可为解释鸿沟问题的解决提供一个可资借鉴的路径。
- 武庆荣
- 关键词：心身问题
- 编者导语:关于paraconsistent logic的几个问题被引量：2
- 2018年
- 从巴西逻辑学家N.C.A.da Costa在1958年发表包含矛盾定理的逻辑系统算起,paraconsistent logic已有60年的发展历程。因其构建动机在于否定矛盾律这一经典逻辑根本大法的普适性,在非经典逻辑分支中最具＂革命性＂外貌,也因此在当代逻辑发展进程中曾长期处于边缘化状态。
- 张建军
- 关键词：非经典逻辑导语编者逻辑学家逻辑发展矛盾律
- 走向一种层级分明的“大逻辑观”
- 认识我国逻辑学发展现状与前景,需要进一步梳理与讨论"逻辑观"的一系列基本问题。通过清晰地区分"推理"与"形式"之多重语义,既可解答以往争论中由于层次缠绕所遗留的疑难问题,又可得出一种新的狭义"应用逻辑"观念:面向特定领域...
- 张建军
- 关键词：逻辑观应用逻辑
- 文献传递
- 论可能世界理论新近发展被引量：1
- 2009年
- 可能世界是一种重要的哲学研究手段,它的形而上学本性是当代哲学的一个重要议题。量词的替换解释、虚构论、替代论和极端实在论是几种主要的应对方案,它们各有所长,也有自身缺陷。讨论这些理论形态,有助于理解当代模态哲学的发展脉络,对理解一些基本模态概念也有很多启发。
- 张力锋
