This volume deals with the relation between faith and reason, and brings the latest developments of modern logic into the scene. Faith and rationality are two perennial key concepts in the history of ideas. Philosophers and theologians have struggled to bring into harmony these otherwise conflicting concepts. Despite the diversity of approaches about what rationality effectively means, logic remains the cannon of objective and rational thought. The chapters in this volume analyze several issues pertaining to the philosophy of religion and philosophical theology from the perspective of their relation to logic and the benefit they can derive from the use of modern logic tools. The book is divided into five parts: (I) Introduction, (II) Analytic Philosophy of Religion, (III) Logical Philosophy of Religion, (IV) Computational Philosophy and Religion and (V) Logic, Language and Religion. This text appeals to students and researchers in the field.

Part 1. Introduction.- Chapter 1. Beyond Faith and Rationality (Benedikt Gocke).- Part 2. Analytic Philosophy of Religion.- Chapter 2. Why Believe that there is a God? (Richard Swinburne).- Chapter 3. The Failure of van Inwagen's Solution to the Problem of Evil (Benedikt Göcke).- Chapter 4. Saadia Gaon on the Problem of Evil (Eleonore Stump).- Chapter 5. Some Problems with Miracles (Agnaldo Cuoco Portugal).- Part 3. Logical Philosophy of Religion.- Chapter 6. An even more Leibnizian version of Gödel's ontological argument (Kordula Swietorzecka).- Chapter 7. A Tractarian Resolution to the Ontological Argument (Erik Thomsen).- Chapter 8. Actuality and Necessity in Anselm's Argument: a Two-dimensional Approach (Victor Gorbatov).- Chapter 9. Some Thoughts on the Logical Aspects of the Problem of Evil (Ricardo Silvestre).- Chapter 10. The Logic of Trinity and the Filioque question in Thomas Aquinas: a Formal Approach (Fábio Bertato).- Chapter 11. Defining God's Properties in Morse-Kelley Set Theory (Ward Blondé).- Part 4. Computational Philosophy and Religion.- Chapter 12. Talmudic Norms Approach to the Paradox of the Heap: A Position Paper (E. David).- Chapter 13. A Case Study on Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument (David Fuenmayor).- Chapter 14. A Mechanically Assisted Examination of Begging the Question in Anselm's Ontological Argument (John Rushby).- Part 5. Paraconsistency and Religion.- Chapter 15. Is God Paraconsistent? (Newton da Costa).- Chapter 16. Contradictions and Rationality: An Analysis of two biblical Cases (Susana Gómez Gutiérrez).- Part 6. Logic, Language and Religion.- Chapter 17. Logic and Religion: The Essential Connection (Benjamin Murphy).- Chapter 18. From Logic in Islam to Islamic Logic (Musa Akrami).- Chapter 19. Thinking Negation in Early Hinduism and Classical Indian Philosophy (Purushottama Bilimoria).