Home > logic, miwhpm, philosophy of mathematics > Erich Reck – The nature and purpose of Dedekind Abstraction

Erich Reck – The nature and purpose of Dedekind Abstraction

November 25, 2012 Leave a comment Go to comments

The Montreal Inter-University Workshop on the History and Philosophy
of Mathematics presents:

Erich Reck (UC Riverside):
The nature and purpose of Dedekind Abstraction

Friday, November 30, 2012
Concordia University, 1515 St-Catherine West, EV 11-705. 4:00-6:00pm
(Note: This is a different location than usual!)

Abstract: While Richard Dedekind’s technical contributions to the
foundations of mathematics were absorbed into modern logic relatively
quickly and almost completely, his philosophical remarks have received
a more mixed response. This applies especially to his notion of
abstraction, as introduced most explicitly in his well-known booklet,
"Was sind und was sollen die Zahlen?" In this talk I will compare
several different ways in which the nature of Dedekind abstraction has
been understood. I will then propose a novel approach to it, based on
formulating laws or principles that are analogous, at least to some
degree, to neo-logicist abstraction principles. Motivating this
approach further will involve reflecting on the purpose of Dedekind
abstraction, as conceived of by Dedekind himself and as still relevant
today.
—–
For more information, please contact:Gregory Lavers (Concordia),
Mathieu Marion (UQÀM), Jean-Pierre Marquis (UdM), Dirk Schlimm
(McGill).
Website: http://www.cs.mcgill.ca/~dirk/workshop

  1. No comments yet.
  1. No trackbacks yet.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: