Order:
Disambiguations
Jeanine Diller [14]Justus Diller [7]J. Diller [4]Jeanine Ann Diller [1]
See also
Jeanine Diller
University of Toledo
  1.  33
    Global and Local Atheisms.Jeanine Diller - 2016 - International Journal for Philosophy of Religion 79 (1):7-18.
    I introduce a distinction between global and local versions of atheism and theism, where global ones are about all notions of God and local ones are about specific notions. Current expressions of atheism are ambiguous between the two. I argue that global atheism is difficult to enunciate and even more difficult to defend, so much so that global atheism is not yet justified. Until it is, atheists should be local atheists.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  23
    The Conceptual Focus of Ultimism: An Object of Religious Concern for the Nones and Somes.Jeanine Diller - 2013 - Religious Studies 49 (2):221-233.
    In his recent trilogy, J. L. Schellenberg presents a new religious option: to have beliefless faith in a general object of religious concern that he thinks is referenced at the core of most sectarian religions UUU’. After explaining what UUU is more fully, I argue that the claim that UUU exists should not be, as Schellenberg says, the only focus for philosophy of religion. Still, I argue that such a claim is a good basis for a new form of religion, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  45
    Models of God and Alternative Ultimate Realities.Jeanine Diller & Asa Kasher (eds.) - 2013 - Springer.
    James E. Taylor As the title of this book makes clear, the essays contained in it are unified by their focus on models of God and alternative ultimate realities. But what is ultimate reality, what does 'God' mean, and what would count as a model ...
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. Models of God and Other Ultimate Realities.Asa Kasher & Jeanine Diller (eds.) - forthcoming - Kluwer Academic Publishers.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  5.  4
    Being Perfect is Not Necessary for Being God.Jeanine Diller - 2019 - European Journal for Philosophy of Religion 11 (2):43-64.
    Classic perfect being theologians take ‘being perfect’ to be conceptually necessary and sufficient for being God. I argue that this claim is false because being perfect is not conceptually necessary for being God. I rest my case on a simple thought experiment inspired by an alternative I developed to perfect being theology that I call “functional theology.” My findings, if correct, are a boon for theists since if it should turn out that there is no perfect being, there could still (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  4
    Introduction to Ground, Start and End of Being Theologies.Jeanine Diller - 2013 - In Jeanine Diller & Asa Kasher (eds.), Models of God and Alternative Ultimate Realities. Springer. pp. 473--481.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  65
    Realizability and Intuitionistic Logic.J. Diller & A. S. Troelstra - 1984 - Synthese 60 (2):253 - 282.
  8.  71
    An Upper Bound for the Provability of Transfinite Induction in Systems with N-Times Iterated Inductive Definitions.Kurt Schutte, W. Pohlers, J. Diller & G. H. Muller - 1983 - Journal of Symbolic Logic 48 (3):878.
  9.  39
    Merciful Justice.Jeanine Diller - 2013 - Philosophia 41 (3):719-735.
    I offer a solution to an old puzzle about how God can be both just and merciful at the same time—a feat which seems required of God, but at the same time seems impossible since showing mercy involves being more lenient than justice demands. Inspired by two of Jesus’ parables and work by Feinberg, Johnson and Smart, I suggest that following a “principle of merciful justice”—that persons ought to receive what they deserve or better—delivers mercy and justice simultaneously, certainly in (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  54
    A Proposal to Change the Tradition of Perfect Being Theology.Jeanine Diller - 1999 - Southwest Philosophy Review 15 (1):233-240.
  11.  11
    Logical Problems of Functional Interpretations.Justus Diller - 2002 - Annals of Pure and Applied Logic 114 (1-3):27-42.
    Gödel interpreted Heyting arithmetic HA in a “logic-free” fragment T 0 of his theory T of primitive recursive functionals of finite types by his famous Dialectica-translation D . This works because the logic of HA is extremely simple. If the logic of the interpreted system is different—in particular more complicated—, it forces us to look for different and more complicated functional translations. We discuss the arising logical problems for arithmetical and set theoretical systems from HA to CZF . We want (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  46
    Response to Bishop’s “How a Modest Fideism May Constrain Theistic Commitments”.Jeanine Diller - 2007 - Philosophia 35 (3-4):403-406.
    Bishop’s main claims are: (I) that James’ criteria on the admissibility of faith leaps need the addition of two moral criteria to be complete; (II) that a Kantian, at least, could not admissibly leap toward God, classically understood, and (III) that a Kantian, and anyone else, could admissibly leap toward God, understood his way. Here I will affirm (I) with a qualification; deny (II); affirm (III); and close with some reservations about Bishop’s novel model of God. This paper was delivered (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  14
    Functional Interpretations of Constructive Set Theory in All Finite Types.Justus Diller - 2008 - Dialectica 62 (2):149–177.
    Gödel's dialectica interpretation of Heyting arithmetic HA may be seen as expressing a lack of confidence in our understanding of unbounded quantification. Instead of formally proving an implication with an existential consequent or with a universal antecedent, the dialectica interpretation asks, under suitable conditions, for explicit 'interpreting' instances that make the implication valid. For proofs in constructive set theory CZF-, it may not always be possible to find just one such instance, but it must suffice to explicitly name a set (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  19
    Andrei A. Buckareff and Yujin Nagasawa, Eds. Alternative Concepts of God: Essays on the Metaphysics of the Divine.Jeanine Diller - 2017 - Journal of Analytic Theology 5 (1):900-906.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  18
    Nicht-persistenz der parallelität in affinen ebenen.Justus Diller - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (26-29):431-433.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  31
    Introduction.Jeanine Diller - 2007 - Philosophia 35 (3-4):261-272.
  17.  21
    The Rationality of Theism.Jeanine Diller - 2005 - Faith and Philosophy 22 (1):102-105.
  18.  5
    Functional Interpretations of Constructive Set Theory in All Finite Types.Justus Diller - 2008 - Dialectica 62 (2):149-177.
    Gödel's dialectica interpretation of Heyting arithmetic HA may be seen as expressing a lack of confidence in our understanding of unbounded quantification. Instead of formally proving an implication with an existential consequent or with a universal antecedent, the dialectica interpretation asks, under suitable conditions, for explicit ‘interpreting’ instances that make the implication valid. For proofs in constructive set theory CZF‐, it may not always be possible to find just one such instance, but it must suffice to explicitly name a set (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  7
    Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen.J. Diller, H. Arnold Schmidt & K. Schutte - 1975 - Journal of Symbolic Logic 40 (3):453-454.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  3
    Systems of Predicative Analysis, II: Representations of Ordinals.Solomon Feferman, Peter Aczel, Jane Bridge, W. Buchholz & J. Diller - 1983 - Journal of Symbolic Logic 48 (3):876-877.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  3
    Nicht‐persistenz der parallelität in affinen ebenen.Justus Diller - 1969 - Mathematical Logic Quarterly 15 (26‐29):431-433.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  3
    Journal of Soviet Mathematics.G. E. Mints, U. V. Matiasevic, A. O. Slisenko, Justus Diller & Martin Stein - 1987 - Journal of Symbolic Logic 52 (2):561-561.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. Models of God and Other Kinds of Ultimate Reality.Jeanine Diller & Asa Kasher (eds.) - forthcoming - Springer.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. Paul Copan & Paul K. Moser: The Rationality of Theism.Jeanine Diller - 2005 - Faith and Philosophy 22 (1):102-105.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Isilc Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday: Proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974.K. Schütte, Justus Diller & G. H. Müller (eds.) - 1975 - Springer Verlag.
     
    Export citation  
     
    Bookmark