This 2001 book advances a new account of the basic concepts of logic. A central feature of the theory is that it does not require the elements of logic to be based on a formal language. Rather it uses a general notion of implication as a way of organizing the formal results of various systems of logic in a simple way.