This will be a talk at the conference Understanding Langauge. Slides here.

Abstract: In this talk, I’ll explain one implication of Engineering Set-Theoretic Concepts, namely that even in mathematics formalisation can fail to fix meaning. I’ll look at some different conceptions of set, and point out that if there are multiple competing conceptions at play in mathematical discourse, then there is a failure of certain internalist epistemological principles regarding set-theoretic knowledge.