Priest, G.
An Introduction to Non-Classical Logic 2nd ed.
From If to Is
（非古典論理学　第2版）

Cambridge University Press 2008.6
646 pp.(H)
ISBN 0-521-85433-4
　　　　　　　　　　　　　　　　　　　　　　　　　　　　12,800円

Contents
Part I. Propositional Logic: 1. Classical logic and the material conditional/ 2. Basic modal logic/ 3. Normal modal logics/ 4. Non-normal modal logics; strict conditionals/ 5. Conditional logics/ 6. Intuitionist logic/ 7. Many-valued logics/ 8. First degree entailment/ 9. Logics with gaps, gluts, and worlds/ 10. Relevant logics/ 11. Fuzzy logics/ Appendix: many valued modal logics; Postscript: an historical perspective on conditionals/ Part II. Qualification and Identity: 12. Classical logic/ 13. Free logic/ 14. Constant domain modal logics/ 15. Variable domain modal logics/ 16. Necessary identity in modal logic/ 17. Contingent identity in modal logic/ 18. Non-normal modal logics/ 19. Conditional logics/ 20. Intuitionist logic/ 21. Many-valued logics/ 22. First degree entailment/ 23. Logics with gaps, gluts, and worlds/ 24. Relevant logics/ 25. Fuzzy logics/ Postscript: a methodological coda/ Index/

* This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1.

* The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area. *

---

Gabbay, D. M. & Woods, J. ed.
Mediaeval and Renaissance Logic
Handbook of the History of Logic Vol. 2

North-Holland 2008.3
728 pp.(H)
ISBN 0-444-51625-5
　　　　　　　　　　　　　　　　　　　　　　　　　　　　27,700円

Contents
1. Logic before 1100: The Latin Tradition/ 2. Beginning of Scholastic Logic before Abelard / 3. The Logic of Abelard and His Contemporaries/ 4. The Development of Supposition Theory in the Later 12th and Early 13th Centuries/ 5. Assimilation of Aristotelian and Arabic Logic up to the Later 13th Century/ 6. Logic and Theories of Meaning in the Late 13th and Early 14th Century Including the Modistae/ 7. The Nominalist Semantics of William Ockham and John Buridan/ 8. Logic in the 14th Century after Ockham/ 9. Treatments of Modal and Other 'Opaque' Contexts in Mediaeval Logic/ 10. Treatments of the Paradoxes of Self-reference/ 11. Developments in the 15th and 16th Centuries/ 12. Relational Logic of Juan Caramuel/ 13. Port Royal: The Stirrings of Modernity/ Index/ *

---

Cocchiarella, N. B. & Freund, M. A.
Modal Logic
An Introduction to its Syntax and Semantics

Oxford U.P. 2008.6
288 pp.(H)
ISBN 0-19-536658-1
　　　　　　　　　　　　　　　　　　　　　　　　　　　　12,700円

Contents
* In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for sentential modal logic is formalized, and an important result that no finite matrix can characterize any of the standard modal logics is proven. Exercises, some of which show independence results, help to develop logical skills.

* Two types of second-order modal logics, one possibilist and the other actualist, are developed based on a distinction between existence-entailing concepts and concepts in general. The result is a deeper second-order analysis of possibilism and actualism as ontological frameworks. Exercises regarding second-order predicate quantifiers clarify the distinction between existence-entailing concepts and concepts in general.

* Modal Logic is ideally suited as a core text for graduate and undergraduate courses in modal logic, and as supplementary reading in courses on mathematical logic, formal ontology, and artificial intelligence *

---

Brenner, J. E.
Logic in Reality

Springer Netherlands 2008.7
362 pp.(H)
ISBN 1-4020-8374-2
　　　　　　　　　　　　　　　　　　　　　　　　　　　　22,800円

Contents
1. Logic in Reality (LIR) as a Formal Logic/ 2. LIR as a Formal System/ 3. LIR as a Formal Ontology/ 4. The Categories of LIR/ 5. The Core Thesis of LIR: Structure and Explanation/ 6. LIR, Metaphysics and Philosophy/ 7. LIR and Physical Science: Time, Space and Cosmology/ 8. Emergence, Living Systems and Closure/ Conclusion: New Directions and a New Skepticism/ Appendices/ Index/

* Logic in Reality argues that the fundamental physical structure of the world is logical as well as mathematical. The applicable formal logic of and in reality proposed (LIR) represents a radical departure from the standard notion of logic and its function. The book establishes LIR as a non-propositional logic with a unique calculus, one however that can be used intuitively with minimum symbolism.

* A new relational ontology is developed that demonstrates the fit of the LIR axioms with modern physics. The axioms and ontology of LIR together constitute a framework for describing and explaining complex real world processes, entities and events. Examples from the literature of on-going issues in philosophy, metaphysics and ontology are analyzed accordingly, including problems of causality, time and space, emergence and evolution. *

---

Tourlakis, G.
Mathematical Logic

John Wiley & Sons 2008.9
294 pp.(H)
ISBN 0-470-28074-3
　　　　　　　　　　　　　　　　　　　　　　　　　　　　10,800円

Contents
Part.1: Boolean Logic: 1. The Beginning/ 2. Theorems and Metatheorems/ 3. The Interplay between Syntax and Semantics/ Part.2: Predicate Logic: 4. Extending Boolean Logic/ 5. Two Equivalent Logics/ 6. Generalization and Additional Leibniz Rules/ 7. Properties of Equality/ 8. First Order Semantics -- Very Naively/ Appendix A: Godel's Theorems and Computability/ References/ Index/

* Mathematical Logic presents mathematical or "symbolic" logic as a reliable tool for deductive reasoning. It trains the student in both the established "Hilbert" style of writing proofs in mathematics, as well as in the emerging "equational" style that finds fruitful application in computer science curricula, especially in the areas of software engineering and program correctness. There are extensive sets of examples, remarks, problems, references, and textual discussions that aim to help the reader understand what makes logic a powerful tool in the scheme of mathematical truths. *

---

Ditmarsch, H. van et al.
Dynamic Epistemic Logic
Synthese Library Vol.337

Springer-Verlag 2007.7
305 pp. (H)
ISBN 1-4020-5838-1
　　　　　　　　　　　　　　　　　　　　　　　　　　　　20,800円

Contents
Preface/ 1. Introduction/ 2. Epistemic Logic/ 3. Belief Revision/ 4. Public Announcements/ 5. Epistemic Actions/ 6. Action Models/ 7. Completeness/ 8. Expressivity/ A. Selected Answers to Exercises/ References/ Index/ *

* Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also contains exercises including answers and is eminently suitable for graduate courses in logic. *

---

Carnielli, W. et al.
Analysis and Synthesis of Logics
How to Cut and Paste Reasoning Systems

Springer-Verlag 2008.4
604 pp.(H)
ISBN 1-4020-6781-X
　　　　　　　　　　　　　　　　　　　　　　　　　　　　23,600円

Contents
1. Introductory Overview/ 2. Splicing Logics: Syntactic Fibring/ 3. Splicing Logics: Semantic Fibring/ 4. Heterogenous Fibring/ 5. Fibring Non-Truth Functional Logics/ 6. Fibring First-Order Logics/ 7. Fibring Higher-Order Logics/ 8. Modulated Fibring/ 9. Splitting Logics/ 10. New Trends: Network Fibring/ 11. Summing-up and Outlook/ Bibliography/ Subject Index/ Table of Symbols/ List of Figures/

* This monograph will be of interest to researchers and graduate students in mathematical logic, theory of computation and philosophical logic with no previous knowledge of the subject of combining and decomposing logics, but with a working knowledge of first-order logic. The book will also be relevant for people involved in research projects where logic is used as a tool and the need for working with several logics at the same time is mandatory (for instance, temporal, epistemic and probabilistic logics). *
739-14　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　登録日　08.12.15

---