经典好书《汉语史学报.第3辑，姜亮夫、蒋礼鸿、郭在贻先生纪念文集》读书内容简介:纪念文集(第3辑)》内容简介：难以忘却的思念、正本清源说异体、战国文字中一种值得注意的构形方式、评《说文段注》的“辨通别、说简化符号、《集韵》的内部结构、窥基《法华音训》原型考、颚近音的日化、日本的中日词典之现状与课题、《经籍籑诂》与汉语辞书编纂、上...详情

经典好书《弗雷格哲学论著选辑》读书内容简介: 弗雷格是现代逻辑的创始人，也是分析哲学的奠基人，他的思想对罗素和维特根斯坦有直接的影响。本书收录了他关于哲学和逻辑学的文章共14篇。作者简介弗雷格（1848-1925），德国著名逻辑学家，哲学家，现代逻辑创始人，分析哲学和语言哲学之父。详情

经典好书《逻辑学Ⅰ》读书内容简介:大成者，西方哲学史上最伟大的哲学家之一。求学于图宾根大学（与谢林、荷尔德林为同窗），先后任教于耶拿大学、海德堡大学、柏林大学。主要著作有《费希特和谢林哲学体系的差别》（1801）、《精神现象学》（1807）、《逻辑学》（1812-1816）、《哲学科...详情

经典好书《逻辑哲学研究》读书内容简介:京大学哲学系∕外国哲学研究所教授，博士生导师，专业领域为逻辑学和分析哲学。先后赴芬兰赫尔辛基大学、美国迈阿密大学和英国牛津大学访学或研究各一年。专著有：《逻辑哲学引论》、《蒯因》、《冯•赖特》、《奎因哲学研究——从逻辑和语言的观点看》、《爱默生》、《...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《哲学逻辑引论》读书内容简介: A.C.格雷林，伦敦大学伯克贝学院哲学高级讲师、牛津大学圣安妮学院特约研究员。著有《哲学逻辑导论》（1982）、《驳怀疑论》（1986）、《贝克莱：中心论证》（1986）等书。担任《卫报》专栏作者多年，并为《观察家》、《经济学人》等刊物撰稿。作者简介详情

经典好书《简单的逻辑学（精装版）》读书内容简介:名逻辑学家、哲学教授D.Q.麦克伦尼，将一门宽广、深奥的逻辑科学以贴近生活、通俗易懂、妙趣横生的语言娓娓道来。它既没有刻板的理论教条，也不是正规的教科书，而是一本必不可少的现实指南。生活中，逻辑无处不在。无论我们是有意还是无意，逻辑每时...详情

经典好书《中国经学（第10辑）》读书内容简介: 本书共分为：经学名家；经学史论；清代经学；经籍文献；札记·资讯几部分，主要内容包括：《王制》卦国说、九卿说、《仪礼》与《诗经》互证的学术意义等。作者简介详情

经典好书《《永乐大典》小学书辑佚与研究》读书内容简介:对中国语言学和中国文献学都有重要意义，对历史学和艺术学等也会产生影响。本书从《永乐大典》中辑佚小学语料，对这些语料本身进行研究，利用这些语料探讨学术问题、解决校勘难题。作者简介丁治民，1969年生。苏州大学教授，南京大学博...详情