弗协调逻辑的哲学含义

1.弗协调逻辑弗协调逻辑是一种新的形式逻辑,它的先驱是J.卢卡西维茨和N.A.瓦西里耶夫。人们甚至可以认为,亚里士多德已经推测过这种逻辑存在的可能性。但是,至少就那些作者有关弗协调性的研究而言,他们是把逻辑设想为亚里士多德逻辑及其直接推广的很有限的范围。

现代逻辑的一般观念和特征

现代逻辑(缩写为‘ML’)是指从莱布尼茨开始,后由布尔、皮尔士、弗雷格、皮尔诺、列斯尼夫斯基及其追随者所研究的领域。有时‘ML’用来指别的内容,例如指黑格尔学派的辩证法的研究。

弗协调逻辑

语言和逻辑是理论的两大要素。当我们用符号精确描述这一切时,用以表达给定理论T的语言L也就是一堆公式。这些公式都是由初始概念的符号和逻辑符号按一定规则形成的;理论T本身也可看成是对于基础逻辑的规则封闭的一组公式,这些公式称为T的定理。如果语言L中的任一个公式都是T的定理,则称理论T为不足道的;否则,称T为足道的。如果语言L有表示否定的符号,则称公式A为A的否定;如果有一公式与其否定同时都是T的定理,则称T为不协调的;否则,称T为协调的。

有关制约逻辑的一些情况

1985年贵州人民出版社出版了北京开关厂技术人员林邦瑾的《制约逻辑》一书。1986年北京日报、经济日报、人民日报、光明日报和中央电视台对此都作了报导,并给予极高度的评价。学术界众所周知,1956年德国的阿克曼发表了一篇关于“严密蕴涵”的论文,从而开创了非古典逻辑演算的众多分支之一相干逻辑的研究。其后,美国的安德生和勃尔奈帕等人在50年代末60年代初,建立了两种命题逻辑:衍推逻辑E 和相干逻辑R。

多值逻辑内部的弗协调结构

在本文中,我们要区分出一些足以构造弗协调逻辑的多值逻辑的最低限度的函数方法,借此来确定作为片断而包含在弗协调逻辑内的多值逻辑这个极大的类。这样,就能够讨论多值逻辑内部的弗协调结构,就象大家讨论多值逻辑内部中的模态结构那样。