模态逻辑的集合论语义与互模拟不变性

含有命题变元的非良基集合能够被看作解释模态语言的模型。任给非良基集合a,一个命题变元p在a上真当且仅当p属于a。命题联结词的解释与古典命题逻辑相同。一个公式3A在a上真当且仅当存在集合b属于a,使得A在b上是真的。在一个集合中,属于关系被看作可及关系。在这种思想下,我们可以定义从模态语言到一阶集合论语言的标准翻译。对任意模态公式A和集合变元x,可以递归定义一阶集合论语言的公式ST(A,x)。在关系语义学下,van Benthem刻画定理是说,在带有唯一的二元关系符号R的一阶语言中,任何一阶公式等价于某个模态公式的标准翻译当且仅当这个一阶公式在互模拟下保持不变。因此,模态语言是该一阶关系语言的互模拟不变片段。同样,我们可以在集合上定义互模拟关系,证明van Benthem刻画定理对于集合论语义和集合上的互模拟不变片段成立,即模态语言是一阶集合论语言的集合互模拟不变片段。     

论逻辑系统

一、逻辑系统及其成为逻辑系统的一些条件在日常生活中 ,一个有效的推理通常可以用形式表示为“如果p ,那么 q ;p ,所以 q”。也可以用符号表示为 (p→q)∧p→q。这种有效式在逻辑中又称为重言式。在正确的推理 (合理的论证 )中 ,各个重言式是一致的。因此 ,如果能够把握被看成是重言式的所有复合命题形式 ,那么 ,也就把握了所有的正确推理 ,也就解决了逻辑学中的最主要的问题 ,即推理理论。但是 ,在日常生活中 ,推理的数量是无限多的 ,也就是说被看作重言式的逻辑公式是无限多的。为了把握无限多的重言式的全部或相当大的部分 ,有必要在逻…     

一个关于非直谓语句的逻辑系统

非直谓现象普遍存在于许多领域中。在数学中,对集合的最小元的定义是非直谓的。在逻辑中,罗素悖论的产生是由于允许非直谓地定义一个集合,即“所有不包含它自身的集合的集合”。莱布尼兹对“同一性”的定义——“a与b是相同实体当且仅当对所有性质f,如果f（a）则f（b）,反之亦然”——是非直谓的。罗素构造分歧类型论的动机不是来自形式系统的悖论,而是来自日常语言中的悖论。本文的目标是构造一文化景观命题逻辑来刻画关于特定的非直谓语句的推理。一个非直谓语句的表达预设了一个语句集,一个典型的非直谓语句是“拿破仑具备一名伟人将军的所有德性”（罗素的例子）。本文所关注的是“一阶”非直谓语句,即仅预设直谓语句集的非直谓语句。非直谓语句的一个性质是：一个非直谓语句等价于它所预设的语句集中的成员（可能无穷）的合取。这一性质需要在要构造的逻辑系统的句法中被表达出来,而针对此本文所采用的手段是在命题逻辑系统的符号中加入“命题量词”,也就是说本文要构造一个量化命题逻辑系统。在形式化部分,本文给出了这个逻辑的句法、语义、希尔伯特公理系统和它的完全性证明。     

弱智儿童语言获得的研究

１引言弱智儿童作为一个特殊的群体，普遍存在语言的获得与发展的问题。有关研究始于本世纪初，据不完全统计，在１９００—１９７５年间。大约有７５０多篇关于弱智者语言问题的研究论文以英文发表，其中大多数发表在１９５０—１９７５年间；据美国心理学会１９９４年统计，１９６７—１９９３年１１月期间，有８１７篇关于弱智者语言发展的论文发表［１］。这说明，弱智儿童语言的获得与发展问题已越来越多地引起有关学者的注意。２语言前期的发展对正常儿童而言，这一阶段通常在出生后的１８个月内完成，而对于中、重度弱智儿童，这个阶…     

婴幼儿说明性身势的发展特征

１引言说明性身势是有意识地发出来帮助语言说明问题的身势,也就是说在这里语言表达与身势表达试图结合起来,因此与语言的关系相当密切。从理论上讲,说明性身势是婴儿开始理解语言后才能发出的,说明性身势的发展体现着身势与语言在表达上有意识地靠近。本文试图在调查和有意识地观察的基础上．谈谈婴幼儿的说明性身势在发展上的某些特征。２功能置换说明性身势的交际功能相对于语言而言在婴幼儿的发展过程中有个功能置换的过程。在调查儿童对“哪里”问句的理解时,通过下面四种句型对儿童进行调查：Ⅰ．哪里＋ＶＰ（哪里有球球？）Ⅱ．…     

肝脏象理论现代研究述评

１"肝藏血"的研究中医"肝藏血"的功能包括贮存血液、调节血量、统摄血液、化生血液４个方面。钟飞［１］从现代医学角度对"肝藏血"的生化机理进行探讨,认为中医"肝藏血"与现代医学肝脏在物质代谢中的作用之间存在着必然的联系。王蕾［２］认为肝调节血量主要表现在助心行血和调节血脉两个方面,并通过柴胡疏肝散对家兔心血管系统的影响及对肝气郁结造模大鼠血浆中的６－ｋｅｔｏ－ＰＧＦ１２和ＴＸＢ２含量的测定分析得出结论：肝调节血量的机制是通过调节心血管功能及血管活性物质实现的。为了探讨肝不藏血的机理,赵会芳［３］选择６０例…     

论可能世界的名字

“可能世界”是模态逻辑语义学的核心概念,一般也可以称为“世界”、“点”、“状态”、“时间”以及“情境”等。模态语言本质上是研究通常一阶模型论意义上的关系结构的简单、且具有丰富表达力的形式语言,但是,传统的模态语言没有一种机制来指称关系结构中的个体并对其进行推理。以传统模态逻辑为基础,在句法中引入“可能世界的名字”作为第二类原子命题、引入相应的算子和约束词而得到的语言称为混合语言,这一语言既发扬了模态语言积极的一面,同时又克服了模态语言前述的重大缺陷。本文首先介绍“可能世界的名字”引入的逻辑背景和主要思…     

全视野汉字词义联想的ERP特征与汉字认识的ERP甄别

实验刺激模式为“预备信号纯音－屏幕呈现一个提示字一屏幕呈现一个操作字”。令被试者用操作字联想出另一个字以组成词,并口述之。实验组依联想性质分为具体与抽象二项,另进行一项对照实验。每项实验的操作字皆分为认识与不认识两类,脑电记录点为Ｆｚ,Ｃｚ,Ｐｚ,Ｐ３－Ｔ５中点,Ｐ４－Ｔ６中点,主要观察到：（１）词义联想引起Ｐ３与正慢波（ＰＳＷ）波幅增大。（２）不认识字联想可导致ＰＳＷ波幅极显著地增大和潜伏期极显著地延长,（３）无论汉字是否认识,对照组ＰＳＷ波幅较两个实验组皆高。（４）从ＰＳＷ中提取出了反映汉字认识与否的纯心理性Ｐ８００成分。（５）对照组的Ｐ８００始潜时较两个实验组皆长,这些实验结果表明,除前人提出的ＰＳＷ具有信息加工完成之认知含义外,ＰＳＷ尚与汉字形音认知、联想等多重信息加工相关,很可能是复合波;汉字的形音义加工间存在着错综复杂的关系,难以分割;在本实验条件下可使用ＰＳＷ或Ｐ８００成分作为甄别汉字是否认识的客观标志。     

话语实践——哲学研究的新领域、新视角、新方法

如果把 2 0世纪哲学的最伟大成果说成是关于语言在哲学中功能的研究 ,那就大错特错了。维特根斯坦揭示语言与世界同构 ( 1,Ｐ38,“命题是现实的形象”) ,其实只是给逻辑实证主义打了一支强心剂 ,它不仅仅告诉世人可以用逻辑的万能性证明世界的实在性 (这个难题被康德称为人类与哲学的耻辱 ) ,维特根斯坦也因而名声大噪。然而 ,后来哲学的实践完全和维特根斯坦宣言背道而驰 ,世界的实在性不仅和逻辑无缘 ,而且这种实在性甚至和哲学无缘。但是 ,必须看到 ,维特根斯坦开辟的元哲学研究给哲学留下的隐喻的确不可低估 ,人们看到了语言的作用真的…     

惯用语理解的心理语言学研究

０引言比喻（ｍｅｔａｐｈｏｒ）在人类的语言实践中发挥着重要作用。惯用语是比喻的一种,是短小精悍、约定俗成、运用广泛的固定词组,通过比喻意义来表达言外之意。理解言外之意的心理机制是心理语言学的一个研究课题,而且在儿童掌握母语、成人学习外语等活动中,惯用语的理解都很重要。所以,这方面的研究具有重要的理论价值和现实意义。国内有关的心理学研究已经开始［１］,是一个可喜的开端。本文介绍一下英语惯用语理解的心理学研究成果,作为借鉴。１惯用语的心理表征长期以来,在惯用语理解这个研究领域内,学者们热衷于研究惯用…     

小学生概括不同类型记叙文主题的心理加工过程的研究

中文考察小学生概括两类记叙文主题的信息加工过程,分为两步,第一步考察小学生概括主题的阅读过程,探讨不同年级的小学生在有或无概括主题任务的情况下进行阅读的特点。第二步是概括主题的口头报告分析,主要研究小学生概括文章主题的信息加工过程。根据要求从广州市某小学二、四、六年级学生中分别选出两步研究的被试,实施实验方案。结果表明：１．低年级学生的自然阅读过程主要是单一的语言解码信息加工活动,高年级学生的阅读过程可以同时进行语音解码与组织连贯的信息加工活动;２．小学生对记叙文的主题的概括过程,一般经过语言解码,组织连贯,文章命题网络的整理与收敛,验证调整等四项信息加工活动,学生对一事表人与多事表人的两类典型的记叙文主题概括的信息加工过程基本相同,不过在文章网络的整理与收敛这个关键性的环节的具体进程有一定的差异。     

量词模态逻辑的代数语义学_(Ⅳ,下)──关于含Barcan公式的非正规模态系统情形

４。包含对称公理之另外６个系统以及一个递增系统列。我们称Ｔ．ＡＡ为对称公理（σ）。首先有下述定理;定理６。设Ｕ＝〈Ｗ,Ｑ,Ｒ,Ｄ,Ｖ〉为一模型结构,则当Ｒ在Ｗ－Ｑ上为对称的时（σ）在Ｕ上有效。证。设Ｕ为对称的,ｉ．ｅ,关系Ｒ在Ｗ—Ｑ上为对称的。（１）考虑ｗＷ－Ｑ今证亦即,此处用到　对任何。设Ｖ（Ａ,ｗ）＝０,则（＊）显然成立,故设（＊＊）Ｖ（Ａ,ｗ）＝１今证,即对任何,ｗ＇Ｗ只要ｗ＇Ｒｗ’即有。Ｖ（Ａ,ｗ＇）分两情形：ｉ）若ｗ＇Ｑ,则显然后一等式成立,则因Ｒ在Ｗ－Ｑ上为对称,可知有,故由（＊＊）…