Types, Tableaus, and Gödel’s God


Book Description

Gödel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given. Then modal machinery is added to produce a modified version of Montague/Gallin intensional logic. Finally, various ontological proofs for the existence of God are discussed informally, and the Gödel argument is fully formalized. Parts of the book are mathematical, parts philosophical.




Types, Tableaus, and Gödel’s God


Book Description

Gödel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given. Then modal machinery is added to produce a modified version of Montague/Gallin intensional logic. Finally, various ontological proofs for the existence of God are discussed informally, and the Gödel argument is fully formalized. Parts of the book are mathematical, parts philosophical.




Decision Making Under Uncertainty and Constraints


Book Description

This book shows, on numerous examples, how to make decisions in realistic situations when we have both uncertainty and constraints. In most these situations, the book's emphasis is on the why-question, i.e., on a theoretical explanation for empirical formulas and techniques. Such explanations are important: they help understand why these techniques work well in some cases and not so well in others, and thus, help practitioners decide whether a technique is appropriate for a given situation. Example of applications described in the book ranges from science (biosciences, geosciences, and physics) to electrical and civil engineering, education, psychology and decision making, and religion—and, of course, include computer science, AI (in particular, eXplainable AI), and machine learning. The book can be recommended to researchers and students in these application areas. Many of the examples use general techniques that can be used in other application areas as well, so it is also useful for practitioners and researchers in other areas who are looking for possible theoretical explanations of empirical formulas and techniques.




Quo Vadis, Metaphysics?


Book Description

The old philosophical discipline of metaphysics – after having been pronounced dead by many – has enjoyed a significant revival within the last thirty years, due to the application of the methods of analytic philosophy. One of the major contributors to this revival is the outstanding American metaphysician Peter van Inwagen. This volume brings together twenty-two scholars, who, in commemoration of Prof. van Inwagen's 75th birthday, ponder the future prospects of metaphysics in all the richness to which it has now returned. It is only natural that logical and epistemological reflections on the significance of metaphysics – sometimes called “meta-metaphysics” – play a considerable role in most of these papers. The volume is further enriched by an interview with Peter van Inwagen himself.




Reformed Epistemology and the Problem of Religious Diversity


Book Description

In contemporary philosophy of religion, there has been heated debate about whether the diversity of mutually exclusive religious beliefs is a good reason to give up any form of religious exclusivism -Christian exclusivism for instance. On one hand, Christian exclusivists defend the truth of Christian beliefs; on the other hand the opponents of Christian belief base their criticism upon religious diversity and disagreement. Kim defends Christian belief and Alvin Plantinga's version of Reformed Epistemology.




Harmonia Philosophica


Book Description

The goal of this book is to show that dogmatism, under any form, is wrong. And even though dogmatism had for a long time been associated with religion, things have drastically changed in the last centuries. Nowadays science has replaced religion in the throne of doctrinaire thinking and the poison of materialism has dominated human intellect to a great extend. In this work one can read how separate opinions on crucial philosophical matters can be merged into one single "truth", if such thing even exists. The point of every chapter is to illustrate that one-way thinking is never correct – most of the times a combination of science and religion, measurements and theoretical thinking, logic and intuition, is required to draw a conclusion.




Beyond Babel: Religion and Linguistic Pluralism


Book Description

This volume is the first attempt to investigate explicitly how the multiplicity of religions and forms of spirituality interconnect with the pluralism of languages, including scientific codes, formal languages, and artistic expressions. In a journey “beyond Babel”, the volume explores how religious and linguistic pluralisms enter into polyphonic relations, how they co-evolve and grow together, and why they clash. This text provides the setting for a dialogue on a rich variety of religious languages and traditions, including Hinduism, Judaism, Islam, Jainism, and Christianity. The chapters explore how these traditions can venture into new interreligious paths, how sacred meanings translate into vernacular speeches, how religious identities and scientific notions interacts, what role emotional expressions play in interfaith encounters, and the impact of Artificial Intelligence on beliefs. The book is authored by esteemed senior scholars, established researchers, and exceptional junior doctorate holders whose expertise spans across religious studies, the history of science, philosophy, fine arts, theology, linguistics, computer science, and legal studies. This volume contributes to interfaith studies and teaching, to sociology and philosophy of religion, and to the history and anthropology of religion and the sacred arts. It is intended to reach students, researchers, instructors, and professionals alike.




KI 2017: Advances in Artificial Intelligence


Book Description

This book constitutes the refereed proceedings of the 40th Annual German Conference on Artificial Intelligence, KI 2017 held in Dortmund, Germany in September 2017. The 20 revised full technical papers presented together with 16 short technical communications were carefully reviewed and selected from 73 submissions. The conference cover a range of topics from, e. g., agents, robotics, cognitive sciences, machine learning, planning, knowledge representation, reasoning, and ontologies, with numerous applications in areas like social media, psychology, transportation systems and reflecting the richness and diversity of their field.




Space, Time and the Limits of Human Understanding


Book Description

In this compendium of essays, some of the world’s leading thinkers discuss their conceptions of space and time, as viewed through the lens of their own discipline. With an epilogue on the limits of human understanding, this volume hosts contributions from six or more diverse fields. It presumes only rudimentary background knowledge on the part of the reader. Time and again, through the prism of intellect, humans have tried to diffract reality into various distinct, yet seamless, atomic, yet holistic, independent, yet interrelated disciplines and have attempted to study it contextually. Philosophers debate the paradoxes, or engage in meditations, dialogues and reflections on the content and nature of space and time. Physicists, too, have been trying to mold space and time to fit their notions concerning micro- and macro-worlds. Mathematicians focus on the abstract aspects of space, time and measurement. While cognitive scientists ponder over the perceptual and experiential facets of our consciousness of space and time, computer scientists theoretically and practically try to optimize the space-time complexities in storing and retrieving data/information. The list is never-ending. Linguists, logicians, artists, evolutionary biologists, geographers etc., all are trying to weave a web of understanding around the same duo. However, our endeavour into a world of such endless imagination is restrained by intellectual dilemmas such as: Can humans comprehend everything? Are there any limits? Can finite thought fathom infinity? We have sought far and wide among the best minds to furnish articles that provide an overview of the above topics. We hope that, through this journey, a symphony of patterns and tapestry of intuitions will emerge, providing the reader with insights into the questions: What is Space? What is Time? Chapter [15] of this book is available open access under a CC BY 4.0 license.




Formal Methods: Foundations and Applications


Book Description

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. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages. The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.