Overview
- Unique in providing a philosophically and historically based introduction to modal logic accessible to every reader, emphasizing the notion of multimodality as a background while carefully delineating the mathematics behind the topics in a soft pace
- Offers a conceptual way out of the labyrinth of contemporary modal logic, carefully explaining how modal logics develop from standard logic; the main points behind the syntax and semantics of normal modal systems; the great ideas behind completeness, incompleteness, canonicity and finite models; the mathematical and philosophical importance of temporal logics, logics of knowledge and belief; the generalized syntactical and semantical treatment of multimodalities and finally the pleasures and difficulties of quantified modal logic
- Intends to offer, through the background of multimodal logics, a panel where philosophers, logicians, linguists, mathematicians and computer scientists will find a common ground of interest
- Also designed as a repertory of ideas for students interested in progressive inquiry in modal and multimodal logics
Part of the book series: Logic, Epistemology, and the Unity of Science (LEUS, volume 12)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 chapters)
-
Front Matter
-
Back Matter
Keywords
About this book
Reviews
From the reviews:
"This is mainly an introductory textbook on modal logic containing, apart from standard topics, some very important recent material which is not regularly included in other textbooks. [...] It is important to note that several of the different topics dealt with in the book are accompanied by philosophical remarks." Max A. Freund (San José), taken from his review of the Italian version Modalità e Multimodalità
“This revised work constitutes an introduction to standard topics in modal logic. There are other sections presenting valuable material not generally included in elementary textbooks on modal logic … . The book is written in a clear and agreeable style and useful exercises and references for further reading are given at the end of each chapter. … Due to all these features, the book is well suited for an introductory course in modal logic or as supplementary reading in an intermediate logic course.” (Max A. Freund, Zentralblatt MATH, Vol. 1210, 2011)
Authors and Affiliations
About the authors
Walter Carnielli is Full Professor of Logic, Department of Philosophy, State University of Campinas, Brazil. Ex-Director of the Centre for Logic, Epistemology and the History of Science (1998-2004) and full member of the Security and Quantum Information Group-- Institute of Telecommunications, Lisbon, Portugal. Grantee of the Alexander von Humboldt Foundation, Germany, held temporary positions and research appointments in the USA (University of California, Berkeley), as well as in several institutions in Chile, Colombia, Venezuela, Italy, Germany (Münster and Bonn), France, Spain, Portugal and Luxembourg. Carnielli is known for his contribution to the proof theory and semantics for contemporary heterodox (non-classical) logics. Of special significance are his contributions to many-valued logics, paraconsistent logics and combinations of logics. With his students and collaborators Carnielli introduced the possible-translations semantics, which led to a revival in the semantic interpretation of paraconsistent logics, and the concept of logics of formal inconsistency which systematize a great number of extant paraconsistent logics, opening the way to applications of paraconsistency to computer science and to philosophical investigations around the topic. Carnielli has also worked on finite and infinite combinatorics, and shaped, with collaborators, the modulated logics, a wide class of logics dedicated to formalize quantified uncertain reasoning. He is the author or co-author of more than academic 70 publications (papers, books and monographs).
Claudio Pizzi is Full Professor of Philosophy of Science at the Faculty of Letters of the University of Siena (Italy) and contract professor at the University of Milano Bicocca. His main interests are in the field of general modal logic, conditional logic, tense logic and philosophy of causality. In 1973 he translated and edited the Italian version G.E.Hughes and M.J.Cresswell’s "An Introduction to ModalLogic". In the past ten years he has been at the head of a research team which organized the international conferences of the series MBR (Model-Based Reasoning). He is author or coauthor of more that 70 publications , some of which published in Topoi, Notre Dame Journal of Formal Logic, Logique et Analyse, Journal of Philosophical Logic, Studia Logica. His main theoretical contributions concern a theory of rational inference based on the consequence relation (consequential implication) and a theory of causal relations based on iterated conditionals.
Bibliographic Information
Book Title: Modalities and Multimodalities
Authors: Walter Carnielli, Claudio Pizzi
Series Title: Logic, Epistemology, and the Unity of Science
DOI: https://doi.org/10.1007/978-1-4020-8590-1
Publisher: Springer Dordrecht
eBook Packages: Humanities, Social Sciences and Law, Philosophy and Religion (R0)
Copyright Information: Springer Science+Business Media B.V. 2008
Hardcover ISBN: 978-1-4020-8589-5Published: 14 October 2008
Softcover ISBN: 978-90-481-3762-6Published: 05 November 2009
eBook ISBN: 978-1-4020-8590-1Published: 15 September 2008
Series ISSN: 2214-9775
Series E-ISSN: 2214-9783
Edition Number: 1
Number of Pages: XIV, 304
Topics: Logic, Mathematical Logic and Foundations, Philosophy, general, History of Philosophy, Mathematical Logic and Formal Languages