Logic category: 1296 books

This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic and mathematics, by the best specialists from all over the world. The papers range from historical considerations to new philosophical, logical and mathematical developments...

This book offers a novel account of the relationship of experience to knowledge. The account builds on the intuitive idea that our ordinary perceptual judgments are not autonomous, that an interdependence obtains between our view of the world and our perceptual judgments. Anil Gupta shows in this...

A playful and profound survey of the concept of computation across the entire spectrum of human thought—written by a mathematician novelist who spent twenty years as a Silicon Valley computer scientist. The logic is correct, and the conclusions are startling. Simple rules can generate gnarly patterns. ...

Philosophy of science studies the methods, theories, and concepts used by scientists. It mainly developed as a field in its own right during the twentieth century and is now a diversified and lively research area. This book surveys the current state of the discipline by focusing on central themes...

This work is divided into two parts. Part I contains sixteen critical es­ says by prominent philosophers and computer scientists. Their papers offer insightful, well-argued contemporary views of a broad range of topics that lie at the heart of philosophy in the second half of the twen­ tieth century:...

The Complete Lojban Language is a complete description of the artificial language Lojban. It serves as a reference grammar for the language, offering an overview of the language, as well as linguistic details on every aspect of the language. This book serves as the standard defining the language design....

This book features mathematical and formal philosophers’ efforts to understand philosophical questions using mathematical techniques. It offers a collection of works from leading researchers in the area, who discuss some of the most fascinating ways formal methods are now being applied. It covers...

This volume collects nine essays that investigate the work of Gottlob Frege. The contributors address Frege’s work in relation to literature and fiction (Dichtung), the humanities (Geisteswissenschaften), and science (Wissenschaft). Overall, the essays consider internal connections between different...

The central problem of philosophy is the problem of certainty. What does it mean to be sure? Are there ideas beyond the possibility of error or refutation? What does it mean for a notion to be incorrigible? In this book, Frank D. Schubert squarely addresses the question of whether there is a single...

This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction),...

Hailed by the Bulletin of the American Mathematical Society as "easy to use and a pleasure to read," this research monograph is recommended for students and professionals interested in model theory and definability theory. The sole prerequisite is a familiarity with the basics of logic, model theory,...

Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This volume...

In this new text, Steven Givant—the author of several acclaimed books, including works co-authored with Paul Halmos and Alfred Tarski—develops three theories of duality for Boolean algebras with operators. Givant addresses the two most recognized dualities (one algebraic and the other topological)...

This book presents the latest developments regarding a detailed mobile agent-enabled anomaly detection and verification system for resource constrained sensor networks; a number of algorithms on multi-aspect anomaly detection in sensor networks; several algorithms on mobile agent transmission optimization...