Conceptual Integration Networks in Isabelle

Date: 13th November 2020

Time: 14:00-16:00

Location: online

Talks

Title: onceptual Integration Networks in Isabelle
Speaker: James Vaughan
Abstract:

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.