《趣味逻辑(插图本)》内容简介：逻辑学历史悠久、抽象严谨，但生活中却无时无处不使用着逻辑。《趣味逻辑(插图本)》从历史故事、神话传说、战争纪事、科学发明、浪漫爱情、奇人逸事、破案推理乃至成语典故中，撷取百余个趣味盎然的逻辑故事，分为趣话概念、命题，趣话逻辑规律，趣话演绎推理、归纳类比，趣话论辩艺术，让你在轻松休闲的阅读中，领略逻辑文化的无穷魅力，从而打开逻辑知识的宝库，提高驾驭逻辑工具的能力，成为一个思维敏捷、条理清晰的聪明人。《趣味逻辑(插图本)》更以全新的版式风格，并配以精美的插图呈献给广大读者。希望读者在获取知识的同时，也能得会心一笑。

《用"图"说话:高效员工这样做》内容简介：在日复一日的工作中，你是否常常遇到思路枯竭的时候，又或者是想法太多，不知道从何下手？不论是在生活还是职场中，有用独立思考的能力，已成为生存的必要条件，那么，如何才能强化思维与沟通听能力呢？《用"图"说话:高效员工这样做》给出的答案就是，要做一个善于用图形来思考的人，养成已图形思考的习惯。以图形为武器，让自己的想法和思路变得更加系统有条理。借助与图形抓住问题的实质。

《笑话、幽默与逻辑(第5版)》将幽默逻辑同生活中的笑话小故事结合起来，通过普通的小事中，将逻辑的火花闪现在你的面前。逻辑是一门思维的学科，是一门同人们的日常生活紧密相连的新兴人文科学应用性交叉学科，我们对其探索和研究从一开始就注意到应将科研、教学、普及、应用结合起来。《笑话、幽默与逻辑(第5版)》就是这种有意义探索的最佳典范。

本书就如何辩论展开了详细的论述，从规则、规程、计时、场辩论、以及结构、辩驳、要点等等方面讲述。并从哲学与政治学说、法律与犯罪、国家政治与经济、国际政治与经济、道德与宗教、教育文化和体育、宗法与统治、科学与技术等八个方面详细举例，并在举例后列出可能动议和相关话题。

《现代逻辑学讲义:数理逻辑+模态逻辑(套装共2册)》包括：《模态逻辑(现代逻辑学讲义)》、《数理逻辑(现代逻辑学讲义)》2本。 《模态逻辑》：模态逻辑是研究可以用模态语言表述的推理形式的有效性的学问。它是哲学逻辑的基础，作为一门课程，它是逻辑学专业的基础课之一。本讲义介绍了句子层次上（命题型的）模态逻辑最基本的内容。 本讲义内容多，知识面广，定理定义表达严谨，例题习题丰富，可作为高等学校逻辑学专业本科生、研究生教材使用。 《数理逻辑》：数理逻辑是研究可以用数学语言表述的推理形式的有效性的学问。它是全部逻辑的基础，作为一门课程，它是逻辑学专业最重要的基础课。 数理逻辑分两大部分：句子逻辑和量化逻辑。本讲义介绍句子逻辑的基本内容和量化逻辑的基础——一阶逻辑的基本内容。 本讲义内容丰富，知识面广，表达严谨，习题例题丰富，可作为高等学校逻辑学专业本科生、研究生教材使用。

逻辑作为一门科学，主要有三个分支：形式逻辑、数理逻辑和辩证逻辑。17世纪，美国哲学家培根（1561－1626）创立了归纳逻辑，写出著名的《新工具论》。形式逻辑这个名称，最早是18世纪德国哲学家康德（1724－1804）提出来的，用来称呼亚里士多德的逻辑。从此，形式逻辑就成为既包括演绎逻辑，又包括归纳逻辑在内的逻辑，也称传统的形式逻辑。 数理逻辑也称现代形式逻辑，它是在传统的形式逻辑基础上发展起来的一门逻辑科学。17世纪末，德国数学家莱布尼兹（1646－1716）最早提出用数学方法研究逻辑，成为数理逻辑的创始人。数理逻辑是用一套人工语言，即符号与公式，对逻辑思维形式进行一系列的推演。数理逻辑虽只有300年的历史，但由于它与现代科学技术尤其是电子计算机的发展密切相关，它已成为一门重要的学科，并被广泛的应用。 辩证逻辑是研究辩证思维规律的一门逻辑科学恩格斯、列宁都很重视辩证逻辑的研究，并提出了建立辩证逻辑科学的任务。 本书向读者叙述的是形式逻辑知识，按照通行的逻辑教材的编排顺序，从概念、命题、推理、逻辑基本规律等方面，通过通俗而有趣的故事，介绍逻辑基本知识及其应用，展现逻辑的魅力，希望能引起广大读者学习逻辑的兴趣，帮助青少年朋友们打开逻辑知识的宝库，锤炼驾驭逻辑工具的能力。

《逻辑语言和认知》适合从事逻辑学、语言学、计算机科学和认知科学的相关研究人员、教师和学生阅读，也适合其他逻辑相关学科的教师和学生参阅。“逻辑之门”是当代世界著名的逻辑学家约翰·范本特姆经典著作的中文翻译。丛书收集了他的经典论文和主要专著，其涵盖的主题有：关于信息、进程和智能互动的模态逻辑：自然语言中范畴语法和量词语义的逻辑：逻辑与认识论、科学方法论和博弈论之间的相互影响，等等。丛书展现了现代逻辑作为数学、哲学、语言学、计算机科学、认知科学等学科之间媒介和催化剂的新视角。 逻辑研究抽象的推理模式，而日常生活中我们使用自然语言推理。从亚里士多德开始，逻辑就与语言和语言哲学紧密联系在一起。《逻辑、语言和认知》表明，这一联系在今天依然非常活跃。自然语言的使用包含着计算，用以维持语言使用者共同的对话状态，《逻辑语言和认知》探讨了语言与计算机逻辑相关的一些重要主题，研究了逻辑与认知科学的联系，表明“反心理学”的教条已经不复存在，逻辑理论与经验实践之间正在不断交换思想。

Unsurpassed for its clarity and comprehensiveness, A CONCISE INTRODUCTION TO LOGIC has established itself as the standard for introductory logic texts. In this Tenth Edition, Hurley continues to build upon the tradition of lucid, focused, and accessible presentations of logic's basic topics - both formal and informal. This edition also augments the book's successful technology integration with an updated and enhanced version of CengageNOW, which now includes Learning Logic tutorials, video clips, and the complete text in eBook format. In response to market feedback and the success of Wadsworth's Logical Choice custom program, this text has been reformatted to provide additional flexibility to customize your course material content. Wadsworth is a part of Cengage Learning. Finally, innovative new tools including a PowerLecture presentation tool and a Community Website are designed to help you manage, create, and teach your course more efficiently and effectively.

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed with clean formal mathematics. Alongside the practical examples, readers learn what can and can't be calculated; for example the correctness of a derivation proving a given sequent can be tested mechanically, but there is no general mechanical test for the existence of a derivation proving the given sequent. The undecidability results are proved rigorously in an optional final chapter, assuming Matiyasevich's theorem characterising the computably enumerable relations. Rigorous proofs of the adequacy and completeness proofs of the relevant logics are provided, with careful attention to the languages involved. Optional sections discuss the classification of mathematical structures by first-order theories; the required theory of cardinality is developed from scratch. Throughout the book there are notes on historical aspects of the material, and connections with linguistics and computer science, and the discussion of syntax and semantics is influenced by modern linguistic approaches. Two basic themes in recent cognitive science studies of actual human reasoning are also introduced. Including extensive exercises and selected solutions, this text is ideal for students in Logic, Mathematics, Philosophy, and Computer Science.

哥德尔不完全性定理 朱水林著 辽宁教育出版社1988年2月版 12万字 对哥德尔定理的背景、内容、证明和意义等作系统的介绍。哥德尔不完全性定理对逻辑学、数学、哲学和人工智能都具有深刻的影响。踏和塔斯基的形式语言的真理论及图灵机的判定问题理论，已被国际逻辑学界赞誉为现代逻辑的三大成果。收入“世界数学名题欣赏丛书”

本书通过对论辩的分析与评价以及为书面或口头的话语形式表达论证提供了工具，从而系统地介绍批判性思维。本书试图为有兴趣学习论辩性讨论的学生提供普遍的原理和方法。本书把论辩看作是发生在批判性讨论背景下的一种特殊交际形式，所关注的是发生在日常讨论中的论辩，系统地讨论了论辩研究的关键概念，并用取材于现实生活中的话语与文本的例子来帮助解释这些概念。本书考查了论辩性讨论的分析和评价的基本原理，并为识别意见分歧、分析与评价论辩，以及用书面或口头形式来表达论辩提供了方法论工具。 　　《论辩巧智》结合哲学和逻辑学对论辩话语进行分析研究，将批判性思维方式和技巧引入论辩中，这不仅有利于提高论辩能力，而且更有利于提升思维水平。本书不仅适合于对传播学、交际理论、法律、教育学、哲学、语言学、话语理论、写作、演讲等有兴趣的本科生和研究生，而且对职业培，训也大有其实用价值。在论辩中掌握这一思维模式，对政治和商业谈判的成功具有非常显著的效果。而本书中以现实生活为基础的大量练习，对提高论辩中的分析、评价与表达技巧，都提供了十分有效的途径。这既是一部学术性著作，更是一部在诸多领域中实践性非常强的著作。

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

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

墨家逻辑和亚里士多德逻辑是人类思维史上两个最具典型意义的逻辑形态，它们分别对东方和西方的文化、思想等都产生了重大影响，形成了两种不同的思维路向。本书将逻辑放入文化这个大的视野下，以两种逻辑产生的文化背景为依据，采用历史分析与文化诠释、求同与求异相结合的方式，阐明了两种逻辑形态在目的和任务、主导推理类型、推理成分的分析以及后续发展等方面的差异。由此说明：逻辑与文化的客观联系，一方面表现为文化对逻辑的制约，另一方面表现为逻辑对文化的影响，逻辑的研究应注入文化的诠释，文化的研究同样也需要逻辑的关照。

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.

The 14th Edition of Introduction to Logic, written by Copi, Cohen & McMahon, is dedicated to the many thousands of students and their teachers - at hundreds of universities in the United States and around the world - who have used its fundamental methods and techniques of correct reasoning in their everyday lives. To those who have not previously used or reviewed Introduction to Logic we extend the very warmest welcome. Please join us and our international family of users! Let us help you teach students the methods and principles needed in order to distinguish correct from incorrect reasoning. For, Introduction to Logic is a proven textbook that has been honed through the collaborative efforts of many scholars over the last five decades. Its scrupulous attention to detail and precision in exposition and explanation is matched by the greatest accuracy in all associated detail. In addition, it continues to capture student interest through its personalized human setting and current examples.

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

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

《普通逻辑(第5版)》的指导思想是：一方面，努力贯彻改革的精神，在体系上作适当调整，在内容上有增有删，以增为主，使之更加充实，并且进一步把传统逻辑的知识同现代逻辑的知识联系起来；另一方面，要坚持从我国的实际出发，注意保持第二版的长处，在改革的道路上循序渐进，便于更多的教师使用，也便于更多的读者接受。