B001533　逻辑新体系

---

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