logic is a system of.