Disimplicature

Speranza

On one influential view, metaphysical fundamentality can be understood in terms of joint-carving. Ted Sider has recently argued that some first order quantifier is joint-carving, and modal notions are not joint-carving. After vindicating the theoretical indispensability of quantification against recent criticism, I will defend a logical result due to Arnold Koslow which implies that and are incompatible. I will therefore consider an alternative understanding of Sider's metaphysics to the effect that some first order quantifier is joint-carving, and intensional notions are not joint-carving. Another result due to Koslow entails that and are also incompatible. I will argue that this second result is inconclusive. Nevertheless, is incompatible with another tenet of Sider's metaphysics, namely that ‘being joint-carving’ is itself joint-carving. 

In order to resolve the inconsistency, Grice argues that condition should be renounced.