使真者最大化主义的理论困境及出路——基于逻辑原子主义哲学的视角

在使真者理论中,是否每个真理都具有使真者一直是哲学家们论争的焦点问题之一。使真者最大化主义是对这个问题的一个重要回应,其主张每个真理都具有使真者。支持这一立场的哲学家对其采取的辩护策略有两个:一是解释各类真理的使真者为何物;二是对使真者最大化主义进行逻辑证明。然而,这两个策略都面临一些理论困难,前者的本体负载太重,而后者的证明前提具有高度的特设性。实际上,还可以从构建这一进路对使真者最大化主义进行辩护。基于逻辑原子主义哲学而提出“罗素式”的使真者理论就是这样的一个尝试,它应用了组合式的分析方法,引入了使假者的概念,它对真理的说明更符合我们的实际认知。

“不排除”:从动词短语到情态成分

现代汉语“不排除”由谓语核心成分语法化为表达言者命题态度的情态成分。根据说话者对命题真值判断的差异,情态成分“不排除”可分为“条件推论式”和“推测情态式”两类。在条件推论式中,“不排除”语句的话语义为“如果+反常理预期事件(P),那么+必然结果(Q)”,即在P的状态下,说话者认为Q必然会实现;在推测情态式中,“不排除”语句的话语义为“认识主体O可能XP”,即说话者倾向于相信自己所推测的命题XP是真的。根据认识情态内部的等级差异,“不排除”的推测义由推论义弱化而来,即在条件命题中,当P隐含且Q的真值度下降时,“不排除”的语义由必然降级为可能。

如何从E□M◇O-3广义模态三段论推导出其他20个有效的广义模态三段论

首先根据集合论和可能世界语义学给出直言命题和模态直言命题的真值定义,证明广义模态三段论E□M◇O-3的有效性;然后,在广义量词理论和模态逻辑的基础上,充分利用广义量词的内否定与外否定、亚氏量词some与no的对称性、必然模态词□与可能模态词◇之间的对偶关系、后件弱化规则和反三段论推理规则等化归运算,根据E□M◇O-3的有效性,推导出了其他20个有效的广义模态三段论。这一创新性研究不仅为其他种类的三段论(如亚氏三段论、亚氏模态三段论和广义三段论)的可化归性提供了统一的数学研究范式,而且为人工智能的知识表示与知识推理提供了理论支撑。这一研究方法顺应了大数据时代“对自然语言信息的形式化转换的”需求。

多值模态逻辑的计量化方法

在多值模态逻辑中构建了n-值模态模型及相应的语义理论,并指出这种语义是经典模态逻辑语义的推广.定义了W,R n-型框架的概念,并在该框架下用归纳的方法构建了由模态公式诱导的局部化映射,给出公式的局部化真度的概念,并指出任意模态公式的局部化真度都可以转化为另一个不含模态词的公式在同一可能世界处的局部化真度.定义了模态公式的全局真度,并证明了当某模态公式不含模态词时,其全局真度与其在一般命题逻辑中的真度一致.

基于前景—背景可区分性评价因子的运动目标多源协同检测

在多源信息融合中,对不同源信息及处理结果的可信度度量是影响多源信息融合精确性的关键.针对可见光和热红外动目标检测问题,提出了基于F-BDEF的运动目标多源协同检测算法.F-BDEF即前景-背景可区分性评价因子,是一种无基准的运动分割质量评价因子,用来评价不同信息源(可见光/热红外)运动检测结果的好坏.实验表明:与现有融合检测算法比较,该算法具有较高的检测精度,能较好得解决光照突变、阴影、鬼影、低对比度夜晚场景等问题.

一元算符逻辑理论三探——狭义函数相对论视野下的现代模态逻辑

狭义函数相对论基本原理:对于任意二真值的逻辑变量p和由任意一元算符H与p所形成的二真值变量Hp,无论Hp是否为p的真值函数,它总会等值于p和独立于p的另一二真值变量q所形成的一个真值函数。由于有且仅有16个二真值二元函数式和有且仅有16个相应的基本二真值二元函数,所以有且仅有16个一元算符和有且仅有16个相应的基本二真值一元非函数。其他的二真值一元非函数由且仅由这16个一元算符叠置所形成。那么可进一步认为现代模态逻辑公理其实是按一阶逻辑对经典二真值函数做分类研究。模态命题逻辑中任一可能世界集W仅对应一组二元真值函数,相应的可能世界间的关系R就是这组函数共有的一种集合性质。任一公理模式在一框架内有效,就是将属于W的每个真值函数(式)按K-2分别依次代入该公理模式中的每一个"□",使得形成一组经典定理。

模态逻辑公式的真度理论

在模态逻辑系统中,对可能世界进行了深入的分析,首次提出了完整模型的概念,并且在这个完整模型的框架下定义了模态公式的真度概念,建立了公式的真度理论。并且证明了:若模态公式φ不含任何模态词,即经典逻辑公式,它对应的模态真度τ(φ)就由区间退化为一个点,并且这个点就是该公式的Borel型真度值。

解读《命名与必然性》

克里普克在《命名与必然性》中提出了历史的因果命名理论 ,并认为存在必然后验真理、偶然先验真理 ,这是为模态逻辑作理论上的辩护。其理论是融贯的 ,奎因对模态逻辑的批评是不成立的。《命名与必然性》为模态逻辑作了成功的辩护。

模态逻辑中公式的模态真度

在模态逻辑中提出了公式的模态真度理论,即D真度与?真度。先给出在一个给定Kripke模型之下的模态真度理论,此后利用均匀概率思想,提出了更为合理的(n)模态真度理论,定义了两公式之间的(n)模态相似度,并由此导出了(n)模态伪距离,得到了相应的模态度量空间。结果同文[9]相比更能体现模态词的思想特点,从而为在模态逻辑中展开近似推理提供一个可能的框架。

内涵的刻画与认知的可能世界——兼评查尔莫斯的二维语义理论

解决同义性问题的一个重要困难在于:断定表达式有相同的意义包含了如下的假定———不同的说话者用音节划分世界的方式是一样的。因此,同义性问题不仅涉及指称问题,也涉及说话者如何使用语言的问题,而这也是"分析性"和"内涵"这些概念何以导致众多争论的重要原因之一。查尔莫斯认为,为了刻画表达式的内涵,必须区分认知的可能世界和模态的可能世界,从而利用理性(说话者使用语言的方式)和模态(真实世界的可能状态)构建出"意义"的解释。

基于Rough集的模态逻辑及其近似推理

本文在Rough集上定义模态逻辑。并将这种逻辑的真值解释在Rough集上,使得古典模态逻辑的必然和可能真值统一为Roughly真值。文章还阐述了这种真值在近似推理中的应用。

哲学逻辑对判断的非反否定演算研究

形式逻辑是关于断定的逻辑(Logic),辩证逻辑是关于描述的逻辑(Logos)。通过对性质判断的非反否定演算,将形式逻辑的断定否定演算,辩证逻辑的描述否定演算,认知模态逻辑的真假断定否定演算与规范模态逻辑的对错断定否定演算及其相互间的辩证否定演算,都归结为非和反的哲学否定演算。由此,所述四种相对独立的逻辑演算分支就可通过哲学的非反演算而内在地统一起来了。

现代模态逻辑的形式分析初步——魔态羽翼的跨世界逃逸与“刑师”分析下的在劫难逃

现代模态逻辑其实是按一阶逻辑公理和规则对经典真值函数做分类研究。模态命题逻辑中任一个可能世界集W仅表示与某一公理模式相应的一组二真值函数,相应的可能世界间的关系R就是这组真值函数共有的一种集合性质。任一公理模式在一框架内有效,就是将属于W的每个真值函数式按K-2分别依次代入该公理模式中的每一个"□",使得形成一组经典定理。

Theory of (n) truth degrees of formulas in modal logic and a consistency theorem

The theory of （n） truth degrees of formulas is proposed in modal logic for the first time. A consistency theorem is obtained which says that the （n） truth degree of a modality-free formula equals the truth degree of the formula in two-valued propositional logic. Variations of （n） truth degrees of formulas w.r.t. n in temporal logic is investigated. Moreover, the theory of （n） similarity degrees among modal formulas is proposed and the （n） modal logic metric space is derived therefrom which contains the classical logic metric space as a subspace. Finally, a kind of approximate reasoning theory is proposed in modal logic.

模态逻辑公式的概率真度理论

目的在模态逻辑系统中寻找一种广泛通用的公式真度理论框架,成为各种系统中已有真度理论的高度抽象或推广。方法从逻辑语构角度出发,将某一逻辑公式在特定环境下为真的程度看作是一个概率值,给出此概率值应该满足的公理刻画,并且结合不同逻辑系统自身的推理特点,寻找模态公式真度的内在关系性质。结果建立的真度理论分别在基本模态逻辑系统K、模态系统S4和S5中讨论分析了模态公式真度所满足的规律特征。结论不再受限于可能世界的有限性和概率测度空间的均匀性,进一步完善了模态公式的真度理论,为模态逻辑系统内进行近似推理提供了可行的模式。

论事实与命题的同一——真理同一论的智识资源、核心论题及困境

真理同一论是当代真理论中一个非常显目的版本,根据这一理论,一个命题是真的,当且仅当它同一于某个事实。对同一论而言,命题与事实如何同一,这是它最核心的论题。在这一论题上,存在两种主要的策略,一是把命题推向事实,一是把事实推向命题。在运思这些策略时,同一论者猛烈抨击了真理符合论,认为命题与事实的关系不是符合而是同一。但是,由于通常认为命题属于涵义领域,事实属于指称领域,因此同一论的策略必定会面临严峻挑战。不仅如此,模态问题强有力地表明了,事实并不同一于命题。

真理符合论的模态解释困境及其出路

真理符合论在解释必然真命题时面临双重困境:一是世界上是否存在相应事实,使得这些真命题与之相符合?二是为什么相同的成真方式会让“真”具有不同的模态性质?化解这种双重困境的方案迄今可分为积极和消极两类。通过考察两类方案可以发现:“领域问题”不必然导致多元主义真理论,坚持“符合”为真的唯一核心属性亦可解释真性的差异;成真方式的不同与真性的不同之间不存在因果关系;“融贯”作为一种成真方式,并不与“符合”作为真的核心属性相冲突;符合论也能解释实用主义真理论的合理性。在坚持符合论一元论的立场下,积极方案既能化解符合论的困境,又能兼顾真概念的统一性,是较之消极方案的更优解。

模态逻辑系统S4中的度量结构

在模态逻辑S4中通过有限模型建立了模态公式的(n)真度理论,研究了模态逻辑S4中命题的(n)真度的性质。提出了模态公式间的(n)相似度理论,并由此在全体公式集中,建立了(n)伪距离,得出了(n)模态逻辑S4的度量空间,该空间以经典逻辑度量空间为子空间,提出了一种模态逻辑S4中近似推理的框架。

论副词“一定”的三种用法——兼谈其对强必然性情态的强化机制

副词"一定"在以往的研究中一直被看作是情态词,表达认知情态和道义情态。本文驳斥了这一观点,论证了"一定"有三种用法:"一定1"表达认知情态;"一定2"确认命题真值;"一定3"强化情态意义。从与情态的搭配来看,"一定3"作为强化词只能搭配强必然性情态,而不能搭配情态力度较弱的情态;后一种情形下的"一定"只能看作"一定1"或"一定2"的用法。我们进一步指出,"一定3"对强必然性情态的强化作用是通过精确化效应,即扩大情态的量化域而实现的。