Ashtyn Morel-Blake

I study linguistics at McGill University and minor in philosophy. I am interested in where formal systems meet natural language, and I ultimately hope to work as a speech-language pathologist.

• Blog — essays, notes, and works in progress
• GitHub — software projects and experiments
• Email — for correspondence

Research interests

• Natural-language syntax and semantics
• Formal systems as a lens on language: logic, type theory, and programming-language theory
• Speech production and phonetics

Research & writing

I write about language, logic, philosophy, and general questions that I find amusing.

• On Will — freedom, omniscience, possibility, and responsibility (work in progress)
• Type Theory — from Russell's paradox through Church to Curry–Howard (2026)