Home > frege, function, miwhpm > Göran Sundholm – Three kinds of function

Göran Sundholm – Three kinds of function

September 29, 2011 Leave a comment Go to comments

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

Göran Sundholm (Leiden): Three kinds of function
Thursday, October 6, 2011

McGill University, Leacock Building, Room 927. 5:30-7:00pm

Abstract: The development of the notion of function in commonly held to have gone from the idea that functions are (anchored in) expressions with free variables to the idea that they are mappings not tied to expressions and that the "sets of ordered pairs unique in the last component" conception is the precise version of this. I shall, to the contrary, distinguish three notions and discuss examples : 1. Euler-Frege functions — dependent objects of lowest level, with substitution taking the role of application; 2. Riemann-Dedekind mappings — independent objects of higher level, with a primitive notion of application; 3. Courses of value ("graphs"), used by Frege, Von Neumann, and set theory (Russell, Hausdorff, …) —independent objects of lowest level, where one needs a special application function of kind 1. (Frege’s curved arch, Von Neumann’s [x,y], Russell’s elevated inverted comma for descriptive functions.

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: