An Introduction to Many-Valued Logics, Ackermann Robert
Автор: Bremer, Manuel Название: Introduction to paraconsistent logics ISBN: 3631534132 ISBN-13(EAN): 9783631534137 Издательство: Peter Lang Рейтинг: Цена: 8593.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book shows that while globalization is a dominant force in society, and though news can be instantaneously broadcast internationally, there is relatively little commonality throughout the world in the depiction of events occurring in other countries. The research gathered here is based on a quantitative content analysis of over 17,000 news items and analysis of over 10,000 survey respondents.
Автор: Cignoli Название: Algebraic Foundations of Many-Valued Reasoning ISBN: 0792360095 ISBN-13(EAN): 9780792360094 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: States and proves various theorems of many-valued propositional logic. This text provides developments and trends, including applications to adaptive error-correcting binary search. It contains material, such as a simple proof of completeness theorem and of the equivalence between Chang`s MV algebras and Abelian lattice-ordered groups with unit.
Автор: Garson Название: What Logics Mean ISBN: 110703910X ISBN-13(EAN): 9781107039100 Издательство: Cambridge Academ Рейтинг: Цена: 11880.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Garson explores meta-questions about what logic does or should do, examining parts of language, especially connectives such as `and` or `if`. The book will be valuable for graduates and specialists in logic, philosophy of logic, and philosophy of language.
Автор: N.J. Moutafakis Название: The Logics of Preference ISBN: 9027725918 ISBN-13(EAN): 9789027725912 Издательство: Springer Рейтинг: Цена: 23751.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: With characteristic incisiveness Georg Henrik von Wright identifies pro- haireticIogic (i. e. the logic of preference) as the core of a general theory of value concepts. Essentially, this nucleus involves the logical study of acts from the point of view of their preferability. 1 (italics added) Though the term prohairesis is found in Plato, as well as in Aristotle's treatment of the relations of preference, it is von Wright who introduces this word into contemporary analytical philoso- phy, and succinctly specifies the philosophical dimensions it encompasses. The above emphasis upon the philosophical study of the formalization of preferences is a matter of utmost importance for understanding the type of in- quiry this investigation attempts to initiate. Over the past one hundred years the literature on general theories of subjective utility has become massive, where one considers the work done in psychometrics, econometrics, statistical theories, probability theories, etc., etc. Histories in these areas are strong in tracing various evolutions in the development of the concept of preference in decision-making. However, what has not been investigated with sustained at- tention are the fundamentally philosophical inquiries into the formalization of preference-relations.
Описание: Logics of Worlds stands as one of the most important texts in contemporary thought. Conceived as the sequel to Alan Badiou’s Being and Event, the book expands upon and elucidates the questions that were posed in the first book. As a complex theory of worlds, the text has, for the most part, been misunderstood, but in William Watkin’s diligent and critical close reading of the book, he makes the case for Logics of Worlds being the essential Badiou book for anyone interested in existence, meaning and the potential for radical change.
For Watkin, this recasting of ontology is followed by a transformation of logic, which is not only a theory of being, but of appearing and allows Badiou to give new meaning to the object, body and relation. To do this, he explores these concepts through architecture, astronomy and renowned thinkers such as Kant, Hegel and Kierkegaard. For students of French Continental philosophy, ontology and Badiou himself, Watkin’s commentary on the philosopher’s text provides a brilliant and incisive new interpretation of this underrated work by the leading Continental philosopher of our time.
Автор: R.L. Cignoli; Itala M. d`Ottaviano; Daniele Mundic Название: Algebraic Foundations of Many-Valued Reasoning ISBN: 9048153360 ISBN-13(EAN): 9789048153367 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: J.K. Feibleman Название: Assumptions of Grand Logics ISBN: 9400992807 ISBN-13(EAN): 9789400992801 Издательство: Springer Рейтинг: Цена: 22354.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A system of philosophy of the sort presented in this and the following volumes begins with logic. The philosophical aspects of logic have lagged behind the mathematical aspects in point of view of interest and develop- ment. But I have not written any logic, I have merely indicated the sort of logic that has to be written.
Автор: Kuznets Roman, Studer Thomas Название: Logics of Proofs and Justifications ISBN: 1848901682 ISBN-13(EAN): 9781848901681 Издательство: Неизвестно Рейтинг: Цена: 4230.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Justification logics are closely related to modal logics and can be viewed as a refinement of the latter with machinery for justification manipulation. Justifications are represented directly in the language by terms, which can be interpreted as formal proofs in a deductive system, evidence for knowledge, winning strategy in a game, etc. This more expressive language proved beneficial in both proof theory and epistemology and helped investigate problems ranging from a classical provability semantics for intuitionistic logic to the logical omniscience problem.
Justification logic is a new and fast evolving field that offers unexpected new approaches and insights into old problems. Its position at the junction of mathematics, philosophy, and computer science makes it of interest to a wide audience.
This book provides a rigorous introduction to justification logic. It covers the basic constructions of justification logic as well as epistemic models and provability semantics. Further it includes chapters on decidability and complexity of justification logics as well as a chapter on self-referentiality. It also contains detailed historic remarks on the subject.
Автор: Rolf Haenni; Jan-Willem Romeijn; Gregory Wheeler; Название: Probabilistic Logics and Probabilistic Networks ISBN: 9400734433 ISBN-13(EAN): 9789400734432 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Josep M. Font; Ramon Jansana Название: A General Algebraic Semantics for Sentential Logics ISBN: 3540616993 ISBN-13(EAN): 9783540616993 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The purpose of this monograph is to develop a very general approach to the algebra- ization of sententiallogics, to show its results on a number of particular logics, and to relate it to other existing approaches, namely to those based on logical matrices and the equational consequence developed by Blok, Czelakowski, Pigozzi and others.
Автор: H. Patrick Glenn, Lionel D. Smith Название: Law and the New Logics ISBN: 1107514533 ISBN-13(EAN): 9781107514539 Издательство: Cambridge Academ Рейтинг: Цена: 5069.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents an interdisciplinary conversation between jurists and logicians, reaching across a wide domain of issues arising in law and legal reasoning. The overall theme is the ways in which non-classical logics can enrich our understanding of legal orders.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
