The principles of deductive logic