San Antonio College Library

Publisher Description (unedited publisher data) This book is an introduction to non-classical propositional logics. It brings together for the first time in a textbook a range of topics in logic, many of them of relatively recent origin, including modal, conditional, intuitionist, many-valued, paraconsistent, relevant and fuzzy logics. The material is unified by the underlying theme of world-semantics. All of the topics are explained clearly and accessibly,...

"What can we compute--even with unlimited resources? Is everything within reach? Or are computations necessarily drastically limited, not just in practice, but theoretically? These questions are at the heart of computability theory. The goal of this book is to give the reader a firm grounding in the fundamentals of computability theory and an overview of currently active areas of research, such as reverse mathematics and algorithmic randomness. Turing...

"Roland Omnes takes us from the academies of ancient Greece to the laboratories of modern science as he seeks to do no less than rebuild the foundations of the philosophy of knowledge. One of the world's leading quantum physicists, Omnes reviews the history and recent development of mathematics, logic, and the physical sciences to show that current work in quantum theory offers new answers to questions that have puzzled philosophers for centuries:...