FOM: symposium in Nancy, France
Stephen G Simpson
simpson at math.psu.edu
Mon Oct 29 12:22:07 EST 2001
From: "Manuel Rebuschi" <Manuel.Rebuschi at univ-nancy2.fr>
To: "Foundations of Mathematics" <owner-fom at math.psu.edu>
Subject: Symposium Nancy 2002
Date: Mon, 29 Oct 2001 16:43:46 +0100
Dear Professor Simpson,
Please find enclosed the announcement of a symposium which will be held in
Nancy, France, from September 30 to October 4 2002. We would be grateful if
you could post this information to your mailing list.
Best regards
Manuel Rebuschi.
==========================================
INTERNATIONAL SYMPOSIUM
Philosophical Insights into Logic and Mathematics:
The History and Outcome of Alternative Semantics and Syntax
September 30 - October 4, 2002, NANCY, France
==========================================
FIRST ANNOUNCEMENT
and
CALL FOR PAPERS
==========================================
Information about the Symposium, together with an on-line Registration Form,
are available from the Symposium home page:
http://www.univ-nancy2.fr/ACERHP/colloques/symp02/Symp02-angl.html
==========================================
° Laboratoire de Philosophie et d'Histoire des Sciences-Archives Henri
Poincaré (UMR 7117)
° Université de Nancy 2
° Beth-Foundation (Amsterdam)
° Institute for Logic, Language and Computation (Amsterdam)
° Goethe Institut (Nancy)
Founded in 1992, the Laboratoire de Philosophie et d'Histoire des Sciences -
Archives Henri Poincaré (LPHS-AHP) is an Unité mixte de Recherche du Centre
National de la Recherche Scientifique (CNRS). Besides the conservation of
Poincaré's writings and the collection of documents related to his work, its
members conduct research projects concentrating on the philosophy and
history of logic, mathematics and physics from 1850 to 1950. Following the
International Congress - Henri Poincaré (Nancy 1994) and the Nelson Goodman
Conference (Pont-à-Mousson 1997), the Logic Symposium of 2002 is the third
large conference organized by the Archives.
==========================================
Towards the end of the 20th century the following question arises: Is
translatability into the language of set theory and logic really the
exclusive form of justification and rigor in mathematics? Since Poincaré
there have always been some outsiders who rejected the standard view about
the foundations of mathematics. Formulated in modern terms, Poincaré held
that the varieties of formal logical theories-which he thought to be
considerably attached to set operations-don't express the structure which is
essential for a genuine understanding of mathematics. One possible
alternative were: "Mathematics without foundations," and it could be
evidenced by the fact that the existence of formally undecidable
propositions (within a given arithmetical system) or of problems unsettled
by standard axioms (within set theory) does not obstruct the development of
a viable and, in fact, powerful science. Accordingly, the foundational view
of mathematics itself might then be suspect. Mathematics can and has to be
understood from mathematical praxis alone.
Nevertheless, we would like to formalize truth, for classical model theory
depends on truth definitions. As long as these definitions can only be given
in a language of second-order or in set theory, model theory depends on
second-order logic or set theory. But category theorists have defended the
view that there are foundational operations different from set operations.
Is this a way-out?
Further, recent years have witnessed a gradually increasing interest in the
study of game-based semantics, such as GTS, dialogical logic, or Hintikka's
IF-logic. Lately, these game-based approaches have been formulated with the
help of mathematical game theory (van Benthem) and category theory (Hyland).
In addition, they proved to be very effective for the formal study of
linear, paraconsistent and non-monotonic logics, among others. By these
developments, traditional views and received wisdom concerning the relations
between syntax, semantics and pragmatics, between constructivist and
classical positions, and the role of logic in foundations seem to be
challenged.
Finally, most of the time the question concerning the foundations of
mathematics tacitly assumes that what is to be founded is the mathematics as
done by professional mathematicians of the 20th century. However, many
historical, anthropological or sociological works have shown that
mathematical activity is much more diverse than hitherto thought. If we
accept, at least partially, that to found mathematics is relative to the
practice of mathematics itself, then it is necessary to investigate the
mathematics (and the mathematicians) of other cultures and other periods as
well as their conception and practice of foundations.
==========================================
The conference will features three sections in which the subject will be
considered from a philosophical, historical or, if it comes with some
philosophical insight, even technical point of view.
° Section 1
Mathematical structures in foundations of mathematics: sets, categories and
models
° Section 2
Logical and cognitive aspects of foundations of mathematics: games,
dialogues, and cognitive architecture
° Section 3
Historical and Cultural Perspectives on foundations of mathematics
==========================================
COMITE D'HONNEUR
Paul Gochet, Gilles-Gaston Granger, Jaakko Hintikka, Kuno Lorenz, Roshdi
Rashed.
ORGANISATION COMMITTEE
Jean-Paul Amann, Johan van Benthem, Bernd Buldt, Dominique Fagnot, Dominique
Flament, Jean-Louis Greffe, Gerhard Heinzmann, Ralf Krömer, Philippe
Nabonnand, Shahid Rahman, Manuel Rebuschi, Helge Rückert, Anne-Françoise
Schmid, Joseph Vidal-Rosset, Henk Visser
SCIENTIFIC COMMITTEE
Michel Bourdeau, Karine Chemla, Gabriella Crocco, Jacques Dubucs, Catherine
Goldstein, Marcel Guillaume, Jan Hogendijk, Theo M. V. Janssen, Jeffrey
Ketland, Karel Lambert, Paolo Mancosu, Jean-Pierre Marquis, Jésus Mosterin,
Jaroslav Peregrin, Philippe de Rouilhan, Gabriel Sandu, Hourya Sinaceur, Max
Urchs, Denis Vernant.
INVITED LECTURES
Newton Da Costa, Geoffrey Hellman, Jaakko Hintikka, F. William Lawvere,
Stewart Shapiro.
==========================================
CONTRIBUTED PAPERS
The written text of a contributed paper (talk or poster) may not exceed the
equivalent of 30 minutes.
Contributions may be given in French, English, or German.
Authors are kindly asked to submit a three page abstract before DECEMBER 20,
2001. Abstracts should be attached to an email in either rtf- or pdf-format.
In addition, 3 hard copies must be sent by snail-mail to:
Archives Henri-Poincaré
LPHS-AHP, Université de Nancy 2
F-54 015 Nancy-Cedex
France
Tel/Fax: [+33] 383 96 70 83
Email: English and French: Manuel.Rebuschi at clsh.univ-nancy2.fr
German: Bernd.Buldt at uni-konstanz.de
Accepted abstracts will be reproduced from the hard copies, so there will be
no opportunity for later revisions. Please type the title of your paper in
capital letters. Start with the title and your name. Authors will be
notified by February 15, 2002.
A selection of papers will be published with Kluwer.
The conference fee is 68 euros (450 FF), for students and unemployed 23
euros (150 FF). If payment is made after February 28, 2002, the fee is 84
euros (550 FF) (students 38 euros, 250 FF). Please remit to the following
bank account:
Name: M. l'Agent comptable secondaire du CNRS délégation régionale du Nord
Est.
Compte : 00003002578, code banque : 10071, code guichet : 54000, clé : 82.
The next circular will contain the program of the Symposium and a form for
hotel booking. It is expected to appear in December 2001.
We would be grateful if you used this circular to spread information about
the Symposium and we would be happy to send further copies on request.
*** Please remember the following deadlines: ***
° Deadline for abstracts of contributed papers:
December 20, 2001
° Deadline for prepayment of the registration fee:
February 28, 2002
==========================================
REGISTRATION FORM
(to return before February 28, 2002 to
Archives Henri Poincaré
LPHS-AHP, Université de Nancy 2
F-54 015 Nancy Cedex
E-mail :
English and French : Manuel.Rebuschi at clsh.univ-nancy2.fr
German : Bernd.Buldt at uni-konstanz.de )
Please type or use block capitals!
I plan to attend the International Symposium
Philosophical Insights into Logic and Mathematics:
The History and Outcome of Alternative Semantics and Syntax
taking place from September 30 to October 4, 2002 in Nancy, France.
O I will take part
O I will present a paper
Family name: _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
First name: _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
Title: _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
Institute: _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
Address: _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
Country: _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
Phone: _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
Fax: _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
E-mail: _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
Title of the paper:_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
Date Signature
==========================================
More information about the FOM
mailing list