Epistemology, Context, and Formalism, Franck Lihoreau; Manuel Rebuschi
Автор: Franck Lihoreau; Manuel Rebuschi Название: Epistemology, Context, and Formalism ISBN: 3319379011 ISBN-13(EAN): 9783319379012 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introduction; Franck Lihoreau and Manuel Rebuschi.- Chapter 1. Context as Assumptions; Erich Rast.- Chapter 2. Knowledge and Disagreement; Martin Montminy.- Chapter 3. A Contradiction for Contextualism?; Peter Baumann.- Chapter 4. Epistemic Contexts and Indexicality; Yves Bouchard.- Chapter 5. Knowing Who: How Perspectives and Context Interact; Maria Aloni and Bruno Jacinto.- Chapter 6. Knowledge Attributions in Context of Decision Problems; Robert van Rooij.- Chapter 7. How Context Dependent is Scientific Knowledge?; Sven Ove Hansson.- Chapter 8. Action, Failure and Free Will Choice in Epistemic stit Logic; Jan Broersen and John-Jules Charles Meyer.- Chapter 9. Belief, Intention, and Practicality: Loosening Up Agents and Their Propositional Attitudes; Richmond H. Thomason.- Chapter 10. Character Matching and the Locke Pocket of Belief; Gregory Wheeler.- Chapter 10. A modal logic of perceptual belief; Andreas Herzig and Emiliano Lorini.- Chapter 11. Hyperintensionality and De Re Beliefs A Counterpart-Theoretic Account; Paul Йgrй.- Chapter 12. Knowledge Is Justifiable True Information; Jaakko Hintikka.
Автор: Arl?-Costa Название: Readings in Formal Epistemology ISBN: 3319204505 ISBN-13(EAN): 9783319204505 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume presents 38 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy and its neighbouring intellectual disciplines. The editors provide introductions to five subsections: Bayesian Epistemology, Belief Change, Decision Theory, Interactive Epistemology and Epistemic Logic.'Formal epistemology' is a term coined in the late 1990s for a new constellation of interests in philosophy, the origins of which are found in earlier works of epistemologists, philosophers of science and logicians. It addresses a growing agenda of problems concerning knowledge, belief, certainty, rationality, deliberation, decision, strategy, action and agent interaction – and it does so using methods from logic, probability, computability, decision and game theory. The volume also includes a thorough index and suggestions for further reading, and thus offers a complete teaching and research package for students as well as research scholars of formal epistemology, philosophy, logic, computer science, theoretical economics and cognitive psychology.
Описание: A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.
Автор: Pierre Bonzon; Marcos Cavalcanti; Rolf Nossum Название: Formal Aspects of Context ISBN: 0792363507 ISBN-13(EAN): 9780792363507 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Features a selection of papers from The First International and Interdisciplinary Conference on Modelling and Using Context, Rio de Janeiro, January 1997. Several chapters in this volume deal with contextualisation in the setting of natural language, while others seek to develop general models of wider applicability.
Автор: Cliff Jones, Pekka Pihlajasaari Название: FM 2014 : ISBN: 3319064096 ISBN-13(EAN): 9783319064093 Издательство: Springer Рейтинг: Цена: 16070.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.
Автор: Shaoying Liu; Zhenhua Duan Название: Structured Object-Oriented Formal Language and Method ISBN: 3319049143 ISBN-13(EAN): 9783319049144 Издательство: Springer Рейтинг: Цена: 8803.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013.
Автор: Simone Cavalheiro; Jos? Fiadeiro Название: Formal Methods: Foundations and Applications ISBN: 3319708473 ISBN-13(EAN): 9783319708478 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru