十年前,我发表在《西南师范大学学报》上的文章《论我国的逻辑教学》[1]招致许多批评,被称为引发了关于我国逻辑教学的第三次大讨论。那次讨论表面上是吸收论(主张以传统逻辑为基础,吸收现代逻辑的一些成果,建......
一、法律逻辑的兴起法律逻辑研究的历史源远流长,可以追溯到两千多年前古希腊时期,古希腊思想家亚里士多德就研究了法律领域中的一些逻辑问题。他一方面从包括法律思维在内的领域里总结与概括人们思维的普遍性规律与......
巴西逻辑学家达·科斯塔(daCosta)建立了一系列弗协调逻辑(ParaconsistentLogic)系统Cn(1≤n<w)。[1-2]我们证明了在这些系统中一个命题和它的否定之间不是经典的矛盾关系......
在现实的经济活动中,往往由于种种主客观原因造成经济交往的障碍,甚至会引起经济纠纷。经济纠纷的逻辑缘起是什么,即为什么会产生这些经济纠纷?怎样避免经济纠纷?如何恰当解决经济纠纷,保证各种经济活动有序高效......
一、问题的提出研究黑格尔哲学,甚或读懂黑格尔哲学,必须深入到黑格尔哲学体系的内部,而不能绕过其体系。这是因为黑格尔哲学的每个观点都只是其体系中的一环,它和其他观点是相互联系、相互依存、彼此渗透、前后贯......
近几十年来,随着自然语言处理这一研究方向的兴起,语言学、逻辑学、计算机科学(尤其是自然语言信息处理方向)更紧密地结合在了一起。高度发达的计算机信息技术要求人们在逻辑的框架内去描述自然语言的特征。逻辑的......
在逻辑学发展的历史长河中,中世纪是逻辑学发展的重要时期。“逻辑在中世纪思想文化中占有十分重要的地位。中世纪学者对逻辑的学习与研究不仅非常普遍,而且也十分深入。”(王路,见奥卡姆,译者序第2页)指代理论......
古今中外,逻辑派的“不矛盾律”(“不”律)向来居主导地位;有些著书辩护它,有些锐意信持它,而绝大多数是不经意地默认它。但是,“不”律向来也受到辩证派“矛盾律”不断的挑战;欧布里德的“说谎者”和赫拉克利......
从1995年开始,张清宇在《哲学研究》上发表了一系列的论文,为经典命题逻辑提出了一种括号记法并做了较系统的研究。在这一记法中,括号兼具了命题联接词的作用:给定任意有限多个命题,可以把它们并置起来成为一......
经典一阶逻辑的希尔伯特型系统Z以一类广义的谢夫竖函数为初始联结词、以存在量词为初始量词,把两者结合起来统一写成括号记法。下面按照逻辑系统研究的一般过程,首先给出系统的句法,然后给出其语义,在此基础上建......