This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic
Religion’s influence on public opinion, politics, and candidates has been widely discussed in political science for a generation. God Talk isthe first volume that uses experimental methodology to esta
The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makin
This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic. Divided
This unique textbook states and proves all the major theorems of many-valued propositional logic and provides the reader with the most recent developments and trends, including applications to adap
Religious institutions are often engaged in influencing the beliefs and values that individuals hold. But religious groups can also challenge how people think about democracy, including the extension
Religious institutions are often engaged in influencing the beliefs and values that individuals hold. But religious groups can also challenge how people think about democracy, including the extension
Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have
As the Baby Boomer generation ages, the number of senior citizens as a proportion of the overall electorate is going to reach record numbers. This fact prompted Brittany Bramlett to ask: When senior c
As the Baby Boomer generation ages, the number of senior citizens as a proportion of the overall electorate is going to reach record numbers. This fact prompted Brittany Bramlett to ask: When senior c
This book features a unique collection of papers dedicated to renowned Brazilian-born Israeli philosopher and linguist Marcelo Dascal. It also includes fresh perspectives on the theory of argumentatio
Rao (Southwestern College, Kansas) surveys known results about the theory of g-inverses of matrices over rings. Suitable for a graduate course, the book introduces regular elements in a ring, characte
This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an extraordinary scientist and excellent teacher whose writings became influential right from the beginning of his career
This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka. Hintikka was a prodigious and esteemed philosopher and logician, and his death in August 2015 was a huge los
This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, research
This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be u
This book is a tribute to Professor Ewa Orlowska, a Polish logician who was celebrating the 60th year of her scientific career in 2017. It offers a collection of contributed papers by different author