-
形式逻辑要现代化——家龙师谈逻辑
¥37.9(7.9折)定价:¥48.0本书收集了我国著名逻辑学家张家龙研究员 (曾任中国社会科学院哲学研究所逻辑室主任、中国逻辑学会会长) 从1978年开始发表的部分著名社会性论文和专业性论文15篇, 分上、下两部分。第一部分主要涉及我国逻辑教学和研究的现代化问题, 是我国逻辑学教学和研究发展进程中的重要历史文献, 产生过极其重要的影响, 在今天国内逻辑教学和研究中依然具有相当重要的理论和实践意义。第二部分是张家龙研究员在逻辑哲学和逻辑史领域中的重要研究成果, 对于普及和
-
范畴类型逻辑及其在汉语反身代词回指照应中的应用
¥29.3(6.5折)定价:¥45.0范畴类型逻辑是当代自然语言逻辑中的一个重要分支,其使用逻辑学中的方法,甚至数学中的方法为自然语言问题的解决提供一条形式化的解决路径。当下范畴类型逻辑中主要有传统的范畴类型逻辑、多模态的范畴类型逻辑、对称范畴语法三个分支,其中传统的范畴类型逻辑是在不结合的兰贝克演算的基础上通过添加算子或者结构假设的方式而获得的一个范畴类型逻辑分支;本书将从汉语反身代词回指照应问题出发,以具体的语言学问题为基础,通过构造三类不同范畴类型逻辑对这一问题的解