FOM: symposium in Nancy, France

[Stephen G Simpson]

 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

 ==========================================