共查询到19条相似文献，搜索用时 64 毫秒
1.
逻辑概念是以命题为反映对象的。命题具有两方面的意义:一是存在意义,即陈述了对象情况;二是真值意义,即陈述了命题真值情况。抽象出存在意义形成综合命题及其所含的非逻辑概念,抽象出真值意义形成分析命题及其所含的逻辑概念。非逻辑概念是反映综合命题所涉及对象及其情况的。逻辑概念是反映命题真值性质或真值关系的。逻辑概念具有诸多特征:在内容上,是反映命题真值性质或真值关系的;在存在方式上,是分析命题有限、共同和稳定的成分;在语言上,既有相对固定的自然语词,又有单义的人工语词;在形成上,有能行性的方法,按给定的程序,在有限步骤内能够发现所有成对的基本逻辑概念;在作用上,都是真值函项,包含逻辑概念的分析命题,真值都由所含直接支命题的真值决定。在所含支命题相同的条件下,包含不同逻辑概念的分析命题因内容异同,发生全部逻辑关系,孕育所有逻辑规律。 相似文献
2.
在《逻辑哲学论》中一般图像论成立必须满足两个要求,一是形式意义上图像中的诸要素合乎逻辑的排列对应于被图示者的要素的合乎逻辑的排列,二是实质意义上图像和被图示者的诸要素严格一一对应.在维特根斯坦所企图建构的语言图像论之中,命题的意义与语言图像论的形式要求是相关联的,命题的真假与语言图像论的实质要求是密切相关的.事实上,语言图像论的实质要求通过对语言进行逻辑分析而得以达成,即在一个完全分析了的命题中,一个名称有且仅指称唯一的一个对象,其形式关联是通过其中的诸元素合乎逻辑的配置而得以实现.严格来说,为了满足图像论的两个要求,只有在基本命题和事态这一层面上,维特根斯坦才得以建立有意义命题的逻辑图像. 相似文献
3.
《吉林省教育学院学报》2007,(7)
2006年的全国卷高考作文命题形式,由持续了3年之久的关系型话题作文转变为范围作文。范围作文取话题作文和材料作文之长,去两者之短,促进了高考作文命题形式的发展和完善。范围作文的出现不是高考作文命题的突变,而是渐变。这种渐变保证了命题形式的平稳过渡,有利于减轻学生对新命题形式的陌生与恐慌程度,有利于写作教学工作的开展。 相似文献
4.
王超辉 《贵阳师范高等专科学校学报》2011,(4):6-8
哲学上对真理问题的有关理论探讨,有着广泛而又复杂的演进过程,主要围绕“什么是真的”这个问题——亦即是有关“真的所谓”的问题而进行拓展的。真的所谓就是说出“真”这个字的意义,而真的标准就是给出辨别一个命题是真还是假的检验方法来。 相似文献
5.
夏新秀 《黑龙江生态工程职业学院学报》2016,(6):138-140
《史记·乐书》的乐教理论主要通过大量命题的表述而提出.从形式类型的角度看,这些命题主要有单句式、双句式及多句式三种类型.从理论内涵上看,涉及到乐和民心、乐通伦理、乐与政通三方面的内容.《史记·乐书》中命题所体现的乐教规律适用于各个时期,对古今政治均具有切实的指导作用. 相似文献
6.
《湖北函授大学学报》2021,(4):165-166
收集到2018-2019年间具有明确主题的校本写作命题343个并建成对应命题语料库,同时建成1992-2019二十七年间CET-4、CET-6以及TEM-4写作命题语料库作为参照,利用wordsmith 7.0,根据体裁、题材等进行归类、分析,发现校本写作训练命题在题材上强调本阶段学习者身份和学习认知、与课文的关联,在效度上显露出"反进化"迹象,命题形式上存在单一化倾向。据此,建议大学英语写作训练命题要以培养学生批判性思维能力为主线,增加基于新材料的阅读性写作命题,提升写作命题的梯度,丰富写作命题形式。 相似文献
7.
自2006年6月起,大学英语六级考试实行了新题型。改革后的大学英语六级作文也发生了相应的变化。本文在对1998年1月至2008年6月的六级作文试题进行分析的基础上,对其文章体裁、命题形式、话题内容和标题形式进行了全方位的解读,以期对大学英语写作教学和测试有所帮助。 相似文献
8.
赵云云 《长春教育学院学报》2014,(21)
"实践是检验真理的唯一标准",在经过长期的论证后,这个命题在人们的头脑中几乎已经是确定无疑的。而每一个真理只有通过反复的实践和长期的验证才能确定是不是真的,但在验证的过程中实践的标准并不是绝对的、确定的。人类的实践总是具体的,会受到时间、地点、历史条件和认识深度等多方面的约束,有其一定的局限性和相对性,所以只能在一定的范围内、从某些方面和一定的层次上对人类的认识做出检验,而不能脱离这些局限和条件来检验人类的所有认识。 相似文献
9.
作为逻辑联结关系的"偶然"是一种特殊的可能:同时也可能不的可能,即,可能不如此的可能,或者说是,有与之不相容的可能情况的可能.作为逻辑联结关系的"风马牛"是一种最彻底的、最特殊的偶然.A风马牛B,当且仅当,A偶然B(-)且A偶然B.偶然和风马牛都是2元的非纯真值联结关系.不是为正统数理逻辑所研究的纯真值联结词. 相似文献
10.
《吉林省教育学院学报》2008,(1)
情态和命题是语言学文献中常被使用的术语,本文在相关研究文献的基础上明确了它们的含义及关系。一个使用中的句子或小句由两部分内容组成,其基本的客观语义信息是命题,在命题之外表达说话人的观点和态度等的主观语义信息就是情态成分,也就是通常说的命题情态。 相似文献
11.
王祥 《贵阳师范高等专科学校学报》2013,8(4):112-115
著名的“形式主义”音乐美学家爱德华·汉斯利克,其音乐美学思想可总结为“否定的命题”和“肯定的命题”.这些命题对世人关于如何谓音乐之美的认识和理解有着非常重要的启示,然而此二命题也存在一些令人发疑的地方.对它们进行梳理和分析势必增益相关研究的完善与深化. 相似文献
12.
Mai Xuebin 《江门职业技术学院学报》2008,(2)
证明是中学数学的一个重要组成部分,学习数学,离不开证明。然而,对于大多数的中学生而言,证明题是一个难以突破的难题。针对这个问题,本文首先分析了中学生在数学证明中常常出现的一些问题,然后对什么是证明进行了详细的论述,最后,指出了如何发现证明的一系列思考方法,并以实例加以说明。 相似文献
13.
张府柱 《六盘水师范高等专科学校学报》2009,21(3):61-62,72
用定义证明极限是初学者正确理解掌握极限定义的手段和途径;命题的拓广丰富了《数学分析〉教学的内容,同时也提供了有相当难度的习题对学生进行训练。帮助学生巩固、加深、提高和扩大所学知识。 相似文献
14.
命题符号化是离散数学课程的重要内容,看似简单,学生在学习过程中却常常犯错,甚至经典教材配套用书也存在一些错误．针对这一教学难题,分析出错的原因,并结合教学实际,提出了解决命题符号化问题的三种方法：真值表法、类比法和平衡主谓法． 相似文献
15.
龚启荣 《贵阳师范高等专科学校学报》2005,(4):4-9
尽举选言命题是非纯真值复合命题，其真值不是肢命题的真值的真值函数。它可由非纯真值的充分条件假言联结词“若，则”来刻划。尽举选言命题具有作为逻辑推理的两块重要基石的两个独立性。因此，以尽举选言命题作前提能构成从已知获取新知的推理。这与纯真值复合命题有实质性区别。尽举选言推理有相容、反相容和不相容的三种。 相似文献
16.
综述目前安全协议形式化分析的理论与方法,包括安全协议的分类与模型,安全协议形式化分析的 3种典型方法 (基于推理的结构性方法,基于攻击的结构性方法,基于证明的结构性方法 ),安全协议分析的形式化语言,安全协议设计的形式化方法,以及安全协议形式化分析面临的挑战. 相似文献
17.
介绍了抽象状态机（ASM）,建立了基于这种形式化方法的协议描述于验证的环境,并建立了一般意义上的入侵者模型.作为应用实例,给出了 Helsinki协议的 ASM规约,说明利用这个规约可以直观的演绎 Horng-Hsu攻击. 相似文献
18.
19.
丁长银 《济宁师范专科学校学报》2007,28(6):9-10
数学分析中描述实数连续性的六个等价命题是互为可推的,用任何一个命题都可以推出其它诸命题.通过给出的新命题:如果M是由[a ,b]的闭子区间组成的一个局部的,可加的集族,则[a ,b]∈M.并用它来证明闭区间上连续函数的性质更为优越. 相似文献