复合三段论的有效形式论纲

本文针对传统逻辑对复合三段论的研究还相对滞后的客观现实，从复合三段论是否受“格”限制两个方面总结出了复合三段论的全部有效形式，并且对有效形式作了有限式、无限式、代表式、非代表式的区分．从而深化了对复合三段论的认识。在复合三段论的理论和实践方面都有现实指导意义。     

康德哲学视域下亚里士多德的不能自制问题

亚里士多德从知识论的角度分析不能自制的现象,认为不能自制者缺乏"最终的小前提",不能得出理性的结论。他的分析无法解释严格意义上的不能自制以及不能自制者的心理冲突,引起很多争议。从康德的视角出发,不能自制者是在知道正确的选择的情况下,把感性欲望当做自己准则的规定根据。这种视角在亚里士多德那里隐而不显,开启了德性伦理学与义务论对话的新的可能性。     

法律方法选择的价值定位——以＂驴友案＂为例

文中以“驴友案”为例引出法律方法与价值定位问题，从法律方法论的概念、要素和功能出发，探讨司法应如何确定选择法律方法时的价值定位以及其局限，并对法律方法选择价值定位的利弊进行了初步探究。通过对法律方法与价值定位的探讨与检视，表明法律决不只是纯粹的逻辑和技术问题，而要考虑社会结构、价值规范以及公共政策等的潜在影响。     

苯教历史三段论之由来及剖析

著名的苯教历史三段论,在过去一直被学术界认为是由土观法师最先提出.因为土观法师的著作中有关苯教历史的部分早先被译成英文在欧洲出版,藏文版又先于苯教历史文献于20世纪在中国出版,但是上个世纪80年代法国学者发现这个学术观点早在600年之前就由噶举派学者玖丹贡布提出.本文通过分析这一学术观点的来龙去脉及其在国内外藏学界产生的影响,对它的实际内涵和事实真相进行了重新评判.     

从三段论扩充到命题逻辑

以罗伯特·范·罗伊的工作为基础,展示如何通过形式化的方法把三段论逻辑扩充到全部命题逻辑.文中将依次给出按现代逻辑标准形式化的三个逻辑:亚里士多德的三段论逻辑SYL,引入否定词项等之后的扩充系统SYL+,最终得到从三段论逻辑扩充而来的命题逻辑SYL-PL.     

论法官的经验思维

作为法官裁决的思维方式,逻辑思维偏于僵硬、呆板,不能使司法活动适应复杂多变的社会现实和客观情况。因此,在坚持以司法三段论为裁判的框架形式前提下,法官在寻找大前提、确定小前提、大小前提之间的连接等各阶段,都需要借助经验思维。逻辑思维和经验思维的共同作用,始能达成司法正义。     

基于广义量词almostall的广义三段论的语篇推理探究

自然语言语篇推理是自然语言信息处理、计算机科学中的知识表示和知识推理的重点与难点内容之一。利用广义量词理论、集合论和模糊逻辑相关知识,可以简洁明了地对包含 al-most all 的广义三段论进行形式化的表示和证明。对此有18个事实可以印证。在广义三段论形式化和有效性研究的基础上,可以探讨由两个及以上的广义三段论嵌套而成的自然语言语篇推理。这些创新性成果和研究方法,将为考察包含其他广义量词的广义三段论的形式化、有效性及其相关语篇推理提供一个简洁合理的数学范式。     

自然语言语篇推理的形式化探究

不论是对自然语言信息处理,还是对计算机科学中的知识表示和知识推理而言,自然语篇推理既是不可回避的研究重点,也是研究的难点。在利用广义量词理论对语篇推理进行形式化的基础上,既可以对基于传统三段论的语篇推理的有效性加以判定,也可以对基于广义三段论的语篇推理的有效性加以判定。换言之,利用广义量词理论可以形式化地解释和证明自然语言语篇推理。     

说说三段论一条规则的表述--与倪荫林先生商榷

三段论的规则(五)符合逻辑“必然地得出”的性质。倪荫林先生一方面认为“规则(五)是缺乏逻辑根据的或违背逻辑的,应该摈弃”;另一方面又认定“规则(五)应直接表述为由两个肯定前提(零否定)必然得出肯定结论”。倪先生在这里违背了思维的同一律。     

复合式三段论形式及其应用探微

目前对复合式三段论的理论和实践研究仍欠深入,逻辑教材也很少涉及。即使涉及,也仅仅限于第一格AAA式的讨论。因此,从应用视角研究复合式三段论,归纳总结出复合式三段论的基本形式,进而发掘复合式三段论的各种交叉形式广阔的应用前景就显得很有必要。