A formal cognitive model of mathematical metaphors

Markus Guhe, Alan Smaill, Alison Pease

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

    3 Citations (Scopus)

    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
    EditorsBärbel Mertsching, Marcus Hund, Zaheer Aziz
    Place of PublicationBerlin
    PublisherSpringer
    Pages323-330
    Number of pages8
    ISBN (Electronic)9783642046179
    ISBN (Print)9783642046162
    DOIs
    Publication statusPublished - 2009
    Event32nd Annual Conference on Artificial Intelligence - University of Paderborn, Paderborn, Germany
    Duration: 15 Sep 200918 Sep 2009
    http://ki2009.uni-paderborn.de/index.php?id=1

    Publication series

    NameLecture notes in computer science
    PublisherSpringer
    Volume5803
    ISSN (Print)0302-9743

    Conference

    Conference32nd Annual Conference on Artificial Intelligence
    Abbreviated titleKI 2009: AI and Automation
    CountryGermany
    CityPaderborn
    Period15/09/0918/09/09
    Internet address

    Cite this

    Guhe, M., Smaill, A., & Pease, A. (2009). A formal cognitive model of mathematical metaphors. In B. Mertsching, M. Hund, & Z. Aziz (Eds.), KI 2009: Advances in Artificial Intelligence: 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings (pp. 323-330). (Lecture notes in computer science; Vol. 5803). Springer . https://doi.org/10.1007/978-3-642-04617-9_41