South American Journal of Logic 5 (1):49-80 (2019)

Gesiel da Silva
University of Missouri, Columbia
Fábio Bertato
Unicamp (PhD)
Edward Nieznanski developed in 2007 and 2008 two different systems in formal logic which deal with the problem of evil. Particularly, his aim is to refute a version of the logical problem of evil associated with a form of religious determinism. In this paper, we revisit his first system to give a more suitable form to it, reformulating it in first-order modal logic. The new resulting system, called N1, has much of the original basic structure, and many axioms, definitions, and theorems still remain; however, some new results are obtained. If the conclusions attained are correct and true, then N1 solves the problem of evil through the refutation of a version of religious determinism, showing that the attributes of God in Classical Theism, namely, those of omniscience, omnipotence, infallibility, and omnibenevolence, when adequately formalized, are consistent with the existence of evil in the world. We consider that N1 is a good example of how formal systems can be applied in solving interesting philosophical issues, particularly in Philosophy of Religion and Analytic Theology, establishing bridges between such disciplines
Keywords Logical Problem of Evil  theodicy  formal theodicy  first-order modal logic  determinism  religious determinism
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Philosophy of Evil.Lars Fr H. Svendsen - 2010 - Dalkey Archive Press.
Counterpart and Appreciation Theodicies.Justin P. Mcbrayer - 2013 - In Justin McBrayer & Daniel Howard-Snyder (eds.), The Blackwell Companion to the Problem of Evil. Wiley-Blackwell. pp. 192--204.
The Evil-God Challenge: Extended and Defended.John M. Collins - 2019 - Religious Studies 55 (1):85-109.
Some Thoughts on the Logical Aspects of the Problem of Evil.Ricardo Sousa Silvestre - 2020 - In Ricardo Sousa Silvestre, Benedikt Paul Göcke, Jean-Yves Beziau & Purushottama Bilimoria (eds.), Beyond Faith and Rationality: Essays on Logic, Religion and Philosophy. Berlin, Germany: Springer. pp. 121-135.
Does Hard Determinism Render the Problem of Evil Even Harder?Nick Trakakis - 2006 - Ars Disputandi: The Online Journal for Philosophy of Religion 6 (6):1-1.
The Discussion of Evil in Christianity.Subhasis Chattopadhyay - 2013 - Prabuddha Bharata or Awakened India 118 (9):540-542.


Added to PP index

Total views
100 ( #106,493 of 2,445,373 )

Recent downloads (6 months)
29 ( #25,779 of 2,445,373 )

How can I increase my downloads?


My notes