18 found
Sort by:
  1. W. Dean (forthcoming). Algorithms and the Mathematical Foundations of Computer Science. Notre Dame Journal of Formal Logic.
     
    My bibliography  
     
    Export citation  
  2. W. Dean (forthcoming). Explicit Modal Logic, Informal Provability and Montague's Paradox. Notre Dame Journal of Formal Logic.
     
    My bibliography  
     
    Export citation  
  3. Suzanne J. Milton, W. Richard J. Dean, Morné A. du Plessis & W. Roy Siegfried (forthcoming). A Conceptual Model of Arid Rangeland Degradation. BioScience.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Walter Dean (2015). Arithmetical Reflection and the Provability of Soundness. Philosophia Mathematica 23 (1):31-64.
    Proof-theoretic reflection principles are schemas which attempt to express the soundness of arithmetical theories within their own language, e.g., ${\mathtt{{Prov}_{\mathsf {PA}} \rightarrow \varphi }}$ can be understood to assert that any statement provable in Peano arithmetic is true. It has been repeatedly suggested that justification for such principles follows directly from acceptance of an arithmetical theory $\mathsf {T}$ or indirectly in virtue of their derivability in certain truth-theoretic extensions thereof. This paper challenges this consensus by exploring relationships between reflection principles (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. W. Dean (2014). Models and Computability. Philosophia Mathematica 22 (2):143-166.
    Computationalism holds that our grasp of notions like ‘computable function’ can be used to account for our putative ability to refer to the standard model of arithmetic. Tennenbaum's Theorem has been repeatedly invoked in service of this claim. I will argue that not only do the relevant class of arguments fail, but that the result itself is most naturally understood as having the opposite of a reference-fixing effect — i.e., rather than securing the determinacy of number-theoretic reference, Tennenbaum's Theorem points (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Walter Dean (2014). Montague’s Paradox, Informal Provability, and Explicit Modal Logic. Notre Dame Journal of Formal Logic 55 (2):157-196.
    The goal of this paper is to explore the significance of Montague’s paradox—that is, any arithmetical theory $T\supseteq Q$ over a language containing a predicate $P$ satisfying $P\rightarrow \varphi $ and $T\vdash \varphi \,\therefore\,T\vdash P$ is inconsistent—as a limitative result pertaining to the notions of formal, informal, and constructive provability, in their respective historical contexts. To this end, the paradox is reconstructed in a quantified extension $\mathcal {QLP}$ of Artemov’s logic of proofs. $\mathcal {QLP}$ contains both explicit modalities $t:\varphi $ (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Walter Dean & Hidenori Kurokawa (2014). The Paradox of the Knower Revisited. Annals of Pure and Applied Logic 165 (1):199-224.
    The Paradox of the Knower was originally presented by Kaplan and Montague [26] as a puzzle about the everyday notion of knowledge in the face of self-reference. The paradox shows that any theory extending Robinson arithmetic with a predicate K satisfying the factivity axiom K → A as well as a few other epistemically plausible principles is inconsistent. After surveying the background of the paradox, we will focus on a recent debate about the role of epistemic closure principles in the (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. W. Dean & H. Kurokawa (2010). From the Knowability Paradox to the Existence of Proofs. Synthese 176 (2):177 - 225.
    The Knowability Paradox purports to show that the controversial but not patently absurd hypothesis that all truths are knowable entails the implausible conclusion that all truths are known. The notoriety of this argument owes to the negative light it appears to cast on the view that there can be no verification-transcendent truths. We argue that it is overly simplistic to formalize the views of contemporary verificationists like Dummett, Prawitz or Martin-Löf using the sort of propositional modal operators which are employed (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. William D. Dean (2010). Dean Replies to Zbaraschuk. American Journal of Theology and Philosophy 31 (3):259-263.
    Michael Zbaraschuk’s recent article, “Not Radical Enough: William Dean’s Problems with God and History,”1 deserves a published response, because it applies not only to my work but to that of many other philosophical theologians, some of whom read this journal. Before discussing the larger issues, I must attend to an item of scholarly housekeeping. Although Zbaraschuk draws narrowly, i.e., from only two of my books—History Making History (1988) and The Religious Critic in American Culture (1994)—he applies his arguments indiscriminately to (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Wesley R. Dean & H. Morgan Scott (2005). Antagonistic Synergy: Process and Paradox in the Development of New Agricultural Antimicrobial Regulations. [REVIEW] Agriculture and Human Values 22 (4):479-489.
    There is currently great controversy over the contribution antimicrobial use in animal agriculture has made to antimicrobial resistance in pathogenic bacteria with negative consequences for human health. In light of this, the approval process for antimicrobials used in US animal agriculture, known as New Animal Drug Application or NADA, is currently being revised by the federal government. We explore the public deliberations over the development of these new policies focusing our attention on the interaction between pharmaceutical companies and the U.S. (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. William Dean (1999). Historical Process Theology. Process Studies 28 (3/4):255-266.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Stephen Carter, William Dean, Jean Bethke Elshtain, Robin W. Lovin & Cornel West (1997). The Culture of Disbelief: How American Law and Politics Trivialize Religious Devotion. Journal of Religious Ethics 25 (2):367-392.
    Recent critics have called attention to the alienation of contemporary academics from broad currents of intellectual activity in public culture. The general complaint is that intellectuals are finding a professional home in institutions of higher learning, insulated from the concerns and interests of a wider reading audience. The demands of professional expertise do not encourage academics to work as public intellectuals or to take up social, literary, or political matters in imaginative and perspicuous ways. More problematic is the relative absence (...)
     
    My bibliography  
     
    Export citation  
  13. William Dean (1990). Empirical Theology. Process Studies 19 (2):85-102.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. William Dean (1989). God and Religion in the Postmodern World. Process Studies 18 (3):208-212.
  15. William Dean (1987). Bernard Loomer and the Irony of Empiricism. Process Studies 16 (4):264-274.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  16. William Dean (1983). Sculpture and Enlivened Space. Process Studies 13 (1):113-116.
  17. William Dean (1983). Whitehead's Other Aesthetic. Process Studies 13 (1):104-112.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  18. William Dean (1982). An American Theology. Process Studies 12 (2):111-128.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation