论文提要本文探讨《周易》的系统构成以及隐于其深处的直觉问题。《周易》以卦画与卦爻辞的基本结构形式，构成一个结论判断的硬件系统，以应对任何可能的疑问：它以特殊的卜筮操作规程作为软什系统，以保证将任何可能的疑问经由卦画导入结论系统。只是在这两者运行环境当中进行的判断运作过程中，《周易》才实现了自己的完型，它的完整内容也才得以展现。这个充型系统的突出特征亦即它的灵魂所在，恰恰又在于它判断过程的不充备、不完整。因为，假卜筮“叩而决”其“虚设”在那里的结论，问和断之间不存在使判断成立的任何依据。显然，由于疑问跟结论的对应靠得是几率，所以这个不完备不能用理性的方式而只能用非理性、用某种直觉的方式来填补。这表明，《周易》于现实的判断过程中展现它全部内容的同时，提供了开启直觉之门的方法，所以说，它的功能正是指向人的直觉作用。关键辞：功能，考查，系统，直觉，周易AbstractThispapermakesa...

对直觉主义有贡献的人布劳威尔阿兰德·海廷斯蒂芬·科尔·克莱尼MichaelDummett直觉主义数学的分支直觉逻辑直觉主义算术直觉类型理论直觉主义集合论直觉主义微积分参看超直觉主义反现实主义博弈语义Curry-Howard同构可计算性逻辑资源ArticleonIntuitionismattheRoutledgeEncyclopediaofPhilosophy

论文提要本文探讨《周易》的系统构成以及隐于其深处的直觉问题。《周易》以卦画与卦爻辞的基本结构形式，构成一个结论判断的硬件系统，以应对任何可能的疑问：它以特殊的卜筮操作规程作为软什系统，以保证将任何可能的疑问经由卦画导入结论系统。只是在这两者运行环境当中进行的判断运作过程中，《周易》才实现了自己的完型，它的完整内容也才得以展现。这个充型系统的突出特征亦即它的灵魂所在，恰恰又在于它判断过程的不充备、不完整。因为，假卜筮“叩而决”其“虚设”在那里的结论，问和断之间不存在使判断成立的任何依据。显然，由于疑问跟结论的对应靠得是几率，所以这个不完备不能用理性的方式而只能用非理性、用某种直觉的方式来填补。这表明，《周易》于现实的判断过程中展现它全部内容的同时，提供了开启直觉之门的方法，所以说，它的功能正是指向人的直觉作用。关键辞：功能，考查，系统，直觉，周易AbstractThispapermakesa...

语法Rieger-Nishimura格。它的节点是不别直觉逻辑等价之异的一元命题公式，按直觉逻辑蕴含排序。直觉逻辑的公式的语法类似于命题逻辑或一阶逻辑。但是直觉逻辑的连结词不像经典逻辑那样是可互定义的，因此它们的选择是重要的。在直觉命题逻辑中通常使用→,∧,∨,⊥作为基本连结词，把¬作为¬A=(A→⊥)的简写处理。在直觉一阶逻辑中量词∃,∀都是需要的。不同在于很多经典逻辑的重言式在直觉逻辑中不再是可证明的。例子不只包括排中律P∨¬P，还有皮尔士定律((P→Q)→P)→P，甚至还有双重否定除去。在经典逻辑中，P→¬¬P和¬¬P→P二者都是定理。在直觉逻辑中，只有前者是定理:双重否定可以介入但不能除去。对很多经典有效重言式不是直觉逻辑的定理的观察导致了弱化经典逻辑的证明论的想法。相继式演算根岑发现简单限制他的系统LK（他的经典逻辑的相继式演算）就导致了关于直觉逻辑的一个可靠和完备的系统。他称之...