金岳霖是中国哲学知识沦研究领域的开拓者。《知识论》围绕“以经验之所得还治经验”这一主旨，自觉地将逻辑分析方法严格而系统地运用于哲学研究，特别注重思想的清晰性和论证性，系统地论述了知识的来源、知识的形成以及知识的可靠性、衡量真假的标准等问题。弥补了中国知识论不发达的缺陷，改变了中国传统哲学文本的写作模式。

人们直觉上认为，逻辑学独立于一般的哲学分支，与现实生活无涉。这本通俗诙谐的逻辑学普及读物告诉你，这样的想法实在是大错特错。上帝的存在、时间的流逝、概率的计算及决策的制定居然都是逻辑学研究的问题！本书抛弃了艰涩的术语，用最简明的方式介绍了形式逻辑学的基础知识，其中不乏精彩捧腹之处。

《论道》是金岳霖在抗日战争期间完成的一部重要著作，是中国现代哲学中系统最完备、最富有创造性的本体论专著。书中以道、式、能为基本范畴，采用逻辑学书写形式，每一条都是一个逻辑命题，通过春逻辑的推演建构出独特的本体论。这本书的问世使中国学术史产生了方法论上的革命，在重感悟而轻逻辑的中国文化圈中有划时代的意义。本书充分体现了金岳霖中西合璧的著述合格，他用中国传统哲学中的最高概念“道”将“式”、“能”统括出来，成为他的哲学的“最上的概念”、“最高的境界”。书中大量采用无极、太极、理、势、体、用、几、数等中国传统哲学术语，并有意使用很多中国传统哲学命题，但赋予新解。

你知道如何做到一图解千文吗？ 为什麽有些设计，不用解释也可以一看就懂？ 好的设计，背后究竟隐藏着什麽样的逻辑与规则？ 好的资讯图表并非理所当然，而是精心设计而成。 这一切都是有逻辑可循。 本书深度剖析 76 个视觉化图表的关键技巧， 让你的设计彻底深入人心！ ●Diagram 示意图 考虑视觉动线的编排∕比较∕连续动作的表现方法∕回应单纯的疑问∕找出最佳视点∕加入诱导的内容∕勾起过往经历∕将行为化为有形∕发挥同理心∕考虑第一印象∕使用隐喻∕把概念画出来∕让空间格局易于辨识的表现∕颜色的用法∕顾及视觉动线的故事性∕将形象具体化∕使用模型模拟测试∕箭头的表现∕地形示意图．地形剖面图 ●Chart&Table 图表．表格 图表与统计图表的组合∕用单一线段来表现流程∕基本的循环图表∕箭头以外的流程图∕时间经过的表现方式∕年表的表现方式∕年表的颜色使用实例∕年表与地图的组合∕关连图．组织图∕系统图∕表格的表现方法∕分类表 ●Graph 统计图表 直条图∕刻度感∕具跃动感的图表∕造成误解的表现∕面积图．体积图∕雷达图∕应用实例 ●Map 地图 导览图的表现∕地图的颜色表现∕城市地图∕配色∕颜色的深浅∕黑白地图∕建筑物的插画表现∕插画地图的表现∕电车路线图的表现∕公车路线图的表现∕道路图∕地图的应用表现∕鸟瞰图的表现∕鸟瞰图的制作步骤∕鸟瞰图的应用表现 ●Pictogram 象形图 制作象形图的重点∕简单的象形图制作法∕象形图的应用表现 INFOGRAPHICS 视觉化资讯图表，广泛应用于经济、科学、教育、文化和广告等，渗透到我们生活中的各个层面，举凡商品手册、教科书、报纸、电视、网页、杂志、传单、灾害逃生图、股票走势图、手机或游戏中的图示、捷运或公车等的路线图、卫星导航、楼层介绍或引导标志、街道图或观光导览、提案时使用的报表…等，资讯图表无所不在。

辩论与论辩，ISBN：9787810283625，作者：（美）奥斯丁·J.弗里莱（Austin J.Freeley）著；李建强等译

《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。

以維也納學派（Vienna Circle）為代表的「邏輯經驗論」，曾在二十世紀的世界思想界風行一時。殷海光即是深受這波學術思潮影響的知識人之一，始終鑽研不倦，本書正是他從事研究教學的心得之作。 殷海光在少年時期即對邏輯發生濃厚興趣，就讀高中一年級時曾將一本英文邏輯教本譯成中文，書名《邏輯基本》，自此與邏輯結下不解之緣。大學求學時期師從金岳霖教授學習邏輯，在大學任教期間也一直擔任邏輯教學工作，雖然未成為專業邏輯家，但對邏輯始終維持高度熱忱。充分使用邏輯概念分析政治及文化問題，乃成為殷海光文章的一大特色。 本書初稿在1943年完成，1956年修訂，由香港亞洲出版社出版，並作為殷海光在臺灣大學教授相關課程的教科書，影響深遠。全書以對話方式介紹邏輯基本原理與法則，深入淺出，對一般初學者容易混淆的概念及不易理解的原理皆詳加說明，引領讀者進入邏輯研究的世界。作者採用對話體的方式，便於暫時離開主題，穿插別的話題，以借此發表他個人對時局、政治、文化等問題的評論。這些題外話可以顯示邏輯的用途，值得特別留意。 閱讀本書，既具有知識學習的價值，也可以領略殷海光如何將邏輯轉化為闡揚自由主義，批判各種不合理權威的利器，有助於進一步深入探索他的思想世界。

《模态对应理论》内容简介：“逻辑之门”是当代世界著名的逻辑学家约翰·范本特姆经典著作的中文翻译。丛书收集了他的经典论文和主要专著,其涵盖的主题有：关于信息、进程和智能互动的模态逻辑；自然语言中范畴语法和量词语义的逻辑；逻辑与认识论、科学方法论和博弈论之间的相互影响,等等。丛书展现了现代逻辑作为数学、哲学、语言学、计算机科学、认知科学等学科之间媒介和催化剂的新视角。 20世纪70年代,范本特姆研究了模态公理与它们在一阶逻辑、高阶逻辑中的可定义性，提出了一个系统的、论述框架类的模态对应理论，主要结果包括初等模态公式的刻画、典范可定义模态框架类的刻画以及模态可定义性结果向二阶逻辑的推广。这一研究还引出模型之间的互模拟概念,表明模态语言是由对互模拟不变的一阶公式所组成；方法论上的主要特点在于强调模态观点和经典观点可以同时用于理论和实践的“并行观点”。《模态对应理论》收录了《模态逻辑和经典逻辑》以及作者近几年在这方面的三篇论文。 《模态对应理论》适合从事逻辑学、语言学、计算机科学和认知科学相关研究人员、教师和学生阅读，也适合其他逻辑相关学科的教师和学生参阅。

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraisse's characterization of elementary equivalence, Lindstrom's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

一看就懂逻辑思维，ISBN：9787542925862，作者：邢群麟，王艳明 编著

印度人的逻辑起源于古代印度人对宇宙万物的观察，并由此诞生了问 答法。继而，通问答法获得睿智的印度人又从佛教的缘起说和梵语文法学 中获得养分，使朴素的问答法逐步升华至逻辑意义上的归纳法，这就是印 度逻辑的基本特征。 《印度人的逻辑学——从问答法到归纳法》作者桂绍隆教授是当代国 际著名的印度古典逻辑学专家，《印度人的逻辑学——从问答法到归纳法 》则是他面向一般大众撰写的旨在介绍印度逻辑的基本特征和演变历史的 通俗性读物。

《机会的数学》的主要内容是：15世纪之前，以中华文明为代表的东方文明曾遥遥领先于当时的西方文明。从汉代到明代初期，中国的科学技术在世界上一直领先长达14个世纪以上。在那个时期，影响世界文明进程的重要发明中，相当部分是中华民族的贡献。后来，中国逐渐落后了。中国为什么落后？近代从林则徐以来许多志士仁人就不断提出和思索这个历史课题。但都没有找到正确的答案。以毛泽东同志、邓小平同志为代表的中国共产党人作出了唯一正确的回答:中国落后，是由于生产力的落后和社会政治的腐朽。西方列强对中国的欺凌，更加剧了中国经济的落后和国家的衰败。

Unsurpassed for its clarity and comprehensiveness, Hurley's A CONCISE INTRODUCTION TO LOGIC is the #1 introductory logic textbook in the market. In this Eleventh Edition, Hurley continues to build upon the tradition of a lucid, focused, and accessible presentation of the basic subject matter of logic, both formal and informal. Hurley's extensive, carefully sequenced collection of exercises continue to guide students toward greater proficiency with the skills they are learning. Review "What I like perhaps most about Hurley's text is the organization of the material. His book introduces the material in step-by-step way building off of what was just learned the section before and adding just enough information to each section to simplify the whole process of learning logic." - David Weise, Gonzaga University "This is the "gold standard" of introductory logic texts." - Frank Ryan, Kent State University "It is the clearest text, with the best technology available." - Stephanie Semler, Radford University "Hurley's text provides a methodical introduction to the strategies and techniques usually covered in an introductory logic course, including both formal and informal topics. Numerous exercises provide plenty of opportunity for students to practice the skills they have learned." - Allyson Mount, Keene State College "Hurley's book is thorough and very accessible to instructors and students. One of the best logic texts on the market." - Paula Smithka, University of Southern Mississippi

本书是从萨姆·劳埃德（Sam Loyd）的皇皇巨著《趣题大全》（Cyclopedia ofPuzzles，由他的儿子编辑，并在他去世后的1914年出版）中选编而成的第二册也是最后一册数学趣题集。尽管这两册集子并未将劳埃德的全部数学珍宝囊括其中，但它们确实已经包含了萨姆·劳埃德这部非凡作品的精华，而且《大全》中像这样的好题目已所剩无几，无论如何也编不出第三册了。同以前一样，本书的文字经过精心编辑，以使内容明晰，叙述准确，但同时又保持了劳埃德的风格。 需要提请读者注意的是，书中许多没有配插图的代数题目具有非常高的质量。在《大全》中，这些趣题的绝大多数都配有着很幽默的插图，但这些插图对题目本身并非必不可少，为了节约篇幅，尽量多收一些简短的题目，编辑把它们删去了。在这些题目中，涉及速度和距离的难度较大，编辑把它们推荐给所有希望掌握微积分的学生。在你进而去解决关于非匀速的问题之前，能够弄清楚匀速的概念肯定是必要的，而劳埃德的这类富有挑战性的题目是一种极好的操练——当然，这里假定你是那种绝不偷看答案，坚持独立解题的人。

你相信嗎？ 在邏輯的世界裡，跑得再快的人也永遠追不上烏龜！ 你知道嗎？ 在數學的世界裡，打電話傳八卦也可寫成一道算式！ 在哲學家、數學家眼裡， 生活中許多看似平常的現象，背後都有著奇妙的規律； 小至上網買東西，大至制訂國家政策， 這些看似八竿子打不著的事物，其實都遵循著相同的法則。 讓院士劉炯朗用最深入淺出的文字， 教你一次搞懂這些藏在事物背後的定理！ 「邏輯力」就像武俠小說中的內功， 一旦讓它打通做學問的任督二脈， 讀書做研究的功力必定大增！ 就算稱霸不了江湖，也已當得「高手」二字。

该书所讲述的有关概念、判断、基本规律、演绎推理、归纳推理、类比推理、假说和论证的知识都属于逻辑学的基本知识。

《21世纪高等院校教材:普通逻辑学(第2版)》以概念、判断、推理为思维的基本形式，研究这些基本形式的内涵、方法、规则、规律以及违反思维规则而导致的逻辑错误。《21世纪高等院校教材:普通逻辑学(第2版)》力求体现基础性和应用性，基础性立足于它的学科性，应用性立足于它的价值性，其中对逻辑的应用多结合法学理论和法学实践的案例。《21世纪高等院校教材:普通逻辑学(第2版)》恪守学科属性，追求课程功效：为规范思维作训练，为学习专业作铺垫，为应试公考作点拨。《21世纪高等院校教材:普通逻辑学(第2版)》赠送任课老师备课材料：①各章练习题参考答案；②三段论中的欧拉图；③综合练习及综合练习参考答案；④6套考试试题原题及参考答案，共计近6万字。

《逻辑•语法•修辞(第2版)》遵循这一理念，把逻辑、语法与修辞三门学科合编在一起，读者既能简要了解三门学科的基本理论，又能在相互比照中悟其关联，谙其义理。通过揭示逻辑与语法、修辞之间的内在联系，了解逻辑在语言表达中的深层涵义及引领作用。《逻辑•语法•修辞(第2版)》叙述简明、例证丰富，三科内容，既可分读，也可总览。其中各章的思考与练习题及参考答案，可供读者自测对照，辨析正误，完成一定程度的基本训练。三科合一，简明实用，且便于查阅，适用于有写作及交际需求的各类人员，是一本应用性案头参考书。

《语言学中的逻辑》是一本专为语言学家而编写的逻辑学教材，涉及经典的命题逻辑和谓词逻辑、模态逻辑、内涵逻辑和范畴语法，还涉及自然语言的逻辑分析方法、自然推理系统、语用分析方法等逻辑方法，最后一章讨论了语言逻辑和语言哲学的重要理论问题。语言学家想要了解语言分析所使用的逻辑理论和方法，有此一卷足矣!《语言学中的逻辑》的特色是将现代逻辑的理论和方法应用于对自然语言的分析，包括句法分析、语义分析和语用分析。各章后面附有练习，全书后面附有练习答案。《语言学中的逻辑》是一部长销不衰的经典教材，出版以来重印达11次之多，并有芬兰语、德语、西班牙语、瑞典语、日语、汉语等多种语言版本。