system of logic