FOM: Alternative Semantics and Syntax (Nancy, France)
Joseph Vidal-Rosset
jvrosset at club-internet.fr
Mon Jun 25 13:01:04 EDT 2001
------------------------------------------------------------------------
INTERNATIONAL SYMPOSIUM
Philosophical Insights into Logic and Mathematics:
The History and Outcome of Alternative Semantics and Syntax
September 30 - October 4, 2002, NANCY, France
------------------------------------------------------------------------
Laboratoire de Philosophie et d'Histoire des Sciences -
Archives Henri Poincaré
UMR du CNRS
Université de Nancy 2 -
Beth-Foundation (Amsterdam) -
Institute for Logic, Language and Computation (Amsterdam) -
Goethe Institut (Nancy)
------------------------------------------------------------------------
First Announcement
and
CALL FOR PAPERS
25/06/01
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. Mathemat!
ics 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 feature 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
Comité 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, 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, Philippe de Rouilhan,
Gabriel Sandu, 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 _ (450 FF), for students and unemployed 23 _
(150 FF). If payment is made after February 28, 2002, the fee is 84 _
(550 FF) (students 38 _, 250 FF). Please remit to the following bank
account.
Name: ADREST
International Bank Account Number: FR76 1003 7001 0082 0418 4760 624.
Bank Identification Code: CIALFR25XXX
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.
_____ I will take part
_____ 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