A formal cognitive model of mathematical metaphors

Markus Guhe, Alan Smaill, Alison Pease

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

Abstract

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
Pages323-330
Number of pages8
ISBN (Electronic)978-3-642-04617-9
ISBN (Print)978-3-642-04616-2
DOIs
Publication statusPublished - 15 Sep 2009

Publication series

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

Cite this