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.

In this entertaining and challenging collection of logic puzzles, Raymond Smullyan - author of Forever Undecided - continues to delight and astonish us with his gift for making available, in the thoroughly pleasurable form of puzzles, some of the most important mathematical thinking of our time. In the first part of the book, he transports us once again to that wonderful realm where knights, knaves, twin sisters, quadruplet brothers, gods, demons, and mortals either always tell the truth or always lie, and where truth-seekers are set a variety of fascinating problems. The section culminates in an enchanting and profound metapuzzle in which Inspector Craig of Scotland Yard gets involved in a search for the Fountain of Youth on the Island of Knights and Knaves. In the second part of To Mock a Mockingbird, we accompany the Inspector on a summer-long adventure into the field of combinatory logic (a branch of logic that plays an important role in computer science and artificial intelligence). His adventure, which includes enchanted forests, talking birds, bird sociologists, and a classic quest, provides for us along the way the pleasure of solving puzzles of increasing complexity until we reach the Master Forest and - thanks to Godel's famous theorem - the final revelation.

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.

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

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

This book introduces the fundamental methods and techniques of correct reasoning, in a manner that shows the relevance of the topics to readers everyday lives. Many new exercises introduced in this edition help supplement and support explanations, aid in review, and make the book visually stimulating. KEY TOPICS: Includes many fascinating illustrations taken from the history of science as well as from contemporary research in the physical and biological sciences, plus introduces an abundance of new exercises throughout, complete with solutions for the first exercise in a set. MARKET: Appropriate for those in business, education, political, or psychology careers.

本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。. 本书是数理逻辑方面的经典教材，以可读性强而著称，在美国大学中采用率极高，麻省理工学院、加州大学伯克利分校、哥伦比亚大学、康奈尔大学等众多名校均用它作为教材。本版章节组织更加灵活，增加了与计算机科学相关的主题(比如有限模型)，还增加了一些示例和阐释文字，更适合本科生和研究生数理逻辑课程使用。.

Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible introduction, Graham Priest shows how wrong this conception is. He explores the philosophical roots of the subject, explaining how modern formal logic deals with issues ranging from the existence of God and the reality of time to paradoxes of probability and decision theory. Along the way, the basics of formal logic are explained in simple, non-technical terms, showing that logic is a powerful and exciting part of modern philosophy.

http://www.timharford.com/logicoflife/ “Life often seems to defy logic. When a prostitute agrees to unprotected sex, or a teenage criminal embarks on a burglary, or a smoker lights another cigarette, we seem to be a million miles from what we would call rational behaviour. None of this makes sense – or does it? Tim Harford thinks it does. And by weaving stories from locations as diverse as a Las Vegas casino and a Soho speed-date together with insights from an ingenious new breed of economist, he aims to persuade you that we are all, in fact, surprisingly logical. Reading this book, you’ll discover that the unlikeliest of people – racists, drug addicts, revolutionaries and rats – comply with economic logic, always taking account of future costs and benefits, even if they don’t quite realise it. It even explains why your boss is overpaid…”

This is a witty assault on lame rhetoric, specious logic, and official BS. Here's a fast-paced, ruthlessly funny romp through the mulligan stew of illogic, unreason, and just plain drivel served up daily in the media by pundits, psychics, ad agencies, New Age gurus, statisticians, free trade ideologues, business "thinkers," and, of course, politicians. Award-winning young philosopher Jamie Whyte applies his laser-like wit to dozens of timely examples in order to deconstruct the rhetoric and cut through the haze of shibboleth and doubletalk to get at the real issues. A troubleshooting guide to both public and private discourse, "Crimes Against Logic": analyzes the 12 major logical fallacies, with examples from the media and everyday life; takes no prisoners as it goes up against the scientific, religious, academic, and political establishments; helps you fine-tune your critical faculties and learn to skewer debaters on their own phony logic.

A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets.

An innovative, dramatic graphic novel about the treacherous pursuit of the foundations of mathematics. This exceptional graphic novel recounts the spiritual odyssey of philosopher Bertrand Russell. In his agonized search for absolute truth, Russell crosses paths with legendary thinkers like Gottlob Frege, David Hilbert, and Kurt Godel, and finds a passionate student in the great Ludwig Wittgenstein. But his most ambitious goal--to establish unshakable logical foundations of mathematics--continues to loom before him. Through love and hate, peace and war, Russell persists in the dogged mission that threatens to claim both his career and his personal happiness, finally driving him to the brink of insanity. This story is at the same time a historical novel and an accessible explication of some of the biggest ideas of mathematics and modern philosophy. With rich characterizations and expressive, atmospheric artwork, the book spins the pursuit of these ideas into a highly satisfying tale. Probing and ingeniously layered, the book throws light on Russell's inner struggles while setting them in the context of the timeless questions he spent his life trying to answer. At its heart, "Logicomix "is a story about the conflict between an ideal rationality and the unchanging, flawed fabric of reality.Apostolos Doxiadis studied mathematics at Columbia University. His international bestseller "Uncle Petros and Goldbach's Conjecture" spearheaded the impressive entrance of mathematics into the world of storytelling. Apart from his work in fiction, Apostolos has also worked in film and theater and is an internationally recognized expert on the relationship of mathematics to narrative. Christos H. Papadimitriou is C . Lester Hogan professor of computer science at the University of California, Berkeley. He was won numerous international awards for his pioneering work in computational complexity and algorithmic game theory. Christos is the author of the novel "Turing: A Novel about Computation." Alecos Papadatos worked for over twenty years in film animation in France and Greece. In 1997, he became a cartoonist for the major Athens daily "To Vima." He lives in Athens with his wife, Annie Di Donna, and their two children. Annie Di Donna studied graphic arts and painting in France and has worked as animator on many productions, among them "Babar" and "Tintin." Since 1991, she has been running an animation studio with her husband, Alecos Papadatos. This innovative graphic novel is based on the early life of the brilliant philosopher Bertrand Russell. Russell and his impassioned pursuit of truth. Haunted by family secrets and unable to quell his youthful curiosity, Russell became obsessed with a Promethean goal: to establish the logical foundation of all mathematics. In his agonized search for absolute truth, Russell crosses paths with legendary thinkers like Gottlob Frege, David Hilbert, and Kurt Godel, and finds a passionate student in the great Ludwig Wittgenstein. But the object of his defining quest continues to loom before him. Through love and hate, peace and war, Russell persists in the dogged mission that threatens to claim both his career and his personal happiness, finally driving him to the brink of insanity. "Logicomix" is at the same time a historical novel and an accessible explication to some of the biggest ideas of mathematics and modern philosophy. With rich characterizations and expressive, atmospheric artwork, the book spins the pursuit of these ideas into a captivating tale. Probing and ingeniously layered, the book throws light on Russell's inner struggles while setting them in the context of the timeless questions he spent his life trying to answer. At its heart, "Logicomix" is a story about the conflict between an ideal rationality and the unchanging, flawed fabric of reality. "At the heart of Logicomix stands Sir Bertrand Russell, a man determined to find a way of arriving at absolutely right answers. It's a tale within a tale, as the two authors and two graphic artists ardently pursue their own search for truth and appear as characters in the book. As one of them assures us, this won't be 'your typical, usual comic book.' Their quest takes shape and revolves around a lecture given by Russell at an unnamed American university in 1939, a lecture that is really, as he himself tells us, the story of his life and of his pursuit of real logical truth. With Proustian ambition and exhilarating artwork, "Logicomix"'s search for truth encounters head-on the horrors of the Second World War and the agonizing question of whether war can ever be the right choice. Russell himself had to confront that question personally: he endured six months in jail for his pacifism. Russell was determined to find the perfect logical method for solving all problems and attempted to remold human nature in his experimental school at Beacon Hill. Despite repeated failures, Russell never stopped being 'a sad little boy desperately seeking ways out of the deadly vortex of uncertainty.' The book is a visual banquet chronicling Russell's lifelong pursuit of 'certainty in total rationality.' As Logic and Mathematics, the last bastions of certainty, fail him, and as Reason proves not absolute, Russell is forced to face the fact that there is no Royal Road to Truth. Authors Dosiadis and Papadimitriou perfectly echo Russell's passion, with a sincere, easily grasped text amplified with breathtaking visual richness, making this the most satisfying graphic novel of 2009, a titanic artistic achievement of more than 300 pages, all of it pure reading joy."--Nick DiMartino, "Shelf Awareness" "This is an extraordinary graphic novel, wildly ambitious in daring to put into words and drawings the life and thought of one of the great philosophers of the last century, Bertrand Russell. The book is a rare intellectual and artistic achievement, which will, I am sure, lead its readers to explore realms of knowledge they thought were forbi