From: Erik Palmgren <palmgren@math.uu.se>
To: categories@mta.ca
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) [thread overview]
Message-ID: <E1L8Fvo-0005bx-Sg@mailserv.mta.ca> (raw)
First announcement
A conference on
Philosophy and Foundations of Mathematics -
Epistemological and Ontological Aspects,
dedicated to Per Martin-Löf 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öm Colin McLarty Per Martin-Löf
Peter Pagin Erik Palmgren Jan von Plato
Dag Prawitz Christine Paulin Aarne Ranta
Michael Rathjen Giovanni Sambin Anton Setzer
Stewart Shapiro Wilfried Sieg Sören Stenlund
Göran 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öf'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öf 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öf. What is the relation between
proof-theoretical semantics in the tradition of Gentzen, Prawitz, and
Martin-Löf 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öm Erik Palmgren
Dag Prawitz Sören Stenlund Viggo Stoltenberg-Hansen
(organization and programme committee)
Venue
The workshop will take place at the Swedish Collegium for Advanced
Study (SCAS), Linneanum, Thunbergsvägen 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,
Department of Mathematics, Uppsala University,
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 Science.
reply other threads:[~2008-12-04 11:08 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1L8Fvo-0005bx-Sg@mailserv.mta.ca \
--to=palmgren@math.uu.se \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).