教育部人文社会科学重点研究基地度重大研究项目(07JJD720045)
- 作品数：19 被引量：42H指数：3
- 相关作者：王健平胡泽洪熊明周祯祥晋荣东更多>>
- 相关机构：华南师范大学中山大学华东师范大学更多>>
- 发文基金：教育部人文社会科学重点研究基地度重大研究项目教育部人文社会科学研究基金上海市哲学社会科学规划课题更多>>
- 相关领域：哲学宗教自然科学总论政治法律经济管理更多>>
- 逻辑的经验性与先验性——从蒯因到冯契被引量：2
- 2009年
- 蒯因经验论的逻辑观既没有阐明逻辑与经验发生联系的具体途径,也没有解释最小伤害准则何以造成了逻辑的先验性。基于概念摹写与规范现实的双重作用,冯契对此进行了更为全面和深入的考察,主要表现在:区分了"逻辑"所包含的思维逻辑、逻辑原则与逻辑理论诸含义,论证了思维逻辑的经验起源与自然赋予的统一、逻辑原则的经验性与先验性的统一,为证成具体逻辑理论的描述性与规范性的统一指明了方向。
- 晋荣东
- 关键词：逻辑先验性蒯因
- 论语句真之所指
- 2010年
- 塔尔斯基的语义性真理定义标准仅用一个被指称的语句来说明名称语句之真,(T)公式虽然在语言范围内反映了"X"与"p"的不同层次,但并不能说明语句的真假。按照弗雷格的观点,"X是真的"和"p"实际是同一个东西。类似于"p当且仅当p"这样的分析性公式并不能揭示出一个综合命题的成真条件。只要问到语句的真假,我们就是在问它是否符合事实。真理问题一定是一个与认识论态度紧密相联的问题。语义性真理定义标准应该重构为:"在语境C中的X是真的,当且仅当相对于C存在X所指的事实p"。据此可以说明,通过语言使用歧义混淆了不同语言层次的悖论是不指称任何事实的假话。
- 王健平
- 关键词：语句
- 20世纪我国逻辑哲学研究的回顾与反思
- 2008年
- 作为一门新兴交叉学科,逻辑哲学被我国广大逻辑与哲学工作者认同并由此而开始的成规模的研究始于20世纪70年代末、80年代初。纵观从80年代初至今的研究历程,可以把我国的逻辑哲学研究分成起始研究阶段与深入研究阶段。在我国的逻辑哲学研究中,主要存在着两种不同但又互补的逻辑哲学观。
- 胡泽洪
- 关键词：逻辑逻辑哲学逻辑观
- 心智逻辑的理论与方法研究被引量：3
- 2009年
- 心智逻辑理论是当前研究人类实际推理的重要理论之一。该理论假定有一种逻辑存在于人们的心智中,该理论致力于建立一个推理理论说明人们是如何通过推理程序运用推理图式实现推理的,并设计出问题难度实验来检验理论的预测。当前心智逻辑理论面临跨文化研究和心智模型理论的挑战。
- 赵艺
- 从言模态和从物模态的联系、区别及其哲学意义
- 2010年
- 从言模态和从物模态是模态逻辑中一个重要的理论问题,本文从亚里士多德的模态理论开始直到现代模态谓词逻辑进行了考察,阐明了从言模态和从物模态的联系、区别及其哲学意义,揭示了模态逻辑是一种本质主义的逻辑。
- 张家龙
- 关键词：模态逻辑本质主义
- 塔斯基定理的一种推广被引量：3
- 2010年
- 当把塔斯基对真概念提出的T-模式拓展到有向图上,塔斯基定理成立与否取决于归谬过程中使用的悖论及有向图的特征。本文证明了在使用说谎者悖论证明塔斯基定理时,在并且仅在有向图中含有奇循环时,说谎者悖论才会导致矛盾;在使用佐丹卡片悖论证明塔斯基定理时,在并且仅在有向图中含有高度不能被4整除的循环时,佐丹卡片悖论才会导致矛盾,这表明当T-模式拓展到有向图时,哥德尔关于"认识论悖论"应用于不完全性证明的思想能够被非平庸地类推于真之不可定义性的证明中。
- 熊明
- 关键词：有向图说谎者悖论
- 实用主义法学和法律中的逻辑——兼论中国文化背景下的法律逻辑被引量：2
- 2008年
- 经典美国实用主义哲学是一种诉诸行动的知识进化论,霍尔姆斯的法学理论正是美国实用主义哲学的体现。法律不是逻辑,但逻辑可以在法律中发挥作用。中国文化背景下的法律有它自己的经验演化特征,可能产生在中国本土经验基础上的法律逻辑新模式。
- 周祯祥
- 关键词：实用主义法律逻辑
- 真之收缩论述评被引量：2
- 2010年
- 真之收缩论是关于"真的收缩处理的理论",其目的在于降低对传统真理论的高期望,主要包括冗余论、代语句理论、极小主义理论等。它们的共同点在于认为真是没有本质的,但在对真的具体解释上则存在不同的角度和方法。收缩论者并非认为"真的"这一谓词不重要,只是,他们对"真的"的理解更注重逻辑和形式的色彩。
- 彭媚娟胡泽洪
- 论模态谓词逻辑的“非指称”问题——基于自由逻辑的考察被引量：3
- 2011年
- 胡泽洪邓雄雁
- 关键词：模态逻辑谓词逻辑命题逻辑一阶逻辑逻辑学家
- 斯穆里安合并记法的一种变形
- 2010年
- 公式按照其语义特征可被合并为实质蕴涵型公式和荒谬蕴涵型公式,由此任何一个公式都可被分解为前件和后件两个部分。这一合并简化了斯穆里安著名的合并记法。就这一新的合并记法,提出了两种结构归纳证明,建立了一个希尔伯特型古典逻辑系统,并证明其完全性。
- 熊明
- 关键词：实质蕴涵
