  The tradition of demarcating the logical constants as expressions that can be characterized by purely inferential introduction and elimination rules can be seen as a way of capturing this notion of completely general applicability. For, plausibly, it is the fact that the logical constants are characterizable in terms of notions fundamental to thought or reasoning (for example, valid inference) that accounts for their universal applicability.