According to typical ought-implies-can principles, if you have an obligation to vaccinate me tomorrow, then you can vaccinate me tomorrow. Such principles are uninformative about conditional obligations: what if you only have an obligation to vaccinate me tomorrow if you synthesize a vaccine today? Then maybe you cannot vaccinate me tomorrow ; what you can do instead, I propose, is make it the case that the conditional obligation is not violated. More generally, I propose the ought-implies-can-obey principle: an agent has (...) an obligation only at times at which the agent can obey the obligation. I also propose another principle, which captures the idea that ‘ought’ implies ‘can avoid’. I defend both principles mainly by arguing that they help explain why agents lose obligations, including conditional ones. (shrink)

Humberstone has shown that if some set of agents is collectively omniscient (every true proposition is known by at least one agent) then one of them alone must be omniscient. The result is paradoxical as it seems possible for a set of agents to partition resources whereby at the level of the whole community they enjoy eventual omniscience. The Humberstone paradox only requires the assumption that knowledge distributes over conjunction and as such can be viewed as a reductio against the (...) universal validity of that principle. A new route to this paradox is presented which does not require the distribution principle, building on earlier work of Jago and Williamson on Fitch’s paradox. The result relies on an axiom strictly weaker than one necessary for the Jago-Fitch variant. It is shown that the same reasoning behind the variant form of Humberstone’s paradox can recover Bigelow’s results in action theory in a way that is immune to an objection brought against it by Guigon and Humberstone. (shrink)

In virtue of Fitch-Church proof, also known as the knowability paradox, we are able to prove that if everything is knowable, then everything is known. I present two ‘onto-theological’ versions of the proof, one concerning collective omniscience and another concerning omnificence. I claim these arguments suggest new ways of exploring the intersection between logical and ontological givens that is a grounding theme of religious thought. What is more, they are good examples of what I call semi-paradoxes: apparently sound arguments whose (...) conclusion is not properly unacceptable, but simply arguable. (shrink)

Two proofs are given which show that if some set of truths fall under finitely many concepts (so-called Collectivity), then they all fall under at least one of them even if we do not know which one. Examples are given in which the result seems paradoxical. The first proof crucially involves Moorean propositions while the second is a reconstruction and generalization of a proof due to Humberstone free from any reference to such propositions. We survey a few solution routes including (...) Tennant-style restriction strategies. It is concluded that accepting Collectivity for some set of truths while also denying that any of the involved concepts in isolation capture all of them requires that one of these concepts cannot be closed under conjunction elimination. This is surprising since the paper surveys several applications in which Collectivity and the latter closure condition seemed jointly satisfiable for concepts of actual philosophical interest. (shrink)