Biblical Paradox and Coinductive Reasoning
نویسنده
چکیده
The study of paradox has been one of the most neglected areas in contemporary biblical scholarship. One of the landmark examples is the Liar’s Paradox (Titus 1:12) with circular reasoning, along with the name of God (Exodus 3:14) and the identity of Jesus (John 14:10). Yet biblical paradox is one of the most ignored areas in biblical study for the latter half of the 20th century. The study of paradox in formal logic and philosophy has been pioneered by Russell in the early 20th century, followed by Tarski in Mathematics and Wittgenstein in Philosophy. The scholarly consensus and trend since Tarski has been to exclude circular reasoning from formal logic and to negate it as valid reasoning, to avoid a paradox occurring. The consequence of this mainstream decision has been somewhat devastating, especially in biblical scholarship. As a result, there was no basis of formal reasoning or logic to support any literary or logical construct of circularity, found in the biblical text. However, there has been a renewed interest due to the innovative approach and breakthrough in the study of circularity and paradox pioneered by Kripke since 1975. This paper presents this new perspective and paradigm of coinductive reasoning and its application to biblical texts. The new perspective and paradigm brings a renewed interest and excitement toward the study of biblical paradox with its linguistic construct, and its modal and nonmonotonic reasoning.
منابع مشابه
Circular Rhetoric and Logic of Paradox
In the early twentieth century, Russell pioneered the formal study of paradox in logic. Understanding the cause of the paradoxes, the proposed remedy was to avoid any circular logic or to treat any circular logic as invalid. Following this scholarly trend, the study of biblical paradox has been one of the most controversial and confusing areas in contemporary biblical scholarship for the latter...
متن کاملCentrum Voor Wiskunde En Informatica Reportrapport Behavioural Differential Equations: a Coinductive Calculus of Streams, Automata, and Power Series Behavioural Diierential Equations: a Coinductive Calculus of Streams, Automata, and Power Series
Streams, automata and languages, and formal power series are viewed coalgebraically. In summary , this amounts to supplying these sets with a deterministic automaton structure, which has the universal property of being nal. Finality then forms the basis for both deenitions and proofs by coinduction, the coalgebraic counterpart of induction. Coinductive deenitions take the shape of what we h a v...
متن کاملBehavioural Differential Equations: a Coinductive Calculus of Streams, Automata, and Power Series Behavioural Diierential Equations: a Coinductive Calculus of Streams, Automata, and Power Series
Streams, (automata and) languages, and formal power series are viewed coalgebraically. In summary , this amounts to supplying these sets with a deterministic automaton structure, which has the universal property of being nal. Finality then forms the basis for both deenitions and proofs by coinduction, the coalgebraic counterpart of induction. Coinductive deenitions take the shape of what we hav...
متن کاملInductive and Coinductive Session Types in Higher-Order Concurrent Programs
We develop a theory of inductive and coinductive session types in a computational interpretation of linear logic, enabling the representation of potentially infinite interactions in a compositionally sound way that preserves logical soundness, a major stepping stone towards a full dependent type theory for expressing and reasoning about session-based concurrent higher order distributed programs...
متن کاملCall-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
This paper extends the dual calculus with inductive types and coinductive types. The paper first introduces a non-deterministic dual calculus with inductive and coinductive types. Besides the same duality of the original dual calculus, it has the duality of inductive and coinductive types, that is, the duality of terms and coterms for inductive and coinductive types, and the duality of their re...
متن کامل