En framstående professor i logik kommer att uppträda meck 2:ne föreläsningar.