logiska fakulteten föreslagit docenten O. Ahnlund.