客体逻辑导引论文

《客体逻辑导引论文》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、逻辑定理——关于推理和导出的一点讨论姓名：李林琴学号：1400860164(贵州大学人民武装学院国防教育系14级思想政治教育，贵州省贵阳市花溪区，550025)摘要：逻辑定理是关于客观世界逻辑规律的思考。鉴于此，从一个逻辑系统的逻辑定理的数最、规格，以及得出逻辑定理的方法，就可以鑒别一个逻辑系统的水平。根据逻辑规律的种类，对关于逻辑规律的思考的逻辑定理可做相应的分类。逻辑规律町分为逻辑定律和逻辑法则，相应地，关于逻辑规律的思考的逻辑定理可而分为逻辑冇效命题和逻辑法则。至此，我所介绍和讨论的，仍不过是客体逻辑定理的沧海一粟，而此外的浩如烟海的逻辑定理，也都可以用课题逻辑的语构学将其一网

2、打尽。客体逻辑是一座有无逻辑定理的宏伟宝殿。关键词：命题逻辑和名词逻辑推理和推理式导出和导出式生活屮的逻辑在龚启荣教授的指导下的一些感受一、命题逻辑和名词逻辑：①命题逻辑是关于时间为最小单位的纯真值逻辑定律和费纯真值爭件逻辑定律以及事件逻辑法则等客观世界的事件逻辑规律的思考。事件逻辑规律是不同于项、爭件的一类客观存在。命题逻辑规律则是研究这类客观存在得出的理论结果。命题逻辑主要特点在于，它在通过菇础命题去研究容观世界的事件逻辑规律时，无需对基础命题的内部结构和组成因素进行分析、研究，而是以基础命题为授小单-位。所谓棊础命题，是关丁•某础事件的思考。鉴于基础事件在思考时不分析其内部逻辑

3、结构，因而，畢础命题是不分析其思考对象内部逻辑结构的命题。如皐础命题A,可以是p(e)原子命题，也可以是BV-C这样的复合命题，等等。A本身可能是很复杂的命题，只是在思考时，把那些很复杂的事件当作一个整体，而不分析其内部结构，A就是基础命题。②名词逻辑是关于项逻辑定律以及逻辑法则等客观世界的项逻辑规律的思考。与事件逻辑规律一样,项逻辑规律也是不同丁•项、事件的一类客观存在。名词逻输就是研究这类客观存在得出的理论结果。名词逻辑的主要特点在于，把原子命题分析到n元名词和项词。关于兴观的项逻辑规律的思考，在名词逻辑里称为名词逻辑有效式。如s(e)A[s(x)-p(x)]-p(e)o名词逻辑

4、规则则揭举一些名词逻借冇效式和一个名词逻借冇效式Z间的充分条件关系，是逻辑科学客观的项逻辑法则思考。二、推理和推理式：若"7,且从逻辑内容上说可在未确定B为真，则城A推出B,并称A-B为推理式。以(=A—B表示A-B为推理式。卜中的两个短横表示A-B具有两个独立性。其中A称为前件、前提或假设，B称为后件。结论或结果。如卜(C-「C)-「C(归谬法)，

5、=CA(C-D)-D(充分条件推理式)，卜p(e)A[p(x)-q(x)lq(e)(内含三段论式)，前二者为命题逻辑推理式,后者为名词逻辑推理式。这里，把“从逻辑内容上说可在未确定B为真的情况下雀帝A为真”简化为“可独立丁-B确定A”，

6、并称为第二独立性，简称二独。由上述可见，推理式不仅具有一独，而且具有二独。-•独和二独合称为两个独立性。卜为两独有效号，表示不仅有效而且具有两独，两短横就表示具有两个独立性。推理式

7、=A-B是具有两独的有效式，是具有两个独立性的逻辑真理：仅仅依据其逻借内容即可独立于A、B确定不会是A真而B假，切町独立于B确定A为真。例如，下而用竖式衣示的就是推理式，具冇两个独立性：如果C,那么D；C相应的横式为：卜CA(C-D)-D所以,D下面就是这个推理式的实例：如呆敌军发动攻击，则敌军必有攻击时间；敌军确实发动攻击了所以，敌军有攻击时间。由于可独立于D为真确定C/(C-D)为真，因此结论D对于

8、前提CA(C-D)來说是新知。实例中,结论“敌军冇攻击时间”对于“如果敌军发动攻击，则敌军必冇攻击时间”，和“敌军确实发动攻击额”这两个前提來说就是新知。三、导出和导出式：若卜A-B,且从逻辑内容上说不可在未确定B为真的情况下确定A为真，亦即，只有在确定B为真以后才能确定A为真，则称A导出B,并称A-B为导出式。以卜A-B表示A-B是导出式。卜中的一横表示A-B具有第一独立性，左边一竖表示不具有第二独立性。下面的实例就是不出新知的导出:贵州旅游资源丰富，并且，能源丰富；所以，贵州旅游资源丰富。要确定前提“贵州旅游资源丰富，并且，能源丰富”为真需依赖确定结论“贵州旅游资源丰富”为莫。若

9、在未确定“贵州旅游资源丰富”为真之前，根木不可能确定“贵州旅游资源丰富，并且，能源丰富”为真。此例的结论对前提來说不是新知。这称为导出。表达导出的符号式称为导出式。上例的表达式为：IFCAD-C写成竖式就是：C并且D所以，C显然导出式是不能从已知得出新知的冇效式。须在确定结论为真后才能确定前捉为真；结论对前捉來说不是新知。但是，导出式的前提和结论之间具有充分条件关系，满足第一独立性。四、生活中的逻辑：对于我们的口常对话，只要仔细听，也时常能发现逻辑问题。甲