The science of logic