Professor of logic