To counter a general belief that all the paradoxes stem from a kind of circularity (or involve some self--reference, or use a diagonal argument) Stephen Yablo designed a paradox in 1993 that seemingly avoided self--reference. We turn Yablo's paradox, the most challenging paradox in the recent years, into a genuine mathematical theorem in Linear Temporal Logic (LTL). Indeed, Yablo's paradox comes in several varieties; and he showed in 2004 that there are other versions that are equally paradoxical. Formalizing these versions (...) of Yablo's paradox, we prove some theorems in LTL. This is the first time that Yablo's paradox(es) become new(ly discovered) theorems in mathematics and logic. (shrink)

Der Islam vertritt als Offenbarungsreligion den Standpunkt der absoluten Einheit Gottes. Wie wird aber theologisch nach diesem Einen gefragt? Worin besteht die Unbedingtheit Gottes in Relation zum Bedingten? Und warum erschafft Gott überhaupt etwas? Die Systematik der genuin islamischen Theologie fordert in diesem Zusammenhang mit dem Glauben zu beginnen. Doch die Frage ist, wie der Glaube verfasst ist und wie seine Inhalte generiert sind. Was tun wir, wenn wir glauben? In welchem Verhältnis stehen der Verstand und der Glaube zueinander? Und (...) vor allem: Wie ist Offenbarung möglich? Der Koran als Offenbarung beansprucht nämlich Wahrheit; eine Wahrheit, die aber ästhetisch vermittelt ist. In welcher Relation stehen indes Wahrheit und Schönheit des Korans zueinander? Offenbarung ist stets Vermittlung; doch wie lassen sich Transzendenz und Existenz zusammendenken? Grundlegend also: Worin besteht der Standpunkt der systematisch-islamischen Theologie? Diesen und weiteren Fragen stellt sich die vorliegende Untersuchung. (shrink)

Religionen sind ästhetisch vermittelt. Nicht nur die religiöse Praxis, sondern der religiöse Habitus überhaupt vollzieht sich in ästhetischen Akten. In diesem Band wird dem komplexen Feld der ästhetischen Inszenierung des Religiösen multidisziplinär Rechnung getragen, und zwar mit besonderem Augenmerk auf filmisch-serielle Narration.

This volume offers interreligious and interdisciplinary insight into the cinematic-serial and literary narration of evil. Evil is an important motif in literature, film and series. We encounter it in the most diverse forms - be it the Joker from The Dark Knight, Goethe's Mephisto or in the Shiite theatre ritual of the Taʿziya. This volume attempts a closer exploration of what we know as evil, and yet find difficult to comprehend. In addition to Christian and Islamic perspectives, philosophical and mystical (...) considerations are also addressed. Evil, its aesthetic reception and the resulting perspectives on its reality are the focus of the multidisciplinary contributions. With contributions by Prof. Dr. Thomas Jürgasch, Prof. Dr. Ahmad Milad Karimi, Prof. Dr. Walter Lesch, Prof. Dr. Konrad Paul Liessmann, Dr. Maryam Palizban, Iyad Shraim and Prof. Dr. Reinhold Zwick. (shrink)

Temporal logic is of importance in theoretical computer science for its application in formal verification, to state requirements of hardware or software systems. Linear temporal logic is an appropriate logical environment to formalize Yablo’s paradox which is seemingly non-self-referential and basically has a sequential structure. We give a brief review of Yablo’s paradox and its various versions. Formalization of these paradoxes yields some theorems in Linear Temporal Logic (LTL) for which we give syntactic proofs using an appropriate axiomatization of LTL.

In this article, we try to study Clark Pinnock’s point of view in explaining the methodological foundations of the Open Theism Theory with a descriptive-analytical method so that we can have a fair critique of the strengths and weaknesses of this theory while also understanding it correctly. Pinnock can be considered one of the most important theorists and founders of Open Theism. In his view, Open Theism is one of the theological-philosophical theories that have emerged in the critique of the (...) teachings of traditional Christian theology and consider its claims to be logically and narratively contradictory. Pinnock believes that open theists sanctify God as acknowledged in the Bible and that some of the attributes of God in traditional theology should be revised and modified based on the text of the Bible. They believe that God is the God of the Bible; someone who is truly connected to the world, a relationship that requires the most mobility, not immobility. In this view, God is portrayed as a triune relationship-oriented truth, which seeks romantic relationships with human beings and thereby grants them true freedom. Finally, since open theists believe that theology should be understood by the people of the present age, a better explanation of theology depends on reliance on modern philosophy and its effects. In modern philosophy, method and methodology have become very important. In general, methodology is the knowledge that recognizes “how to go” and the fundamental methodology reveals the hidden principles of each theory and creates the basis for its basic critique. Of course, the purpose of this article is specifically to examine the “basics” of Pinnacle’s method, not his “method.” In fact, the report presented by his method is a platform for examining the basics. From the author’s point of view, most of the mistakes that have been made in traditional theology are also reflected in Open Theism; leading in another way! That is to say, most of the objections that Pinnock made to traditional theologians also apply to him. For example, why is it bad to be influenced by Greek philosophy, but Open Theism’s claims can be influenced by modern philosophy? Do ancient philosophy and modern philosophy have precise and acceptable boundaries at all? On what basis do open theists claim that modern philosophy is more acceptable to modern people than ancient philosophy? Can mere simultaneity justify it? If we take as a basis the claim of open theists – that every thought comes “from somewhere” and that no thought is pristine – the encounter of open theists with the text of the Bible is also done with the presuppositions of modern philosophy, and their pivotal mindset has influenced their understanding of the Bible. How can one be sure that the path taken by theology is more correct than the path taken by its predecessors? Since a better understanding of each theory is gained by reflecting on its foundations, in this article we intend to examine the methodological foundations of Open Theism by looking at the book Most Moved Mover. In general, from Pinnock’s point of view, the method of open theism can be based on the three main bases of the critical study of the interpretation of traditional theologians, return to the Bible and overcoming Hellenism, and attention to modern philosophy, which we will describe and critique. (shrink)