不可超越的无穷：关于直谓性和后继公理的关系

本文首先将新弗雷格主义的发展划分为三个阶段：（1）弗雷格算术（由二阶逻辑和休谟原则构成的理论）的一致性和对于二阶皮亚诺算术公理的可推出性的证明,（2）对休谟原则和二阶逻辑的哲学辩护与反驳,（3）对休谟原则和二阶逻辑进行限制,并证明其一致性和可推出性。然后着重介绍：（1）直谓二阶逻辑和公理V的一致性,（2）直谓二阶逻辑和休谟原则不能推出皮亚诺算术的后继公理。这说明一致性和可推出性在弗雷格系统的直谓片段中不可兼得。最后在直观上做出简单的分析。     

论童庆炳美学(中)

<正>二、"走向心理美学":童庆炳的美学阵地心理美学,与哲学美学、社会学美学并称为美学的三大支柱,其研究对象是审美主体在一切审美体验中的心理活动,以艺术创作和艺术接受活动中的审美心理机制为主要内容[21]。"心理美学"是童庆炳美     

源杰法师晋山典礼在河南鹤壁浚县太平兴国寺举行

本刊讯10月19日．浙江宁波七塔禅寺隆重举行建寺1150周年庆典。浙江省佛教协会会长、普陀山全山方丈戒忍法师,上海市佛教协会会长、玉佛寺方丈觉醒法师,重庆市佛教协会会长、慈云寺方丈惟贤法师．浙江省佛教协会名誉会长、天童寺退居方丈广修法师．福建省佛教协会副会长兼秘书长、福州开元寺方丈本性法师,     

意见收敛定理与休谟问题

意见收敛定理是主观主义概率论的一条重要定理,它表明随着证据的增加,验前概率的主观性将被验后概率的客观性所代替。意见收敛定理被看作主观概率的动态合理性原则,因而被用来解决休谟问题,即归纳合理性问题。然而,哈金有说服力地表明,意见收敛定理证明的是条件概率Pr（h／e）的收敛,而不是验后概率Pre（h）的收敛。主观主义概率论暗中接受的一个等式是：Pre（h）=Pr（h／e）,通常称之为“条件化规则”。这样,归纳法的合理性问题变成条件化规则的合理性问题。为此,本文提出一个新的合理性原则,即“最少初始概率原则”,将它同“局部合理性”观念结合起来便可为条件化规则的合理性加以辩护。     

基于广义谢弗竖的分析性模态公理系统

沿着安德森等人开创的方向,我们将分析性公理系统从经典逻辑推向模态逻辑,所定义的广义谢弗竖混合了模态词和广义析舍。在这篇论文中,我们给出常见的正规模态逻辑的分析性公理系统及其强完全性定理和插值定理,并讨论演绎关系的性质：单调性和切割性。     

探讨傣医四塔五蕴学说中的平衡观

傣医以四塔五蕴学说为核心内容来认识人的生、长、壮、老生命过程,将四塔五蕴之间的动态平衡关系看作是生命存在的前提和基础.探讨四塔五蕴学说中的平衡观,对于认识生命本质、疾病终极原因、病机本质及诊疗法度的确立等傣医理论的完善有着重要指导意义.     

简讯一束

3月16日,宁波七塔禅寺举行建寺1150周年纪念专集征稿座谈会,来自浙江省内外的著名作家、诗人、书画家、文人雅士等近百人参加。座谈会由宁波如意有限公司董事长储吉旺先生主持,宁波市江东区民宗局局长张志军先生和浙江省佛教协会副会长、七塔寺方丈可祥法师等先后讲了话。     

攻击行为儿童大脑半球某些认知特点的研究

为了解攻击行为儿童大脑两半球的认知活动特点,采用侧视野速示呈现技术,对径“同伴提名量表”筛选的１７名攻南 儿童和１６名正常儿童进行了比较研究。     

西方心理学研究中的现象学方法及其启示

现象学一词来自希腊语的现象(phenomenon)和规律(logos),意指自我显现的规律。现象学作为一种独立的学术运动,它发仞于布伦塔诺(F．Brentano 1838～1917)的现象心理学研究．名噪于胡塞尔(E．Husserl 1859～1938)的现象学哲学运动。现象学方法是西方心理学一百多年发展中同实证主义方法相对的一类心理学方法体系。笔者认为厘清西方心理学的现象学方法发展脉络,不仅有利于加深对西方心理     

为什么归纳逻辑需要所罗门诺夫先验?(英文)

二十世纪五十年代,卡尔纳普发展了归纳逻辑,他把概率看作一种证据对假设对"确证度";二十世纪六十年代,所罗门诺夫用通用归纳方法进行预测。为了增强归纳逻辑的归纳预测能力以及扩展所罗门诺夫通用归纳方法的表达力,本文整合二者。本文首先将所罗门诺夫先验概率的思想引入归纳逻辑中,在这个框架下,证明一阶逻辑版本的所罗门诺夫完全性定理,然后比较二者的优略。在卡尔纳普的归纳逻辑中,不管正面证据有多少,对像"所有乌鸦都是黑的"这种全称句的支持度最终都为零,而在用所罗门诺夫先验改造的归纳逻辑中,可以证明,在任何可计算的世界中,"所有乌鸦都是黑的"可以得到确证,只要在那些世界上真的所有乌鸦都是黑的。在所罗门诺夫的模型中,要证明完全性定理需要记录所有的过去信息,在修改后的归纳逻辑中,我们可以只关注某种具体的模式而忽略其它无关信息并证明类似的收敛定理。我们甚至可以不用记录所有的相关信息而采用随机抽样的方法建立合理的信念。