博弈论语义学对量化式的解释

博弈论语义学将对量化式的解释看作是一个两人博弈的过程,通过给定一系列博弈规则,局内人可以得到一个真值确定的原子句,从而得出结论。一个包含量词的句子,能够得到一个行之有效的语义解释理论。

博弈论语义学探赜

贾可.辛梯卡是当代著名的逻辑学家,他创建了博弈论语义学,用两人博弈的方法来刻画人们对命题理解过程,从而判定命题的真值。本文从维特根斯坦的"语言游戏说"和皮尔士的实用主义出发,阐述了博弈论语义学的哲学起源和判定方法,认为辛梯卡的语义理论实质是行动主义的替换论,并指出该理论可以刻画公共知识的形成。

博弈论语义学量词逻辑语义解释理论的方法论

博弈论语义学方法的提出解决了传统形式语义学理论所不能解决的很多问题。关于这种方法对处理某些逻辑理论的语义问题是否适用,已有的研究对此未能展开充分的讨论。为了更好地应用博弈论语义学理论,需要澄清博弈论语义学方法的有效性和适用范围。文章从亨迪卡的原著中理清博弈论语义学的创建思路,全面分析并准确把握其理论模型和方法论特征,以便进一步思考其理论价值。博弈论语义学建构的系统有两个分支,其一是建立在量词逻辑基础上,关于真值解释的形式语义系统;其二是自然语言逻辑理论体系。文章的研究对象集中于第一个分支。

博弈论语义学视域下的“真”概念

通过与塔斯基语义学相比较,博弈论语义学为我们理解"真"概念提供了一个全新的视角。它以语言为信息交流的媒介,以目标为导向,借助证实者(自我)与证伪者(自然)之间的二人零和博弈,按照逻辑常项对应的博弈规则采取相应的行动,将"真"定义为证实者拥有取胜策略,"假"定义为证伪者拥有取胜策略,试图在一阶语言内部给出"真"的可定义性,将一致的"真"概念扩展到自然语言层面。博弈论语义学不仅揭示出塔斯基语义学所预设的信息依赖与组合原则,具有与塔斯基语义学相同的"真"定义功能,而且进一步揭示出信息独立及其非组合性,突显了认知主体把握真值条件的建构过程。它由外至内、非递归地给出复合语句的真值条件,而无需预设原子语句的真,强调了意义整体论和真值条件的语境依赖性,不仅适用于精确可计算的形式化语言,而且还为自然语言提供了更加合理的解释框架,具有许多新颖的特点和重要的方法论价值。

博弈论语义学真值解释方法的特征及其对不确定真值解释的适应性研究

与传统的形式语义学相比,博弈论语义学具有十分鲜明的理论特征。亨迪卡创建博弈论语义学正是为了克服传统的形式语义学理论在语义处理上面临的一些困境。这样一来,博弈论语义学的产生就带有明确的意向性。因此,为了更准确地把握博弈论语义学的理论形态及其作为一种真值解释方法的突出特征,我们首先需要回到博弈论语义学的相关原著中去分析这种理论想要解决哪些具体问题,以及它是如何设计以解决这些问题的。在此基础上,我们观察到博弈论语义学解释方法所具有的一些主要特征使其可以适应于对非经典逻辑语言中不确定真值的解释。理由是,不确定真值的几种不同表现,在博弈论语义学中都可以找到对应的解释。我们在这方面的探索对于博弈论语义学本身理论体系的丰富将具有不容忽视的重要意义。

亨迪卡博弈论语义学评析

当代著名哲学家和逻辑学家雅各·亨迪卡发展了维特根斯坦的语言游戏论,系统地构建了博弈论语义学。与塔斯基语义学由内至外的赋值方向相反,博弈论语义学的赋值由外至内。它不仅适用于完全信息情形,与塔斯基语义学具有相同的真理定义功能,而且还适用于非完全信息情形,从而揭示出量词的独立性。在形式语言层面上,它可以实现一阶语言与高阶语言之间的翻译,显示出许多非经典逻辑特性;而其最大特色还在于它能够为自然语言提供更为恰当的解释,例如非标准量词、回指代词、辖域模糊现象等,具有广阔的应用前景和巨大的发展潜力。

博弈论语义学视域下蕴涵式的逻辑哲学解读

逻辑学中的蕴涵式与自然语言中的条件句在语义解释上存在着较大的差别。辛提卡将自然语言中的条件句刻画为逻辑学中的实质蕴涵,同时引入博弈策略来说明条件句。他从弗雷格出发,认为应从现实中博弈参与人的博弈回合来解释实质蕴涵,并将博弈规则(G.if)拓展为(G.cond1),把对条件句的解释从逻辑赋值的束缚中解放出来。

亨迪卡博弈论语义学评析

当代著名哲学家和逻辑学家雅各·亨迪卡发展了维特根斯坦的语言游戏论，系统地构建了博弈论语义学。博弈论语义学的赋值由外至内。它不仅适用于完全信息情形，与塔斯基语义学具有相同的真理定义功能，而且还适用于非完全信息情形，从而揭示出量词的独立性。在形式语言层面上，它可以实现一阶语言与高阶语言之间的翻译，显示出许多非经典逻辑特性：而其最大特色还在于它能够为自然语言提供更为恰当的解释，例如非标准量词、回指代词、辖域模糊现象等，具有广阔的应用前景和巨大的发展潜力。

皮尔士逻辑语义学思想

模型论肇始于20世纪30年代初期,一般追溯到塔尔斯基、马尔捷夫以及罗宾逊等,"成名"于20世纪50年代。皮尔士19世纪的工作已经开始了命题逻辑的可能世界语义学分析,也开始了多模态和量化模态逻辑的可能世界语义学分析。本文将从量词、模态词、逻辑联结词以及存在图等方面来整理C S皮尔士的博弈论语义学和可能世界语义学等模型论思想。

分枝量词的语义解释及其本体论承诺

经典逻辑恪守组合原则,假定量词之间相互依赖,致使前置的重叠量词之间呈现线性特征,即域窄的存在量词受制于域宽的全称量词。如果考虑量词的独立性,允许重叠量词之间具有某种偏序关系,那么将产生所谓的分枝量词。研究表明,我们不仅可以在形式语言层面上构造分枝量化式(可行性),并且确实需要用分枝量化式来刻画某些自然语句(必要性)。对分枝量化式做不同的语义解释将带来不同的形而上学后果。如果将分枝量化式等价于某种类型的司寇伦函数式,那么将面临复杂的嵌套结构并承诺相应的二阶语义实体。如果采用更为直观的博弈论语义学,那么可以避免直接谈论二阶语义实体和使用复杂的嵌套结构。但无论采取何种解释方案,分枝量化式与经典量化式都将面临相同的本体论承诺。因为逻辑公式的本体论承诺与其语义解释有关,而与公式本身无关。所以,蒯因对分枝量词的本体论指责是不能成立的。分枝量词逻辑是对经典逻辑的实质修正,而绝非任意的背离,具有许多新奇特性和深刻的哲学意蕴,其发展潜力不容小觑。

经济博弈活动的道德选择研究

伦理学是实践哲学,因此道德选择对于实践生活中的道德原则到道德实践的转化具有重要的意义。有一种观点认为选择就是绝对命题。另一种观点认为道德规范的选择如果有例外也是对道德规范的修正。但是在经济博弈活动中,道德选择则大部分是在追求主观效用最大化过程中行为的道德选择。它不仅要考虑自己的选择还要考虑对方的选择。这种选择可以通过博弈论语义学假言判断形式及可置性模型阐释。

科学探究的问答逻辑及其博弈模型

传统科学哲学普遍聚焦于科学范畴、科学证据的静态结构以及科学知识的辩护等问题,而忽视了对科学探究活动本身即"发现语境"的动态分析。当代著名哲学家兼逻辑学家雅各·亨迪卡长期致力于科学动力学研究,将科学探究视为一场探究者(科学家)与信息源(自然)之间的问答博弈,建立了科学探究的问答逻辑及其博弈模型,为科学探究提供了更为贴近现实的动态框架。该框架不仅可以清晰地揭示出科学探究的复杂性和多样性,而且还有助于阐明科学探究的一致性和不确定性等疑难问题,具有较强的解释力和深刻的哲学意蕴。

论亨迪卡的博弈逻辑观

如何准确把握逻辑的本质、范围及目标,是逻辑哲学至关重要且亟待解决的问题。当代著名逻辑学家、认知逻辑与博弈论语义学的创始人雅各·亨迪卡从历史维度揭示了逻辑的起源,认为逻辑教学和研究的目标应该是获得最佳推理,而不是推论形式的有效性,逻辑本质上是以规则为导向的游戏活动,不仅包括限定规则,还包括策略规则。现代逻辑过分强调限定规则,忽视了策略规则,从而缩小了逻辑的范围,降低了逻辑的目标。受到亚里斯多德、康德以及维特根斯坦等先哲影响,在吸收现代逻辑技术和数学博弈论的基础之上,亨迪卡发展出了IF逻辑及其博弈论语义学,旨在改变目前逻辑教学和研究的窘境,力图恢复古典逻辑观念,使之成为真正有用的探究工具。

亨迪卡的条件概称句述评

亨迪卡在运用博弈论语义学解释条件句时发现,存在一类条件概称句,这类句子后件中包含一个代词,并且这个代词指称前件中量词所管辖的名词,句中的量词即概称量词。在条件概称句的解释方案上,亨迪卡从现实中博弈参与人的博弈回合出发,将博弈规则(G.if)拓展为(G.cond1),通过策略选择的语境确定概称量词的所指,这种解释方案实质上是概称句的心理语义解释方案。

基于分众分类的信息唤醒机制研究

文章运用经典扎根理论、博弈论语义学和实践智慧,分析基于分众分类的信息本身的唤醒和图书馆员、用户等参与者信息化意识和实践智慧的唤醒,提出一个概念性的信息唤醒框架,促进信息价值的再生和再挖掘,以进一步唤醒高校图书馆的沉睡信息,提高信息资源利用率。

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

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

道德语言逻辑蕴涵与道德语言意义实现语境研究

黑尔认为,道德语言也能用形式逻辑规则来推导,且由此推出事实不蕴涵价值的结论。运用博弈论语义学方法从假言命题的角度对道德语言进行分析,可以发现事实对价值的蕴涵关系。黑尔研究了道德语言应用的语言环境情况,认为这种语境仅是一种形式上的"语句语境"对道德命题没什么作用。引入博弈模型对此进行研究发现,道德语言意义的实现与道德行为在博弈实践活动中的具体情况密切相关。

问句逻辑研究述评

问句逻辑是隶属于广义认识论逻辑门类下的一个分支学科,主要研究问句的逻辑性质及其推理关系。以亚里斯多德为代表的古典问句逻辑研究并未引起学者们足够重视。随着逻辑研究的实践转向和日趋多元化,问句逻辑逐渐获得了逻辑家族成员资格,初步显示出其理论价值,具有广阔的应用前景和发展潜力。但与其它非经典逻辑分支相比,问句逻辑的研究起步较晚,至今仍然是一个争论不休和亟待开拓的新兴领域。

IF一阶逻辑视域下的量词与量化观念

IF一阶逻辑及博弈论语义学比标准一阶逻辑及塔斯基语义学更加充分、更加动态和更加精细地刻画了量词之间的依赖关系。把量词视为一类选择函数,利用玩家之间的信息依赖来建模量词之间的函数依赖,严格区分约束辖域与优先辖域,为我们提供了一套全新的量化理论。但是,IF一阶逻辑及博弈论语义学并不意味着必须放弃组合原则。只要适当改变博弈方式,采用团队赋值博弈,那么组合原则又可得以复活。所以,应该正确看待IF一阶逻辑带来的“变革”与挑战。

分枝量词及其对组合原则的挑战

分枝量词揭示了量词之间的相对独立性,其语义解释历来存在争议,而问题的关键在于组合原则的存留。实际上,组合原则具有可塑性。可以将"信息"、"策略"等要素纳入"意义"范畴,进一步丰富"构成方式"的内涵,允许公式构成部分的"非线性组合",从而使得分枝量词的博弈论语义解释既可以巧妙地避开蒯因等人的本体论指责,又可以满足(广义的)组合原则的基本要求。