直言命题的同质等值换位推理

对于直言命题的变形推理,传统上认为A命题只能换位为I命题,O命题不能换位。但实际上通过欧拉图我们可以证明A、O命题是能够进行同质等值换位的。它符合传统的直言命题变形推理规则,只不过A、O命题换位以后的同质新命题的主谓项与原命题的主谓项具有矛盾关系。随着A、O命题同质换位确定后,我们可以认为直言命题的换位推理应该是同质等值推理。     

论非经典三段论有效推理的量与逻辑特征——兼与程仲棠教授商榷

含有负名词的直言命题变形推理后,根据经典三段论的推导规则,能够合乎逻辑地进行推导,并由此构建含有负名词的非经典三段论系统。非经典三段论突破了经典三段论的有效推导模式,扩大了直言三段论的推理范围,使三段论有效推理式由传统的24个增至41个。但引入负名词的非经典三段论的推导依然要遵循经典三段论的推导规则。     

直言命题变形推理特例分析

传统逻辑学的演绎推理是在一定的条件限制之下进行的。直言命题变形推理形式"SAP→SOP"的成立,超出了传统逻辑理论中"前提中不周延的项在结论中不得周延"这一普遍规律的限制。我们可以把"SAP→SOP"这一推理形式看成直言命题变形推理中的特例,但不应该把它看成亚里士多德开创的传统逻辑学的缺欠和不足。     

变形推理疑难解惑——兼析逻辑与经验之差

按规则对直言命题进行变形推理,会出现结论违背经验常理的情况.探索其根源,是经验思维中对对象域的把握与逻辑对对象的抽象设定不一致所致.为消除直言命题变形推理出现违背经验常理的情况,使经验与逻辑统一起来,必须限定“每次对命题变形不得转移主项或谓项的论域”.     

试论主项为空对传统逻辑基本理论的影响

从现代逻辑的角度看,传统逻辑在主项存在问题上存在有严重缺陷。去掉直言命题的存在含义后,将会给传统的词项逻辑理论带来很大影响。在主项为空时,关于直言命题的对当关系推理、换质推理、换位推理和三段论推理等许多推理形式不再普遍有效。     

系词“是”的涵义的现代逻辑辨析─—兼论直言命题的逻辑与关系逻辑的关系

系词“是”的涵义问题是直言命题的逻辑的一个重要问题，学术界一般认为在自然语言中东词“是”有着多种涵义，在笔者看来这一观点颇值得商榷。木文以现代逻辑为工具，对直言命题进行了深入的分析，并以此认为，系词“是”是有着统一的涵义的，它毫无例外地表达等同于关系。由此出发，本文进而认为，直言命题的逻辑应建立于关系还辑的基础之上，从关系逻辑的观点来研究直言命题及其推理，必定会深化直言命题的逻辑理论。     

关于含有否定词语的命题的断定

含有“没有”、“并非”、“不”等否定词语的命题,在直言命题及其推理中经常出现,对其如何断定是一个难点。另外,本文认为直言命题联结项省略补出后,只能还原为肯定命题而不能同时又是否定命题。     

论替换中项法下的直言三段论自然推理系统

替换中项法是直言三段论新方法,利用该方法可以构遣直言三段论自然推理系统.在该系统中,利用替换中项法能够证明三段论的所有有效式,能够判定三段论的所有有效性,能够显示三段论如何从前提推出结论,能够提供补充三段论省略前提的线索.     

A命题的系统

直言命题可以归结为A、E、I、O四种基本类型。A命题就是全称肯定命题,在日常语言中可以表达为所有X是Y。A-命题可以推广成An-命题。全体有效的An-命题将形成一个系统An。在文献[1]中,莫斯给出了A0和A1的公理系统,并分别证明了它们的完全性。另将给出An的公理系统并证明它的完全性,从而统一了A0和A1的处理并推广了莫斯的结果。     

直言推理系统

本文构造了直言推理的一个系统MA,内容包括直接推理和三段论.但未考虑单称命题.此系统实际上是名辞逻辑系统MZ的子系统,精确地说是关于类名及其否定和由它们形成的本辞的系统.文中证明了系统MA的可靠性和完全性,并提出了它的自然推理系统.     

正确理解黑格尔对同一律的批评

黑格尔对公式“A＝A”的批评被一些学者作为贬低形式逻辑同一律的主要理论根据,这是对黑格尔学说的误解和歪曲。黑格尔彻底否定的是作为形而上学世界观的同一律,而不是作为思维基本规律的同一律;他对公式“A＝A”的嘲讽中包含了他对这个公式的误解;黑格尔在《逻辑学》和《小逻辑》中并没有全盘否定形式逻辑同一律,而是对形式逻辑及同一律的作用给予了充分的肯定。     

知识蕴涵逻辑的应用

知识蕴涵逻辑是能够处理包含矛盾信息知识系统的推理问题的一类逻辑系统。它可以避免由于矛盾信息而带来推理后承的致命性结果。其应用前景非常广泛,主要体现在:1.为智能系统提供处理不协调信息的逻辑工具;2.用于不协调信息的形式表示;3.有助于自然语言的理解。由两个具体的应用实例可以看出,在某些情况下,用知识蕴涵逻辑描述人类的推理过程更加符合人类智能的实际情况。     

因果陈述句逻辑系统

因果必然性的性质是什么?因果必然性和归纳概率的关系如何?我们将给出因果陈述逻辑的自然语言系统,同时也对该形式语言的范围以及用形式化来界定的一般特征进行阐述。把因果陈述逻辑看作是一个形式语言,从而讨论这种形式语言的基本的性质。条件化模态逻辑的最大特点是把模态演算建立在演算的条件逻辑的基础上,它用条件蕴涵来定义可能、必然等模态算子,并在此基础上研究条件模态算子之间的关系,使它成为与古典模态逻辑既有联系又有区别的新的模态逻辑系统。     

论模糊逻辑的有效性

为了符合经典有效性标准,我国学者王国俊教授和婓道武教授分别构造了模糊形式演绎系统L*和模糊谓词一阶形式系统K*,这反驳了模糊逻辑缺乏逻辑基础的谬论。然而随着现代科学日益进步和逻辑学分支学科的不断发展,经典逻辑过于狭隘的非此即彼的模式及其有效性标准显得越来越过时了。非形式逻辑通过对经典有效性标准的限制和修改,已形成归纳有效性、实质有效性等另类的有效性概念。模糊逻辑用发展了的有效性标准来评估更能体现其理论存在的价值和自身特点。     

General Education,General‐Technical Education and Integration

Summaries

English

Answers to questions pertaining to general education and basic subjects, as well as to vocational education (general‐technical education in particular) and the principle of integration cannot be reduced to formal speculations or to bare definitions, no matter how elegant and correct. In our era, which is the era of logic and of data‐processing, of automation and computers‐‐the analysis of the question of general and general‐technical education and the corresponding basic subjects of contemporary education must have the qualities of logical and epistemological necessity. The renaissance of formal and mathematical logic in contemporary general education and the inroads made by these subjects into the content and structure of contemporary vocational training‐‐are facts and trends without precedence in the history of education and school. Other developments from which there can be no retreat are the inclusion of data‐processing into the content and structure of the general education school, and the heavy reliance on mathematics in the process of vocational training, combined with elements of cybernetics, formal and mathematical logic, and science of management and control. Also, the time has come for a new principle of teaching, the principle of integration.     

浅谈我国选举制度的部分完善

人民代表大会制度是我国的根本政治制度,人民代表是代表机关的主体,代表的选举产生是人大制度的逻辑起点.在我国的政治生活实践中选举制度尚有某些需要完善之处.本文针对我国选举制度中的平等性原则、普遍性原则、竞选机制、述职制度等方面提出了一些看法和建议.     

中国特色社会主义理论体系的发展逻辑研究

中国特色社会主义理论体系的发展逻辑本质上具有三个方面的内容:逻辑前提、存在逻辑和发展趋势,三者相互联系、不可否缺。其逻辑前提研究需要注意马克思主义总体性方法、逻辑立场即人的自由而全面发展以及逻辑原则等;其存在逻辑研究需要注意从属性、制度到本质的逻辑演变,这是改革开放以来的中国特色社会主义道路的逻辑理路;其发展趋势研究需要注意中国特色社会主义理论体系的逻辑前提和存在逻辑决定了其发展趋势,这种趋势主要体现在结构性和过程性两个方面。深入研究中国特色社会主义理论体系的发展逻辑可以更好地丰富当代中国马克思主义的内容,促进马克思主义中国化的发展。     

电力机车故障远程诊断专家系统的设计

研究了在Internet／Intranet环境下，基于Web数据库建立电力机车远程故障诊断专家系统所涉及的关键技术：以SQL Server2000设计知识库，利用Visual C 6．0编程设计推理机，将推理机封装为服务器端的COM组件．以专家系统、人工智能基本理论为基础，针对电力机车的特点，将电力机车的故障诊断知识分为确定性知识与不确定性知识，分别采用不同的推理机制，从而以B/S方式实现电力机车远程故障诊断专家系统．     

科学逻辑的知识创新功能试析

从科学逻辑的角度看，科学知识创新是指科学知识的增长。归纳逻辑作为一种冒险的逻辑，其知识创新功能比演绎逻辑强。贝叶斯规则着力刻画了新证据在知识增长方面的作用，从而具有较强的知识创新功能。新培根主义归纳概率逻辑较好地满足了知识增长的要求，展示了科学知识创新的途径。要增强科学逻辑的知识创新功能，必须实现从单调逻辑向非单调逻辑的转变，从外延逻辑向非外延逻辑的转变，从形式逻辑向非形式逻辑的转变。     

弗雷格《概念文字》的构造及其意义

弗雷格在研究逻辑和算术的关系时深切地认识到了语言的缺陷,因此他借鉴了数学思想,引入了断定、函数和自变元等符号,在传统逻辑自然语言和算术形式语言的基础上构造出了纯思维的形式语言,在历史上第一次建立了一阶谓词演算系统,开创了现代逻辑的新纪元.