The author’s attitude to foundations of mathematics, which he describes as commonsensical, assumes a permanent interaction between the foundations and the current mathematical practice (“applications”). It is opposed in this sense to the “Bolzano-Frege-Peano-Russell tradition” (making part of today’s Analytic philosophy), which attempts to provide Formal Axiomatic Method with a philosophical underpinning disregarding its problematic status in the context of the current mathematical research.

Original languageEnglish
Title of host publicationAxiomatic Method and Category Theory
PublisherSpringer Nature
Pages99-143
Number of pages45
ISBN (Electronic)978-3-319-00404-4
ISBN (Print)978-3-319-37551-9
DOIs
StatePublished - 2014

Publication series

NameSynthese Library
Volume364
ISSN (Print)0166-6991
ISSN (Electronic)2542-8292

    Scopus subject areas

  • History and Philosophy of Science
  • History
  • Language and Linguistics
  • Logic

    Research areas

  • Category Theory, Internal Logic, Mathematical Object, Objective Logic, Subjective Logic

ID: 92471558