Logic and Information (Cambridge Tracts in Theoretical Computer Science (Paperback))

Devlin, Keith

ISBN 10: 0521499712 / ISBN 13: 9780521499712

Published by Cambridge University Press, 2010

About this Item

Seller Inventory # BSM.W0EB

Bibliographic Details

• Title: Logic and Information (Cambridge Tracts in Theoretical Computer Science (Paperback))
• Publisher: Cambridge University Press
• Publication Date: 2010
• Language: English
• ISBN 10: 0521499712
• ISBN 13: 9780521499712
• Binding: Soft cover
• Condition: very_good

About this title

Synopsis

In this provocative and ground-breaking book, Keith Devlin argues that in order to obtain a deeper understanding of the nature of intelligence and knowledge acquisition, we must broaden our concept of logic. Classical logic, beginning with the work of Aristotle, has developed into a powerful and rigorous mathematical theory with many applications in mathematics and computer science, but it has proved woefully inadequate in the search for artificial intelligence. The new kind of logic, also mathematically based, outlined by Professor Devlin is the culmination of collaborative research among some of the world's leading logicians, philosophers, linguists, psychologists, and computer scientists. It introduces the concepts of infon, a quantum of information, and situations, a dynamical generalization of sets, and is capable of handlng the issues involved in human communication, thought, speech, and machine information processing.

From the Back Cover

Intelligence can be characterized both as the ability to absorb and process information and as the ability to reason. Humans and other animals have both of these abilities to a greater of lesser degree, but the search for artificial intelligence has been hampered by the inability to wed the two characteristics in a happy marriage. In this provocative and ground-breaking book, Professor Keith Devlin argues that to obtain a deeper understanding of the nature of intelligence and knowledge acquisition we must broaden our concept of logic.