王延直《普通应用论理学》再研究

王延直撰著的《普通应用论理学》是贵州省第一部逻辑学著作,也是中国最早的国人自己撰著的几部逻辑学著作之一。笔者在对这本出版于1912年的逻辑专著进行多年研究的基础上,曾写成《王延直〈普通应用论理学〉研究》一文(载《贵阳师专学报》1993年第1期),对该书中的几个较为突出的内容和特点进行了分析和评述。本文是对上文的继续,着重研究《普通应用论理学》一书的体系,分析与今之形式逻辑体系的异同。     

浅议王延直的《普通应用论理学》

王延直先生的《普通应用论理学》一书对传统逻辑学进行了系统而全面的介绍,以中国论理学为名,将西方的传统逻辑知识引入中国,对提高当时国人的理性思维能力起到了重要的作用,但对形式系统方面的研究涉及得较少。     

逻辑文化热潮与贵州学人——隆重纪念王延直《普通应用论理学》出版一百周年

20世纪初,王延直纂著《普通应用论理学》和传播逻辑知识的时候,正值我国处于西方逻辑文化东渐的热潮之中。20世纪80年代,王著复出,又正值我国传播逻辑文化的又一次热潮。与王著最初出现的同时期,可能还有其他贵州学人传播逻辑知识,如贵阳名学家彭述文等。新时期我国出现了一大批受过系统的专业训练的逻辑工作者,他们中不少是贵州籍学人,为贵州和我国逻辑学的发展作出了重要贡献。可以期望,在贵州、云南,在中国,逻辑学必将大放光芒。     

贵州几本传统逻辑著作简介

1912年至1992年,贵州先后有几本传统逻辑著作与读者见面,大体反映了80年来贵州逻辑工作者学习研究传统逻辑的情况。 一、《普通应用论理学》 这是贵州人学习研究西方传统逻辑的最早成果,作者为贵阳留日学者王延直先生。书是直行排版的石印本,1912年(中华民国元年)7月1日云南印刷局印制,贵阳论理学社发行。主要内容包括     

贵州逻辑文化的传承与创新——2012年在贵州的三个重要会议

2012年,在贵州有三个重要的学术会议可以作为逻辑文化的传承与创新的标志.其实,在近现代中国的文化教育事业中,在逻辑文化的交流、交汇、交融与发展中,贵州学人常常是主动积极地认真参与,努力作出自己的贡献,并且卓有成效的.王延直《普通应用论理学》出版100周年纪念会,著名的因明学家虞愚在贵州大学讲学七十周年纪念会,以及在贵阳召开中国逻辑学会第九届全国代表大会等都是中国逻辑学发展中的重大事件.这几年来,贵州大学因明学者研究硕果累累,毕节学院逻辑与文化研究中心正在兴起.可以期望,在逻辑文化的传承和创新中,贵州应该而且可能作出更大贡献.     

王延直《普通应用论理学》研究

本世纪初,西方逻辑被大批中国学者介绍进来。其介绍的方式,主要有翻译和撰著两种,其中撰著多于翻译。在撰著者当中,有不少是到欧美或日本留学回国后,深感中国科学文化落后的主要原因就是缺少科学论证的工具——逻辑学,从而致力于这方面的介绍、研究和教学的。贵州贵阳人,留日学者王延直纂著《普通应用论理学》即是一例。     

论王延直的《普通应用论理学》——云南近代的第一本普通逻辑

王延直的《普通应用论理学》是在昆明发现的云南近代第一本普通逻辑。这本书对研究中国近代逻辑史,特别是云南近代逻辑发展问题具有较大的参考价值。毛泽东同志曾说:“我有兴趣的,首先是中国近几年和近数十年关于逻辑的文章、小册子和某些专著(不管内容如何),能早日汇编印出,不胜企望!”(《毛泽东书信选集》第564页)这说明他生前十分关注收集和整理中国近现代逻辑史料的工作。本文论述《普通应用理论学》的发现和启示,也是为了引起更多同志对毛泽东同志所关注的逻辑史料工作的重视,并表达我们和大家一起努力去做好这项工作的愿望。     

《贵阳师专学报》(社会科学版) 1993年第1——4期总目录

政治哲学逻辑学历史论科学技术是第一生产力………………………………………………………中国社会主义道路的哲学思考…………………………………………………论“承认”——逻辑论证中的一个重要因素…………………………………王延直《普通应用论理学》研究………………………………………………试论爱国主义……………………………………………………………………试析王阳明的“知行合一”说………………………………………司亚勤论资本的原始积累与法国大革命振荡节律……………………………………王韬的变法维新思想与心学…………………     

黑格尔逻辑学的科学开端探索

黑格尔关于哲学的科学开端思想散见于《精神现象学》、《哲学史讲演录》、《哲学全书》等著作中,而在《小逻辑》和《逻辑学》中作了集中的论述,可以说提出了完整的科学开端论。研究黑格尔的这一思想,对于开辟黑格尔哲学研究的新领域,加深对马克思主义哲学的对象和出发点的探讨,都会有所裨益。一、逻辑学开端的哲学史根据     

论周易的精髓——逻辑理性主义

《周易》具有哲学中本体论、认识论、逻辑学的全部内容,其精髓是逻辑理性主义。《周易》的逻辑是自然本体逻辑,是关乎天、地、人最根本规律的逻辑,是最大的逻辑;《周易》又是一个辩证法体系,泛演化逻辑体系;《周易》哲学中的概念体系的展开,还体现了逻辑和历史的统一。     

IF逻辑与IF模态逻辑

IF逻辑全名为独立友好的一阶逻辑,于上世纪80年代末90年代初由欣迪卡提出.欣迪卡发现在数学和自然语言中,不但存在传统一阶逻辑所刻画的量词之间相互依存的情况,有的时候还有不存在依存关系、相互独立的量词.为了刻画这种现象,他向一阶量词逻辑引入一个独立指针“/”,表示指针上面的量词与指针下面的量词不存在依赖关系.IF逻辑在句法上是对一阶逻辑的直接扩张,表达力相当于二阶逻辑.之后,Bradfield尝试将IF逻辑的思想用于表示计算机系统执行路径的相互独立,用模态之间的独立来表示事件之间的独立,发展出IF模态逻辑.IF模态逻辑是模态逻辑的一个新兴分支,还存在很多有待深入思考和探究的问题.     

基于逻辑程序的逻辑信息系统

逻辑信息系统采用一致的方法并利用逻辑程序对信息进行刻画、查询,最后借助信息进行导航、分析和更新.逻辑在逻辑信息系统中,尤其在数据库模型中发挥着重要的作用.为此给出了逻辑信息系统的规则以及建立在系统基础上的程序.在逻辑程序中,通过对逻辑的内涵概念和外延概念的解释,可以对不同的逻辑程序进行优劣的比较,从而为选择最佳的逻辑程序提供标准.     

IF逻辑与IF模态逻辑

IF逻辑全名为独立友好的一阶逻辑,于上世纪80年代末90年代初由欣迪卡提出。欣迪卡发现在数学和自然语言中,不但存在传统一阶逻辑所刻画的量词之间相互依存的情况,有的时候还有不存在依存关系、相互独立的量词。为了刻画这种现象,他向一阶量词逻辑引入一个独立指针"/",表示指针上面的量词与指针下面的量词不存在依赖关系。IF逻辑在句法上是对一阶逻辑的直接扩张,表达力相当于二阶逻辑。之后,Bradfield尝试将IF逻辑的思想用于表示计算机系统执行路径的相互独立,用模态之间的独立来表示事件之间的独立,发展出IF模态逻辑。IF模态逻辑是模态逻辑的一个新兴分支,还存在很多有待深入思考和探究的问题。     

从传统逻辑到普通逻辑

普通逻辑是传统逻辑主体内容的扩充，其中贯穿着兼容并蓄的大逻辑观，是高等院校科开设的一门公共基础课，对提高当代大学生的综合素质与能力发挥着重要作用。从“吸收论”的角度坚持普通逻辑的特点和现代化的改革方向，在一定程度上可以代表普通逻辑教学改革的发展方向，对全国高校普通逻辑教学改革与现代化的进程产生着重要影响。     

从相干逻辑看逻辑的可修正性

相干逻辑是现代逻辑的重要分支,它是异于经典逻辑的"非经典逻辑"。相干逻辑在批评经典蕴涵的基础上,从多个方面对经典逻辑进行了修改。总体来说,相干逻辑的修改方案是可行的和成功的。但是,相干逻辑仍然面临诸多问题,有待进一步解决和完善。     

经典逻辑视野中的弗协调逻辑

以科斯塔弗协调逻辑系统的技术处理为依据来分析命题 与其弗协调否定 之间的逻辑关系可以知道弗协调矛盾和不矛盾律与经典逻辑矛盾和不矛盾律之间存在很大差别;由此可见科斯塔弗协调逻辑不是真正意义上的弗协调逻辑,但是科斯塔弗协调逻辑作为非经典逻辑其理论意义是重大的,这正如非欧几何之与欧氏几何。     

从经典逻辑到数理辩证逻辑

经典逻辑是现代逻辑发展早期的最基本最重要的成果。它成为现代逻辑进一步发展的基础。现代逻辑的发展表明,经典逻辑既有其适用性,又有其局限性。数理辩证逻辑是在保障其适用性,又克服其局限性基础上发展起来的现代逻辑系统。数理辩证逻辑将现代逻辑适用领域扩展到非直谓性、不确定性和内涵性推理领域。数理辩证逻辑扬弃了源于经典逻辑的逻辑悖论;防止了基于经典逻辑的逻辑怪论。