一种避免"蕴涵怪论"的可行方法

"实质蕴涵怪论"问题是困扰经典逻辑的语义问题,在解决它的过程中产生了严格蕴涵和相干蕴涵,出现了模态逻辑和相干逻辑。模态逻辑中仍然有"严格蕴涵怪论"。相干逻辑避免了"蕴涵怪论",但把一些有效的推理形式排除在外,还具有不可判定性。"蕴涵怪论"是由于对推理关系进行形式化(数学化)引起的,因此,我们可以抛开形式系统来寻找一种方法避免"怪论"。本文将给出一个消除"蕴涵怪论"的可行方法———欧拉图解方法。     

多值逻辑的思想渊源和产生历程

现在的多值逻辑已成为内容丰富的逻辑学分支,在计算机和人工智能中有着广泛的应用,这种发展与其早期的思想有着一定的联系.从亚里士多德开始逻辑学家们就提出了各种不同的多值逻辑思想,本文将对多值逻辑早期思想的提出和后来的发展历程给以回顾.     

从心理内容到语言表达式意义的联接

从弗雷格开始,分析哲学家就把心理内容和语言的意义区分开来,不把心理内容看作语言表达式的意义,这种反心理主义的观点切断了意义和心理内容之间的联系,无法根本解决心智问题。心智哲学集中于对身心问题的研究,抛开了对语言的研究,也没有对意义问题给出更好的回答。分析哲学家所谈的意义预设了心理内容,必然导致心智哲学家重新回归到心理主义的角度去谈论意义。语言意义和心理内容有什么样的关系,它们是如何联接的,是认知科学和人工智能需要解决却还没有很好解决的问题,本文尝试给出如下回答:语言意义和心理内容之间的关系类似于货币价值和商品的使用价值之间的关系,离开了后者前者就失去了来源。人们在拥有心理内容的情况下通过交流活动赋予符号以意义,从而形成语言。在交流过程中人们赋予语言以意义并达到心理的确定性,获得确定性是从心理内容形成语言意义的机制。     

基于互模拟的两种模态逻辑模型构造方法及其应用

对休斯(Hughes,G.E)和克雷斯韦尔(Cresswell,M.J)的压延技术(从一个自反、传递和全连接的模型构造它的自反、传递、全连接和反对称的模型)进行两种改造,从而可以从一个传递的模型分别构造出它的禁对称的传递模型和反对称的传递模型,并应用构造的新模型得出两个结论:K4被禁对称的传递模型类所刻画,S5被某个自反的、反对称的传递模型类所刻画;构造模互模拟的商模型与模语言等价的商模型,证明了它们都是Σ-过滤的特例——Form(◇,Φ)-过滤(Form∞(◇,Φ)-过滤/Form(τ,Φ)-过滤/Form∞(τ,Φ)-过滤),进一步得出这两种商模型之间具有同态关系。     

现当代多值逻辑的主要技术成果和语义哲学基础

多值逻辑是取三个以上真值的非经典逻辑,寻找可靠的哲学基础和语义解释是多值逻辑研究的重要课题。随着多值逻辑研究成果的日益丰富,有些逻辑哲学问题可以得到澄清,而有些新问题逐渐显现出来。本文在对多值逻辑现当代主要研究成果给以整理的基础上,将对多值逻辑的语义解释困难和哲学基础问题进行分析。在分析中得出这样的结论:多值逻辑难以找到普遍适用的语义解释,但是可以有完美的局部解释,这种情况与经典逻辑类似,因此多值逻辑与经典逻辑一样有哲学基础。