It seems clear that there must be some way of defining logic otherwise than in relation to a particular logical language. The fundamental characteristic of logic, obviously, is that which is indicated when we say that logical propositions are true in virt.