Skip to main content

Logic and Philosophy of Religion


This paper introduces a special issue on logic and philosophy of religion in this journal (Sophia). After discussing the role played by logic in the philosophy of religion along with classical developments, we present the basic motivation for this special issue accompanied by an exposition of its content.

This is a preview of subscription content, access via your institution.


  1. Pragmatic arguments such as Pascal’s wager, for example, also address the issue of the rationality of theism but without trying to reach the conclusion about God’s existence.

  2. We are here purposefully neglecting other fields of the philosophy of religion such as religion and science, religion and ethics, Wittgensteinian philosophy of religion, comparative philosophy of religion, and so on and so forth.

  3. Adams (1971), Barnes (1972), Oppenheimer and Zalta (1991), Klima (2000), and Sobel (2004) are examples of this.

  4. Sobel’s book (2004) could perhaps be one of the few exceptions to that, although he does not present the work of a field, but mostly his own versions of several famous arguments in the philosophy of religion.

  5. While Timothy Williamson (2017), for instance, mentions many paradigmatic instances of formalization in ethics, epistemology, and philosophy of language, no word is said about philosophy or religion. This pattern is repeated in the still small but growing literature on formalization in philosophy [see Hansson (2000), Van Benthem (2006), Horsten and Douven (2008), Horsten and Pettigrew (2011), and Williamson (2017), for example].

  6. See


  • Adams, R. (1971). The logical structure of Anselm’s arguments. The Philosophical Review, 80, 28–54.

    Article  Google Scholar 

  • Akrami, M. From logic in Islam to Islamic logic.: 61–83, 2017.

  • Archambaut, J. (2017). Monotonic and non-monotonic embeddings of Anselm’s proof. Logica Universalis, 11, 234–236.

    Google Scholar 

  • Barnes, J. (1972). The ontological argument. London: Macmillan.

    Book  Google Scholar 

  • Baziau, J-Y; Silvestre, R. (eds.) Special Issue on Logic and Religion. Logica Universalis, volume 11, Issue 1, 2017.

  • Benzmüller, C., Weber, L., & Paleo, B. W. (2017). Computer-assisted analysis of the Anderson–Hájek ontological controversy. Logica Universalis, 11, 53–54.

    Article  Google Scholar 

  • Beran, O. (2017). Misunderstanding the Talk(s) of the Divine: Theodicy in the Wittgensteinian Tradition. Sophia 56. doi:10.1007/s11841-017-0600-2.

  • Bilimoria, P. (2017). Thinking negation in early Hinduism and classical Indian philosophy. Logica Universalis, 11, 115–139.

    Article  Google Scholar 

  • Carnap, R. (1950). Logical foundations of probability. Chicago: University of Chicago Press.

    Google Scholar 

  • Clark, E. (2017). Thomas Aquinas on Logic, Being, and Power, and Contemporary Problems for Divine Omnipotence. Sophia 56. doi:10.1007/s11841-017-0604-y.

  • Desclés, J.-P. (2017). A logical analysis of the Anselm’s Unum argumentum (from Proslogion). Logica Universalis, 11, 115–148.

    Article  Google Scholar 

  • Hansson, S. (2000). Formalization in philosophy. The Bulletin of Symbolic Logic, 6, 162–175.

    Article  Google Scholar 

  • Horsten, L., & Douven, I. (2008). Formal methods in the philosophy of science. Studia Logica, 89, 151–162.

    Article  Google Scholar 

  • Horsten, L., & Pettigrew, R. (2011). Mathematical methods in philosophy. In L. Horsten (Ed.), The continuum companion to philosophical logic (pp. 14–26). London: Continuum Publishing.

    Google Scholar 

  • Klima, G. (2000). Saint Anselm’s proof: A problem of reference, intentional identity and mutual understanding. In G. Holmström-Hintikka (Ed.), Medieval philosophy and modern times (pp. 69–87). Dordrecht: Kluwer.

    Chapter  Google Scholar 

  • Lenzen, W. (2017). Leibniz’s ontological proof of the existence of god and the problem of impossible objects. Logica Universalis, 11, 85–104.

    Article  Google Scholar 

  • Molto, D. (2017). The Logical Problem of the Trinity and the Strong Theory of Relative Identity. Sophia 56. doi:10.1007/s11841-017-0612-y.

  • Oppenheimer, P., & Zalta, E. (1991). On the logic of the ontological argument. In J. Tomblin (Ed.), Philosophical perspectives 5: The philosophy of religion. Atascadero: Ridgview Press.

    Google Scholar 

  • Rodrigues, C. (2017). The vagueness of the muse—the logic of peirce’s humble argument for the reality of God. Sophia 56. doi:10.1007/s11841-017-0610-0.

  • Russell, B. (1914). Our knowledge of the external world. Chicago and London: The Open Court Publishing Company.

    Google Scholar 

  • Silvestre, R. (2017a). Karma theory, determinism, fatalism and freedom of will. Logica Universalis, 11, 35–60.

    Article  Google Scholar 

  • Silvestre, R. (2017b). On the concept of theodicy. Sophia 56. doi:10.1007/s11841-017-0609-6.

  • Sobel, J. (2004). Logic and theism. New York: Cambridge University Press.

    Google Scholar 

  • van Benthem, J. (2006). Logic in philosophy. In D. Jacquette (Ed.), Philosophy of logic (pp. 65–100). Amsterdam: North-Holland.

    Google Scholar 

  • Watson, J. (2017). The End of Eternity. Sophia 56. doi:10.1007/s11841-017-0590-0.

  • Williamson, T. (2017). Model-Building in Philosophy. In: Blackford, R. and Broderick, D. (eds.) Philosophy’s Future: The Problem of Philosophical Progress, Oxford: Wiley-Blackwell. doi:10.1002/9781119210115.

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Ricardo Sousa Silvestre.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Silvestre, R.S., Béziau, JY. Logic and Philosophy of Religion. SOPHIA 56, 139–145 (2017).

Download citation

  • Published:

  • Issue Date:

  • DOI:


  • Logic
  • Philosophy of religion
  • Arguments for and against the existence of God
  • Analysis of the religious concepts
  • World Congress on Logic and Religion