推演系统并不一定是逻辑系统,在讨论一个推演系统是不是逻辑系统时,完全性是一个重要的标准。然而,完全性是相对于语义解释的,如果允许任意的语义解释,则完全性标准可能是无用的。设想这样的情况,有一种语义解释......
任一语词形式(词项)和语句形式(公式)皆有两重意义,这就是外延意义和内涵意义。用辩证逻辑的观点看:外延意义和内涵意义必然是相反互蕴的。既然作为外延意义的形式逻辑已经完成了其形式化研究,那么作为内涵意义......
一、问题的提起我从事因明研究主要借助于三种研究方法:因明与逻辑比较研究方法,整体研究方法,历史主义方法。另外我也非常注重学习、借鉴他人运用梵、汉、藏对勘研究方法所取得的丰硕成果。我曾对因明与逻辑比较研......
在2004年9月举办的“北京2004文化高峰论坛”上,著名华裔物理学家杨振宁认为“《易经》影响了中华文化的思维方式”,“这个影响是近代科学没有在中国萌芽的重要原因之一”。因为,中华文化有归纳法,可没有......
《墨经》中的《小取》篇历来被认为是对墨家逻辑体系的一个总结,其中,除用少部分篇幅谈到了辩的目的、基础和名、辞、说等基本的思维形式外,其他大部分篇幅用于论述七种具体的方法:“或”、“假”、“效”、“辟”......
Pclass=MsoNormalstyle=";mso-char-indent-count:2.0">论辩、论证是逻辑学产生的重要历史条件,也是逻辑学发展的重要因素之一。沈有鼎先生正确地指出:“和古代......
逻辑是文化的一部分,我国逻辑学在21世纪的前景也必须在我国现代文化的背景中展望。逻辑是西方文化的产物,中国古代没有逻辑学,而只有逻辑理论的萌芽,后来也没得到发展。逻辑萌芽见于先秦诸子的名辩学,但名辩学......
一《易经》以及自孔子作《十翼》(即《易传》)注解并发挥《易经》之要义开始,中国古代学术史上便形成了独具特色的“易学”,成为中国古代逻辑的重要组成部分。易学逻辑以“推类”为自己的逻辑主导推理类型。所谓推......
逻辑思维是人类在与自然和自身的抗争中出现的思维深处变革的结果,它摆脱了原始思维的直观性、具体性和动作性,它标志着人类社会从野蛮走向文明、从迷信走向理性。在人类文明不断进步的今天,逻辑作为主流思维的工具......
一、现行的联合演算的判定标准缺乏理论根据希尔伯特和阿克曼在《数理逻辑基础》(1958年第1版,莫绍撰译)中提出了联合演算的思想,就是联合命题演算和谓词演算或类演算对传统逻辑作系统化的处理。希尔伯特和阿......