共查询到20条相似文献,搜索用时 15 毫秒
1.
杜威认为命题没有真值,它只是获得判断的工具,只能从命题与探究之间的关系来理解命题。罗素认为命题有内在的真值,并以此标准来考察杜威的命题理论。两人的分歧集中于对信念的诠释。杜威的命题取向应当引起关于逻辑学研究与教学分工的思考。 相似文献
2.
3.
4.
龚启荣 《贵阳学院学报(社会科学版)》2005,(4)
尽举选言命题是非纯真值复合命题,其真值不是肢命题的真值的真值函数。它可由非纯真值的充分条件假言联结词“若,则”来刻划。尽举选言命题具有作为逻辑推理的两块重要基石的两个独立性。因此,以尽举选言命题作前提能构成从已知获取新知的推理。这与纯真值复合命题有实质性区别。尽举选言推理有相容、反相容和不相容的三种。 相似文献
5.
充分条件关系是非纯真值的联结关系,不是纯真值联结关系。作为必须通过非纯真值的充分条件假言联结词"若,则"来定义的导出的尽举选言命题也是非纯真值的:尽举选言命题的真值,不取决于出现在其中的肢命题的真值,前者不是后者的真值的真值函数。以尽举选言命题作为前提能构成从已知获取新知的推理。以纯真值复合命题作为前提不能构成从已知获取新知的推理。 相似文献
6.
吴坚 《湖州师范学院学报》2004,26(4):62-64
真值表对假言命题的真值形式的定义不符合假言命题的直观含义。真值表所刻画的是真值形式与其所含命题变元之间的真值函数关系,而假言命题反映的则是其支命题之间的真假制约关系。有人从对真值表的错误理解出发,试图否定真值表不符合假言命题的直观意义,这完全是徒劳的。 相似文献
7.
胡靓 《安庆师范学院学报(社会科学版)》2007,26(2):103-105
在形式语言学中,Not是逻辑作用词,能将简单命题连接成复合命题,这个复合命题对应的简单命题是不一致的。但是如果认为自然语言中的否定仅仅是对命题真值的否定就不全面了。逻辑中的否定与日常语言中的否定并不对等,因为句子意义的某些方面无法用标准的命题逻辑恰当表示,甚至很多方面不属于命题的范围。 相似文献
8.
形式语义学和语用学从不同角度研究句子的意义,前者以真值条件为基础来理解句子逻辑语义,后者结合语用原则分析句子的会话含义。量的准则是影响句子语用意义的重要因素,它直接造成了自然语言交际中理解的语义与形式语义学中语义之间的矛盾,这也是人们理解直言命题和假言命题的某些真值条件时常常存在疑惑的深层原因。 相似文献
9.
10.
吴艳 《上海师范大学学报(哲学社会科学版)》2010,(4):22-25
“我们怎样思维”是杜威论述的一个重要命题。反省思维及其教学理论是现代美国教育家杜威教育思想体系的重要组成部分,他认为,反省思维是一种最好的思维方式。他对反省思维的内涵、价值、训练与培养等多方面进行了开创性的论述与探讨,对培养学生反省思维、促进学生全面发展、提升课堂教学质量有重要启示。 相似文献
11.
按传统观点,如果一个命题的预设为假,则该命题无意义。但从超赋值的观点看,它表明某些赋值使它为真,某些赋值使它为假,印命题可真可假。若超赋值可以指派真值,则可以进一步研究各复合命题的真值情况。 相似文献
12.
《信阳师范学院学报(哲学社会科学版)》2022,(2):1-6
中世纪是逻辑学发展的重要时期,指代理论是中世纪独具特色的理论,指代理论是讨论命题中的词项与其所指对象关系的理论,它提供了一种独特的语言分析途径和方式。奥卡姆的指代理论是中世纪指代理论中颇具代表性的理论,它表明直言命题中的主项和谓项都具有指代的性质,指代对判定单称命题、特称命题、全称命题、不定命题、过去时和将来时的命题、模态命题的真值起到重要作用,从而得出指代对把握命题真值起到基础性作用。 相似文献
13.
14.
不确定推理的一个注记 总被引:1,自引:0,他引:1
不确定推理是知识工程中的重要内容,基于模糊命题的真值推理具有广泛的应用,对模糊命题的真值推理进行研究,给出文[1]定义的不确定推理真值传播方法的严格叙述,并给出文[1]中两个定理的简单证明. 相似文献
15.
16.
命题符号化问题是学好数理逻辑的一个重要难点.要正确解决好这个问题,关键是要正确认识如下几个对立统一关系:1命题语句与其它语句的对立统一关系命题语句与其它语句都是语句,这是它们的共性即统一性,命题语句属于陈述句的范畴,这是又一个层次的统一性.命题语句与其它语句的对立主要在于它是能判断真假的陈述句,即是真值唯一的判断句.这样便能明白,一切疑问句、感叹句、祈使句和命令句都不是命题.但是要特别注意,虽然真值不唯一的陈述句不是命题,但在特定条件这种陈述句却可立刻转化为命题.例如“x+y>z”不是命题,但在x=1… 相似文献
17.
高贝贝 《华南师范大学学报(社会科学版)》2024,(2):183-191+208
命题主义指称论运用紧缩主义的方法论分析指称,以命题成分间的指称关系限定名称的指称。命题主义指称论创新性地给出了一种理解语言与世界之间指称关系的方法,这为解决空名难题提供了一种新的策略。空名难题是指空名是否有意义、空名语句是否表达命题、空名语句的真值判定等相关问题。从命题主义指称论的观点看,空名的意义在于其具有的基础可接受性,空名语句表达命题,空名语句的真值判定依赖于以意义为核心的等值模式。命题主义指称论弥补了间隙命题论解决空名难题的语义学策略存在的不足。 相似文献
18.
由于语词存在模糊性,使得包含这种语词的命题也具有模糊性。在不同的语境中,同一模糊命题具有不同的真值,它们可以划分为“极”“很”“比较”和“略微”四个等级,从而表现为相对的精确性。在一定的语境中,同一个模糊命题也可以表现为隶属度为1的绝对的精确性。在一些语境中,同一个精确的命题还可以表现为真值不同的模糊命题。 相似文献
19.
徐小萍 《廊坊师范学院学报(自然科学版)》2010,10(6)
主要研究如何利用真值表、等值演算,主析取范式和主合取范式、真值树来判定命题公式的类型,并对这四种判定方法的优缺点和适用范围作了探讨. 相似文献
20.
现代逻辑将事物的模态归约为命题的模态,从命题层面上处理模态语句,古典模态词“必然”和“可能”就成为一类特殊的命题联结词,具备了逻辑算子的功能。由此,(1)模态算子□(必然)、◇(可能)作用于实然命题P而形成的模态命题□P和◇P,完全可视为负命题之外的又一类特殊的复合命题;(2)如果说“非”算子使原命题的意义和真值情况发生反转,那么,模态算子则使实然命题的意义和真值情况强化或弱化了。 相似文献