论命题逻辑中的内容真假和形式真假

发布时间：2018-10-05 16:31

【摘要】：在传统逻辑中，一个必然正确的推理，必须具备两个条件：前提真实和形式有效。前提真实就是内容真，形式有效就是形式真。所以说，内容真假和形式真假是一个古老的话题。命题逻辑是现代逻辑的重要组成部分，在命题逻辑中，同样存在着内容真假和形式真假的问题，本文作一讨...
[Abstract]:In traditional logic, a necessary and correct reasoning must have two conditions: the premise is true and the form is valid. The truth of the premise is the truth of the content, and the validity of the form is the truth of the form. Therefore, the content is true and false form is an ancient topic. Propositional logic is an important part of modern logic.
【作者单位】： 西北政法学院逻辑教研室
【分类号】：B812.22

【相似文献】

相关期刊论文 前10条

1 诸葛殷同;命题逻辑的推理规则[J];思维与智慧;1982年04期

2 诸葛殷同;重言式[J];思维与智慧;1982年05期

3 何应灿;真值表的判定方法[J];思维与智慧;1982年06期

4 董养浩;;介绍几种英语阅读答题技巧[J];天津教育;1982年05期

5 汤军;麦加拉—斯多葛逻辑[J];思维与智慧;1984年03期

6 陈亚明;做过“浆洗工”的逻辑学家——德奥夫拉斯特简介[J];思维与智慧;1984年04期

7 马兵;真假值、蕴涵与基本规律[J];厦门大学学报(哲学社会科学版);1986年01期

8 何庸;;再议析取命题[J];思维与智慧;1987年03期

9 栾建平;赵作斌;;一个似是而非的哲学命题[J];长江大学学报(社会科学版);1987年04期

10 郭泽深;;文恩图解与预设存在含意的三段论[J];学术研究;1987年05期

相关会议论文 前10条

1 徐扬;;格值命题逻辑公式及其L真(假)性[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

2 陆秋君;吴望名;;Post代数的Fuzzy滤子和Fuzzy同余[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

3 诸葛殷同;;试论命题形式的若干问题[A];全国逻辑讨论会论文选集[C];1979年

4 林邦瑾;;够用的无衍系统Cm[A];全国逻辑讨论会论文选集[C];1979年

5 郭世铭;;二重命题逻辑系统■_4[A];1993年逻辑研究专辑[C];1993年

6 朱玉X&;周光明;;“E、I”三段论与传统三段论[A];1993年逻辑研究专辑[C];1993年

7 王学刚;;量词与字母[A];1993年逻辑研究专辑[C];1993年

8 郑文辉;;欧美逻辑学说史的研究领域、历史分期和发展特点[A];1993年逻辑研究专辑[C];1993年

9 李小五;;逻辑教学现代化的一次尝试——《新逻辑教程》评介[A];1993年逻辑研究专辑[C];1993年

10 王东临;;关于逻辑的几个问题[A];1994年逻辑研究专辑[C];1994年

相关重要报纸文章 前10条

1 曹凯 李素婷;自学《生物化学》应注意的几个问题[N];中国成人教育信息报;2000年

2 林圭;固有不然必无不至[N];人民日报海外版;2001年

3 江苏省如东高级中学特级教师 曹津源;辨析异同 掌握方法[N];云南经济日报;2001年

4 叶水荣;开放模式培养创新人才[N];中国教育报;2002年

5 金_g;IT自考学习资源大搜索（一）[N];中国电脑教育报;2002年

6 陈尧;古代诗歌的鉴赏与应试[N];山西科技报;2002年

7 下关一中 罗亚麟;中考作文命题走势：创意作文[N];云南经济日报;2002年

8 胡家曙;高考作文如何备考？[N];中国教育报;2003年

9 王世红;生活与应试都需要写作[N];中国教育报;2003年

10 陈波;逻辑学与理性精神[N];光明日报;2003年

相关博士学位论文 前7条

1 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年

2 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

3 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

4 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年

5 王学芳;基于格蕴涵代数的格值逻辑及其模型论的研究[D];西南交通大学;2004年

6 邓文胜;城镇群体空间结构演化的信息机制[D];武汉大学;2005年

7 吴瑕;基于扩展规则的定理证明的研究[D];吉林大学;2006年

相关硕士学位论文 前10条

1 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

2 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

3 常瑶芝;L～*谓词逻辑与R_0代数性质新探[D];陕西师范大学;2003年

4 陈文丽;修正的Atanassov命题逻辑及其广义重言式[D];辽宁师范大学;2003年

5 王华;命题泛逻辑学的包容性研究[D];西北工业大学;2004年

6 黄拙;一阶逻辑模型搜索问题研究[D];中国科学院研究生院（软件研究所）;2004年

7 姚从军;古典命题逻辑与模态命题逻辑[D];河南大学;2005年

8 李晓冰;区间值模糊命题逻辑的广义拟重言式及其真度[D];辽宁师范大学;2005年

9 孟艳平;扰动模糊命题逻辑系统的语义[D];辽宁师范大学;2005年

10 韩俊芳;日常交际中新奇隐喻的认知语用研究[D];河北师范大学;2006年

，

本文编号：2254083