论“若,则”句的逻辑刻画及蕴涵怪论的消解

一消除蕴涵怪论的主要方案及其困境为了消除怪论,逻辑学家相继创制了形式蕴涵、严格蕴涵、相干蕴涵和衍推等。通观这些方案,可以发现它们向同一方向划出了比较连续的轨迹:(1)前后件真假值对→真值的影响渐弱,直至消     

弗雷格，他的逻辑和他的哲学——迈克·比尼访谈录

本文是对国际知名的弗雷格学者迈克·比尼的访谈录，访谈从弗雷格的生平、性格特征开始，然后基本上按年代顺序，涉及有关弗雷格的学术贡献和学术思想的诸多话题，通过本访谈，我们可以对弗雷格其人和他的逻辑和哲学贡献获得轮廓性了解，并且获知有关弗雷格思想的各种新争论和新研究。     

殊途同归的意义理论——逻辑视野中的戴维森与达米特意义理论

意义理论是20世纪语言哲学、逻辑哲学中的重要问题,戴维森、达米特是这一理论的两位领军人物,他们以相对的观点代表了意义理论的两种声音:戴维森认为真是意义理论的核心概念,他以塔尔斯基的真概念为初始概念提出了成真条件意义理论;而达米特否认真在意义理论中的核心地位,代之以证实,并借助直觉主义逻辑构建了反实在论的意义理论。他们以不同的逻辑系统注释着真,演     

葛洪《论仙》的逻辑分析

本文试图通过分析《抱朴子内篇》卷二《论仙》一文,阐述葛洪对中国古代逻辑思想的继承,运用与发展。重点在探讨葛洪逻辑思想之来源以及其在《论仙》一文中的运用。庄朝兰,福建平和县人,1975年生,厦门大学哲学系研究生。     

《逻辑学研究》征稿启事

<正>《逻辑学研究》是中山大学和中国逻辑学会主办,由教育部普通高等院校人文社会科学重点研究基地中山大学逻辑与认知研究所承办的学术刊物,旨在提高我国逻辑学及相关学科的学术研究水平,增进海内外逻辑学及相关领域学术同行的交流。     

类型逻辑语法的词汇主义思想

类型逻辑语法(Type Logical Grammar)是经典范畴语法(Basic Categorial Grammar)的一个现代版本,是范畴语法与类型逻辑语义学联姻的产物。利用加贝(D.Gabbay)[1]给出的加标演绎表述,类型逻辑语法实现了句法生成和语义组合的并行推演,句法生成基于Lambek演算提供的范畴运算,而语义组     

《逻辑学研究》征稿启事

<正>《逻辑学研究》是中山大学和中国逻辑学会主办、由教育部高等院校人文社会科学重点研究基地中山大学逻辑与认知研究所承办的学术刊物,旨在积极推动我国逻辑学及相关学科的学术研究水平,增进海内外逻辑学及相关领域学术同行的交流。《逻辑学研究》是当前我国在逻辑学领域内唯一正式出版的专业刊物,采用中英双语发表论文。《逻辑学研究》目前为季刊,逢每季度第三个月的18日出版。     

哥德尔的直觉主义逻辑思想

哥德尔（Kurt Godel）是现代逻辑史上的巨匠，他在逻辑史上有两大贡献：一是他证明了罗素和怀特海在《数学原理》中提出的一阶逻辑演算的完全性定理（1930），即任何有效的一阶公式都是可证的。二是他证明了著名的不完全性定理（1931），《数学原理》的系统和集合论的ZF公理系统不足以判定能在这些系统中形式化的所有数学问题...     

张岱年早期思想中的哲学、理想与解析

正张岱年先生在上世纪30年代有一篇重要的文章《论现在中国所需要的哲学》,发表于1935年4月8日的《国闻周报》。该文对当时中国人精神生活的一系列问题,如应采取什么样的生活方式、应有什么样的应对社会危机的态度、需要什么样的生活理想等,都作出了深入分析。这篇文章连同这一