A Mathematical Introduction to Logic


Herbert B. Enderton - 1972
    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.

The Logic Book


Merrie Bergmann - 1980
    Its flexible organization (with all chapters complete and self-contained) allows instructors the freedom to cover the topics they want in the order they choose.

Understanding Symbolic Logic


Virginia Klenk - 1983
    Each chapter, or unit, is divided into easily comprehended small "bites" that enable learners to master the material step-by-step, rather than being overwhelmed by masses of information covered too quickly. The book provides extremely detailed explanations of procedures and techniques, and was written in the conviction that anyone can thoroughly master its content. A four-part organization covers sentential logic, monadic predicate logic, relational predicate logic, and extra credit units that glimpse into alternative methods of logic and more advanced topics. For individuals interested in the formal study of logic.

How to Prepare for Quantitative Aptitude for the CAT Common Admission Test


Arun Sharma - 2012
    The book will also be extremely useful for those preparing for other MBA entrance examinations like XAT, SNAP, CMAT, NMAT, etc. Quantitative Aptitude is quite challenging component of the CAT question paper and the other mentioned MBA entrance examinations. In his inimitable style, Arun Sharma, an acknowledged authority on the topic, provides a comprehensive package of theory and practice problems to enable aspirants to attempt questions with extra speed and confidence.

Introducing philosophy


Open University - 2016
    This 8-hour free course introduced the study of philosophy and the methods employed by The Open University in teaching philosophy.

Quantum Computing Since Democritus


Scott Aaronson - 2013
    Full of insights, arguments and philosophical perspectives, the book covers an amazing array of topics. Beginning in antiquity with Democritus, it progresses through logic and set theory, computability and complexity theory, quantum computing, cryptography, the information content of quantum states and the interpretation of quantum mechanics. There are also extended discussions about time travel, Newcomb's Paradox, the anthropic principle and the views of Roger Penrose. Aaronson's informal style makes this fascinating book accessible to readers with scientific backgrounds, as well as students and researchers working in physics, computer science, mathematics and philosophy.

The Philosopher's Way: Thinking Critically about Profound Ideas


John Chaffee - 2004
    Paperback ISBN-9780205776993 Used only one semester. no writing or highlight. ship fast

Unspeakable: Facing Up to Evil in an Age of Genocide and Terror


Os Guinness - 2005
    From Auschwitz to the events of September 11, we have been shocked into recognizing the startling capacity for evil within the human heart. We now know 9/11 revealed that our country was unprepared in terms of national security, but it also showed we were intellectually and morally unprepared to deal with such a barbaric act. Our language to describe evil and our ethical will to resist it have grown uncertain and confused. Many who speak unabashedly of evil are dismissed as simplistic, old-fashioned, and out of tune with the realities of modern life. Yet we must have some kind of language to help us understand the pain and suffering at the heart of human experience.Author and speaker Os Guinness confronts our inability to understand evil -- let alone respond to it effectively -- by providing both a lexicon and a strategy for finding a way forward. Since 9/11, much public discussion has centered on the destructiveness of extrem-ist religion. Guinness provocatively argues that this is far from an accurate picture and too easy an explanation. In this expansive exploration of both the causes of modern evil and solutions for the future, he faces our tragic recent past and our disturbing present with courageous honesty. In order to live an “examined life,” Guinness writes, we must come to terms with our beliefs regarding evil and ultimately join the fight against it.Guinness frames his study by exploring several questions:Where does evil come from? What are the questions raised by evil that we cannot ignore? Has the modern world made evil worse? How do the different ways of explaining evil affect how we respond to it? What must we do to fight evil effectively? What does the existence of evil tell us about our ultimate beliefs?Addressing individuals as well as a traumatized culture, Unspeakable is an invitation to explore the challenge of contemporary evil, a call to confront our culture of fear, and a journey to find words to come to terms with the unspeakable so that it will no longer leave us mute.

Book of Proof


Richard Hammack - 2009
    It is a bridge from the computational courses (such as calculus or differential equations) that students typically encounter in their first year of college to a more abstract outlook. It lays a foundation for more theoretical courses such as topology, analysis and abstract algebra. Although it may be more meaningful to the student who has had some calculus, there is really no prerequisite other than a measure of mathematical maturity. Topics include sets, logic, counting, methods of conditional and non-conditional proof, disproof, induction, relations, functions and infinite cardinality.

Choosing the Good: Christian Ethics in a Complex World


Dennis P. Hollinger - 2002
    Provides a discussion of the foundations and methods in ethics and ways to apply a Christian worldview to a secular culture.

How to Prove It: A Structured Approach


Daniel J. Velleman - 1994
    The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. Previous Edition Hb (1994) 0-521-44116-1 Previous Edition Pb (1994) 0-521-44663-5

Euclid's Elements


Euclid
    Heath's translation of the thirteen books of Euclid's Elements. In keeping with Green Lion's design commitment, diagrams have been placed on every spread for convenient reference while working through the proofs; running heads on every page indicate both Euclid's book number and proposition numbers for that page; and adequate space for notes is allowed between propositions and around diagrams. The all-new index has built into it a glossary of Euclid's Greek terms.Heath's translation has stood the test of time, and, as one done by a renowned scholar of ancient mathematics, it can be relied upon not to have inadvertantly introduced modern concepts or nomenclature. We have excised the voluminous historical and scholarly commentary that swells the Dover edition to three volumes and impedes classroom use of the original text. The single volume is not only more convenient, but less expensive as well.

Exegetical Fallacies


D.A. Carson - 1983
    Updated explanations of the "sins" of interpretation teach sound grammatical, lexical, cultural, theological, and historical Bible study practices.

Orthodox Theology: An Introduction


Vladimir Lossky - 1958
    Can we know God? What is the relation of creation to the Creator? How did man fall, and how is he saved? Lossky demonstrates the close relationship between the Orthodox doctrine of the Trinity and the Orthodox understanding of man.

Gödel's Proof


Ernest Nagel - 1958
    Gödel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the natural sciences--perhaps the highest award of its kind in the United States. The award committee described his work in mathematical logic as "one of the greatest contributions to the sciences in recent times."However, few mathematicians of the time were equipped to understand the young scholar's complex proof. Ernest Nagel and James Newman provide a readable and accessible explanation to both scholars and non-specialists of the main ideas and broad implications of Gödel's discovery. It offers every educated person with a taste for logic and philosophy the chance to understand a previously difficult and inaccessible subject.New York University Press is proud to publish this special edition of one of its bestselling books. With a new introduction by Douglas R. Hofstadter, this book will appeal students, scholars, and professionals in the fields of mathematics, computer science, logic and philosophy, and science.