共查询到19条相似文献，搜索用时 421 毫秒
1.
2.
梁彪 《中山大学学报论丛》2000,(2)
多值逻辑是一门正在发展中的逻辑分支,无论是多值逻辑的形式系统,还是多值逻辑的语义解释都处于研究之中。本文对罗萨和图尔克特对卢卡西维茨多值逻辑的改进做综述性的介绍,通过比较的方式,说明罗萨和图尔克特的否定跟卢卡西维茨的否定之间的特点与作用,罗萨和图尔克特的公理系统与华兹堡的三值逻辑公理系统之间的同异与优劣。 相似文献
3.
经典命题演算的多值模型 总被引：1，自引：0，他引：1
曹飞 《华东师范大学学报(哲学社会科学版)》1999,(1)
自Ｌｕｋａｓｉｅｗｉｃｚ创立多值逻辑以来,人们普遍认为经典命题演算只是二值逻辑系统。然而,这种观点实际上并不成立。本文用集合概念对逻辑学的基本概念“真值”作了精确定义,并以此区分了真值与真的概率,由此给出了经典命题演算的一般真值模型、有穷多值模型及无穷多值模型,并具体证明了可靠性定理和完全性定理,从理论上说明了经典命题演算不仅存在二值逻辑系统,而且存在多值逻辑系统,不仅存在有穷多值逻辑系统,而且存在无穷多值逻辑系统。 相似文献
4.
研究了多值逻辑系统中的广义矛盾式,并对这些多值逻辑系统中的广义矛盾式进行了分划,强调了这种分划的不重不漏. 相似文献
5.
6.
于鸿丽 《西安文理学院学报》2008,11(3):36-39
系统Hα是一个带有参数的系统,将参数α赋予不同的值,将会得到不同的多值逻辑系统．借助子代数理论,研究了多值逻辑系统Hα中的重言式分类定理,为系统Hα的进一步研究奠定了基础． 相似文献
7.
文章在扩展博弈上,给出了多值逻辑的语义赋值博弈的一般框架,避免了博弈者在多值逻辑的语义博弈中声明无穷对象的问题;然后通过Eloise赢的策略定义博弈的语义概念--赋值.证明了多值逻辑的博弈语义与Tarski语义是等价的;最后,根据语义赋值博弈框架对经典逻辑进行了博弈化. 相似文献
8.
茹永梅 《浙江工贸职业技术学院学报》2008,8(1):66-70
利用由均匀概率空间的无穷乘积所定义的及中公式的真度概念,给出了公式间相似度的一种新定义,讨论了该相似度与文献[2]、[6]定义的相似度的大小关系及逻辑系统及中公式间的三种相似度的性质.最后讨论了由其中的一种相似度导出的这两个系统中全体公式集上的一种伪距离的重要性质. 相似文献
9.
茹永梅 《浙江工贸职业技术学院学报》2008,8(1):66-71
利用由均匀概率空间的无穷乘积所定义的Gn和∏n中公式的真度概念,给出了公式间相似度的一种新定义,讨论了该相似度与文献[2]、[6]定义的相似度的大小关系及逻辑系统Gn和∏n中公式间的三种相似度的性质。最后讨论了由其中的一种相似度导出的这两个系统中全体公式集上的一种伪距离的重要性质。 相似文献
10.
11.
对十个重要逻辑蕴涵算子的性质进行了较全面的比较研究，得到了若干基二结果，它们在各逻辑系统的比较研究中有一定参考价值。 相似文献
12.
何建南 《五邑大学学报(社会科学版)》2004,6(3):1-5,23
西方哲学史主要从本体论和认识论方面探讨了模糊性问题。古希腊朴素辩证法思想提出了模糊思维与辩证思维的关系问题,并孕育着现代多值逻辑的萌芽。近代哲学不仅确认了不确定性、模糊性现象的客观存在．而且进一步分析了“认识本身的模糊性”,并试图揭示其产生的内在机制。 相似文献
13.
王晓飞 《四川教育学院学报》2008,24(5):89-92
从一语言类型入手研究其在不同语言使用情况下的标记性是对标记现象研究的新尝试。在静态视角下,对元语否定从形式和功能两个角度进行考察,可以描绘出以元语否定为核心的四个标记连续体。对元语否定进行多层次、多雏度的标记性定位可以为人们在不同场合选用不同的语言表达提供参考,为语言教学和二语习得提供借鉴。 相似文献
14.
在一致光滑的实Banach空间中,研究多值中一强伪压缩映像不动点的Ishikawa迭代逼近问题．给出了具误差的Ishikawa迭代序列逼近多值中一强伪压缩映像不动点的强收敛定理．改进了文献[2—4]的相关结论． 相似文献
15.
作为非帕斯卡型归纳概率逻辑的代表人物,科恩站在实验自然科学家的立场上,继承逻辑经验主义的传统,反对卡尔纳普的确证度理论和波普的证伪理论,创立了归纳支持理论及其逻辑句法,包括独特的合取原理、齐一性原理和否定原理,对归纳逻辑进行局部辩护,综合了归纳逻辑的确证性和实际实验自然科学的复杂性之间的矛盾,但是该理论也存在着一些不相容的问题。 相似文献
16.
经典逻辑视野中的弗协调逻辑 总被引：2，自引：0，他引：2
杜国平 《华南师范大学学报(社会科学版)》2007,(5):19-24
以科斯塔弗协调逻辑系统的技术处理为依据来分析命题 与其弗协调否定 之间的逻辑关系可以知道弗协调矛盾和不矛盾律与经典逻辑矛盾和不矛盾律之间存在很大差别；由此可见科斯塔弗协调逻辑不是真正意义上的弗协调逻辑，但是科斯塔弗协调逻辑作为非经典逻辑其理论意义是重大的，这正如非欧几何之与欧氏几何。 相似文献
17.
宋畅 《黑龙江教育学院学报》2011,(11):145-147
否定转移是指位置上与一个词或短语放在一起的否定词,有时在意义上或逻辑上可转移到去否定另一个词或短语。通过总结英语否定转移的四种表达方式,即从一般否定转移到特指否定;从特指否定转移到一般否定;从一种特指否定转移到另一种特指否定;从否定主句谓语动词转移到否定从句谓语动词,来探讨其在汉语中的翻译,以期进一步提高翻译的准确性。 相似文献
18.
陈忠平 《四川教育学院学报》2012,28(6):67-70,75
从谓词逻辑的角度探讨内部否定的语义实质，发现否定作为一种认知手段其作用对象是命题论元具有的某种属性或论元之间存在的某种关系，而不是表达命题的语句中的句法成分。 相似文献
19.
湖北宜都方言中有一种比较常见的表可能的句式"得得V"。对"得得V"的研究不仅涉及"得得"和"V"本身而且还从"得得V"的对称否定式展开多角度阐述分析。 相似文献