Title: Conceptual Integration Networks in Isabelle
Speaker: James Vaughan
Conceptual Integration or Blending is a general cognitive operation used in Linguistics to explain numerous cognitive abilities; from the abstract and metaphorical to the mundane and routine. Spectacular examples of blending in Mathematics, such as Category or Group theory, highlight the power of the process but obscure how ubiquitous it is in human reasoning. I’d like to talk about the network topology of various kinds of conceptual blending and how we can use them to map out mathematical networks within Isabelle.