@proceedings {3126811,
	title = {Modeling progress: causal models, event types, and the imperfective paradox},
	volume = {40},
	year = {2022},
	pages = {254-264},
	abstract = {<p>
	Under progressive marking,\&nbsp;telic predicates can describe events that fail to reach\&nbsp;culmination. Prominent accounts of this so-called "imperfective paradox" tie\&nbsp;the effect to the modal accessibility of culmination, intensionalizing the progressive operator so that it instantiates qualifying (culminated) eventualities across a set\&nbsp;of alternatives to the evaluation world. This approach faces a number of empirical challenges, including the acceptability of progressives of\&nbsp;unlikely or locally out-of-reach events. This paper proposes a new approach, on which telic progressives are instead sensitive to (mereological) structure inherited from an\&nbsp;event type associated with telic predicate\&nbsp;P. An\&nbsp;event type constitutes a formal\&nbsp;causal model\&nbsp;(e.g., Pearl 2000) in\&nbsp;which\&nbsp;P{\textquoteright}s culmination condition\&nbsp;C\&nbsp;occurs as a dependent or caused variable.\&nbsp; The model provides a set of\&nbsp;causal\&nbsp;pathways\&nbsp;for realizing\&nbsp;C,\&nbsp;each of which comprises a set of jointly sufficient causal conditions for\&nbsp;C,\&nbsp;and also\&nbsp;establishes (sets of) conditions which preclude\&nbsp;C. On this approach,\&nbsp;the progress of an actual token P-eventuality\&nbsp;can be measured with respect to the event type. A reference time situation\&nbsp;s\&nbsp;satisfies PROG(P)\&nbsp;just in case it is a\&nbsp;plausible cross-section of an incomplete causal pathway in\&nbsp;P:\&nbsp;s\&nbsp;must\&nbsp;verify some but not all the conditions in a causal\&nbsp;pathway for\&nbsp;C, and fail to verify a sufficient set of conditions for non-culmination.
</p>
},
	author = {Nadathur, Prerna and Bar-Asher Siegal Elitzur A.}
}
