========================================== 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@clsh.univ-nancy2.fr German: Bernd.Buldt@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@clsh.univ-nancy2.fr German : Bernd.Buldt@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 ==========================================