Philosophical Insights into Logic and Mathematics (PILM 2002)
Venue: Nancy
Event Date/Time: Nov 30, 2001 | |
Abstract Submission Date: Dec 20, 2001 |
Description
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
==========================================
° 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, Roger Pouivet, 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.
*** 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
==========================================