logik vid universitetet i Aberdeen.