Supervenience and infinitary property-forming operations
This paper provides an account of the closure conditions that apply to sets of subvening and supervening properties, showing that the criterion that determines under which property-forming operations a particular family of properties is closed is applicable both to the finitary and to the infinitary case. In particular, it will be established that, contra Glanzberg, infinitary operations do not give rise to any additional difficulties beyond those that arise in the finitary case.
KeywordsSupervenience Closure conditions Resplicing Infinitary logic
- Barwise, J. (1973). Back and forth through infinitary logic. In M. Morley (Ed.), Studies in model theory (pp. 5–34). Buffalo, NY: The Mathematical Association of America.Google Scholar
- Karp, C. (1965). Finite-quantifier equivalence. In J. W. Addison, L. Henkin and A. Tarski (Eds.), The Theory of Models (pp. 407–412). Amsterdam: North-Holland Publishing Company.Google Scholar
- McLaughlin, B., & Bennett, K. (2005). Supervenience. In E. N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy.Google Scholar