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.
Dr. Keith Devlin is a mathematician at Stanford University in California. He is a co-founder and Executive Director of the university's H-STAR institute, a co-founder of the Stanford Media X research network, and a Senior Researcher at CSLI. He has written 31 books and over 80 published research articles. His books have been awarded the Pythagoras Prize and the Peano Prize, and his writing has earned him the Carl Sagan Award, and the Joint Policy Board for Mathematics Communications Award. In 2003, he was recognized by the California State Assembly for his "innovative work and longtime service in the field of mathematics and its relation to logic and linguistics." He is "the Math Guy" on National Public Radio. (Archived at http://www.stanford.edu/~kdevlin/MathGuy.html.)
He is a World Economic Forum Fellow and a Fellow of the American Association for the Advancement of Science. His current research is focused on the use of different media to teach and communicate mathematics to diverse audiences. He also works on the design of information/reasoning systems for intelligence analysis. Other research interests include: theory of information, models of reasoning, applications of mathematical techniques in the study of communication, and mathematical cognition.
He writes a monthly column for the Mathematical Association of America, "Devlin's Angle": http://www.maa.org/devlin/devangle.html
