A number of contemporary philosophers have suggested that the recent revival of interest in panpsychism within philosophy of mind could reinvigorate a pantheistic philosophy of religion. This project explores whether the combination and individuation problems, which have dominated recent scholarship within panpsychism, can aid the pantheist’s articulation of a God/universe unity. Constitutive holistic panpsychism is seen to be the only type of panpsychism suited to aid pantheism in articulating this type of unity. There are currently no well-developed solutions to the (...) individuation problem for this type of panpsychism. Moreover, the gestures towards a solution appear costly to the religious significance of pantheism. This article concludes that any hope that contemporary panpsychism might aid pantheists in articulating unity is premature and possibly misplaced. (shrink)

Panpsychism is the view, found in ancient and modern, Eastern and Western philosophies, that mind is a fundamental and ubiquitous feature of the universe. This article explores the use of panpsychism to support different views of God. It is seen that as a family of views, panpsychism is a theologically flexible position that has been used to support atheism, pantheism, panentheism, and traditional monotheism. However, the relationship between panpsychism and philosophy of religion is not infinitely flexible. Different versions of panpsychism (...) constrain these models of God, and vice versa. The different motivations for linking panpsychism to (dis)belief in God reveals the range of ways of interpreting the spiritual import of positing mentality in nature. (shrink)

This article is an analysis and critique of emergent theologies, focusing on areas of Christology and pneumatology. An increasing number of Christian theologians are integrating emergence theory into their work. I argue that, despite the range of theological commitments and methodological approaches represented by these scholars, each faces similar problematic tendencies when their Christian doctrines are combined with emergence theory. It is concluded that the basic logic of emergence theory, whereby matter is seen to precede mind, makes it difficult for (...) emergent theologies to offer an account of salvation, avoid significant issues regarding God's involvement with evil, and maintain divine transcendence. It is concluded, therefore, that Christian theology should look elsewhere for a complementary metaphysical framework with which to bridge scientific and theological discourse. (shrink)

The concept of ‘neurodiversity’ to speak of conditions such as autism, dyslexia, and others as differences, not disorders or pathologies, relies on a robust account of human flourishing that can incorporate these conditions. Conceptions of illness and well-being are always partially theological, whilst also having to be grounded in the empirical realities of the present time. Therefore, positive developmental psychology is a particularly apt field for developing a theology-informed psychology. This article argues that recent work in theology-engaged psychology of thriving, (...) as opposed to subjective flourishing, is the best approach to securing a vision of well-being for neurodiverse persons. (shrink)

The recent interest in exploring whether authoritative figures of the Reformed tradition employed a concept of theōsis or deification in their soteriology continues to grow. However, it is yet unclear how the supposed implicit Reformed doctrine of deification relates to the more explicit concept of the indwelling of the Holy Spirit. Moreover, many of the arguments for theōsis in the theology of John Calvin, Jonathan Edwards, or T. F. Torrance seem to rely on confusing these two soteriological concepts. This makes (...) it almost impossible to assess if it is theōsis or the indwelling of the Holy Spirit (or some interesting combination) that is being appealed to in Reformed thinking. This paper makes a step towards unpicking the knot between the indwelling of the Holy Spirit and theōsis in Reformed theology by offering five possible ways to demarcate these two concepts. It is concluded that the final ‘Mereological Demarcation’ is currently the most acceptable. (shrink)

In this response to David Bradnick's and Bradford McCall's defense of Amos Yong's usage of emergence theory, we defend our previous argument regarding the tension between Yong's Pentecostal commitments and the philosophical entailments of emergence theory. We clarify and extend our previous concerns in three ways. First, we explore the difficulties of construing divine action naturalistically. Second, we clarify the problems of employing supervenience in theology. Third, we show why Bradnick's and McCall's advice to Yong to adopt weak emergence is (...) theologically costly. In conclusion, it is suggested that theologians within the science and religion dialogue should not fear, but recover, the language of supernaturalism and dualism. (shrink)

David Shoemaker has argued that autistic persons cannot be held accountable and are not members of the moral community. Arguing against this conclusion, this article both corrects the view of autism contained in Shoemaker’s paper and resituates his theory of accountability within a Christian virtue ethic based on the gift of friendship. The call to be accountable to God for one’s life contains within it the gift of God’s friendship and does not require the capacity for empathy or joint attention (...) as a prerequisite. Instead, the inclusion of autistic people within the moral community created by the call of God highlights that accountability is a grace given for the flourishing of all persons. (shrink)

As Oliver D. Crisp’s Analyzing Doctrine sets out the major moves of a future analytic systematic theology, this response worries about the lack of close attention to work of the Holy Spirit. It is argued that this generates an unhelpful tendency for key theological concepts to collapse into one another. First, the concepts of theosis, participation, union, conformity, and sanctification appear indistinguishable. Second, Crisp portrays monofocal attention to the union of incarnation, without equal concern for that additional complementary way that (...) humanity is united to God, namely, the indwelling of the Holy Spirit. (shrink)

Joanna Leidenhag’s research monograph Minding Creation: Theological Panpsychism and the Doctrine of Creation argues that theologians should seriously consider and perhaps even support panpsychism. In light of rekindled interest in panpsychism amongst philosophers of mind and a noteworthy minority of cognitive neuroscientists, which comes in the wake of physicalism’s faltering, Leidenhag’s thesis is timely. This work briefly analyzes some key aspects of Minding Creation.

A number of theologians engaged in the theology and science dialogue—particularly Pentecostal theologian Amos Yong—employ emergence as a framework to discuss special divine action as well as causation initiated by other spiritual realities, such as angels and demons. Mikael and Joanna Leidenhag, however, have issued concerns about its application. They argue that Yong employs supernaturalistic themes with implications that render the concept of emergence obsolete. Further, they claim that Yong's use of emergence theory is inconsistent because he highlights (...) the ontological independence of various spirits in the world concurrently with his advocation of supervenience theory. In view of these concerns, Leidenhag and Leidenhag urge Yong to depart from his application of emergence theory. In what follows, we plan to address each of these criticisms and demonstrate that they are tenuous, if not unwarranted, especially in light of a kenotic-relational pneumatology. (shrink)

In this essay, I reply to the comments of Joanna Leidenhag and Nick Trakakis on my book Religion After Science: The Cultural Consequences of Religious Immaturity.

In this essay I respond to my interlocutors in the symposium on my monograph, Analyzing Doctrine. Addressing each of them in the order in which their essays are printed, I consider and reply to comments by William Lane Craig, Steven Nemes, N. Gray Sutanto, Jordan Wessling and Joanna Leidenhag.

The article starts by offering a definition of fake kindness focused on the dissociation between the behavioural components of kindness and the intent to sincerely pay some heed to the needs of others. Using the sociological theory of Pierre Bourdieu, this definition is then used to articulate how fake kindness can be conceptualized as a specific form of symbolic violence. Such a view allows explanations as to how and why the prevalence and effectiveness of fake kindness vary according to microsociological (...) norms and values. The generic definition and conceptualization of fake kindness as a form of symbolic violence are then used to discuss how nursing’s enthrallment with the concept of caring and its operationalization as a moral compass likely fosters the growth of fake kindness within the profession. In this view, the institutional enforcement of propriety and well-behaved professionalism is more likely to lead to toxic environments than to healthy workplaces. We hope that being able to understand how professional norms and institutional rules are sometimes turned into social tools to enforce obedience and existing hierarchies can empower victims of those phenomena to resist them more effectively. It might also contribute to increasing the awareness of well-meaning nurses or people in position of authority who have been socialized in environments where fake kindness is normalized. (shrink)

This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a first-order set theory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions on the topos, a forcing-style interpretation of the language of first-order set theory in the topos is given, which conservatively extends the internal logic of the topos. This forcing interpretation applies to an arbitrary elementary topos, since any such is equivalent to (...) one carrying a dssi. We prove that the set theory BIST+Coll is sound and complete relative to forcing interpretations in toposes with natural numbers object . Furthermore, in the case that the structural system of inclusions is superdirected, the full Separation schema is modelled. We show that all cocomplete and realizability toposes can be endowed with such superdirected systems of inclusions.A large part of the paper is devoted to an alternative notion of category-theoretic model for BIST, which, following the general approach of Joyal and Moerdijkʼs Algebraic Set Theory, axiomatizes the structure possessed by categories of classes compatible with BIST. We prove soundness and completeness results for BIST relative to the class-category semantics. Furthermore, BIST+Coll is complete relative to the restricted collection of categories of classes given by categories of ideals over elementary toposes with nno and dssi. It is via this result that the completeness of the original forcing interpretation is obtained, since the internal logic of categories of ideals coincides with the forcing interpretation. (shrink)

We present a relational proof system in the style of dual tableaux for a multimodal propositional logic for order of magnitude qualitative reasoning to deal with relations of negligibility, non-closeness, and distance. This logic enables us to introduce the operation of qualitative sum for some classes of numbers. A relational formalization of the modal logic in question is introduced in this paper, i.e., we show how to construct a relational logic associated with the logic for order-of-magnitude reasoning and its dual (...) tableau system which is a validity checker for the modal logic. For that purpose, we define a validity preserving translation of the modal language into relational language. Then we prove that the system is sound and complete with respect to the relational logic defined as well as with respect to the logic for order of magnitude reasoning. Finally, we show that in fact relational dual tableau does more. It can be used for performing the four major reasoning tasks: verification of validity, proving entailment of a formula from a finite set of formulas, model checking, and verification of satisfaction of a formula in a finite model by a given object. (shrink)

The non-Fregean logic SCI is obtained from the classical sentential calculus by adding a new identity connective = and axioms which say ?a = ß' means ?a is identical to ß'. We present complete and sound proof system for SCI in the style of Rasiowa-Sikorski. It provides a natural deduction-style method of reasoning for the non-Fregean sentential logic SCI.

Drawing on findings from the study of prejudice and prejudice reduction, we identify a number of mechanisms through which religious communities may influence the intergroup attitudes of their members. We hypothesize that religious participation could in principle either reduce or promote prejudice with respect to any given target group. A religious community’s influence on intergroup attitudes will depend upon the specific beliefs, attitudes, and practices found within the community, as well as on interactions between the religious community and the larger (...) social environment in which it is embedded. Basing our proposals on findings from the literature on prejudice formation and prejudice reduction allows us to outline useful directions for future studies of religion and prejudice. (shrink)

Przekład na podstawie: „Which Naturalism?”, New Blackfriars 2022: 1–16, DOI: https://doi.org/ 10.1111/nbfr.12765. Przekład za zgodą Autora. Program „naturalizacji” bywa we współczesnej laickiej filozofii przedstawiany w opozycji do tradycyjnego teizmu. Biorąc jednak pod uwagę historię terminów „natura” i „naturalny”, widać brak ciągłości między tym, jak owe terminy są rozumiane obecnie, a jak rozumiano je w przeszłości. Nowożytny „naturalista”, który domaga się, by wszystkie zjawiska umieścić w dziedzinie tego, co naturalne, stawia tezę, którą wielu klasycznych, średniowiecznych i wczesnonowożytnych filozofów i teologów uznałoby (...) za dość samooczywistą. Zmiana, która tu zaszła, nie polega na decyzji, by do dziedziny naturalnej włączyć to, co poprzednio było z niej wykluczone, lecz na zupełnie innym rozumieniu tejże dziedziny. W artykule argumentuję, że filozoficznie ciekawe jest nie tyle pytanie, czy powinniśmy być naturalistami, ile pytanie, który z dwóch naturalizmów należy przyjąć: świecki naturalizm, z jego neutralistyczną koncepcją natury w ogóle i ludzkiej natury w szczególności, czy teistyczny naturalizm, wedle którego świat naturalny i nasza własna natura noszą znamię boskości. Okazuje się, że ujęcie sekularystyczne musi zmierzyć się z poważnymi wyzwaniami epistemicznymi i moralnymi. (shrink)

We show that there are continuum many different non-Fregean sentential logics that have adequate models. The proof is based on the construction of a special class of models of the power of the continuum.

Interval temporal logics provide both an insight into a nature of time and a framework for temporal reasoning in various areas of computer science. In this paper we present sound and complete relational proof systems in the style of dual tableaux for relational logics associated with modal logics of temporal intervals and we prove that the systems enable us to verify validity and entailment of these temporal logics. We show how to incorporate in the systems various relations between intervals and/or (...) various time orderings. (shrink)

We study a new formal logic LD introduced by Prof. Grzegorczyk. The logic is based on so-called descriptive equivalence, corresponding to the idea of shared meaning rather than shared truth value. We construct a semantics for LD based on a new type of algebras and prove its soundness and completeness. We further show several examples of classical laws that hold for LD as well as laws that fail. Finally, we list a number of open problems. -/- .

We present a dual tableau system, RLK, which is itself a deterministic decision procedure verifying validity of K-formulas. The system is constructed in the framework of the original methodology of relational proof systems, determined only by axioms and inference rules, without any external techniques. Furthermore, we describe an implementation of the system RLK in Prolog, and we show some of its advantages.

Qualitative description of the movement of objects can be very important when there are large quantity of data or incomplete information, such as in positioning technologies and movement of robots. We present a first step in the combination of fuzzy qualitative reasoning and quantitative data obtained by human interaction and external devices as GPS, in order to update and correct the qualitative information. We consider a Propositional Dynamic Logic which deals with qualitative velocity and enables us to represent some reasoning (...) tasks about qualitative properties. The use of logic provides a general framework which improves the capacity of reasoning. In this way, we can infer additional information by using axioms and the logic apparatus. In this paper we present sound and complete relational dual tableau that can be used for verification of validity of formulas of the logic in question. (shrink)

The introductioń to Ethics in Progress Special Issue, Vol. 7, No. 2 isgiven, with brief exposes on the articles present in the section.

We introduce an Automatic Theorem Prover (ATP) of a dual tableau system for a relational logic for order of magnitude qualitative reasoning, which allows us to deal with relations such as negligibility, non-closeness and distance. Dual tableau systems are validity checkers that can serve as a tool for verification of a variety of tasks in order of magnitude reasoning, such as the use of qualitative sum of some classes of numbers. In the design of our ATP, we have introduced some (...) heuristics, such as the so called phantom variables, which improve the efficiency of the selection of variables used un the proof. (shrink)

A new deduction system for deciding validity for the minimal decidable normal modal logic K is presented in this article. Modal logics could be very helpful in modelling dynamic and reactive systems such as bio-inspired systems and process algebras. In fact, recently the Connectionist Modal Logics has been presented, which combines the strengths of modal logics and neural networks. Thus, modal logic K is the basis for these approaches. Soundness, completeness and the fact that the system itself is a decision (...) procedure are proved in this article. The main advantages of this approach are: first, the system is deterministic, i.e. it generates one proof tree for a given formula; second, the system is a validity-checker, hence it generates a proof of a formula ; and third, the language of deduction and the language of a logic coincide. Some of these advantages are compared with other classical approaches. (shrink)

We present a relational proof system in the style of dual tableaux for the relational logic associated with a multimodal propositional logic for order of magnitude qualitative reasoning with a bidirectional relation of negligibility. We study soundness and completeness of the proof system and we show how it can be used for verification of validity of formulas of the logic.

Monoidal triangular norm logic MTL is the logic of left-continuous triangular norms. In the paper we present a relational formalization of the logic MTL and then we introduce relational dual tableau that can be used for verification of validity of MTL-formulas. We prove soundness and completeness of the system.

We present several classes of logics for reasoning with information stored in information systems. The logics enable us to cope with the phenomena of incompleteness of information and uncertainty of knowledge derived from such an information. Relational inference systems for these logics are developed in the style of dual tableaux.

Qualitative Reasoning (QR) is an area of research within Artificial Intelligence that automates reasoning and problem solving about the physical world. QR research aims to deal with representation and reasoning about continuous aspects of entities without the kind of precise quantitative information needed by conventional numerical analysis techniques. Order-of-magnitude Reasoning (OMR) is an approach in QR concerned with the analysis of physical systems in terms of relative magnitudes. In this paper we consider the logic OMR_N for order-of-magnitude reasoning with the (...) bidirectional negligibility relation. It is a multi-modal logic given by a Hilbert-style axiomatization that reflects properties and interactions of two basic accessibility relations (strict linear order and bidirectional negligibility). Although the logic was studied in many papers, nothing was known about its decidability. In the paper we prove decidability of OMR N by showing that the logic has the strong finite model property. (shrink)

Logics of binary relations corresponding, among others, to the class RRA of representable relation algebras and the class FRA of full relation algebras are presented together with the proof systems in the style of dual tableaux. Next, the logics are extended with relational constants interpreted as point relations. Applications of these logics to reasoning in non-classical logics are recalled. An example is given of a dual tableau proof of an equation which is RRA-valid, while not RA-valid.

Logics of binary relations corresponding, among others, to the class RRA of representable relation algebras and the class FRA of full relation algebras are presented together with the proof systems in the style of dual tableaux. Next, the logics are extended with relational constants interpreted as point relations. Applications of these logics to reasoning in non-classical logics are recalled. An example is given of a dual tableau proof of an equation which is RRA-valid, while not RA-valid.

We present relational proof systems for the four groups of theories of spatial reasoning: contact relation algebras, Boolean algebras with a contact relation, lattice-based spatial theories, spatial theories based on a proximity relation.

It is known that various complexity-theoretical problems can be translated into some special spectra problems. Thus, questions about complexity classes are translated into questions about the expressive power of some languages. In this paper we investigate the spectra of some logics with Henkin quantifiers in the empty vocabulary.

This chapter examines the relevance of the cognitive science of morality to moral epistemology, with special focus on the issue of the reliability of moral judgments. It argues that the kind of empirical evidence of most importance to moral epistemology is at the psychological rather than neural level. The main theories and debates that have dominated the cognitive science of morality are reviewed with an eye to their epistemic significance.