Dynamic Unioning Plural Logic

Abstract

Popular plural logics based on van den Berg (1996) require complex machinery: a structured inclusion relation to properly maintain dependencies (e.g., ‘⊑’ in Brasoveanu (2013)), and maximization and distributivity operators to correctly analyze quantification, among others. Systems following van den Berg (1996) introduce even further machinery (see Nouwen, 2003; Brasoveanu, 2008). Here instead I propose the new Dynamic Unioning Plural Logic (DUPL) a simpler system that replicates the van den Berg system (and addresses some of its empirical issues) with only one new operator and one new term type.