29 found
Sort by:
Disambiguations:
Allen Hazen [23]Allen P. Hazen [6]
  1. Allen P. Hazen & Francis Jeffry Pelletier (forthcoming). Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different. Studia Logica:1-40.
    Gentzen’s and Jaśkowski’s formulations of natural deduction are logically equivalent in the normal sense of those words. However, Gentzen’s formulation more straightforwardly lends itself both to a normalization theorem and to a theory of “meaning” for connectives (which leads to a view of semantics called ‘inferentialism’). The present paper investigates cases where Jaskowski’s formulation seems better suited. These cases range from the phenomenology and epistemology of proof construction to the ways to incorporate novel logical connectives into the language. We close (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Allen P. Hazen, Benjamin G. Rin & Kai F. Wehmeier (2013). Actuality in Propositional Modal Logic. Studia Logica 101 (3):487-503.
    We show that the actuality operator A is redundant in any propositional modal logic characterized by a class of Kripke models (respectively, neighborhood models). Specifically, we prove that for every formula ${\phi}$ in the propositional modal language with A, there is a formula ${\psi}$ not containing A such that ${\phi}$ and ${\psi}$ are materially equivalent at the actual world in every Kripke model (respectively, neighborhood model). Inspection of the proofs leads to corresponding proof-theoretic results concerning the eliminability of the actuality (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Jc Beall, Ross Brady, Michael Dunn, Allen Hazen, Edwin Mares, John Slaney, Robert K. Meyer, Graham Priest, Greg Restall, David Ripley & Richard Sylvan (2012). On the Ternary Relation and Conditionality. Journal of Philosophical Logic 41 (3):595-612.
    One of the most dominant approaches to semantics for relevant (and many paraconsistent) logics is the Routley–Meyer semantics involving a ternary relation on points. To some (many?), this ternary relation has seemed like a technical trick devoid of an intuitively appealing philosophical story that connects it up with conditionality in general. In this paper, we respond to this worry by providing three different philosophical accounts of the ternary relation that correspond to three conceptions of conditionality. We close by briefly discussing (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. Allen Hazen (2012). 2. Reflections on Counterpart Theory. Oxford Studies in Metaphysics 7:41.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Allen P. Hazen (2009). Platonismo E convenzioni. Rivista di Estetica 49 (41):171-187.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  6. Allen Hazen (2004). Hypergunk. The Monist 87 (3):322-338.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Allen Hazen (2000). Relations in Lewis's Framework Without Atoms: A Correction. Analysis 60 (4):351–353.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  8. Allen P. Hazen (1994). Against Cantorism. Sophia 33 (2):21-32.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Barry Taylor & Allen P. Hazen (1992). Flexibly Structured Predication. Logique Et Analyse 35:374-393.
     
    My bibliography  
     
    Export citation  
  10. Jen M. Davoren & Allen P. Hazen (1991). Russell, Gödel and Skolem: How Much of Arithmetic is Predicative. Journal of Symbolic Logic 56:1108-1109.
     
    My bibliography  
     
    Export citation  
  11. Allen Hazen (1990). Actuality and Quantification. Notre Dame Journal of Formal Logic 31 (4):498-508.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Allen Hazen (1990). A Variation on a Paradox. Analysis 50 (1):7 - 8.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. Allen Hazen (1987). Contra Buridanum. Canadian Journal of Philosophy 17 (4):875 - 880.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. Allen Hazen (1987). Natural Deduction and Hilbert's Ɛ-Operator. Journal of Philosophical Logic 16 (4):411 - 421.
  15. Allen Hazen (1986). A Fallacy in Ramsey. Mind 95 (380):496-498.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  16. Allen Hazen (1985). McGinn's Reply to Wright's Reply to Benacerraf. Analysis 45 (1):59 - 61.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. Allen Hazen (1985). Nominalism and Abstract Entities. Analysis 45 (2):65-68.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  18. Allen Hazen (1985). On the Reality of Existence and Identity. Canadian Journal of Philosophy 15 (1):25 - 35.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  19. Allen Hazen (1985). Review of Crispin Wright's Frege's Conception of Numbers as Objects'. [REVIEW] Australasian Journal of Philosophy 63 (2).
    No categories
     
    My bibliography  
     
    Export citation  
  20. Allen Hazen (1984). Modality as Many Metalinguistic Predicates. Philosophical Studies 46 (2):271 - 277.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  21. Allen Hazen (1983). An Example Of A Language With Classical Logic For Which Bivalence Cannot Be Assumed. Analysis 43 (January):1-5.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  22. Allen Hazen (1982). On a Possible Misinterpretation of Kripke's Semantics for Intuitionistic Logic. Analysis 42 (3):128 - 133.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  23. Allen Hazen (1981). Davis's Formulation of Kripke's Theory of Truth: A Correction. [REVIEW] Journal of Philosophical Logic 10 (3):309 - 311.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  24. Allen Hazen (1979). Counterpart-Theoretic Semantics for Modal Logic. Journal of Philosophy 76 (6):319-338.
  25. Allen Hazen (1979). One of the Truths About Actuality. Analysis 39 (1):1 - 3.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  26. Allen Hazen & Michael Slote (1979). Even If. Analysis 39 (1):35 - 38.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  27. Allen Hazen (1978). The Eliminability of the Actuality Operator in Propositional Modal Logic. Notre Dame Journal of Formal Logic 19 (4):617-622.
  28. Allen Hazen (1976). Expressive Completeness in Modal Language. Journal of Philosophical Logic 5 (1):25--46.
    The logics of the modal operators and of the quantifiers show striking analogies. The analogies are so extensive that, when a special class of entities (possible worlds) is postulated, natural and non-arbitrary translation procedures can be defined from the language with the modal operators into a purely quantificational one, under which the necessity and possibility operators translate into universal and existential quantifiers. In view of this I would be willing to classify the modal operators as ‘disguised’ quantifiers, and I think (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  29. Allen Hazen (1972). Semantics for $S4.2$. Notre Dame Journal of Formal Logic 13 (4):527-528.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation