This articles explores the mereological foundation of truthmaker semantics. Building upon Kit Fine’s abstract theory of part in [16], we engage in an exploration of the mereological assumptions that determine the construction of truthmaker semantics. Our approach yields semantics for a diverse range of logics, including substructural logics such as the associative Lambek calculus, as well as the logics of analytic containment. Furthermore, we elucidate the philosophical implications that arise from this pioneering approach.

According to Aristotle, the present is an indivisible instant, or now. Aristotle holds that present-tense movement claims are sometimes true, but he argues that nothing ‘kineitai’ (moves/is moving) in the now. He characterizes movement as something that is ‘incomplete’ while it is occurring. My paper is an attempt to understand this combination of views. I draw a contrast between Aristotle’s position and an alternative view (defended by certain modern philosophers, but also by Plotinus), on which a present-tense movement claim is (...) made true by the existence of something that is wholly present in the now. And I give some reasons for preferring Aristotle’s position. (shrink)