从命题的分析看两种不同的逻辑观

对命题的不同分析是两种逻辑的真正区别所在,这特别表现在对直言命题(主谓项结合的本质、全称与特称命题的逻辑结构,单称命题的地位)和关系命题的不同理解和把握上。     

亚里士多德直言命题理论的现代解析

对亚里士多德的直言命题理论作了全面的分析,指出亚里士多德在逻辑史上第一次引进词项变元,建立了对当方阵,为三段论奠定了基础。接着,比较分析了现代逻辑对亚里士多德的直言命题所作的几种解析,在此基础上,提出了一种符合亚里士多德原意的解析。     

直言逻辑与谓词逻辑的对比研究

1.1 这里的直言逻辑,就是传统的直言命题逻辑,而这里的谓词逻辑,实际上也只涉及一部分,这部分通常称为狭谓词逻辑。为了行文简便,故使用简称。1.2 直言逻辑研究直言命题及其推理的形式,是传统逻辑的重要组成部分,亚里士多德奠定了其基本内容。谓词逻辑研究谓词公式及其推演,并给出语义解释。谓词公式经过解释成为命题形式的符号表达式。谓词逻辑是现代逻辑的基础之一,罗素第一个建立了完全的谓词演算系统。1.3 谓词逻辑所研究的思维形式,从量上来说远远多于直言逻辑,而其中有一部分是与直言逻辑相同的,但两者在理解和处理这相同的对象时,表现出诸多的不同,从这方面对     

传统直言命题的制约逻辑剖析

传统直言命题Ａ、Ｅ、Ｉ、Ｏ作为 “命题形式”其逻辑语义没有规定清楚，逻辑结构尚未完全定型，因而而今还存在种种逻辑理论上的问题。     

论句式修辞的逻辑手段

一般汉语著作和修辞学专著多半只讲到句式修辞的语法手段,句式修辞的逻辑手段则很少涉及。句式修辞的逻辑手段就是根据命题形式的等值转换进行句式变换,丰富句式修辞的内容。命题形式的等值转换主要有:直言命题的等值转换、关系命题的等值转换、负模态命题的等值转换、负直言命题的等值转换、负复合命题的等值转换、假言命题与选言命题之间的等值转换、假言命题之间的等值转换。     

传统直言命题的制的逻辑剖析(英文)

传统直言命题A、E、I、O作为“命题形式”其逻辑语义没有规定清楚，逻辑结构尚未完全定型，因而至今还存在种种逻辑理论上的问题．我们根据主词S外延的不同将传统直言命题二分为外延命题和内涵命题两大类．当直言命题的主词S的外延是可进一列举的有限集时为外延命题．与A、E、I、O相对应的外延命题依次为：P(e1)ΛP(e2)Λ…ΛP(ei)Λ…ΛP(em),P(e1)ΛP(e2)Λ…ΛP(ei)Λ…ΛP(em),P(e1)∨P(e2)∨…∨P(ei)∨…∨P(em)，P(e,)∨P(e2)∨…∨P(ei)∨…∨P(em)．当主词S的外延是无限集、不可进一列举的有限集或空集时为内涵命题．与A、E、I、O相对应的内涵命题依次为：S（x）P（x）、S（x）P（x）、S（x）！P（x）、S（x）！P（x）．已经验证了，四种外延命题和主调可空而不自相矛盾的四种内涵命题全都满足传统的推理格式．     

本期导读

“本刊专稿”栏目重点推出了4篇文章。本刊编委、燕山大学文法学院首席教授张家龙在《亚里士多德直言命题理论的现代解析》中,对亚里士多德的直言命题理论作了全面分析,指出亚里士多德在逻辑史上第一次引进词项变元,建立对当方阵,为三段论奠定了基础,张教授在分析的基础上,提出     

F命题演算

本文在[1]的基础上,把普通命题推广到F命题,应用基本逻辑联结词,对F命题进行了逻辑演算。文中还推出了基本F公式,借以推证引出其它的为F的F函数。     

直言命题的运用并非纯逻辑的——评逻辑教材自身的逻辑矛盾

普通逻辑(或称形式逻辑、传统逻辑)所研究的命题形式(或称判断形式)之所以具有抽象的概括的与纯形式的性质,是因为逻辑学研究思维形式(或称思维的逻辑形式)时,要暂时撇开思维内容。而现行逻辑教材中,谈及“正确运用直言命题”时,却不顾这一特性,将命题的形式与命题的内容“相提并论”。既然逻辑学只研究逻辑问题,就不该涉足非逻辑问题;命题运用既涉及逻辑问题,也涉及非逻辑问题,就不能推给逻辑学去解决,否则,必然出现逻辑矛盾:逻辑学的研究对象只是思维形式,同时,它又不仅限于思维形式。     

关于空间理论中的三个定理

本文中对三个命题一富里叶级数收敛,(C[a,b],d_p)不完备,有限维赋范空间完备性一的证明方法比较简明、直观。     

论HMOT的系统近似

ＨＭＯＴ是处理共轭体系最简单、直观、有效的方法。本文通过对ＨＭＯ法逻辑基础的研究，揭示了其中潜存的系统近似体系，借以说明ＨＭＯ法的简单性、直观性、定性半定量性及有效性等特点的本质原因     

互逆主义逻辑基础

互逆主义逻辑是一种全新的逻辑体系，它从命题成分的分析入手，说明命题是由项组成。命题又可分为不同的层次，高层命题由低层命题构成，即逻辑命题由经数命题加联符构成，经数命题由事实命题加联符构成，事实命题由项构成。互逆主义逻辑归纳复合与分解的方法是其主要的创新思想，综合了归纳与演绎推理，它不仅有理论意义还有重要的实践意义。     

蕴涵意义新解

严格蕴涵和实质蕴涵本质上都是基于命题真假函项的蕴涵概念的定义方法，并不能从根本上解决实质蕴涵会导致蕴涵怪论的问题。实质蕴涵和严格蕴涵定义所给出的只是蕴涵成立的必要条件，将它作为蕴涵成立的充分条件来使用是不合适的。为有效避免蕴涵怪论问题的出现，提出了一种新的意义蕴涵概念。这一概念简明、直观和容易理解。     

一类对偶最值命题的内在关系

将对偶“最值”命题”在类型上作个初步概括,借一个反例对所提出的问题给出否定性答案.然后就两个同时为真的对偶命题从图像上加以考察和归纳,就对偶命题的“内在联系”给出直观解释.最后通过概括的叙述和严格的逻辑论证,给出一般性的结论.     

逻辑函数的图形化简法的扩展

将卡诺图推广到三维空间中，并经适当处理，可对五变量、六变量的逻辑函数进行简便、直观的化简。     

浅议影响企业投资的因素

本文从六个方面讨论了企业投资中应考虑的若干问题,并对每个问题加以简明直观的分析,这对于企业的生存发展起着至关重要的作用,使其在市场经济的竞争中开始就折戟沉沙.     

也谈复合命题

我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题，有不同的观点。应从“真假决说”角度来定义复合命题；复合命题是其中还包含命题，而且其真假由所包含的命题决定的命题；应采取给联言命题、假言命题下定义同样的“反映说”方式来定义两种选言命题；相容选言命题是反映若干事物情况可以同存并且至少有一个存在的选言命题、不相容选言命题是反映若干事物情况不能同存，至少有一个而且至多有一个存在的选言命题；应持“两立说”来对待不相容选言命题，不能对V进行结合运算，这是f10这一真值函项本身的性质使然，不影响不相容选言命题的存在。     

积分第一中值定理的又一个简明的证法

本文给出了证明积分第一中值定理的一个简明方法,直观地说明了中值点ζ可以在开区间取到的结论.     

邏輯代数应用二则

全日制十年制学校高中课本《数学》第三册第六章中讲了逻辑代数的基础知识及其在逻辑线路上的应用。本文试图将逻辑代数在数学证明与逻辑方程(组)两个方面的应用作简单介绍。供中学数学教师、高师院校数学系学生、中学高年级学生作参考。一、逻辑运算及其性质(一)命题内容确定且能判断真假的语句叫做命题。例如:A:“明天下雨”;B:“后天下雨”;C:“明天下雨或后天下雨”;D:“明天下雨且后天下雨”;E:“24是3的倍数”;F:“1 1 <2”,等等都是命题。     

安培环路定理的一种证明方法

本文应用立体角的概念，一般地证明了安培环路定理，证明方法简明易懂、直观且不失普遍性，适合在普通物理和电磁学中使用。