From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4709 Path: news.gmane.org!not-for-mail From: Erik Palmgren Newsgroups: gmane.science.mathematics.categories Subject: Conference on Philosophy and Foundations of Mathematics, May 5-8, 2009 at SCAS, Uppsala Date: Thu, 4 Dec 2008 12:08:29 +0100 (CET) Message-ID: Reply-To: Erik Palmgren NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; CHARSET=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241020121 14493 80.91.229.2 (29 Apr 2009 15:48:41 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:48:41 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Thu Dec 4 11:21:51 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 04 Dec 2008 11:21:51 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1L8Fvo-0005bx-Sg for categories-list@mta.ca; Thu, 04 Dec 2008 11:15:56 -0400 Content-ID: Original-Sender: categories@mta.ca Precedence: bulk X-Keywords: X-UID: 13 Original-Lines: 116 Xref: news.gmane.org gmane.science.mathematics.categories:4709 Archived-At: First announcement A conference on Philosophy and Foundations of Mathematics - Epistemological and Ontological Aspects, dedicated to Per Martin-L=F6f on the occasion of his retirement, is to be held in Uppsala, Sweden, May 5-8, 2009 at the Swedish Collegium for Advanced Study. Speakers: Peter Aczel Mark van Atten Thierry Coquand Peter Dybjer Juliet Floyd Jean-Yves Girard Sten Lindstr=F6m Colin McLarty Per Martin-L=F6f Peter Pagin Erik Palmgren Jan von Plato Dag Prawitz Christine Paulin Aarne Ranta Michael Rathjen Giovanni Sambin Anton Setzer Stewart Shapiro Wilfried Sieg S=F6ren Stenlund G=F6ran Sundholm William Tait The aim of the conference is to bring together philosophers, mathematicians, and logicians to penetrate current and historically important problems in the philosophy and foundations of mathematics. Swedish logicians and philosophers have made important contributions to the foundations and philosophy of mathematics, at least since the end of the 1960s. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. A central philosophical question concerns the nature of the abstract entities of mathematics: do they exist independently of our epistemic acts (realism, or Platonism) or are they somehow constituted by these acts (idealism)? Significant contributions have been made to the foundations of mathematics, for example in proof theory, proof-theoretic semantics and constructive type theory. These contributions have had a strong impact on areas of computer science, e.g. through Martin-L=F6f's type theory. Two important alternative foundational programmes that are actively pursued today are predicativistic constructivism and category- theoretic foundations. Predicativistic constructivism can be based on Martin-L=F6f constructive type theory, Aczel's constructive set theory, or similar systems. The practice of the Bishop school of constructive mathematics fits well into this framework. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-L=F6f. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-L=F6f and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analysis tell us about the scope and limits of constructive and (generalized) predicative mathematics? To what extent is it possible to reduce classical mathematical frameworks to constructive ones? Such reductions often reveal computational content of classical existence proofs. Is computational content enough to solve the epistemological questions? A central concern for the conference will be to compare the different foundational frameworks - classical set theory, constructive type theory, and category theory - both from a philosophical and a logical point of view. The general theme of the conference, however, will be broader and encompass different areas of philosophy and foundations of mathematics, in particular the interplay between ontological and epistemological considerations. Peter Dybjer Sten Lindstr=F6m Erik Palmgren Dag Prawitz S=F6ren Stenlund Viggo Stoltenberg-Hansen (organization and programme committee) Venue The workshop will take place at the Swedish Collegium for Advanced Study (SCAS), Linneanum, Thunbergsv=E4gen 2, Uppsala, Sweden Attendance Attendance is open, and there is no registration fee. However, anyone planning to attend should preregister by emailing PFM[at]math.uu.se no later than April 5, 2009. A complete programme and further useful information will appear on the web page http://www.math.uu.se/PFM/ Sponsors The conference is organised with the support of The Swedish Research Council, Department of Mathematics, Stockholm University,=20 Department of Mathematics, Uppsala University,=20 Centre for Interdisciplinary Mathematics, Uppsala University, Department of Philosophy, Uppsala University, Department of Computer Science and Engineering, Chalmers University of Technology and Gothenburg University, The Swedish Collegium for Advanced Study, Uppsala, Swedish National Committee for Logic, Methodology and Philosophy of Scien= ce.