I'm a wannabe mathematical logician and actual philosophical logician who'll start up a PhD in Logic at Wellington NZ in mid-July 2015. In philosophical logic, modal logics of all kinds, many-valued logics, and paraconsistent logics. Currently studying the proof theory and semantics of vague languages / many-valued logics. In math logic, I play around with model theory and occasionally recursion theory. I have nascent, but sincere interest in formal language theory, especially context free grammars and various extensions of the same.
I also have interests in Islamic theology / philosophy, Semitic traditions and culture, and a host of other things.