Andrea Cantini

Ideal Object, Proof, and Mathematical Practice

Are you already subscribed?
Login to check whether this content is already included on your personal or institutional subscription.

Abstract

In the present philosophy of mathematics, we can distinguish three different styles of philosophical analysis: the normal or standard style, which is logically and foundationally oriented; the analytical style considering philosophy of mathematics as a branch of analytic philosophy, i.e. primarily focused on philosophical issues about ontology and epistemology; a fairly recent mixed style, trying to capture the many facets of mathematics as a cultural system and anchored to the so-called mathematical practice. After focusing on the traditional ontological questions, we deal with the interaction between logical analysis, foundational themes and mathematical practice, and we conclude by suggesting an interpretation of foundational research.

Keywords

  • Ideal Object
  • Proof
  • Mathematical Practice
  • Philosophy of Mathematics
  • Logic
  • Foundations

Preview

Article first page

What do you think about the recent suggestion?

Trova nel catalogo di Worldcat