31 found
Order:
  1. Allen Hazen (1979). Counterpart-Theoretic Semantics for Modal Logic. Journal of Philosophy 76 (6):319-338.
  2.  15
    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)  
     
    Export citation  
     
    My bibliography   2 citations  
  3.  52
    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)  
     
    Export citation  
     
    My bibliography   2 citations  
  4.  84
    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)  
     
    Export citation  
     
    My bibliography   18 citations  
  5.  87
    Allen Hazen (1979). One of the Truths About Actuality. Analysis 39 (1):1 - 3.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  6.  63
    Allen Hazen (1990). A Variation on a Paradox. Analysis 50 (1):7 - 8.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  7. Allen Hazen (2000). Relations in Lewis's Framework Without Atoms: A Correction. Analysis 60 (4):351–353.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  69
    Allen Hazen & Michael Slote (1979). Even If. Analysis 39 (1):35 - 38.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  9.  33
    Allen Hazen (1978). The Eliminability of the Actuality Operator in Propositional Modal Logic. Notre Dame Journal of Formal Logic 19 (4):617-622.
  10.  62
    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)  
     
    Export citation  
     
    My bibliography  
  11.  28
    Allen Hazen (1990). Actuality and Quantification. Notre Dame Journal of Formal Logic 31 (4):498-508.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  12. Allen Hazen (1985). Review of Crispin Wright's Frege's Conception of Numbers as Objects'. [REVIEW] Australasian Journal of Philosophy 63 (2).
     
    Export citation  
     
    My bibliography   7 citations  
  13.  64
    Allen Hazen (1985). Nominalism and Abstract Entities. Analysis 45 (2):65-68.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  14.  48
    Allen Hazen (1982). On a Possible Misinterpretation of Kripke's Semantics for Intuitionistic Logic. Analysis 42 (3):128 - 133.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  15.  37
    Allen Hazen (2004). Hypergunk. The Monist 87 (3):322-338.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  39
    Allen Hazen (1987). Natural Deduction and Hilbert's Ɛ-Operator. Journal of Philosophical Logic 16 (4):411 - 421.
  17.  48
    Allen Hazen (1985). McGinn's Reply to Wright's Reply to Benacerraf. Analysis 45 (1):59 - 61.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  18.  16
    Allen P. Hazen (1994). Against Cantorism. Sophia 33 (2):21-32.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  19.  19
    Allen Hazen (2012). 2. Reflections on Counterpart Theory. Oxford Studies in Metaphysics 7:41.
    Direct download  
     
    Export citation  
     
    My bibliography  
  20.  17
    Allen Hazen (1981). Davis's Formulation of Kripke's Theory of Truth: A Correction. [REVIEW] Journal of Philosophical Logic 10 (3):309 - 311.
  21. Barry Taylor & Allen P. Hazen (1992). Flexibly Structured Predication. Logique Et Analyse 35:374-393.
     
    Export citation  
     
    My bibliography   3 citations  
  22.  19
    Allen Hazen (1986). A Fallacy in Ramsey. Mind 95 (380):496-498.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  23.  11
    Allen Hazen (1987). Contra Buridanum. Canadian Journal of Philosophy 17 (4):875 - 880.
  24.  8
    Allen Hazen (1972). Semantics for $S4.2$. Notre Dame Journal of Formal Logic 13 (4):527-528.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  25.  23
    Allen Hazen (1984). Modality as Many Metalinguistic Predicates. Philosophical Studies 46 (2):271 - 277.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  26.  13
    Allen Hazen (1985). On the Reality of Existence and Identity. Canadian Journal of Philosophy 15 (1):25 - 35.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  27.  2
    Allen Hazen (1989). Predicative Logics. Journal of Symbolic Logic 54 (3):1092-1094.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. 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.
     
    Export citation  
     
    My bibliography   1 citation  
  29. 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 (...)
     
    Export citation  
     
    My bibliography   1 citation  
  30. Allen P. Hazen (2009). Platonismo E convenzioni. Rivista di Estetica 49 (41):171-187.
    Translate
     
     
    Export citation  
     
    My bibliography  
  31. Allen T. Hazen (1947). Type-Facsimiles. [S.N.,].
    No categories
     
    Export citation  
     
    My bibliography