8 found
Order:
See also
Christopher Menzel
Texas A&M University
  1. In Defense of the Possibilism–Actualism Distinction.Christopher Menzel - forthcoming - Philosophical Studies:1-27.
    In Modal Logic as Metaphysics, Timothy Williamson claims that the possibilism-actualism (P-A) distinction is badly muddled. In its place, he introduces a necessitism-contingentism (N-C) distinction that he claims is free of the confusions that purportedly plague the P-A distinction. In this paper I argue first that the P-A distinction, properly understood, is historically well-grounded and entirely coherent. I then look at the two arguments Williamson levels at the P-A distinction and find them wanting and show, moreover, that, when the N-C (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Wide Sets, ZFCU, and the Iterative Conception.Christopher Menzel - 2014 - Journal of Philosophy 111 (2):57-83.
    The iterative conception of set is typically considered to provide the intuitive underpinnings for ZFCU (ZFC+Urelements). It is an easy theorem of ZFCU that all sets have a definite cardinality. But the iterative conception seems to be entirely consistent with the existence of “wide” sets, sets (of, in particular, urelements) that are larger than any cardinal. This paper diagnoses the source of the apparent disconnect here and proposes modifications of the Replacement and Powerset axioms so as to allow for the (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  3. Logic, Essence, and Modality — Review of Bob Hale's Necessary Beings. [REVIEW]Christopher Menzel - 2015 - Philosophia Mathematica 23 (3):407-428.
    Bob Hale’s distinguished record of research places him among the most important and influential contemporary analytic metaphysicians. In his deep, wide ranging, yet highly readable book Necessary Beings, Hale draws upon, but substantially integrates and extends, a good deal his past research to produce a sustained and richly textured essay on — as promised in the subtitle — ontology, modality, and the relations between them. I’ve set myself two tasks in this review: first, to provide a reasonably thorough (if not (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. Modal Set Theory.Christopher Menzel - forthcoming - In Otávio Bueno & Scott Shalkowski (eds.), The Routledge Handbook of Modality. London and New York: Routledge.
    This article presents an overview of the basic philosophical motivations for, and some recent work in, modal set theory.
    Download  
     
    Export citation  
     
    Bookmark  
  5. Problems with the Bootstrapping Objection to Theistic Activism.Christopher Menzel - 2016 - American Philosophical Quarterly 53 (1):55-68.
    According to traditional theism, God alone exists a se, independent of all other things, and all other things exist ab alio, i.e., God both creates them and sustains them in existence. On the face of it, divine "aseity" is inconsistent with classical Platonism, i.e., the view that there are objectively existing, abstract objects. For according to the classical Platonist, at least some abstract entities are wholly uncreated, necessary beings and, hence, as such, they also exist a se. The thesis of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. The Argument From Collections.Christopher Menzel - 2018 - In J. Walls & T. Dougherty (eds.), Two Dozen (or so) Arguments for God: The Plantinga Project. New York: Oxford University Press. pp. 29-58.
    Very broadly, an argument from collections is an argument that purports to show that our beliefs about sets imply — in some sense — the existence of God. Plantinga (2007) first sketched such an argument in “Two Dozen” and filled it out somewhat in his 2011 monograph Where the Conflict Really Lies: Religion, Science, and Naturalism. In this paper I reconstruct what strikes me as the most plausible version of Plantinga’s argument. While it is a good argument in at least (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Basic Semantic Integration.Christopher Menzel - 2004 - Semantic Interoperability and Integration, Proceedings of Dagstuhl Seminar 04391.
    The use of highly abstract mathematical frameworks is essential for building the sort of theoretical foundation for semantic integration needed to bring it to the level of a genuine engineering discipline. At the same time, much of the work that has been done by means of these frameworks assumes a certain amount of background knowledge in mathematics that a lot of people working in ontology, even at a fairly high theoretical level, lack. The major purpose of this short paper is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8.  36
    The IDEF Family of Languages.Christopher Menzel - 1998 - In Peter Bernus, Kai Mertins & Günter J. Schmidt (eds.), Handbook on Architectures of Information Systems. New York: Springer-Verlag. pp. 209-241.
    Summary. The purpose of this article is to serve as a clear introduction to the modeling languages of the three most widely used IDEF methods: IDEF0, IDEF1X, and IDEF3. Each language is presented in turn, beginning with a discussion of the underlying “ontology” the language purports to describe, followed by presentations of the syntax of the language — particularly the notion of a model for the language — and the semantical rules that determine how models are to be interpreted. The (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation