Sceptical theists--e.g., William Alston and Michael Bergmann--have claimed that considerations concerning human cognitive limitations are alone sufficient to undermine evidential arguments from evil. We argue that, if the considerations deployed by sceptical theists are sufficient to undermine evidential arguments from evil, then those considerations are also sufficient to undermine inferences that play a crucial role in ordinary moral reasoning. If cogent, our argument suffices to discredit sceptical theist responses to evidential arguments from evil.

The Unified Foundational Ontology (UFO) was developed over the last two decades by consistently putting together theories from areas such as formal ontology in philosophy, cognitive science, linguistics, and philosophical logics. It comprises a number of micro-theories addressing fundamental conceptual modeling notions, including entity types and relationship types. The aim of this paper is to summarize the current state of UFO, presenting a formalization of the ontology, along with the analysis of a number of cases to illustrate the application of (...) UFO and facilitate its comparison with other foundational ontologies in this special issue. (The cases originate from the First FOUST Workshop – the Foundational Stance, an international forum dedicated to Foundational Ontology research.). (shrink)

The paper aims to show that, if S5 is the logic of metaphysical necessity, then no state of affairs in any possible world constitutes any non-trivial evidence for or against the existence of the traditional God. There might well be states of affairs in some worlds describing extraordinary goods and extraordinary evils, but it is false that these states of affairs constitute any (non-trivial) evidence for or against the existence of God. The epistemological and metaphysical consequences for philosophical theology of (...) assuming that S4 or Kσρ is the logic of metaphysical necessity are equally untenable. S4 guarantees that God does not exist if there is the slightest evidence against the existence of God. And Kσρ guarantees that God might survive the loss or acquisition of any essential property at all. (shrink)

The minimal God exemplifies essential omnipotence, omniscience, and moral perfection, but none of the other properties of the traditional God. I examine the consequences of the minimal God in augmented S5, S4, and Kρσ. The metaphysical consequences for the minimal God in S5 include the impossibility that God—or any other object—might acquire, lose, or exchange an essential property. It is impossible that an essentially divine being might become essentially human, for instance. The epistemological consequences include the impossibility of agnosticism—it is (...) impossible that P(◻︎FG |E) = P(~◻︎FG| E). Indeed, every weaker forms of agnosticism are also impossible—it is impossible that P(◻︎FG |E) = n, n(0 < n < 1). The metaphysical and epistemological consequences for the minimal God in S4 are equally untenable. I show that we can avoid all of these unwelcome epistemological consequences for the minimal God in Kρσ. But Kρσ has some extraordinary metaphysical consequences for the minimal God. All of the problems for the minimal God generalize to the maximal God. (shrink)

In Sections 1–7, I provide a detailed description of some of the advantages of theistic modal realism. The aim is to show specifically how theistic modal realism solves many of the intractable problems of philosophical theology. A detailed description of all of the advantages would require a much longer treatment. The aim is to give a good sense of the theoretical benefits that theistic modal realism affords traditional theists. I offer some concluding remarks in Section 8.

The main aim in the forthcoming discussion is to contrast theistic modal realism and theistic actualist realism. Actualist realism is the dominant view among theists and presents the most serious challenge to theistic modal realism. I discuss various prominent forms of theistic actualist realism. I offer reasons for rejecting the view of metaphysical reality that actualist realism affords. I discuss theistic modal realism and show that the traditional conception of God is perfectly consistent with the metaphysics of genuine modal realism. (...) Indeed theistic modal realism is more suited to traditional theism than is any version of actualist realism. (shrink)

The standard position on moral perfection and gratuitous evil makes the prevention of gratuitous evil a necessary condition on moral perfection. I argue that, on any analysis of gratuitous evil we choose, the standard position on moral perfection and gratuitous evil is false. It is metaphysically impossible to prevent every gratuitously evil state of affairs in every possible world. No matter what God does—no matter how many gratuitously evil states of affairs God prevents—it is necessarily true that God coexists with (...) gratuitous evil in some world or other. Since gratuitous evil cannot be eliminated from metaphysical space, the existence of gratuitous evil presents no objection to essentially omnipotent, essentially omniscient, essentially morally perfect, and necessarily existing beings. (shrink)

Enterprise Risk Management and security have become a fundamental part of Enterprise Architecture, so several frameworks and modeling languages have been designed to support the activities associated with these areas. Archi- Mate’s Risk and Security Overlay is one of such proposals, endorsed by The Open Group. We investigate the capabilities of the proposed security-related con- structs in ArchiMate with regard to the necessities of enterprise security modeling. Our analysis relies on a well-founded reference ontology of security to uncover ambiguity, missing (...) modeling elements, and other deficiencies of the security mod- eling capabilities in ArchiMate. Based on this ontologically-founded analysis, we propose a redesign of security aspects of ArchiMate to overcome its original limitations. (shrink)

Perhaps the greatest impediment to a viable libertarianism is the provision of a satisfactory explanation of how actions that are undetermined by an agent's character can still be under the control of, or ‘up to’, the agent. The ‘luck problem’ has been most assiduously examined by Robert Kane who supplies a detailed account of how this problem can be resolved. Although Kane's theory is innovative, insightful, and more resourceful than most of his critics believe, it ultimately cannot account for the (...) type of control that moral responsibility and (ultimate) agency legitimately require. (shrink)

I provide the account of divine creation found in multiverse theorists Donald Turner, Klaas Kraay, and Tim O’Connor. I show that the accounts Kraay and Turner offer are incoherent. God does not survey all possible worlds and necessarily actualize those universes in the (on balance) good worlds or the worthy worlds. If God necessarily actualizes the multiverse, we have no idea which universes are parts of that multiverse. I show next that Tim O’Connor’s multiverse account of creation is also incoherent. (...) I argue that a preferable multiverse would include a much greater variety of universes than are included in Turner, Kraay or O’Connor. In the last section I offer some concluding remarks. (shrink)

Enterprise Risk Management involves the process of identification, evaluation, treatment, and communication regarding risks throughout the enterprise. To support the tasks associated with this process, several frameworks and modeling languages have been proposed, such as the Risk and Security Overlay (RSO) of ArchiMate. An ontological investigation of this artifact would reveal its adequacy, capabilities, and limitations w.r.t. the domain of risk and security. Based on that, a language redesign can be proposed as a refinement. Such analysis and redesign have been (...) executed for the risk elements of the RSO grounded in the Common Ontology of Value and Risk. The next step along this line of research is to address the following research problems: What would be the outcome of an ontological analysis of security-related elements of the RSO? That is, can we identify other semantic deficiencies in the RSO through an ontological analysis? Once such an analysis is provided, can we redesign the security elements of the RSO accordingly, in order to produce an improved artifact? Here, with the aid of the Reference Ontology for Security Engineering (ROSE) and the ontological theory of prevention behind it, we address the remaining gap by proceeding with an ontological analysis of the security-related constructs of the RSO. The outcome of this assessment is an ontology-based redesign of the ArchiMate language regarding security modeling. In a nutshell, we report the following contributions: (1) an ontological analysis of the RSO that identifies six limitations concerning security modeling; (2) because of the key role of the notion of prevention in security modeling, the introduction of the ontological theory of prevention in ArchiMate; (3) a well-founded redesign of security elements of ArchiMate; and (4) ontology-based security modeling patterns that are logical consequences of our proposal of redesign due to its underlying ontology of security. As a form of evaluation, we show that our proposal can describe risk treatment options, according to ISO 31000. Finally, besides presenting multiple examples, we proceed with a real-world illustrative application taken from the cybersecurity domain. (shrink)

Discussions of divine simplicity generally overlook the distinction between identity claims that are reductivist and identity claims that are eliminativist. If, for instance, the identity claim that 'the chair = a configuration of particles' is merely reductive, then there exist chairs and there exist configurations of particles and it turns out that they are identical. The identity in this case does not reduce the ontological complexity of the world. But if the identity claim is eliminativist, then it is true again (...) that chairs are configurations of particles, but chairs do not in fact exist. The illusory object that we call a chair turns out to be nothing over and above a configuration of physical particles. The chair reduces to the configuration of particles without remainder. The defense of divine simplicity in this paper argues that it is in this eliminativist sense that God's intrinsic properties are identical to God. (shrink)

It is commonly believed that intrinsically bad possible worlds are inconsistent with the perfect goodness of God. A perfectly good being could not exist in possible worlds that are intrinsically bad. Indeed it is widely believed that possible worlds that are insufficiently good are inconsistent with a perfectly good God. Modal atheological arguments aim to show that, since the pluriverse includes intrinsically bad worlds and insufficiently good worlds, there necessarily does not exist a perfectly good God. I show that modal (...) atheological arguments are in general invalid. Modal atheological arguments fail to show that there exists no perfectly good God even on the assumption that there are extremely bad worlds in the pluriverse. Modal atheological arguments depend entirely on the logic of modality in S5. But the logic of S5 ensures that a perfectly good God is consistent with extremely bad possible worlds and so guarantees that a perfectly good God is consistent with a plenitudinous pluriverse. (shrink)

Nick Trakakis and Yujin Nagasawa criticise the argument in Almeida and Oppy . According to Trakakis and Nagasawa, we are mistaken in our claim that the sceptical theist response to evidential arguments from evil is unacceptable because it would undermine ordinary moral reasoning. In their view, there is no good reason to think that sceptical theism leads to an objectionable form of moral scepticism. We disagree. In this paper, we explain why we think that the argument of Nagasawa and Trakakis (...) fails to overthrow our objection to sceptical theism. (shrink)

According to Paul Draper and Ryan Nichols the practice of philosophy of religion—and especially its theistically committed practitioners—regularly violate norms of rationality, objectivity, and impartiality in the review, assessment, and weighing of evidence. (Draper and Nichols, 2013). We consider the charge of epistemic partisanship and show that the observational data does not illustrate a norm-violating form of inquiry. The major oversight in the charge of epistemic partiality is the epistemically central role of prior probabilities in determining the significance of incongruent (...) evidence. We argue that reasonably divergent views on the likelihood of theism on incongruent evidence can also account for differences in significance. We conclude that it is an epistemic requirement that committed theists regard incongruent evils as much less significant evidence against theism than do lukewarm theists, agnostics, or atheists. Differences in the significance of evidence quite properly reflect differences in commitments to theism. (shrink)

In ‘Evil is Still Evidence: Comments on Almeida’ Robert Bass presents three objections to the central argument (ENE) in my ‘Evil is Not Evidence’. The first objection is that ENE is invalid. According to the second objection, it is a consequence of ENE that there can be no evidence for or against a posteriori necessities. The third objection is that, contrary to ENE, the likelihood of certain necessary identities varies with the evidence we have for them. In this reply I (...) explain why ENE has exactly none of the implications described by Bass. I argue in the concluding section that there is a modal solution to the epistemological problems presented by ENE. (shrink)

The book discusses the structure, content, and evaluation of cosmological arguments. The introductory chapter investigates features essential to cosmological arguments. Traditionally, cosmological arguments are distinguished by their appeal to change, causation, contingency or objective becoming in the world. But none of these is in fact essential to the formulation of cosmological arguments. Chapters 1-3 present a critical discussion of traditional Thomistic, Kalam, and Leibnizian cosmological arguments, noting various advantages and disadvantages of these approaches. Chapter 4 offers an entirely new approach (...) to the cosmological argument - the approach of theistic modal realism. The proper explananda of cosmological arguments on this approach is not change, causation, contingency or objective becoming in the world. The proper explananda is the totality of metaphysical reality - all actualia and all possibilia. The result is the most compelling and least objectionable version of the cosmological argument. (shrink)

Property-identical divine-command theory (PDCT) is the view that being obligatory is identical to being commanded by God in just the way that being water is identical to being H2O. If these identity statements are true, then they express necessary a posteriori truths. PDCT has been defended in Robert M. Adams (1987) and William Alston (1990). More recently Mark C. Murphy (2002) has argued that property-identical divine-command theory is inconsistent with two well-known and well-received theses: the free-command thesis and the supervenience (...) thesis. I show that Murphy's argument is vitiated by mistaken assumptions about the substitutivity of metaphysical identicals in contexts of supervenience. The free-command thesis and the supervenience thesis therefore pose no serious threat to PDCT. (Published Online August 11 2004). (shrink)

In this paper we respond to criticisms by Michael Bergmann and Michael Rea in their “In Defense of Sceptical Theism : A Reply to Almeida and Oppy,” Australasian Journal of Philosophy 83.

I consider the most serious problem for the traditional account of divine creation in theistic actualism. According to van Inwagen's modal collapse argument, ultimate explanation entails that gratitude to God for one's existence is totally inappropriate. Ultimately, the actual world, and everything in it, is self-explanatory, and not a consequence of divine creation. I argue that van Inwagen's argument is unsound. It is consistent with an ultimate explanation for the world that the actual world is contingently necessary. If God actualizes (...) the world as a matter of contingent necessity, then gratitude to God for one's existence is perfectly appropriate. It is true that we exist as a matter of necessity, but that necessary existence is just a contingent fact. There are possible worlds in which we fail to exist altogether. (shrink)

Estas reflexões têm como principal objetivo mostrar como a concepção do belo em Agostinho de Hipona é tributária da tradição platônico-aristotélica e das Escrituras. No que tange à primeira influência, a ênfase é colocada nas noções de simetria, de proporção, de forma, de unidade e, portanto, de belo. No que diz respeito às Escrituras, Agostinho considera em primeiro lugar o papel da criação e a ação de Deus no universo como o Ser a partir do qual todas as coisas se (...) mantêm harmônica e proporcionalmente vinculadas entre si. Neste universo, ao pôr o acento sobre o homem como a imagem e semelhança de Deus, o teólogo explora igualmente o conceito de participação, que também remete a Platão e às Escrituras. O texto termina apontando para o paradoxo, tipicamente estoico, do apesar de, isto é, apesar do mal, existe o bem, apesar do feio e do desgracioso, existe o belo. (shrink)

For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. This ontology has led to the development of an Ontology-Driven Conceptual Modeling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed in a number of academic, industrial and governmental settings to create conceptual models in a variety of different domains. (...) These experiences have pointed out to opportunities of improvement not only to the language itself but also to its underlying theory. In this paper, we take the first step in that direction by revising the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of the meta-types present in OntoUML (differentiating Kinds, Roles, Phases, Mixins, etc.) should be considered not as restricted to Substantial types but instead should be applied to model Endurant Types in general, including Relator types, Quality types and Mode types. We also contribute a formal characterization of this fragment of the theory, which is then used to advance a metamodel for OntoUML 2.0. Finally, we propose a computational support tool implementing this updated metamodel. (shrink)

Most theists do not put a (subjective) probability of 1 (certainty) on God's existence. Most atheists do not put a probability of 0 on God's existence. I argue that these familiar positions are incoherent. On the assumption of S5 and the probability calculus it can be shown that the only coherent (subjective) probabilities an agent can assign to God's existence/non-existence are 0 or 1. Believers must be completely committed believers and non-believers must be completely committed non-believers. Agnosticism is not a (...) coherent position. (shrink)

É comumente aceito, atualmente, que Aristóteles não teria enfrentado ou tentado seriamente resolver o famoso paradoxo do mentiroso, embora ele tenha sido formulado por Eubúlides de Mileto, membro da escola megárica e rival filosófico de Aristóteles. No máximo, assim reza a visão tradicional, ele parece apenas fazer uma menção desse paradoxo nas Refutações sofísticas, Capítulo 25, talvez esboçando a sua solução. O meu intento, no presente artigo, é desafiar essa opinião geral mostrando que o Estagirita fornece uma explicação implícita para (...) duas versões do paradoxo do mentiroso, a saber, a versão autorreferencial (que pode ser apresentada pela declaração: “esta declaração é falsa”), e a versão anafórica (que pode ser apresentada por meio de duas declarações mutuamente referentes como estas: “a próxima declaração é verdadeira” e “a declaração anterior é falsa”). A minha alegação é que a solução aristotélica para essas duas versões do paradoxo encontra-se no núcleo de sua refutação de duas teses, as quais denominei como tese da synalethia (que defende que toda declaração é verdadeira) e como tese da sympseudia (que defende que toda declaração é falsa). Tal refutação é realizada no oitavo capítulo do quarto Livro da Metafísica, um texto até agora subestimado pelos intérpretes modernos, mesmo sendo a parte final de um dos mais importantes escritos de Aristóteles. A solução aristotélica, assim defendo, é levada a cabo por meio dos seguintes princípios: (i) toda declaração é sempre precedida por um operador de verdade da forma ‘é verdade que...’, ou seja, toda declaração, qualquer que seja o que ela possa declarar a mais, primariamente assevera a sua própria verdade; e, em conformidade com o princípio anterior, (ii) toda declaração que assevera a sua própria falsidade ou acarreta a verdade de sua contraditória é necessariamente falsa. Através desses princípios, a refutação de Aristóteles da synalethia e da sympseudia é bem-sucedida. Mostrarei que obtemos uma boa solução para as versões do mentiroso acima mencionadas (e implicitamente presentes nas posições refutadas), apenas aplicando esses mesmos princípios a elas. Esse tipo de solução ao mentiroso tanto quanto para as teses antes citadas é muito parecido com aquele explicitamente encontrado nas obras de diversos filósofos, a saber, Guilherme de Sherwood, Tomás Bradwardine, João Buridano, Alberto da Saxônia, Paulo Venetus, Charles S. Peirce e Arthur Prior. Assim, também defendo que essa linhagem tem as suas raízes na solução de Aristóteles. (shrink)

Assuming divine command theory is true, there are no moral limits on the commands God can issue. Nevertheless there are no possible worlds in which divine command theory is true and God commands cruelty for its own sake or the sacrifice of ten-year-olds in a gruesome ritual, or anything of the kind. The main conclusion of the argument is that God cannot command the morally horrible not because of God's moral perfection or God's lack of power, of God's kindness, etc., (...) but because commanding the morally horrible entails a contradiction. I show that the argument is an instance of a valid and uncontroversial counterfactual sequent. Divine command theory entails that there are commands that even an omnipotent and morally unconstrained being cannot issue. (shrink)

This paper presents the Obstetric and Neonatal Ontology (OntONeo). This ontology has been created to provide a consensus representation of salient electronic health record (EHR) data and to serve interoperability of the associated data and information systems. More generally, it will serve interoperability of clinical and translational data, for example deriving from genomics disciplines and from clinical trials. Interoperability of EHR data is important to ensuring continuity of care during the prenatal and postnatal periods for both mother and child. As (...) a strategy to advance such interoperability we use an approach based on ontological realism and on the ontology development principles of the Open Biomedical Ontologies Foundry, including reuse of reference ontologies wherever possible. We describe the structure and coverage domain of OntONeo and the process of creating and maintaining the ontology. (shrink)

We describe the rationale for an application ontology covering the domain of human body fluids that is designed to facilitate representation, reuse, sharing and integration of diagnostic, physiological, and biochemical data, We briefly review the Blood Ontology (BLO), Saliva Ontology (SALO) and Kidney and Urinary Pathway Ontology (KUPO) initiatives. We discuss the methods employed in each, and address the project of using them as starting point for a unified body fluids ontology resource. We conclude with a description of how the (...) body fluids ontology initiative may provide support to basic and translational science. (shrink)

I argue that Anselmians ought to abandon traditional Anselmianism in favor of Moderate Anselmianism. Moderate Anselmianism advances the view that a being x = God iff for every essential property P of x, it is secondarily necessary that x has P, for most essential properties of x, it is not primarily necessary that x has P and the essential properties of x include omnipotence, omniscience, perfect goodness and necessary existence. Traditional Anselmians have no cogent response to most a priori atheological (...) arguments. But a priori atheological arguments present no serious problem for moderate Anselmians. Unlike traditional Anselmianism, Moderate Anselmianism explains why a priori atheological arguments can be convincing and nonetheless illusory. (shrink)

William Rowe has argued that if there is an infinite sequence of improving worlds then an essentially perfectly good being must actualize some world in the sequence and must not actualize any world in the sequence. Since that is impossible, there exist no perfectly good beings. I show that Rowe's argument assumes that the concept of a maximally great being is incoherent. Since we are given no reason to believe that the concept of a maximally great being is incoherent we (...) have no reason to believe Rowe's Argument from Improvability is sound. (shrink)

Michael Martin introduces a non-Humean conception of miracles according to which miracles are events that need not violate a law of nature and are brought about by the exercise of a possibly non-theistic, supernatural power. Call those m-miracles. I consider Martin’s argument that the occurrence of an m-miracle would not confirm the existence of God. Martin presents an interesting argument, but it does not establish that m-miracles would not confirm the existence God. I argue that, on the contrary, it is (...) quite reasonable to conclude that Martin’s m-miracles provide at least some confirmation for the hypothesis that God exists. (shrink)

ABSTRACT: Recent work in moral theory includes an intriguing new argument that the vagueness of moral properties, together with two well-known and well-received metaethical principles, entails the incredible conclusion that it is impossible to be moral. I show that the argument equivocates between “it is true that A and B are morally indistinguishable” and “it is not false that A and B are morally indistinguishable.” As expected the argument is interesting but unsound. It is therefore not impossible to be moral.RÉSUMÉ: (...) Les travaux récents en théorie morale comprennent un nouvel argument intrigant voulant que le caractère vague des propriétés morales, joint à deux principes métaéthiques bien connus et généralement admis, entraîne une conclusion incroyable, soit qu’il est impossible d’être moral. Je montre que cet argument entretient l’équivoque entre «il est vrai que A et B sont moralement impossibles à distinguer» et «il n’est pas faux que A et B soient moralement impossibles à distinguer». Comme on s’y attendait, l’argument est intéressant mais mal fondé. Il n’est donc pas impossible d’être moral. (shrink)

Ted Sider’s Proportionality of Justice condition requires that any two moral agents instantiating nearly the same moral state be treated in nearly the same way. I provide a countermodel in supervaluation semantics to the proportionality of justice condition. It is possible that moral agents S and S' are in nearly the same moral state, S' is beyond all redemption and S is not. It is consistent with perfect justice then that moral agents that are not beyond redemption go determinately to (...) heaven and moral agents that are beyond all redemption go determinately to hell. I conclude that moral agents that are in nearly the same moral state may be treated in very unequal ways. (shrink)

A coletânea apresenta, sob a forma de artigos, problemas e soluções associados ao conceito e substância ao longo da história da filosofia. Sem pretender exaurir esse percurso, a coletânea contém 29 artigos redigidos por diversos especialistas brasileiros em Filosofia. Sua proposta é oferecer uma visão clara, acessível, precisa e atualizada desse recorte da história do conceito de filosofia, na expectativa de contribuir para o aperfeiçoamento do ensino e debate de filosofia no país. -/- The anthology presents, through a series of (...) articles, the intricacies of problems and solutions intertwined with the concept of substance across the annals of philosophical history. While not seeking to comprehensively cover this vast terrain, the collection comprises 29 articles penned by a diverse array of Brazilian specialists in Philosophy. Its overarching aim is to furnish a lucid, accessible, precise, and contemporaneous perspective on this facet of philosophical inquiry, with the aspiration of enriching the landscape of philosophical education and discourse in Brazil. (shrink)