共查询到10条相似文献，搜索用时 515 毫秒
1.
自然语言和形式语言的一个重要区别,是自然语言具有语义模糊性。二值逻辑与三值逻辑对命题语义处理是不足的。以札德"模糊集合论"为理论基础的模糊语义分析为我们提供了一种描述模糊语词语义真值多样性和渐进性的全新观念和手段。 相似文献
2.
陈明益 《中山大学学报论丛》2010,3(4)
量子测量实验显示部分经典逻辑规则在量子世界中失效.标准量子逻辑进路通过特有的希尔伯特空间的格运算揭示出一种内在于微观物理学理论的概念框架结构,也即量子力学测量命题的正交补模或弱模格,解释了经典分配律的失效,它在形式化方面十分完美,但在解释方面产生了一些概念混乱.在标准量子逻辑进路之外,赖欣巴赫通过引入"不确定"的第三真值独立地提出一种不同的量子逻辑模型来解释量子实在的特征,不是分配律而是排中律失效,但是他的三值量子逻辑由于缺乏标准量子逻辑的上述优点而被认为与量子力学的概率空间所要求的潜在逻辑有很少联系.本文尝试引入一种新的三值逻辑模型来说明量子实在,它有以下优点:(1)满足卢卡西维茨创立三值逻辑的最初语义学假定:(2)克服赖欣巴赫三值量子逻辑的缺陷;(3)澄清标准量子逻辑遭遇的概念混乱;(4)充分地保留经典逻辑规则,特别是标准量子逻辑主张放弃的分配律. 相似文献
3.
胡慧勇 《阜阳师范学院学报(社会科学版)》2008,(1):146-149
本文以《新编语言学教程》一道练习题为出发点,分析了蕴涵和语义预设的联系和区别以及它们的语义机制,进而指出:1)语言学本科教材有必要对严式和宽式蕴涵做出区别;2)和预设一样,蕴涵也对语内语境有一定的敏感性;3)作为传统逻辑语义学的延伸,三值逻辑体系能更有效地解释语义关系;4)非陈述句不但有语义预设,也有语义蕴涵;5)语义预设和语用预设可以彼此独立又互为补充。 相似文献
4.
杨红玉 《信阳师范学院学报(哲学社会科学版)》2012,32(4):17-20
三值逻辑是20世纪20年代以来发展起来的一种非经典逻辑系统,蒯因对其持批评的态度。蒯因反对三值逻辑的原因有三:一是有些三值逻辑系统建立在错误认识之上;二是有些三值逻辑所关注的问题可以在经典逻辑中得到解决;三是有些三值逻辑系统的建立并不能解决其想解决的问题。蒯因所批评的仅是三值逻辑中违反排中律的部分系统,而非全部,这体现了蒯因关于逻辑真之观念。 相似文献
5.
提出了具有三值逻辑表达能力的神经元模型，即三值逻辑与神经元和三值逻辑或神经元．由这种逻辑神经元连接而成的神经元链能够实现三值逻辑推理系统，可以对三值产生式进行表示和推理。 相似文献
6.
张迎 《湖州师范学院学报》2003,25(6):62-64
在三值逻辑电路设计中，逻辑函数经常采用POS形式，为此，利用三值K图法最小化规则或者表格法最小化规则，先获得所求三值格代数逻辑函数最小化POS形式的反函数，再利用香农定律，最终可方便地获得该三值逻辑函数最小化POS形式。 相似文献
7.
在三值逻辑中,当p=12时,?p=12,所以p∧?p=12.但是,人们一般认为p∧?p=0.这好像使人们陷入了两难,但从逻辑直觉的含义、来源、特点,以及它与构造多值逻辑理论之间的关系等方面来看,存在符合多值逻辑的逻辑直觉. 相似文献
8.
董英东 《毕节师范高等专科学校学报》2014,(8):1-7
每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模型,都存在有一个等值翻译的三值赋值。给出了一个将LP和K3翻译为S5的线性翻译方法。 相似文献
9.
每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模型,都存在有一个等值翻译的三值赋值。给出了一个将LP和K3翻译为S5的线性翻译方法。 相似文献
10.
屈春芳 《自贡师范高等专科学校学报》2005,20(2):85-87
在“S． be adj． to do”句型中，隐含的不定式逻辑主语的指称语义值可以是泛或特指，这与语境、时态有关，也与句子主语呈特指性或泛指性有关。现有的观点认为：不定式逻辑主语隐含时就可以视之具有泛指意义．本文在对此观点作出批评分析后认为：只有在句子主语呈泛指性时，隐含的不定式逻辑主语才具有泛指意义：若句子主语呈特指性，则这个隐含的逻辑主语语义值分两种情况：一．具有泛指意义：二．具有特指意义。 相似文献