Definition and scope of logic.