出处:按学科分类—综合性图书 湖北人民出版社《中国图书大辞典:1949-1992第1册克思列宁主义、毛泽东思想,哲学》第342页(349字)

夏兴有着。陕西人民出版社1987年12月版。21.6万字。作者认为,用现代数理逻辑的观点改造和阐释传统逻辑的内容,是传统逻辑改革的重要途径。一、形式逻辑是有效推理的理论,其研究对象仅限于演绎推理,因此,形式逻辑即演绎逻辑。二、打破国内流行的形式逻辑教材的框架,以不同类型的逻辑常项所构成的命题式分类,突出对各类型推理形式的分析,构成以命题逻辑和谓词逻辑为核心的演绎逻辑体系。三、较多地引进符号语言,特别是在命题逻辑中引进真值形式、重言式以及真值表方法,注重分析逻辑形式和语言表述间的关系,力求逻辑理论的精确性和实用性。四、简化逻辑自身的内容(如:去了三段论和实用性各格的特殊规律,仅保留其一般规律);对非逻辑的内容则予以剔除,使其更趋简明和纯洁。

分享到: