Logic category: 1296 books

Few can offer a more experienced view on religion than Ray Bradley. Having been raised as a ‘winner of souls for Christ’ in the 1940s, he spent the next 40 years as an atheist professor of philosophy and an outspoken critic /debater of religion.   Revered for his work in logic and...

Like Douglas Hofstadter’s Gödel, Escher, Bach, and David Berlinski’s A Tour of the Calculus, Euclid in the Rainforest combines the literary with the mathematical to explore logic—the one indispensable tool in man’s quest to understand the world. Underpinning both math and science, it is the...

Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been accepted. Behind such arguments lies a more general pattern of 'demonstrative arguments' that is studied...

If a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily illogical. From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a simple and lively way. Readers who are more...

Geared toward college undergraduates new to the subject, this concise introduction to formal logic was written by Alice Ambrose and Morris Lazerowitz, a pair of noted scholars and prolific authors in this field. A preliminary section opens the subject under the heading of truth-functions. Two subsequent...

Philosophical logic has been, and continues to be, a driving force behind much progress and development in philosophy more broadly. This collection by up-and-coming philosophical logicians deals with a broad range of topics, including, for example, proof-theory, probability, context-sensitivity, dialetheism and dynamic semantics.

The great three-volume Principia Mathematica is deservedly the most famous work ever written on the foundations of mathematics. Its aim is to deduce all the fundamental propositions of logic and mathematics from a small number of logical premisses and primitive ideas, and so to prove that mathematics...

Bertrand Russell (1872 1970) was a British philosopher, mathematician, social critic, and political activist. Russell is considered to be one of the founders of analytic philosophy and one of the most important mathematicians and logicians in the 20th century. This edition of Russells Mysticism and Logic includes a table of contents.

This work is in two parts. It began as a general investigation of vagueness in natural languages. The Sorites Paradox came to dominate the work however, and the second part of the book consists in an discussion ofthat puzzle and related problems. The first part contains a general discussion ofthe...

This stimulating textbook presents a broad and accessible guide to the fundamentals of discrete mathematics, highlighting how the techniques may be applied to various exciting areas in computing. The text is designed to motivate and inspire the reader, encouraging further study in this important skill.  Features:...

Over a period of 25 years as author of the Mathematical Games column for Scientific American, Martin Gardner devoted a column every six months or so to short math problems or puzzles. He was especially careful to present new and unfamiliar puzzles that had not been included in such classic collections...

Burt C. Hopkins presents the first in-depth study of the work of Edmund Husserl and Jacob Klein on the philosophical foundations of the logic of modern symbolic mathematics. Accounts of the philosophical origins of formalized concepts—especially mathematical concepts and the process of mathematical...

In this latest book on the popular philosophical practice modality of Logic-Based Therapy, LBT inventor and practitioner, Elliot D. Cohen, develops both theory and practice of LBT within the context of accessible, engaging, and illustrative cases involving everyday emotions, such as anxiety, worry,...

What do the rules of logic say about the meanings of the symbols they govern? In this book, James W. Garson examines the inferential behaviour of logical connectives (such as 'and', 'or', 'not' and 'if … then'), whose behaviour is defined by strict rules, and proves definitive results concerning...