Language, Form, and Logic: In Pursuit of Natural Logic`s Holy Grail, Ludlow Peter, Zivanovic Saso
Автор: Andrzej Indrzejczak Название: Natural Deduction, Hybrid Systems and Modal Logics ISBN: 9048187842 ISBN-13(EAN): 9789048187843 Издательство: Springer Рейтинг: Цена: 36197.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction.
Описание: This book provides a refreshingly new perspective for investigating linguistic texts, which foregrounds models of the human. The examination of these three fundamental themes concerning language and human nature, on the one hand, provides a fine-textured exposition on the implicit and explicit models of human nature endorsed by major theorists;
Автор: Walter Carnielli; R.L. Epstein; Itala M. d`Ottavia Название: The Semantic Foundations of Logic Volume 1: Propositional Logics ISBN: 9401067228 ISBN-13(EAN): 9789401067225 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The act of abstracting from our reasoning in our usual language is the stepping stone from reasoned argument to logic. We cannot take this step alone, for we reason together: logic is reasoning which has some objective value.
Автор: 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.
Автор: Glenn Название: Law and the New Logics ISBN: 1107106958 ISBN-13(EAN): 9781107106956 Издательство: Cambridge Academ Рейтинг: Цена: 16632.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.
Автор: Font Название: A General Algebraic Semantics for Sentential Logics ISBN: 1107167973 ISBN-13(EAN): 9781107167971 Издательство: Cambridge Academ Рейтинг: Цена: 18216.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph is an exposition of the very general approach to the algebraization of sentential logics developed by the Barcelona logic group in the 1970s. It shows the results of this approach on a number of particular logics, and relates it to those developed by Blok, Czelakowski, Pigozzi and others.
Автор: Otto Название: Bounded Variable Logics and Counting ISBN: 1107167949 ISBN-13(EAN): 9781107167940 Издательство: Cambridge Academ Рейтинг: Цена: 18216.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This study introduces some central ideas and lines of research in finite model theory - particularly bounded variable infinitary logics - and explores the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.
Автор: 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.
Автор: Cresswell, Max Название: Logics and languages ISBN: 1138686484 ISBN-13(EAN): 9781138686489 Издательство: Taylor&Francis Рейтинг: Цена: 5205.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book, originally published in 1991, sets forth the assumptions about thought and language that made falsehood seem so problematic to Plato and his contemporaries, and expounds the solution that Plato finally reached in the Sophist. Free from untranslated Greek, the book is accessible to all studying ancient Greek philosophy.
Описание: Presents a consideration of the differences between Aristotelian and symbolic logic (and the metaphysical assumptions they come packaged with) and the consequences these have for how we view the world.
Автор: 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.
Автор: Garson Название: What Logics Mean ISBN: 1107611962 ISBN-13(EAN): 9781107611962 Издательство: Cambridge Academ Рейтинг: Цена: 4277.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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
