Hr F. , logikern ex professo , som ism