IF多值逻辑及博弈语义

本文基于经典一阶逻辑句法的逻辑优先性分析,把Hintikka的独立联结词和独立量词扩展到多值逻辑中。我们给出IF多值逻辑的句法,并使用不完全信息的语义赋值博弈解释了IF多值逻辑。     

情绪形容词词义的模糊赋值

353名大学生被试用模糊赋值方法对表示喜、怒、哀、惧四种基本情绪的48个形容词的强度和复杂度作语义经验赋值。结果表明：①强度和复杂度是两个不同的情绪评定维度,两者间的情绪形容词模糊语义赋值结果没有必然联系。②在强度和复杂度赋值上,各词的取值基本符合人们日常对这些词所表达情绪体验的理解,性别的量表值存在较大一致性。③男、女生在赋值上的差异主要表现在各词位次和把握度的不同,这种差异可能与性别差异的情绪经验及个体差异有关。④大学生情绪形容词模糊语义赋值的把握度总体上都较高,各词的语义在两个维度上都存在一定的模糊性。⑤根据各词强度赋值隶属度数据计算的模糊距离测度和Phi方关联测度得到了四类形容词相似的聚类分析结果。     

教师评分用语词义赋值特征的分析

本研究运用模糊统计试验方法对教师的六组定性的评分用语词 (符号 )进行了经验赋值。参加赋值的是 2 66名小学教师。结果表明 ,六组评分用语词 (符号 )都是模糊概念 ,其中每种评分方式中处于最高等级的词 (符号 )的模糊度最小 ,处于中间等级的词 (符号 )的模糊度居中 ,处于最低等级的词 (符号 )的模糊度最大。词 (符号 )义的模糊度与评价的把握度呈现负相关 ,即词 (符号 )义越具体 ,模糊度越小 ,赋值的把握度就越大 ;反之 ,词义越含混 ,模糊度越大 ,赋值的把握度就越小。教师对各种评分用语词 (符号 )的赋值受百分制的“及格—不及格”的划分的影响 ,受评分方式中等级数目的影响 ,即增加评分等级会减少评分用语词 (符号 )的模糊度 ,增加赋值的把握度 ,还受评分用语词 (符号 )本身数量特征的影响。在各种评分方式中 ,评语词 (符号 )在心理量表上的距离是不等的。本研究的结果对教育评价的实践具有一定的参考价值。     

山东沿海地区大学生日常时间用语词义赋值的研究

本研究运用模糊统计试验的方法对五组日常时间用语词进行了经验赋值 ,被试是 3 1 2名大学生。结果表明 :(1 )被试对日常时间用语词词义的理解是模糊的 ,其赋值指向较大的区间 ;(2 )被试对日常时间用语词的赋值受词自身具有的数值的影响 ,受词的下属时间单位数量的影响 ;(3 )词义相近的词赋值亦接近 ;(4)对表示人的年龄的词的赋值因对象的性别、词的熟悉性和赋值区间的封闭性的不同而不同 ;(5 )“几”在表示时间的数量时对应的赋值区间是3～ 5     

关于语义加载与心理内容表征的两个问题研究

在心理内容表征的研究中存在一个极其模糊的问题,即心理表征中的语义内容是如何实现的,而从我们的个体经验可以知道,没有内容的心理表征是没有意义的,因此,探讨表征中的语义赋值机制,是当前认识论研究中的一个难点。关于这个问题笔者曾提出了语义分段累积加载模型(以下简     

博弈与人生

浪漫主义诗人雪莱在《人生是伟大的奇迹》中提出质疑，“我们究竟是什么，我们来自何处，又欲往何方？”人生到底是什么，我们也曾无数次地追问自己。有人说，人生是奔腾不息的长河；有人说，人生是华美壮丽的诗篇；还有人说。人生是粉墨登场的戏剧。可是，我觉得人生更像是一盘没有下完的棋。     

内涵与外延之辩:基于含糊性语义解释演进的分析

在含糊性问题研究领域,多值语义解释和超赋值语义解释是两个经典的研究进路。相较多值语义中的经典三值解释和基于概率赋值的模糊逻辑解释,范启德(1975)给出的超赋值语义由于引入了基于可能世界语义的可精确化结构,具有更强的表达力,能够弥补三值和模糊逻辑处理的很多不足。距离超赋值语义发表40余年后,秋叶研(2017)给出了同样满足可精确化结构条件的一个布尔多值解释。由于超赋值语义一直被当作典型的内涵语义处理方式,而在含糊性问题研究领域,布尔多值方法却在大多数时候被认为是模糊逻辑这个基于概率处理的典型的外延语义的复杂版本,内涵语义与外延语义的殊途同归,非常值得仔细思考和探究。本文将结合含糊性问题研究领域的多值语义解释和超赋值语义解释的演进过程,以内涵语义和外延语义的区分为切入点,最终指出,(当下主流定义下的)内涵语义与外延语义的界限是模糊的,而在原有界定基础上,对内涵语义增加“内涵语义要可以表达非线序的偏序结构”这一限制,能够进一步对内涵语义和外延语义进行区分。     

语义结构理论与临床推理

临床推理是医生的核心能力之一。临床推理的语义结构理论认为,语义轴由临床意义相反的两个词构成,能精确地表征临床知识并促进医生精确地回忆知识;语义轴是正确临床诊断的必要条件,医生使用语义轴的数量与其临床诊断的正确性呈正相关。应用语义结构理论进行医学教学改革可能有益于医学生临床推理能力的迅速提高。     

理性与有限理性-从经典博弈理论到进化博弈理论

博弈理论自产生起逐渐被广泛地用于生态学、杜会学、经济学等领域,越来越多的经济学家应用该理论来研究经济活动申经济主体的群体行为。与经典博弈理论不同,进化博弈理论并不要求经济主体是完全理性的,也不要求经济主体的行为满足预期一致性原则。因此进化博弈理论比经典博弈理论能够更准确地预测经济主体的行为。所以在短短的二十几年里进化博弈理论就获得了迅速的发展。     

概念语义与弗雷格迷题消解

弗雷格因同一替换律讨论而提出了涵义与指称的理论,这个理论后来引出了弗雷格迷题。弗雷格迷题的形成有多方原因,直接指称论对弗雷格理论批评是主要原因之一,以至于可以说,这是产生于直接指称论哲学立场的迷题。尽管如此,弗雷格理论确有不足。最重要的是,弗雷格理论只有关于涵义与指称的理论,即只有语言层面的理论,而缺少认知层面的理论。这个不足使得在弗雷格理论基础上解决同一替换律问题难有令人满意的结果,让"迷题"多添了几分"迷"的色彩。这里将给出一个新的方案:在弗雷格理论的基础上,增加有关概念的理论,以概念和内涵、涵义等这些概念的形式刻画为中心,建立可以消解弗雷格迷题的形式语义学,即概念语义。通过概念语义可以在不同层次上对弗雷格迷题的消解给出统一回答。     

An n-Player Semantic Game for an n + 1-Valued Logic

First we show that the classical two-player semantic game actually corresponds to a three-valued logic. Then we generalize this result and give an n-player semantic game for an n + 1-valued logic with n binary connectives, each associated with a player. We prove that player i has a winning strategy in game if and only if the truth value of is t _i in the model M, for 1 ≤ i ≤ n; and none of the players has a winning strategy in if and only if the truth value of is t ₀ in M.     

Fuzzy Logic and Arithmetical Hierarchy,II

A very simple many-valued predicate calculus is presented; a completeness theorem is proved and the arithmetical complexity of some notions concerning provability is determined.     

Commodious Axiomatization of Quantifiers in Multiple-Valued Logic

We provide tools for a concise axiomatization of a broad class of quantifiers in many-valued logic, so-called distribution quantifiers. Although sound and complete axiomatizations for such quantifiers exist, their size renders them virtually useless for practical purposes. We show that for quantifiers based on finite distributive lattices compact axiomatizations can be obtained schematically. This is achieved by providing a link between skolemized signed formulas and filters/ideals in Boolean set lattices. Then lattice theoretic tools such as Birkhoff's representation theorem for finite distributive lattices are used to derive tableau-style axiomatizations of distribution quantifiers.     

An Incomplete Relevant Modal Logic

The relevant modal logic G is a simple extension of the logic RT, the relevant counterpart of the familiar classically based system T. Using the Routley–Meyer semantics for relevant modal logics, this paper proves three main results regarding G: (i) G is semantically complete, but only with a non-standard interpretation of necessity. From this, however, other nice properties follow. (ii) With a standard interpretation of necessity, G is semantically incomplete; there is no class of frames that characterizes G. (iii) The class of frames for G characterizes the classically based logic T.     

Dialogue Games for Many-Valued Logics — an Overview

An overview of different versions and applications of Lorenzen’s dialogue game approach to the foundations of logic, here largely restricted to the realm of manyvalued logics, is presented. Among the reviewed concepts and results are Giles’s characterization of ?ukasiewicz logic and some of its generalizations to other fuzzy logics, including interval based logics, a parallel version of Lorenzen’s game for intuitionistic logic that is adequate for finite- and infinite-valued Gödel logics, and a truth comparison game for infinite-valued Gödel logic.     

Extended Quantum Logic

The concept of quantum logic is extended so that it covers a more general set of propositions that involve non-trivial probabilities. This structure is shown to be embedded into a multi-modal framework, which has desirable logical properties such as an axiomatization, the finite model property and decidability.     

Propositional Logic of Essence

This paper presents a propositional version of Kit Fine"s (quantified) logic for essentialist statements, provides it with a semantics, and proves the former adequate (i.e. sound and complete) with respect to the latter.     

Skepticism and Epistemic Logic

This essay attempts to implement epistemic logic through a non-classical inference relation. Given that relation, an account of '(the individual) a knows that A' is constructed as an unfamiliar non-normal modal logic. One advantage to this approach is a new analysis of the skeptical argument.