For example, the following sentence lends itself to two possible interpretations: (1) Old men and women left the theater. What does “old” modify in this sentence? “Men” or “men and women”? In other ...

Kris McDaniel has recently defended a criterion for being an ontological pluralist that classifies the quantifier variantist as one. In this paper, I argue that this is a mistake. There is an ...

Cylindrical Algebraic Decomposition (CAD) is a pivotal algorithmic technique in real algebraic geometry, instrumental in resolving problems expressed in a first‐order language over the reals. By ...

This is a preview. Log in through your library . Abstract This paper studies the expressive power that an extra first order quantifier adds to a fragment of monadic second order logic, extending the ...