'What is a self, and how can a self come out of inaminate matter?' This book examines this riddle. Linking together the music of J S Bach, the graphic art of Escher and the mathematical theorems of Godel, as well as ideas drawn from logic, biology, psychology, physics and linguistics, it reveals the mysteries of human thought processes.

Perhaps the most important work of philosophy written in the twentieth century, this was the only philosophical work Wittgenstein published during his lifetime.

In 1931 Kurt Godel published his paper, On Formally Undecidable Propositions of Principia Mathematica and Related Systems. This paper challenged certain basic assumptions underlying much research in mathematics and logic. This title offers an explanation of the main ideas and broad implications of Godel's discovery.

Ayer rejected metaphysical claims about god, the absolute, and objective values as completely nonsensical. First published in 1936 when he was only 24, this work shook the foundations of Anglo-American philosophy and made its author notorious.

Offers an introduction to the art of writing and assessing arguments, organised around specific rules, each illustrated and explained soundly but briefly. This work is suitable for writers who seek straightforward guidance about how to assess arguments and how to cogently construct them.

Computability and Logic is a classic because of its accessibility to students without a mathematical background.

A text for symbolic or formal logic courses which presents various techniques and concepts with comprehensive explanations. It includes a wealth of carefully constructed examples.

An introduction to modern formal logic, this book explores the philosophical roots of the subject, explaining how it deals with issues ranging from the existence of God and the reality of time, to paradoxes of probability and decision theory. Each chapter takes some philosophical problem, and explains how it may be handled in modern logic.

This is a puzzle book covering logic, philosophy, psychology, artificial intelligence, computer science and mathematics. It contains many puzzles and their solutions and aims to attract many readers in an age where computer science, logic, and mathematics are becoming increasingly important.

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, this work takes the reader through the whole gamut of logical expressions in a simple way.

Bored on a hot afternoon, Alice follows a White Rabbit down a rabbit-hole without giving a thought about how she might get out. And so she tumbles into Wonderland. In a land in which nothing is as it seems and cakes and mushrooms can make her shrink to ten inches or grow to the size of a house, will Alice be able to find her way home again?

The fourth edition of a classic book on logic has been thoroughly revised by the author's son. It is a fundamental guide to modern mathematical logic and to the construction of mathematical theories. The first half covers the elements of logic, and the second half covers the applications of logic in theory building.

Presents material on computer science issues such as computational complexity and database queries, with coverage of introductory material such as sets. This book helps instructors with choices in how they use the textbook in courses, and reduced mathematical rigour to fit the needs of undergraduate students.

Haack's book has established an international reputation for its clarity, thorough scholarship and careful analyses.

Bringing together a lifetime's work on Lewis Carroll, this work looks at Carroll's puzzles and games of logic and focuses on topics ranging from Alice's influence on the Beat poet, Jack Kerouac to how mercury in hat linings turned hatters mad.

Follows the historical development of logic, explains the symbols and methods involved and explores the philosophical issues surrounding the topic. This title takes you through the influence of logic on scientific method and the various sciences from physics to psychology.

Clearly introduces the major topics in logic and their relation to current philosophical issues.