Current Projects

Research Topics

• (Current) A logical account of verbal abuse and bullying, on how such speech acts often also involve an abuse or subversion of Stalnakerian presuppositions, bridging the literature with philosophical discussions on presupposition accomodation and related topics in epistemic logic.
• Stalnakerian presupposition accomodation and fragmentation of belief with non-normal worlds in fictional statements or agreeing to disagree.
• Objections to Wittgensteinian notions of public/private languages using minimalist/small lanugages.
  • I have a talk that touches on my views on this.
• (Long-term project) A type-theoretic theory of meaning that builds on Dummettian constructivism and proof-theoretic semantics, using types and type universes themselves within Martin-Löf Type Theory to model concepts from semantic prototype theory.
  • I previously wrote up a short draft to explain my motivations for pursuing the matter and lay the rough outline for how such a type theory might look like. There are several issues and oversights with the draft that I hope to expand on over time.

Conlanging

I'm currently working on a cat-themed family of languages that roughly follow the phylogenetics of the Felidae family. I might be using them as part of the setting for a TTRPG I'm working on.

The first language in the family (the oldest) is called Felang/Ffirrang, and has documentation available!