A formal cognitive model of mathematical metaphors

Markus Guhe, Alan Smaill, Alison Pease

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

Starting from the observation by Lakoff and Núñez (2000) that the process for mathematical discoveries is essentially one of creating metaphors, we show how Information Flow theory (Barwise & Seligman, 1997) can be used to formalise the basic metaphors for arithmetic that ground the basic concepts in the human embodied nature.
Original languageEnglish
Title of host publicationKI 2009: Advances in Artificial Intelligence
Subtitle of host publication32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings
PublisherSpringer Berlin Heidelberg
Number of pages8
ISBN (Electronic)978-3-642-04617-9
ISBN (Print)978-3-642-04616-2
Publication statusPublished - 15 Sept 2009

Publication series

NameLecture Notes in Computer Science
Publisher Springer Berlin Heidelberg
ISSN (Print)5803
ISSN (Electronic)0302-9743


Dive into the research topics of 'A formal cognitive model of mathematical metaphors'. Together they form a unique fingerprint.

Cite this