|
![]() |
|||
|
||||
OverviewThe theory of inconsistency has been growing steadily over the last two decades. One focus has been philosophical issues arising from the paradoxes of set theory and semantics. A second focus has been the study of paraconsistent or inconsistency-tolerant logics. A third focus has been the application of paraconsistent logics to problems in artificial intelligence. This book focuses on a fourth aspect: the construction of mathematical theories in which contradictions occur, and the investigation of their properties. The inconsistent approach provides a distinctive perspective on the various number systems, order differential and integral calculus, discontinuous changes, inconsistent systems of linear equations, projective geometry, topology and category theory. The final chapter outlines several known results concerning paradoxes in the foundations of set theory and semantics. The book begins with an informal chapter which summarizes the main results nontechnically, and draws philosophical implications from them. This volume should be of interest to advanced undergraduates, graduate students and professionals in the areas of logic, philosophy, mathematics and theoretical computer science. Full Product DetailsAuthor: C.E. MortensenPublisher: Springer Imprint: Springer Edition: 1995 ed. Volume: 312 Dimensions: Width: 21.00cm , Height: 1.10cm , Length: 29.70cm Weight: 0.930kg ISBN: 9780792331865ISBN 10: 0792331869 Pages: 158 Publication Date: 30 November 1994 Audience: College/higher education , Professional and scholarly , Undergraduate , Postgraduate, Research & Scholarly Format: Hardback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsOne Motivations.- Two Arithmetic.- Three Modulo Infinity.- Four Order.- Five Calculus.- Six Inconsistent Continuous Functions.- Seven The Delta Function.- Eight Inconsistent Systems of Linear Equations.- Nine Projective Spaces.- Ten Topology.- Eleven Category Theory.- Twelve Closed Set Sheaves and Their Categories.- Thirteen Duality.- Fourteen Foundations: Provability, Truth and Sets.- Index of Definitions and Names.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |