Allen Patterson Hazen (hazen)

My contributions to Philosophie.ch

Bibliography

Burgess, John P. and Hazen, Allen Patterson. 1998. “Predicative Logic and Formal Arithmetic.” Notre Dame Journal of Formal Logic 39(1): 1–17.
Burgess, John P., Hazen, Allen Patterson and Lewis, David. 1991. “Appendix on Pairing.” in Parts of Classes, pp. 121–150. Oxford: Blackwell Publishers.
Hazen, Allen Patterson. 1976. “Expressive Completeness in Modal Language.” The Journal of Philosophical Logic 5(1): 25–46.
Hazen, Allen Patterson. 1978. “The Eliminability of the Actuality Operator in Propositional Modal Logic.” Notre Dame Journal of Formal Logic 19(4): 617–622.
Hazen, Allen Patterson. 1979a. “Counterpart-Theoretic Semantics for Modal Logics.” The Journal of Philosophy 76(6): 319–338.
Hazen, Allen Patterson. 1979b. “One of the Truths about Actuality.” Analysis 39(1): 1–3.
Hazen, Allen Patterson. 1981. “Davis’ Formulation of Kripke’s Theory of Truth: A Correction.” The Journal of Philosophical Logic 10(2): 309–311.
Hazen, Allen Patterson. 1982. “On a Possible Misinterpretation of Kripke’s Semantics for Intuitionistic Logic.” Analysis 42: 128–133.
Hazen, Allen Patterson. 1983a. “Predicative Logics.” in Handbook of Philosophical Logic, Volume I: Elements of Classical Logic, edited by Dov M. Gabbay and Franz Guenthner, pp. 331–407. Synthese Library n. 164. Dordrecht: D. Reidel Publishing Co.
Hazen, Allen Patterson. 1983b. “An Example of a Language with Classical Logic for Which Bivalence Cannot Be Assumed.” Analysis 43: 1–5.
Hazen, Allen Patterson. 1984. “Modality as Many Metalinguistic Predicates.” Philosophical Studies 46: 271–277.
Hazen, Allen Patterson. 1985a. “Nominalism and Abstract Entities.” Analysis 45: 65–68.
Hazen, Allen Patterson. 1985b. “On the Reality of Existence and Identity.” Canadian Journal of Philosophy 15: 25–36.
Hazen, Allen Patterson. 1985c. “McGinn’s Reply to Wright’s Reply to Benacceraf.” Analysis 45: 59–61.
Hazen, Allen Patterson. 1985d. “Review of Wright (1983).” Australasian Journal of Philosophy 63(2): 251–254.
Hazen, Allen Patterson. 1987a. “Natural Deduction and Hilbert’s \(\epsilon\) Operator.” The Journal of Philosophical Logic 16(4): 411–421.
Hazen, Allen Patterson. 1987b. “Contra Buridanum.” Canadian Journal of Philosophy 17(4): 875–880.
Hazen, Allen Patterson. 1990a. “Actuality and Quantification.” Notre Dame Journal of Formal Logic 31: 498–508.
Hazen, Allen Patterson. 1990b. “A Variation of a Paradox.” Analysis 50: 7–8.
Hazen, Allen Patterson. 1990c. “The Myth of the Intuitionistic ‘Or’ .” in Truth or Consequences: Essays in Honor of Nuel Belnap, edited by Michael J. Dunn and Anil Gupta, pp. 177–196. Dordrecht: Kluwer Academic Publishers.
Hazen, Allen Patterson. 1991. “Small Sets.” Philosophical Studies 63(1): 119–123, doi:10.1007%2FBF00376001.
Hazen, Allen Patterson. 1992a. “Subliminal Negation.” 1/92. Melbourne: Department of Philosophy, The University of Melbourne.
Hazen, Allen Patterson. 1992b. “Against Pluralism.” 5/92. Melbourne: Department of Philosophy, The University of Melbourne. Journal publication: Hazen (1993b).
Hazen, Allen Patterson. 1993a. “Slicing It Thin.” Analysis 53: 189–192.
Hazen, Allen Patterson. 1993b. “Against Pluralism.” Australasian Journal of Philosophy 71(3): 132–144.
Hazen, Allen Patterson. 1993c. “Review of Pollard (1990).” Philosophia Mathematica 1(2): 173–179.
Hazen, Allen Patterson. 1995a. “On Quantifying Out.” The Journal of Philosophical Logic 24(3): 291–319.
Hazen, Allen Patterson. 1995b. “Relations in Monadic Third-Order Logic.” 5/95. Melbourne: Department of Philosophy, The University of Melbourne. Journal publication: Hazen (1997a).
Hazen, Allen Patterson. 1996a. “Worlds as Complete Novels.” Analysis 56(1): 33–38.
Hazen, Allen Patterson. 1996b. “Actualism Again.” Philosophical Studies 84: 155–181.
Hazen, Allen Patterson. 1996c. “Relations in Lewis’s framework without atoms.” 1/96. Melbourne: Department of Philosophy, The University of Melbourne. Journal publication: Hazen (1997b).
Hazen, Allen Patterson. 1996d. “Reduction to a Dyadic Predicate Revisited.” 8/96. Melbourne: Department of Philosophy, The University of Melbourne.
Hazen, Allen Patterson. 1997a. “Relations in Monadic Third-Order Logic.” The Journal of Philosophical Logic 26(6): 619–628. Preprint: Hazen (1995b).
Hazen, Allen Patterson. 1997b. “Relations in Lewis’s Framework without Atoms.” Analysis 57: 243–248. Preprint: Hazen (1996c).
Hazen, Allen Patterson. 1998. “Non-Constructive Rules of Inference .” in The Routledge Encyclopedia of Philosophy, edited by Edward J. Craig. London: Routledge. The Routledge Encyclopedia was made available online in 2002 and is now regularly updated., doi:10.4324/9780415249126-Y014-1.
Hazen, Allen Patterson. 1999a. “On Naming the Colours.” Australasian Journal of Philosophy 77.
Hazen, Allen Patterson. 1999b. “Logic and Analyticity.” in The Nature of Logic, edited by Achille C. Varzi, pp. 79–110. European Review of Philosophy n. 4. Stanford, California: CSLI Publications.
Hazen, Allen Patterson. 2004a. “Hypergunk.” The Monist 87(3): 322–338.
Hazen, Allen Patterson. 2004b. “A ‘Constructive’ Proper Extension of Ramified Type Theory (The Logic of Principia Mathematica, Second Edition, Appendix B).” in One Hundred Years of Russell’s Paradox. Mathematics, Logic, Philosophy, edited by Godehard Link, pp. 449–479. de Gruyter Series in Logic and Its Applications n. 6. Berlin: de Gruyter. A condensed version was published as Hazen and Davoren (2000).
Hazen, Allen Patterson. 2005. “Type Theory.” in The Encyclopedia of Philosophy, edited by Donald M. Borchert, 2nd ed. Basingstoke, Hampshire: Palgrave Macmillan.
Hazen, Allen Patterson. 2006. “Do we have the Right Limitative Theorems?” in A Logical Approach to Philosophy. Essays in Honour of Graham Solomon, edited by David DeVidi and Timothy Kenyon, pp. 128–150. The University of Western Ontario Series in Philosophy of Science n. 69. Dordrecht: Springer, doi:10.1007/1-4020-4054-7.
Hazen, Allen Patterson. 2012a. “Reflections on Counterpart Theory.” in Oxford Studies in Metaphysics, volume VII, edited by Karen Bennett and Dean W. Zimmerman, pp. 41–65. New York: Oxford University Press, doi:10.1093/acprof:oso/9780199659081.001.0001.
Hazen, Allen Patterson. 2012b. “Intuitionism.” in The Routledge Companion to Philosophy of Language, edited by Gillian K. Russell and Delia Graff Fara, pp. 667–677. Routledge Philosophy Companions. London: Routledge.
Hazen, Allen Patterson and Davoren, Jen M. 2000. “Russell’s 1925 Logic.” Australasian Journal of Philosophy 78(4): 534–556.
Hazen, Allen Patterson and Humberstone, I. Lloyd. 2004. “Similarity Relations and the Preservation of Solidity.” Journal of Logic, Language, and Information 13(1): 25–46.
Hazen, Allen Patterson and Slote, Michael Anthony. 1979. “Even If.” Analysis 39: 34–41.
Pelletier, Francis Jeffry and Hazen, Allen Patterson. 2012. “A History of Natural Deduction.” in Handbook of the History of Logic. Volume 11: Logic: A History of its Central Concepts, edited by Dov M. Gabbay, Francis Jeffry Pelletier, and John Woods, pp. 341–414. Amsterdam: Elsevier Science Publishers B.V.
Pelletier, Francis Jeffry and Hazen, Allen Patterson. 2021. “Natural Deduction Systems in Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2021/entries/natural-deduction/.
Taylor, Barry and Hazen, Allen Patterson. 1992. “Flexibly Structured Predication.” Logique et Analyse 35(139–140): 375–393.

Further References

Pollard, Stephen. 1990. Philosophical Introduction to Set Theory. Notre Dame, Indiana: University of Notre Dame Press.
Wright, Crispin. 1983. Frege’s Conception of Numbers as Objects. Aberdeen: Aberdeen University Press.