In ‘The logic of partial supposition’, Eva and Hartmann present a dilemma for a normative account of partial subjunctive supposition: the natural subjunctive analogue of Jeffrey conditionalization is Jeffrey imaging, but this rule violates a natural monotonicity constraint. This paper offers a partial defence of Jeffrey imaging against Eva and Hartmann’s objection. I show that, although Jeffrey imaging is non-monotonic in Eva and Hartmann’s sense, it is what I call status quo monotonic. A status quo monotonic credal revision rule is (...) monotonic in Eva and Hartmann’s sense if it is conservative in the sense of Meehan and Zhang (‘Jeffrey meets Kolmogorov’), but Jeffrey imaging is in general non-conservative. On the other hand, Jeffrey imaging satisfies a different constraint that I call convexity, and the only rule that is both convex and conservative is Jeffrey conditionalization. To this extent, the real dilemma for a normative account of partial subjunctive supposition is not between monotonicity (broadly construed) and Jeffrey imaging, but between convexity and conservativeness. (shrink)

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. (shrink)

Essentially intentional actions are kinds of action that can only be done intentionally. Essentialism is the view that essentially intentional actions exist. Accidentalism is the view that essentialism is false. In my thesis, I develop and argue for naïve essentialism, a species of essentialism based on Michael Thompson’s naïve action theory. First, I present key features of naïve action theory and the broader Anscombean tradition, distinguish between essentially and accidentally intentional actions, and provide an argument for the existence of essentially (...) intentional actions. Second, I respond to three objections to my argument. Third, I argue that accidentalism is a reductive approach to action and faces some standard problems to such approaches. Fourth, I present three noteworthy implications of my defense of essentialism for the philosophy of mind and action. (shrink)