Modal collapse arguments are all the rage in certain philosophical circles as of late. The purport to show that classical theism entails absurdly fatalistic conclusion everything exists necessarily. My first aim this paper is bold: put an end action-based modal against theism. To accomplish this, I articulate ‘Simple Collapse Argument’ and then characterize defend Tomaszewski’s criticism thereo...

To cope with the problems of technology scaling, a robust design has become desirable. Self-checking circuits combined with rollback or repair strategies can provide a low cost solution for many applications. However, standard synthesis procedures may violate design constraints or lead to sub-optimal designs. The SAT-based strategies for the verification and synthesis of selfchecking circuits p...

This Special Edition includes articles discussing the many alternatives to various forms of theism found among majority religious and some philosophical traditions [...]

Abstract According to classical theism, the universe depends on God in a way that goes beyond mere (efficient) causation. I have previously argued this ‘deep dependence’ of is best understood as type grounding. In recent paper journal, Aaron Segal argues doctrine deep dependence causes problems for creaturely free will: if our choices are grounded facts about God, and we no control over these f...

In Chapter 12 of Warrant and Proper Function, Alvin Plantinga constructs two arguments against evolutionary naturalism, which he construes as a conjunction E&N . The hypothesis E says that “human cognitive faculties arose by way of the mechanisms to which contemporary evolutionary thought directs our attention (p. 220).” With respect to proposition N , Plantinga (p. 270) says “it isn’t easy to ...

Because of regulation projects from control organizations such as the European solvency II reform and recent economic events, insurance companies need to consolidate their capital reserve with coherent amounts allocated to the whole company and to each line of business. The present study considers an insurance portfolio consisting of several lines of risk which are linked by a copula and aims t...