I'm a postdoctoral fellow in logic at the department of philosophy of Göteborg University.