This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry
This book explains exactly what human knowledge is. The key concepts in this book are structures and algorithms, i.e., what the readers “see” and how they make use of what they see. Thus in comparison
This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan’s work on self-reference. It serves not only as a tribute to one of the great thinkers in logic,
This monograph examines the relationship between science and democracy. The author argues that there is no clear-cut division between science and the rest of society. Rather, scientists and laypeople
This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other moda
The Dialectical Forge identifies dialectical disputation (jadal) as a primary formative dynamic in the evolution of pre-modern Islamic legal systems, promoting dialectic from relative obscurity t
?This book describes argumentative tools and strategies that can be used to guide policy decisions under conditions of great uncertainty. Contributing authors explore methods from philosophical analys
This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s interest from formal languages to natural languages, and how he approached Wittg
This eighteenth volume of the acclaimed Handbook of Philosophical Logic includes many contributors who are among the most famous leading figures of applied philosophical logic of our time. Coverage in
This volume features more than 25 papers that were presented at the 2014 Conference of the International Association for the Study of Controversies, IASC, held at the University of Salento, Lecce, Ita
This book presents comparisons of recent accounts in the formalization of natural language (dynamic logics and formal semantics) with informal conceptions of interaction (dialogue, natural logic and a
This book explores new territory at the interface between semantics and pragmatics, reassessing a number of linguistic phenomena in the light of recent advances in pragmatic theory. It presents stimul
This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of modern
This is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world. The papers
This volume explores the information based approach to logic, highlighting the results and advances that this approach made possible due to the work of J. Michael Dunn.
This book presents adaptive logics as an intuitive and powerful framework for modeling defeasible reasoning. It examines various contexts in which defeasible reasoning is useful and offers a compact i
This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individ
This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it presents Pigozzi’s scientific output and