多视角看逻辑与语言——第五届国际逻辑与认知学术研讨会综述

由中山大学逻辑与认知研究所主办的“第五届(国际)逻辑与认知学术研讨会”于2006年5月29~30日在中山大学隆重召开,前来参加这次会议的国内外学者近50名。本次大会的主题是逻辑与语言,报告的专家们从不同的角度分析了逻辑学、语言学以及两者的交叉领域中的一些重要问题,从而使我们对逻辑与语言领域的国际前沿动态有了更为全面深入的了解。一、语言逻辑波兰亚当·密茨凯维支大学计算理论系主任沃依切赫·布茨科夫斯基(Wojciech Busz-kowski)教授做了题为“范畴语法和子结构逻辑”的报告。他首先阐述了兰贝克演算的由来,及其形式化系统和根岑…     

民主办教会好

今天教会在地上的两重性,谁也不能否认。它不仅要在灵里追求圣洁,还要在社会上显出公义的见证。特别在祖国改革开放的时代,更有见证主福音的重任。事工错综复杂,问题也层出不穷,这是不可回避的,也是摆在基督徒面前迫在眉睫的大课题。 我以亲身经历和见闻,提出治好教会的几点拙见,献于同工同道之前,抛砖引玉求主悦纳: 一、靠主真理、解放思想 不要以提意见就是论断人,不要以为“     

害羞者对模糊情境信息的解释偏向

以模糊情境句子和形容词为刺激材料,分别采用文本材料范式和改编的词汇情境联接范式,对害羞者的延时解释和即时解释偏向特点进行探讨。结果发现：害羞者对模糊情境信息不仅缺乏积极的即时解释偏向特点,而且也缺乏积极的延时解释偏向特点;害羞者未表现出消极的即时和延时解释偏向特点。研究表明害羞者可能是社交焦虑的前期阶段,对害羞者的干预可以通过引导其积极的解释偏向的方式来实现。     

CD-CAT初始阶段项目选取方法

CD-CAT是CDA同CAT的相结合的产物,适用于课堂教学,是教师补救教学、学生自我学习的重要工具。作为CD-CAT重要组成部分的初始阶段项目选取方法是影响测验判准率的重要因素。本文基于现有研究和CDA的项目区分度提出了四种新的初始阶段项目选取方法:CTTID法、CDI法、CTTIDR*法和CDIR*法。通过模拟研究发现,在定长的CD-CAT下,题库质量是HD-HV下,初始阶段结束时,CTTIDR*法的PCCR比现有的T阵法高了.2999,比PWKL高了.1707,其它题库下趋势相同。整个测验结束时CTTIDR*法的判准率仍然是最高的。在变长的CD-CAT下,最大后验概率大于.7、.8、.9下,CTTIDR*法的被试平均测验长度比T阵法分别缩短了2.6170、2.2347、1.7470道题。     

情绪调节自我效能感的应用研究

本研究的目的在于考察情绪调节自我效能感量表在我国的适用情况,以及我国研究生情绪调节自我效能感的特点.采用情绪调节自我效能感量表对1568名研究生进行测查,采用SPSS11.5和LISREL8.53对结果进行统计分析.结果表明情绪调节效能感中文版量表信、效度较高,适合进行情绪凋节效能感研究;中国研究生情绪调节自我效能感性别差异显著,不存在学历层次和所学学科的差异.     

"三朝高僧传"中的竹林寺

竹林寺是我国古代众多寺院中最早用来命名的一类,在佛教史上有着一定地位和影响.文章首先对竹林寺命名来源进行考辨;次则就竹林寺在"三朝高僧传"中记载情况差异分析,得出"三朝高僧传"编撰者对于竹林寺记载最大变化是;由传记性的真实竹林寺变为掺杂具有传说故事性色彩的竹林寺.这种变化模式典型反映了中国传统史学的一个特色;最后探讨了其产生三个原因.     

否证者悖论:一种新型命题态度疑难

作为知道者悖论研究的副产品,否证者悖论并不是一个新的形式结论,它只是对理想相信者悖论的重新解释,但这种解释的提出向人们表明,任何合理且精致的数学直觉都会导致不相容性。否证者悖论所涉及的"主观可证"概念作为一种新型命题态度,介于逻辑与世界之间,它沟通了哲学中的"知识"概念与认知主体实际所使用的"知识",从而为人工智能进一步的精确刻画提供了理论基础。     

初中生感知到的同伴支持与数学学习投入—基于变量为中心和个体为中心的分析

为考察同伴支持对初中生数学学习投入的影响机制,采用问卷法对1177名七、八年级学生感知到的同伴支持、数学认同、数学焦虑和数学学习投入进行测查。结果发现：同伴支持不仅能直接预测初中生的数学学习投入,还通过数学认同经数学焦虑的链式中介作用来预测数学学习投入;对数学认同和数学焦虑的得分进行潜剖面分析,可将学生分为高认同-低焦虑、中认同-中焦虑和低认同-高焦虑三组,同伴支持可预测学生的不同亚组,三组学生的数学学习投入得分存在显著差异。上述发现为促进基础教育阶段学生数学学习投入的教育实践提供了理论依据。     

对科学与迷信的另一种思考

一、科学地认识科学 　　“科学“这个词,英文为Scinece,德文为Wissenchaft,它源于拉丁文“Scientai“,原意是“知识“、“学问“的意思,最早引入我国时大约十六世纪前后,被译作“格物致知“,直到1893年康有为在翻译介绍日本的书目时才首次使用.尽管科学本身很复杂,对“科学究竟是怎样的“这一问题,至今还没有一个公认的结论,不过归纳总结各国专家学者的看法,大致也有一些基本的认识:科学是准确的判断;科学是事实和规律在人们头脑中的反映;科学是一种方法,也是人类认识自然与社会从而征服自然、改造社会的武器和工具;科学是一种社会现象;科学是有渊源而无止境的长河.[1]科学无止境的发展和不完全重复的变化,使科学总是处于不断补充与修改之中.科学学的创始人贝尔纳对此曾作过深入研究,也感到为科学下一个完满的定义很困难.他甚至主张不能给科学下定义,而只能从不同的侧面去认识和理解.他认为科学包括五个方面:科学是一种体制(即完成科学社会任务的组织);科学是一种方法(即发现事实和规律的全部方法);科学是一种积累的知识传统(即科学具有累积性);科学是一种生产发展的主要因素(科学与技术密切结合,导致生产的发展和社会的进步);科学是一种重要观念的来源(新思想、新原理、新世界观的来源).……     

濠梁之辩、摩尔悖论与唯我论

运用现代逻辑工具对《庄子》中的著名辩论濠梁之辩所包含的命题、论证和推理进行了分析,指出惠施在论辩中隐含使用或承认了某种唯我论命题,该命题将导出形如"φ且我不知道φ"这样的摩尔句,从而产生摩尔悖论。庄子通过反驳和"诡辩"的方式不自觉地触及了其悖论性所在。进一步,利用摩尔悖论表明:在合理的预设下,认识论的唯我论即使是真的,也是不可知的。本体论的唯我论比认识论的唯我论在逻辑上更加坚固。