its systematization and the study of notions relevant to it. This gives it two systematically related areas of concern, formal logic and philosophical logic (also called logical theory, though usage varies and philosophy of logic is sometimes confined to the study to logical systems and their applications).