professor of logic