Knowledge how, procedural knowledge, and the type-token action clause

This paper argues that the propositions “S knowing how to Φ entails that S has the ability to Φ” and “S knowing how to Φ does not entail the ability to Φ” can both be true and non-contradictory when true, so long as one distinguishes between Φ as an action-type and Φ as an action-token. In order to defend this claim, recent work by Young (on the type-token action clause), Levy (on knowledge how and motor representations), and Gaultier (on procedural knowledge) is discussed with a view to integrating into a coherent and novel position certain commonalities within their respective views. As a consequence of this integration, a revised version of Young’s type-token action clause is suggested that provides comprehensive support for the assertion that knowing how to Φ both does and does not necessitate the ability to Φ, depending on whether one is talking about action types or action tokens.