首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
现代逻辑将事物的模态归约为命题的模态,从命题层面上处理模态语句,古典模态词“必然”和“可能”就成为一类特殊的命题联结词,具备了逻辑算子的功能。由此,(1)模态算子□(必然)、◇(可能)作用于实然命题P而形成的模态命题□P和◇P,完全可视为负命题之外的又一类特殊的复合命题;(2)如果说“非”算子使原命题的意义和真值情况发生反转,那么,模态算子则使实然命题的意义和真值情况强化或弱化了。  相似文献   

2.
逻辑规则、语言规则之所以能够作为评价《民法典》的基本规则,这是由法律与语言、逻辑之间具有内容与形式的关系所决定的:法律规范命题是以自然语言的形式表达出来的,自然语言是法律规范命题的外在表达形式,逻辑语言是法律规范命题的内在表达方式.法律概念外延间的逻辑关系、价值关系决定了法律规范命题的量词、连接词、道义规范词以及标点符...  相似文献   

3.
《考试》2008,(Z5)
1.逻辑联结词的特性:"或"、"且"、"非"这些词叫逻辑联结词."或"具有"选择性"、"且"具有"兼有性","否"具有"否定性".(1)对"或"的理解:用"或"字联结两个命题p和q,构成一个复合命题"p或q",从集合的角度,可以看作是命题p和命题q的并集,即p和q两个命题至少要取一个,分为取p不取q,取q不取p、p和q都取三种  相似文献   

4.
众所周知,基于可能世界语义的内涵逻辑由于对意义的刻画过于粗粝而导致了所谓的"超内涵问题".为了解决超内涵问题,出现了各种超内涵逻辑,其中由Suszko提出的带等词的命题逻辑(SCL)是超内涵逻辑中最基本的一种.本文是对SCL的精炼,其动机是语境同义性论题(CST).该论题认为,同义性标准具有语境依赖性.基于认知语境主义,我们给出了CST的一个论证.通过将,SCL中的二元等词修改为一个三元结构,用来表示两个陈述相对某个语境表达同一命题,我们给出了CST的希尔伯特式公理系统.我们证明了该系统相对一个代数模型类是可靠的和完全的.该代数模型的论域由命题构成,同时附带一组命题上的全等关系,用以刻画相对于语境的命题同一性.我们运用该逻辑部分解决了分析悖论这一困扰逻辑学家多年的问题.与我们之前的基于相同动机的论文[17]相比,本文给出的形式语言更加丰富,从而能够表达不同语境之间以及不同语境的同义性之间的关系.  相似文献   

5.
命题理论是逻辑学的重要内容。墨家和亚里士多德都讨论了命题的本质、命题的类型及关系、模态命题等基本问题,形成了丰富的命题理论。但他们对这些问题的讨论又有很大差异。比较二者的同异,有利于进一步认识中西方古代逻辑的相同本质和不同特点。  相似文献   

6.
我国普通逻辑学著作中流行的关系命题及其推理有关理论,至少有三个问题值得商榷:(1)如何说性质命题有联项,则就不能否认关系命题也有联项。实际上,它在汉语中有三种表现形式;(2)纯粹关系推理的有效形式应该包括反映或指称某关系具有逻辑性质这种客观内容的命题的形式,后者始终隐含地作为前提参与推理;(3)关系推理和一切推理一样,其推演依据在于所有作为前提和结论的命题的逻辑性质,而根本不是“关系的逻辑性质”这  相似文献   

7.
词项逻辑所有的推理都可以借助于类的关系和类的性质清楚而简洁地表述出来。本文借鉴集合论的语言重新表述性质命题推理,给出了相应的集合语义,论证了在逻辑通识课上用这种新逻辑取代词项逻辑的合理性和可行性。  相似文献   

8.
一、命题 (1)命题:可以判断真假的语句叫命题. (2)逻辑联结词:"或"、"且"、"非"这些词叫逻辑连结词. "或":两个简单命题至少有一个成立.  相似文献   

9.
不同的逻辑观决定了对形式逻辑研究对象的不同认识。本文认为形式逻辑的主要研究对象是推理形式及其规律。此外,还包括命题、词项、逻辑基本规律、逻辑方法等。  相似文献   

10.
目前,人们对对当关系的研究,主要在相同素材性质命题的对当关系、模态命题的对当关系、规范命题的对当关系以及复合命题的对当关系几个方面,性质命题与其负命题之间的对当关系从未涉及.事实上,相同素材的性质命题与其负命题之间也存在着对当关系,借助数理逻辑的真值表和逻辑方阵可知相同素材的性质命题与其负命题间共存在十六组对当关系.性质命题与其负命题间的对当关系的推断对简化思维程序、缩短思维时间具有一定的意义.  相似文献   

11.
命题的语言逻辑性质与词项的语言逻辑的语言逻辑性质有着许多相似之处;它是一种语句,但又不是一般的语句,而是直接表达判断的语句.  相似文献   

12.
逻辑模态与符号模态的关系及其哲学意义探析   总被引:2,自引:0,他引:2  
模态是事物或认识的必然性和可能性等这类性质。模态在人们思维中的反映表现为一定的认识或观念,它也被称为模态概念。通常,模态分为主观的和客观的,客观模态又分为逻辑模态和非逻辑模态。长期以来,模态与认知、符号功能与逻辑语义等问题一直为哲学认知所关注,由此,探析逻辑模态与符号模态的关系以及它们的哲学意义,就显得尤为重要。  相似文献   

13.
目前,人们对对当关系直接推理的研究,主要是同素材的性质命题、模态命题、规范命题以及复合命题间的对当关系直接推理,而相同素材的性质命题与其负命题间尚未涉及。事实上,根据相同素材的性质命题与其负命题间对当关系也能进行有效的直接推理。  相似文献   

14.
传统词项逻辑推理有许多不适用于空词项,性质命题之间的对当关系和9个直言三段论有效式只有预设主项或谓项存在才成立。传统词项逻辑用自然语言进行描述,常常使人们知其然而不知其所以然。如果用谓词逻辑理论将其形式化一步一步地进行演算,人们就会感到豁然开朗。  相似文献   

15.
按照课本的说法,“或”、“且”、“非”这些词叫做逻辑联结词.不含逻辑联结词的命题是简单命题,由简单命题与逻辑联结词构成的命题是复合命题.由于以上说法过于简略,多数学生理解不到位,普遍认为:判断一个命题是简单命题还是复合命题,只要看这个命题中是否含有字眼“或”、“且”、“非”,有就是复合题题。  相似文献   

16.
逻辑学界关于传统逻辑教科书中“概念”与“词项”的取舍问题一直存在分歧。从“概念”与“词项”内涵与外延的上 ,以及传统逻辑学的学科特征和研究方法来看 ,概念是思维的基本形式 ,属于哲学认识论的范畴 ,而词项是语词在命题中的逻辑内容 ,是构成逻辑形式的基本要素 ,属于逻辑学的范畴。传统逻辑教科书中用“词项”更准确。  相似文献   

17.
认为逻辑是研究人们主观认识方面思维形式的结构及其规律的理论,认为逻辑的特点在于通过引入“认为”这一逻辑词,将反映人们主观认识的而在形式逻辑看来是虚假的或无法确定其真假的命题,转化成为真实的命题,从而对其命题形式及推理形式加以有效的研究。构造认为逻辑对于研究科学探索、文艺作品、探讨真理,批判谬误,对于解决虚概念有无外延之争等都有重要意义。  相似文献   

18.
浅论概词     
概词是相对于思维主体而言的一种被抽掉了意象义和色彩义而只留下概念义的语词.其内涵即概词所承载的语言共同体关于"对象的本质属性"的观念;外延即概词所承载的语言共同体关于"对象本体"的指向性观念.概词的内涵,可分为科学内涵、亚科学内涵和反科学内涵,又可分为质性内涵和量性内涵,还可分为充分条件内涵、必要条件内涵和充分必要条件内涵.概词的内涵和外延,是语言共同体的群体意识,是主观的和第二性的;它们具有相对稳定性、固定性和语用客观性,可独立于具体语境之外.概词的指称意义即概词的言语意义或语用意义,它与客观对象直接发生联系,是使用者、解释者的个体意识,离开特定语境就不能被确定."概词"、"语词"、"词项"和"概念",是四个不同的概念,彼此间的关系错综复杂.无论从逻辑理论的自洽性视角、思维与语言的关系视角看,还是从逻辑教学的实用性视角、汉语言的特点视角看,"概调"都应成为与"命题"、"推理"相并列的逻辑的一个基本范畴.  相似文献   

19.
逻辑方阵图表达了直言命题、模态命题、规范命题的对当关系,表达了负命题间的等值转换关系及充分条件命题与必要条件命题等值转换的条件.因此,逻辑方阵图在逻辑学教学的思维训练中应给以充分的重视和应用.  相似文献   

20.
克里普克关于后验必然命题的论证基于“专名是严格指示词”这样一个前提,而“专名是严格指示词”只是一种模态直觉的结果,也就是说这样一个前提是先验的。这样一来,也就使得克里普克的后验必然命题具有了先验的性质。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号