论亨迪卡对问句逻辑的贡献

随着逻辑研究的实践转向和日趋多元化,问句逻辑逐渐获得了逻辑家族成员资格,初步显示出其理论价值。当代著名哲学家兼逻辑学家雅各·亨迪卡对问句逻辑的发展做出了重要贡献：从历史角度梳理并继承发展了古典问句逻辑思想;在句法层面,他把问句等价于祈使句并对之进行认知分析;在语义方面提出了问句逻辑的博弈论语义学;在语用层面,将所有探究视为一场寻求信息（知识）的动态问答过程,强调提问的策略选择、答案的语境敏感性和信念的可修正性。亨迪卡的问句逻辑简洁自然,具有较强的解释力和深刻的哲学意蕴,其应用前景和发展潜力不可小觑。     

塔斯基的真定义、语义学与逻辑后承

塔斯基关于真理和逻辑后承的里程碑式的著作是对现代语义学研究的最重要的贡献。塔斯基用满足和归纳的方式给出的真理的递归定义,建立在语义模型、逻辑真和逻辑后承基础上的循序渐进的逻辑句法定义构成了当代语义学理论的核心部分。诸如模型论语义学、可能世界语义学、戴维森的意义理论、蒙太格的内涵语义学,甚至作为生成语法的分支的逻辑形式(LF)等无一不体现或者渗透着塔斯基原理。     

博弈逻辑应用研究

博弈逻辑是博弈论和逻辑学相交叉的一个崭新领域,研究理性的主体互动行动中的推理过程,即研究博弈中的推理问题。目前对博弈逻辑的理论和应用研究都处于起步阶段。博弈逻辑在许多领域应用广泛,并已深入到企业人力资源管理工作中。从系统论的角度研究博弈逻辑的应用,以及＂有限理性＂条件下的博弈逻辑应用研究将是新的发展趋势。     

约根森难题与真值语义学

约根森难题意味着,一方面规范语句不能作为逻辑推理的前提或结论;而另外一方面,很多包含规范语句的道义推理在直觉上是正确的.真值语义学试图通过假定规范语句可以有真假来评价道义推理的有效性.这种方案的问题在于它没有解决这个难题,而是绕过了它.约根森难题的解决需要一种比真值语义学更为一般的逻辑后承概念,它否认逻辑必须依赖于真概念.     

中世纪两种语义学及其现代重建

以西班牙的彼得为代表的实在论语义学和以布里丹为代表的唯名论语义学代表了中世纪逻辑领域两种不同的完整语义学。然而,它们在语义学上的不同并不在于其本体论基础或本体论承诺,而在于建构语义学的方法与思路,即范式。我们可以通过不同的逻辑策略消除实在论语义学中不必要的本体论承诺,从而在逻辑学领域实现两者的部分融合|唯名论语义理论因之可以通过副词化的手段从实在论语义学中获得。而对两种语义学合理的现代重建,既可表明唯名论与实在论的区别,又可表明唯名论语义学如何用纯粹自然逻辑的方式恰当地表达现代逻辑标准量词理论。     

邻域语义学和模型完全性

作者从将所有命题算子都看作内涵到内涵的算子的观点出发，提出了一般命题逻辑的概念，建立了统一的语义──邻域语义学。讨论了邻域语义学的模型完全性，给出了逻辑系统具有模型完全性的充分必要条件。模型完全性的哲学背景是逻辑系统必须遵守组合原则和唯一性原则。模型完全性仅是逻辑系统的必要条件，要刻画逻辑系统需要更强的完全性─框架完全性。邻域语义学开辟了逻辑研究的新领域，对各种不同的逻辑系统间的比较提供了有效的方法。     

墨家和荀子逻辑比较研究

墨家和荀子逻辑比较研究,有助于认识中国古代逻辑的内容和性质,总结其发展规律和经验教训.墨家与荀子逻辑的相同点是思维形式与规律在本质上一致,不同点是墨家逻辑全面论述概念、判断、推理,独到阐发援、推、止等推论方式,荀子逻辑略于判断、推理,详于概念.墨家逻辑的缺点是行而不远,荀子逻辑的缺点是独立性较弱,不利于逻辑发展.     

问题逻辑:问句分析及分型研究

“问题逻辑”也叫“问句逻辑”,其研究包括问句的形式、结构与逻辑特征.现实中的问题可以作多种分类,逻辑学的问题分类可以采取科学的逻辑二分法,把问题分为抑或问题和孰问题两种主要类型,在二分基础上再继续把问题分型来深入研究.     

问句的语义理论

从四个维度论证三个结论,一是问句能改变语境信息,二是不同的问题间存在一定的依赖关系,三是概念“解决”在刻画依赖关系中的重要性。结论同时表明了从逻辑角度研究问句或问题的必要性。全面考察逻辑发展过程中一些有影响或有过影响的问句语义理论,并以概念“解决”为标准对它们作出衡量。     

从是非问句答语探析中英文的逻辑差异

是非问句的答语一直以来都是中英学习者学习彼此语言时的难点,本文旨在通过中英文是非问句答语的对比,展示中英文是非问句答语的异同,从中探究中文和英文间存在的逻辑差异,并根据逻辑差异探寻学习中准确辨别答语的方法.     

从“问域”看初等问句的逻辑形式分析

问句逻辑又称问题逻辑,作为语言学与逻辑学的交叉研究领域,是现代逻辑的扩充型分支。＂初等问句＂是从结构上对疑问句划分的一种类型,开展＂初等问句＂的形式分析,不仅对建立疑问句逻辑形式系统,而且对问题的自然语言句法结构分析都具有十分重要的意义。现代汉语中广泛存带有＂对比焦点＂的初等问句,可以结合问题的＂问域＂理论,从＂问域＂角度对初等问句开展形式分析,在一定程度上解决了现代汉语中含有＂对比焦点＂的初等问句形式分析的难题,也有利于现代汉语形式化研究地进一步发展。     

双主体零和博弈逻辑形式系统建构及模型检测研究

博弈逻辑是博弈论和逻辑学相交叉的一个崭新研究领域,属应用逻辑范畴。双主体零和博弈逻辑是目前国际上博弈逻辑研究的重心。在命题动态逻辑原有程序算子(;∪*)的基础上增加对偶(dual)算子d建构双主体零和博弈逻辑的形式系统;把双主体零和博弈逻辑嵌入μ-演算中,分析双主体零和博弈逻辑的语言表达力;并在对双主体零和博弈逻辑形式系统建构的基础上,研究其模型检测的复杂性,可以为双主体非零和博弈逻辑及多主体博弈逻辑的研究奠定基础。双主体零和博弈逻辑已成为拓展博弈逻辑研究的一个重要方向。     

策略博弈的动态认知分析

策略博弈均衡解的标准逻辑分析通常是有关逻辑认知模型中参与人理性的相互知识的分析。本文试图用动态的方法来刻画策略博弈逐步到达稳定的过程,假设双方都是理性的,且除非双方已经到达稳定状态,在其他任何状态,参与人在知道对方采取行动的前提下,都有动机改变自己的策略,同时理性会驱使他们采取能增加自己收益的策略。本文在策略博弈环境中引入了有关参与人策略知识推理的逻辑,该逻辑的语言是通过增加策略算子扩张认知逻辑语言而得,然后给出其模型,进而分析在该模型中成立的某些有关策略博弈的逻辑性质。     

“p，∧还是q？”与“p？∨或者q？”

p代指选择问前小句,q代指是非问后小句,“p q”代表“选择问 是非问”构成的选择问句。文章试图对“p q”选择问句存在的纠结加以论述。指出:连接词是“还是”时,两小句偏向合取态势,有时也用蕴含“还是”的“或者”,两小句倾向于是复句的分句。当两个句子呈析取态势时,偏向用“或者”,几乎不用“还是”,两小句倾向于是句群的组成部分。复句和句群之间大多可以转换,并有着不同的主观视点和不同的心理特征。     

汉语逻辑研究的新进展——邹崇理汉语逻辑形式化研究述评

20世纪90年代,汉语逻辑研究取得了新的进展。邹崇理运用MG与GQ的基本方法,分析了汉语量化词的语义特征,在对汉语量化句特征全面把握的基础上,构造了汉语量化句的部分语句系统FC。采用时间区间语义学方法处理汉语的时态结构,经过巧妙构思,构造了一个专门刻画汉语时态结构的部分语句系统。他的这些工作是具有开创性的,为汉语逻辑的研究闯出了一条新路,展示了广阔的研究前景。     

逻辑知识在行政职业能力考试解题中的应用

逻辑学是研究推理的,所有的推理都可以转化为充分条件假言命题,逻辑判断又是行政职业能力测验中最典型的逻辑试题,亦是学生普遍难以驾驭的题型,根据充分条件假言命题的特点、推理规则,其负命题的等值命题以及其与推理的转化关系,可以较好地解决逻辑判断五种不同的题型,借此引导学生提高运用逻辑知识解决实际问题的能力。     

论亚里士多德的大逻辑思想

亚里士多德逻辑思想是研究各类科学知识的工具 ,它是适应古希腊演讲、论辩之需要而产生的。亚里士多德逻辑思想是大逻辑思想 ,除了证明推理外 ,还有辩证推理、归纳、定义、辨谬等内容 ,并涉及了预设理论、问题逻辑、语境与逻辑等现代逻辑关注的问题。逻辑研究应提倡兼容 ,数理逻辑、自然语言逻辑、归纳逻辑、辩证逻辑、法律逻辑等等可以共同存在、共同发展。     

《围城》中的"激问"句组——兼析交往理性的"围城"

激问句组,是由两个或两个以上的激问句直接组合而成的一个无疑而问的问句系列.《围城》激问句组有较为丰富的激问标记语,主要有"什么"为什么"怎么"难道"罢"么"呀"不是……么"P不P"格式等,也有一定量的零标记(无特定标记语)形式.在结构形式上有二句句组和三句句组,组合形式多样.《围城》激问句组是钱钟书语言艺术的一个组成部分,颇具语用价值.有心理、逻辑、审美等动因的激问句组,是有意违背合作原则和礼貌原则等语用原则的"美丽的错误",其有助于人物形象的塑造,有助于令人"银笑"(非"铅笑")的讽刺效果的形成.激问句组是交往理性的"围城"的"建筑材料"之一.     

当代内涵逻辑的理论发展

内涵逻辑是经典逻辑的一种重要的扩展类型.内涵逻辑是关于必然、可能、时间、空间、行动、知识、信念、义务和其他内涵概念的逻辑研究.内涵逻辑研究的主要目的是分析内涵概念,围绕内涵概念给出相应的形式系统,形式系统的语义模型解释及关于系统的可靠性和完全性证明等问题.内涵逻辑在哲学问题的分析和自然语言语义学及人工智能等领域都有极为重要的应用.本文概述当代内涵逻辑发展的主要类型以及它们之间的内在关联.结论部分给出了关于内涵逻辑与经典逻辑关系的两种观点,有助于人们更深刻地理解内涵逻辑.     

群体推理的逻辑与群体理性问题

"群体推理的逻辑"研究群体如何进行推理,同时研究群体推理与群体中的个体推理的关系;许多领域(如认知逻辑、公共选择理论、科学方法论)中的学者在不同程度上探讨群体推理的逻辑以及探讨群体推理相关的问题如群体理性问题。这是一个富有前景的多学科研究领域。