PhilPapers is currently in read-only mode while we are performing some maintenance. You can use the site normally except that you cannot sign in. This shouldn't last long.
31 found
Sort by:
  1. Allen P. Hazen & Francis Jeffry Pelletier (2014). Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different. Studia Logica 102 (6):1103-1142.
    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 . 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 with a demonstration of this latter aspect by (...)
    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. Allen Hazen (2012). 2. Reflections on Counterpart Theory. Oxford Studies in Metaphysics 7:41.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Allen P. Hazen (2009). Platonismo E convenzioni. Rivista di Estetica 49 (41):171-187.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  5. Allen Hazen (2004). Hypergunk. The Monist 87 (3):322-338.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. 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  
  7. Allen P. Hazen (1994). Against Cantorism. Sophia 33 (2):21-32.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Barry Taylor & Allen P. Hazen (1992). Flexibly Structured Predication. Logique Et Analyse 35:374-393.
     
    My bibliography  
     
    Export citation  
  9. 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  
  10. Allen Hazen (1990). Actuality and Quantification. Notre Dame Journal of Formal Logic 31 (4):498-508.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Allen Hazen (1990). A Variation on a Paradox. Analysis 50 (1):7 - 8.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Allen Hazen (1989). Predicative Logics. Journal of Symbolic Logic 54 (3):1092-1094.
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Allen Hazen (1987). Contra Buridanum. Canadian Journal of Philosophy 17 (4):875 - 880.
  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.
    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).
     
    My bibliography  
     
    Export citation  
  20. Allen Hazen (1984). Modality as Many Metalinguistic Predicates. Philosophical Studies 46 (2):271 - 277.
    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.
    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.
    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.
  24. Allen Hazen (1980). Comments On The Logic Of Constructible Falsity. Bulletin of the Section of Logic 9 (1):10-13.
    Nelson has presented a constructive arithmetic with a negation opera- tion () dierent from the ordinary intuitionistic one . In [5] he presents a variant of Kleene's realization semantics for intuitionistic arithmetic, and proves that relative to this interpretation the arithmetic language with { has the same expressive power as the usual intuitionistic one, and fact certain theories of arithmetic incorporating his negation are equivalent to corresponding systems of intuitionistic arithmetic. A Fitch style natural deduction formulation ) of the pure (...)
     
    My bibliography  
     
    Export citation  
  25. Allen Hazen (1979). Counterpart-Theoretic Semantics for Modal Logic. Journal of Philosophy 76 (6):319-338.
  26. Allen Hazen (1979). One of the Truths About Actuality. Analysis 39 (1):1 - 3.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  27. Allen Hazen & Michael Slote (1979). Even If. Analysis 39 (1):35 - 38.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  28. Allen Hazen (1978). The Eliminability of the Actuality Operator in Propositional Modal Logic. Notre Dame Journal of Formal Logic 19 (4):617-622.
  29. 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  
  30. 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  
  31. Allen T. Hazen (1947). Type-Facsimiles. [S.N.,].
    No categories
     
    My bibliography  
     
    Export citation