10 found
Order:
  1. In Defense of the Possibilism–Actualism Distinction.Christopher Menzel - 2020 - Philosophical Studies 177 (7):1971-1997.
    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   9 citations  
  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   17 citations  
  3. Pure Logic and Higher-order Metaphysics.Christopher Menzel - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.
    W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. Actualism, Ontological Commitment, and Possible World Semantics.Christopher Menzel - 1990 - Synthese 85 (3):355-389.
    Actualism is the doctrine that the only things there are, that have being in any sense, are the things that actually exist. In particular, actualism eschews possibilism, the doctrine that there are merely possible objects. It is widely held that one cannot both be an actualist and at the same time take possible world semantics seriously — that is, take it as the basis for a genuine theory of truth for modal languages, or look to it for insight into the (...)
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  5. (1 other version)The Argument from Collections.Christopher Menzel - 2018 - In Jerry L. Walls Trent Dougherty (ed.), Two Dozen (or so) Arguments for God: The Plantinga Project. New York, 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   6 citations  
  6. 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   5 citations  
  7. (1 other version)Modal set theory.Christopher Menzel - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. 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   1 citation  
  8. 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   1 citation  
  9. The IDEF family of languages.Christopher Menzel - 1998 - In Peter Bernus, Kai Mertins & Günter J. Schmidt (eds.), Handbook on Architectures of Information Systems. 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  
  10. 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