logiska institutet och professori