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