Автор: 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.
Автор: 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.
Автор: 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.
Автор: Dov M. Gabbay; Karl Schlechta Название: Conditionals and Modularity in General Logics ISBN: 3642270654 ISBN-13(EAN): 9783642270659 Издательство: Springer Рейтинг: Цена: 15014 р. Наличие на складе: Поставка под заказ.
Описание: 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.
Автор: Shahid Rahman; Giuseppe Primiero; Mathieu Marion Название: The Realism-Antirealism Debate in the Age of Alternative Logics ISBN: 9400737831 ISBN-13(EAN): 9789400737839 Издательство: Springer Рейтинг: Цена: 21366 р. Наличие на складе: Поставка под заказ.
Описание: 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.
Автор: 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.
Автор: Witold A. Pogorzelski; Piotr Wojtylak Название: Completeness Theory for Propositional Logics ISBN: 3764385170 ISBN-13(EAN): 9783764385170 Издательство: Springer Рейтинг: Цена: 9239 р. Наличие на складе: Поставка под заказ.
Описание: This book develops the theory of one of the most important notions in the methodology of formal systems. Particularly, completeness plays an important role in propositional logic where many variants of the notion have been defined. For these purposes, the theory of logical matrices, and the theory of consequence operations is exploited.
Автор: Garson Название: What Logics Mean ISBN: 1107611962 ISBN-13(EAN): 9781107611962 Издательство: Cambridge Academ Рейтинг: Цена: 3285 р. Наличие на складе: Поставка под заказ.
Описание: 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.
Описание: 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.
Автор: Gabbay Название: Conditionals and Modularity in General Logics ISBN: 3642190677 ISBN-13(EAN): 9783642190674 Издательство: Springer Рейтинг: Цена: 15014 р. Наличие на складе: Поставка под заказ.
Описание: 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.
Автор: Haenni Название: Probabilistic Logics and Probabilistic Networks ISBN: 9400700075 ISBN-13(EAN): 9789400700079 Издательство: Springer Рейтинг: Цена: 12704 р. Наличие на складе: Поставка под заказ.
Описание: 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