Abstract

A selection function based semantics is offered for the 'can' of ability based on the idea that 'John can run a four minute mile' is true iff John would do so under the right conditions, meaning that he would do so under at least one appropriately chosen test condition. Completeness is proved for an axiom system and semantics based on this idea, and the logic turns out to be interestingly different from any standard system of modal logic.