Studies in Logic : Studies in Logic - Chris Mortensen

Studies in Logic

By: Chris Mortensen

Paperback | 15 October 2010

At a Glance

Paperback


$53.90

or 4 interest-free payments of $13.47 with

 or 

Ships in 5 to 7 business days

The Theory of Inconsistency has a long lineage, stretching back to Herakleitos, Hegel and Marx. In the late twentieth-century, it was placed on a rigorous footing with the discovery of paraconsistent logic and inconsistent mathematics. Paraconsistent logics, many of which are now known, are "inconsistency tolerant", that is, they lack the rule of Boolean logic that a contradiction implies every proposition. When this constricting rule was seen to be arbitrary, inconsistent mathematical structures were free to be described.

This book continues the development of inconsistent mathematics by taking up inconsistent geometry, hitherto largely undeveloped. It has two main goals. First, various geometrical structures are shown to deliver models for paraconsistent logics. Second, the "impossible pictures" of Reutersvaard, Escher, the Penroses and others are addressed. The idea is to derive inconsistent mathematical descriptions of the content of impossible pictures, so as to explain rigorously how they can be impossible and yet classifiable into several basic types.

The book will be of interest to logicians, mathematicians, philosophers, psychologists, cognitive scientists, and artists interested in impossible images. It contains a gallery of previously-unseen coloured images, which illustrates the possibilities available in representing impossible geometrical shapes.

Chris Mortensen is Emeritus Professor of Philosophy at the University of Adelaide. He is the author of Inconsistent Mathrmatics (Kluwer 1995), and many articles in the Theory of Inconsistency.

More in Mathematical Logic

Handbook of Automated Reasoning - Rachel Phillips
Current Trends in Automated Reasoning - Erika Bach
The Times Codeword: Book 13 : 200 Cracking Logic Puzzles - The Times Mind Games
Introduction to Modern Cryptography : Revised Third Edition - Jonathan Katz
Axiomatic Set Theory : An Introduction - George Tourlakis
Studia Logica : A History of the Journal - Jacek Malinowski
Book of Proof - Richard H Hammack

Paperback

$58.75