A complete method is proposed to compute a certified, or ambient isotopic, meshing for an implicit algebraic surface with singularities. By certified, we mean a meshing with correct topology and any given geometric precision. We propose a symbolic-numeric method to compute a certified meshing for the surface inside a box containing singularities and use a modified Plantinga-Vegter marching cube...

The article argues that the logical argument from evil is dead, and new version presented by James Sterba cannot resurrect it. In first part, I say dead either because, in given Mackie, it was successfully refuted Plantinga other theists or inviting a reformulation of theistic doctrines, nevertheless superseded contemporary versions theism, such as open theism. second argue two significant move...

The article reveals the main provisions of discussion on relationship between modern science and theism two famous American philosophers – naturalist Daniel Dennett “analytic theist” Alvin Plantinga. debate took place in 2009 as part session Central Division Philosophical Association was published 2011 under title “ Science Religion: Are They Compatible?” positions analyzed are reproduced conne...

ABSTRACT The article is dedicated to the argument against Existence Requirement provided by Takashi Yagisawa. We argue that core of Yagisawa s – Strong Iterability cannot be inferred from idea contingent apriori (Kripke), and incompatible with @-transform (Plantinga). Thus, these ideas, contrary Yagisawa, serve as a methodological basis Iterability. also Constituent Principle. Finally, we show ...

Alvin Plantinga (1993a, 1993b, 2000) argues that de jure objections to theism depend on facto objections: in order say belief God is not warranted, one should first assume this false. Assuming Plantinga’s epistemology and his facto/de distinction, In essay, I argue show miracles must suppose always Therefore, a person who holds skeptical position regarding choose either find evidence all of the...