You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book presents the state of the art in the fields of formal logic pioneered by Graham Priest. It includes advanced technical work on the model and proof theories of paraconsistent logic, in contributions from top scholars in the field. Graham Priest’s research has had a considerable influence on the field of philosophical logic, especially with respect to the themes of dialetheism—the thesis that there exist true but inconsistent sentences—and paraconsistency—an account of deduction in which contradictory premises do not entail the truth of arbitrary sentences. Priest’s work has regularly challenged researchers to reappraise many assumptions about rationality, ontology, and tru...
A Dictionary of Logic expands on Oxford's coverage of the topic in works such as The Oxford Dictionary of Philosophy, The Concise Oxford Dictionary of Mathematics, and A Dictionary of Computer Science. Featuring more than 450 entries primarily concentrating on technical terminology, the history of logic, the foundations of mathematics, and non-classical logic, this dictionary is an essential resource for both undergraduates and postgraduates studying philosophical logic at a high level.
This Element looks at two projects that relate logic and information: the project of using logic to integrate, manipulate and interpret information and the proect of using the notion of information to provide interpretations of logical systems. The Element defines 'information' in a manner that includes misinformation and disinformation and uses this general concept of information to provide an interpretation of various paraconsistent and relevant logics. It also integrates these logics into contemporary theories of informational updating, probability theory and (rather informally) some ideas from the theory of the complexity of proofs. The Element assumes some prior knowledge of modal logic and its possible world semantics, but all the other necessary background is provided.
This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics. A central tenet of the monograph is that the sheer diversity of the contexts in which the mereological analogy emerges – its effervescence with respect to fields ranging from metaphysics to computer programming – provides compelling evidence that the study of logics of analytic implication can be instrumental in identifying connections between topics that would otherwise remain hidden. More concretely, the book identifies and discusses a host of cases in which analytic implication can play an important role in revealing distinct problems to be facets of a larger, cross-disciplinary problem. It introduces an element of constancy and cohesion that has previously been absent in a regrettably fractured field, shoring up those who are sympathetic to the worth of mereological analogy. Moreover, it generates new interest in the field by illustrating a wide range of interesting features present in such logics – and highlighting these features to appeal to researchers in many fields.
Enacted in 1860, the Indian Penal Code is the longest serving and one of the most influential criminal codes in the common law world. This book commemorates its one hundred and fiftieth anniversary and honours the law reform legacy of Thomas Macaulay, the principal drafter of the Code. The book comprises chapters which examine the general principles of criminal responsibility from the perspective of Macaulay, and from more recent accounts by lawmakers and reformers. These are framed by chapters that examine the history and conceptual underpinnings of Macaulay's Code, consider the need to revitalize the Indian Penal Code, and review the current challenges of principled criminal law reform and codification. This book is a valuable reference on the Indian Penal Code, and current debates about general principles of criminal law for legal academics, judges, legal practitioners and criminal law reformers. It also promises to have wider scholarly appeal, of interest to legal theorists, historians and policy specialists.
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018. The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verificati...
The very word "culture" has traditionally evoked the land. But when such writers as William Wordsworth, Samuel Taylor Coleridge, Lord Byron, and, later, Matthew Arnold developed what would become the idea of modern culture, they modeled that idea on Britain's imperial command of the sea. Instead of locating the culture idea’s beginnings in the dynamic between the country and the city, Samuel Baker insists on taking into account the significance of water for that idea’s development. For the Romantics, figures of the island, the deluge, and the sundering tide often convey the insularity of cultures understood to stand apart from the whole; yet, Baker writes, the sea also stands in their po...
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 26th Workshop on Logic, Language, Information and Communication, WoLLIC 2019, held in Utrecht, The Netherlands, in July 2019. The 41 full papers together with 6 invited lectures presented were fully reviewed and selected from 60 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants.