Автор: Glenn Название: Law and the New Logics ISBN: 1107106958 ISBN-13(EAN): 9781107106956 Издательство: Cambridge Academ Рейтинг: Цена: 12872 р. Наличие на складе: Поставка под заказ.
Описание: This book is unique in presenting an interdisciplinary conversation between jurists and logicians. It brings together scholars from both law and philosophy and looks at the application of 'the new logics' to law and legal ordering, in a number of legal systems. The first Part explores the ways in which the new logics shed light on the functioning of legal orders, including the structure of legal argumentation and the rules of evidence. The second addresses how non-classical logics can help us to understand the interactions between multiple legal orders, in a range of contexts including domestic and international law. The final Part examines particular issues in the applicability of non-classical logics to legal reasoning. This book will be of interest to jurisprudence and logic scholars and students who want to deepen their understanding of relationships between law and legal reasoning, and learn about recent developments in formal logic.
Описание: The relation between logic and knowledge has provoked a heated debate since the 1960s. This book presents the first work on the Realism-Antirealism debate in the Age of Alternative Logics, and shows the most recent developments in philosophical logic.
Описание: The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to call themselves `antirealists'. Others persisted with the formal background of the Frege-Tarski tradition, where Cantorian set theory is linked via model theory to classical logic. Jaakko Hintikka tried to unify both traditions by means of what is now known as `explicit epistemic logic'. Under this view, epistemic contents are introduced into the object language as operators yielding propositions from propositions, rather than as metalogical constraints on the notion of inference.The Realism-Antirealism debate has thus had three players: classical logicians, intuitionists and explicit epistemic logicians. The editors of the present volume believe that in the age of Alternative Logics, where manifold developments in logic happen at a breathtaking pace, this debate should be revisited. Contributors to this volume happily took on this challenge and responded with new approaches to the debate from both the explicit and the implicit epistemic point of view.
Автор: Garson Название: What Logics Mean ISBN: 110703910X ISBN-13(EAN): 9781107039100 Издательство: Cambridge Academ Рейтинг: Цена: 9037 р. Наличие на складе: Поставка под заказ.
Описание: What do the rules of logic say about the meanings of the symbols they govern? In this book, James W. Garson examines the inferential behaviour of logical connectives (such as 'and', 'or', 'not' and 'if … then'), whose behaviour is defined by strict rules, and proves definitive results concerning exactly what those rules express about connective truth conditions. He explores the ways in which, depending on circumstances, a system of rules may provide no interpretation of a connective at all, or the interpretation we ordinarily expect for it, or an unfamiliar or novel interpretation. He also shows how the novel interpretations thus generated may be used to help analyse philosophical problems such as vagueness and the open future. His book will be valuable for graduates and specialists in logic, philosophy of logic, and philosophy of language.
Описание: Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the seventh publication in the Lecture Notes in Logic series, Font and Jansana develop a very general approach to the algebraization of sentential logics and present its results on a number of particular logics. The authors compare their approach, which uses abstract logics, to the classical approach based on logical matrices and the equational consequence developed by Blok, Czelakowski, Pigozzi and others. This monograph presents a systematized account of some of the work on the algebraic study of sentential logics carried out by the logic group in Barcelona in the 1970s.
Автор: Dov M. Gabbay; Karl Schlechta Название: A New Perspective on Nonmonotonic Logics ISBN: 3319468154 ISBN-13(EAN): 9783319468150 Издательство: Springer Рейтинг: Цена: 12704 р. Наличие на складе: Поставка под заказ.
Описание: In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the authors combine the ideas of several types of nonmonotonic logics and their analysis of 'natural' concepts into a formal logic, a special preferential construction that combines formal clarity with the intuitive advantages of Reiter defaults, defeasible inheritance, theory revision, and epistemic considerations.It is suitable for researchers in the area of computer science and mathematical logic.
Автор: Zoran Ognjanovi?; Miodrag Ra?kovi?; Zoran Markovi? Название: Probability Logics ISBN: 3319470116 ISBN-13(EAN): 9783319470115 Издательство: Springer Рейтинг: Цена: 10971 р. Наличие на складе: Поставка под заказ.
Описание: The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning. The authors' primary interest is mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues such as axiomatizations, completeness, compactness, and decidability, including solutions of some problems from the literature.An extensive bibliography is provided to point to related work, and this book may serve as a basis for further research projects, as a reference for researchers using probability logic, and also as a textbook for graduate courses in logic.
Описание: This book covers modularity and independence in classical and nonclassical logic, including many-valued logics and structures, plus neighbourhood semantics and their connection to independence, as well as their common points and differences for various logics.
Автор: Rolf Haenni; Jan-Willem Romeijn; Gregory Wheeler; Название: Probabilistic Logics and Probabilistic Networks ISBN: 9400734433 ISBN-13(EAN): 9789400734432 Издательство: Springer Рейтинг: Цена: 12704 р. Наличие на складе: Поставка под заказ.
Описание: Probabilistic Logic and Probabilistic Networks presents a groundbreaking framework within which various approaches to probabilistic logic naturally fit. Additionally, the text shows how to develop computationally feasible methods to mesh with this framework.
Автор: Johan van Benthem; Gerhard Heinzmann; Manuel Rebus Название: The Age of Alternative Logics ISBN: 9048124859 ISBN-13(EAN): 9789048124855 Издательство: Springer Рейтинг: Цена: 10047 р. Наличие на складе: Поставка под заказ.
Описание: In the last century, developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. This book embodies the multi-dimensional interplay between logic and science, presenting contributions from scholars on the trends and possible developments for research.
Описание: This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity is essentially the ability to put partial results achieved independently together for a global result. The second aspect of the book is the authors' uniform picture of conditionals, including many-valued logics and structures on the language elements themselves and on the truth value set. The third topic explained by the authors is neighbourhood semantics, their connection to independence, and their common points and differences for various logics, e.g., for defaults and deontic logic, for the limit version of preferential logics, and for general approximation. The book will be of value to researchers and graduate students in logic and theoretical computer science.
Описание: While probabilistic logics in principle might be applied to solve a range of problems, in practice they are rarely applied - perhaps because they seem disparate, complicated, and computationally intractable. This programmatic book argues that several approaches to probabilistic logic fit into a simple unifying framework in which logically complex evidence is used to associate probability intervals or probabilities with sentences. Specifically, Part I shows that there is a natural way to present a question posed in probabilistic logic, and that various inferential procedures provide semantics for that question, while Part II shows that there is the potential to develop computationally feasible methods to mesh with this framework. The book is intended for researchers in philosophy, logic, computer science and statistics. A familiarity with mathematical concepts and notation is presumed, but no advanced knowledge of logic or probability theory is required.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru