Home > history of philosophy, miwhpm, philosophy of mathematics > Gregory Lavers – Frege the Conventionalist and Carnap the Fregean

Gregory Lavers – Frege the Conventionalist and Carnap the Fregean

September 22, 2009 Leave a comment Go to comments

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

Frege the Conventionalist and Carnap the Fregean
by Gregory Lavers (Concordia)

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

Abstract: In this paper I examine the fundamental views on the nature of logical and mathematical truth of both Frege and Carnap. I argue that their positions are much closer than is standardly assumed. I attempt to establish this point on two fronts. First, I argue that Frege is not the metaphysical realist that he is standardly taken to be. Second, I argue that Carnap, where he does differ from Frege, can be seen to do so because of mathematical results proved in the early twentieth century. The differences in their views are, then, not primarily philosophical differences. Also, it might be thought that Frege was interested in analyzing our ordinary mathematical notions, while Carnap was interested in the construction of arbitrary systems. I argue that this is not the case: our ordinary notions play an even more important role in Carnap’s
philosophy of mathematics than they do in Frege’s.

For more information, please contact:
Gregory Lavers (Concordia), Mathieu Marion (UQÀM), Jean-Pierre Marquis (UdM), Dirk Schlimm (McGill).

  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: