情境语义学能否替代可能世界语义学

情境语义学者认为,可能世界语义学含有语义整体论这一哲学预设,不符合人类认知的实际状态,而且形式语义学把真值当作意义,并不能代表意义的全部内容。因此,他们希望能创建一种新的情境语义理论,以替代可能世界语义学。但从两种语义理论各自最基本的概念和研究方法及现有成果的比较中,我们可以得出这一结论:情境语义学不能替代可能世界语义学。     

从格式固定化到内容形式化:中国传统契约的发展轨迹——以清代田宅买卖契约为中心的考察

清代的买卖契约不但继承和巩固了宋元以来契约格式固定化的成果,而且还表现出了契约内容形式化的迹象,这在契约主体的签署、契约标的"物"的界定、"权"源正当性的声明及担保等方面都有程度不同的反映.可以说这是中国古代契约发展至"烂熟"阶段的反映.进一步讲,在清代社会,买卖契约的形式化不仅具有其社会功能上的可能性,甚至由于"田骨"买卖契约所具有的特点,这种形式化还具有了某种程度上的必然性.     

语境的形式化研究

语境是语言交际的重要因素 ,信息技术不断发展 ,计算机处理自然语言 ,必须对语境形式化。本文从计算语用学和人工智能的角度出发 ,对语境的形式化研究进行了综述。计算语用学的目的是建立自然语言理解系统 ,而人工智能研究语境形式化主要解决知识普遍性的问题。从第 2节到第 4节 ,文章从理论背景 ,研究方法和逻辑表征方式三个方面综述McCarthy(1987) ,Perrault和Allen(1980 ) ,Bunt(2 0 0 0 )对语境进行的形式化研究 ,比较它们的不同和相同之处 ,为语境的形式化提供可借鉴的方法和理论。     

改进审稿制度,促进学术水平的提高

审稿制度对学术水平有重要影响,专家审稿比编辑审稿更符合学术规范的要求,建立匿名审稿制度、完善审稿制度中的形式化规范和提高实质性审查水平对促进学术水平的提高很有必要.     

导论逻辑教科书比较研究：－兼论我国面向21世纪逻辑教材改革

导论逻辑作为大学逻辑入门或基础课程在各国大学开设率为40%左右.世界最著名的导论逻辑教科书柯比的<逻辑导论>最新版在论证理论、科学方法以及与实际例证相结合方面作了新的改进,以加强导论逻辑的应用性.比较之下,我国的导论逻辑教科书,存在着定位不明,论证理论少有建树,内部中突较多,教材选用机制不灵活等缺陷.     

弗雷格的实质蕴涵思想与现代逻辑的选择

弗雷格提出实质蕴涵思想的最初依据实际上也是蕴涵命题前后件之间的相关性,他所引以为据的"如果太阳现在已经升起,那么天空乌云密布"并不是毫无条件联系的假言命题,他是由这种相关性经过抽象论证而过渡到了实质蕴涵的,但他的论证并不是逻辑有效的.弗雷格的思想对现代逻辑以至于现代哲学的影响是巨大的.罗素把实质蕴涵的思想明确地贯穿于他的逻辑体系并且还提出了一个关于实质蕴涵的形式化定义,由此,实质蕴涵的意义完全成了一种人为的规定,它不仅不能正确处理自然语言中的假言命题,而且也不能正确处理自然语言中的假言推理.判断一个条件句的真值最主要还是要看该条件句的前件和后件之间有没有条件和结果的关联.判定条件语句真假的复杂性要求判定者必须具备超出形式逻辑范围的知识.     

预设理论的形式化研究

文章探讨了学者们普遍关注的与预设相关的问题,并重点讨论了盖士达的潜预设理论,即潜预设理论的形式化定义及系统定义,从形式化角度重新审视预设理论的发展.最后本文指出了该理论的优势与不足,希冀引起人们对该理论更深层次的思考,为预设理论的深入研究提供了建设性思路.     

当代油画创作对美术教育启示分析

在当代油画创作界，意识形态是无需进行统筹规划转变为艺术状态。艺术家仅需将事物的本质亦或自己迫切需要抒发的情感给予充沛的感情，并运用独特的、鲜活的表现手法，那么值得赞叹的作品就会应运而生。当代油画创作如此，美术教育亦如此。     

悖论与塔斯基真理定义

塔斯基真理定义的理论有两个目标：一个是哲学的目标,一个是元数学的目标。塔斯基的哲学目标是提供一个真理的普通概念,即在科学、数学和日常话语中通常使用的真理概念的定义。元数学的目标是研究逻辑方法论,元数学（又称元逻辑）研究的是在逻辑框架（一阶和高阶数理逻辑）中理论（特别是数学理论）的形式性质以及逻辑框架本身的性质。真理的概念在元逻辑研究中扮演着重要的角色。然而,由于这一概念会产生悖论,因而,塔斯基的第二个目标是证明“真理”概念可以在元逻辑中一致性地被使用。