We present a criterion for the use of thought experiments as a guide to possibilia that bear on important arguments in philosophy of religion. We propose that the more successful thought experiments are closer to the world in terms of phenomenological realism and the values they are intended to track. This proposal is filled out by comparing thought experiments of life after death by Peter van Inwagen and Dean Zimmerman with an idealist thought experiment. In terms of realism and values (...) we contrast an exemplary thought experiment by Iris Murdoch with one we find problematic by William Irwin. (shrink)

This piece raises a new challenge for Christian materialist accounts of human persons. Revisiting one of the perennial challenges for Christian materialism, explaining the metaphysical compatibility of resurrection and the life everlasting with materialist metaphysics, I argue that resuscitation phenomena reported in scripture undermine van Inwagen’s and Zimmerman’s attempts to reconcile resurrection and materialism. Although this challenge to Christian materialism is not insurmountable, it provides good reason to reject several of the most serious Christian materialist projects and offers a reason (...) for Christians to consider alternatives to materialism. (shrink)

The present article delves into the extension of Knuth’s fundamental Boolean logic table to accommodate the complexities of indeterminate truth values through the integration of neutrosophic logic (Smarandache & Christianto, 2008). Neutrosophic logic, rooted in Florentin Smarandache’s groundbreaking work on Neutrosophic Logic (cf. Smarandache, 2005, and his other works), introduces an additional truth value, ‘indeterminate,’ enabling a more comprehensive framework to analyze uncertainties inherent in computational systems. By bridging the gap between traditional boolean operations and the indeterminacy present in (...) various real-world scenarios, this extension redefines logic tables, introducing neutrosophic operators that capture nuances beyond the binary realm. Through a thorough exploration of neutrosophic logic's principles and its implications in computational paradigms, this study proposes a novel approach to logic design that accommodates uncertain, imprecise, and incomplete information. This paradigm shift in logic tables not only broadens the spectrum of computing methodologies but also holds promise in fields such as decision-making systems and data analytics. This article amalgamates insights from over twelve key references encompassing seminal works in boolean logic, neutrosophic logic, and their applications in diverse scientific and computational domains, aiming to pave the way for a more robust and adaptable logic framework in computation. (shrink)

One shortcoming of the chain rule is that it does not iterate: it gives the derivative of f(g(x)), but not (directly) the second or higher-order derivatives. We present iterated differentials and a version of the multivariable chain rule which iterates to any desired level of derivative. We first present this material informally, and later discuss how to make it rigorous (a discussion which touches on formal foundations of calculus). We also suggest a finite calculus chain rule (contrary to Graham, (...) class='Hi'>Knuth and Patashnik's claim that "there's no corresponding chain rule of finite calculus"). (shrink)