Leona Mollica

In this paper I propose and motivate a logic of the interdefined concepts of making true and control, understood as intensional propositional operators to be indexed to an agent. While bearing a resemblance to earlier logics in the tradition, the motivations, semantics, and object language theory differ on crucial points. Applying this logic to widespread formal theories of agency, I use it as a framework to argue against the ubiquitous assumption that the strongest actions or options available to a given agent must always be pairwise incompatible. The conclusion is that this assumption conflicts with failures of higher order control of agents over their degree or precision of control, failures exhibited by such imperfect agents as ourselves. I discuss models in this setting for understanding such imperfectly self-controlling agents. In an appendix, I prove several relevant results about the logic described, including soundness and completeness both for it and for certain natural extensions.

In this paper I take up the task, begun by Lewis and Lewis in their seminal paper on the topic, of offering a theory of holes according to which a hole is simply its hole-lining. I begin by motivating the theory, arguing that it holds interest even absent its original animating concerns of nominalism and materialism, and present desiderata any such theory must satisfy. With this in place, I offer a definition both of a lining and of hole sameness, arguing that these can overcome the most prominent standing objections to identifying holes with linings. Finally, I present a more powerful counterargument in the spirit of Casati and Varzi, and conclude with an emended version of the theory meeting all our earlier desiderata. I conclude by dispelling some possible worries about the nominalist and materialist credentials of my theory.