Logic List Mailing Archive

PILM 2002 -- Sept.30 - Oct.4 -- Nancy, France

PILM 2002

PHILOSOPHICAL INSIGHTS INTO LOGIC AND MATHEMATICS:

The History and Outcome of Alternative Semantics and Syntax

                        International Symposium
                September 30 - October 4, 2002
                            NANCY, France

                            co-organized by
        L.P.H.S. - Archives Henri Poincar? (Nancy)
                Beth-Foundation (Amsterdam)
=========================
=================
Program, registration form and up-to-date information
are available from the symposium home page:

www.univ-nancy2.fr/ACERHP/colloques/symp02/Symp02-angl.html
=========================
=================

INVITED LECTURES

Patrick Blackburn (Nancy):
Arthur Prior and the birth of hybrid logic

Ot?vio Bueno (Fresno, CA):
The Theory of Valuations and the Foundations of Logic.

Jos? Ferreir?s (S?ville):
Dogmas and the Changing Images of Foundations.

Jean-Louis Gardies (Nantes):
Les math?matiques grecques sous le regard de la th?orie des types.

Geoffrey Hellman (Minneapolis, MN):
Does category theory provide a framework for mathematical structuralism?

Jaakko Hintikka (Boston, MA):
Independence-friendly logic is classical logic.

F. William Lawvere (New York):
Was sind und was sollen die Kontinua?

Kuno Lorenz (Sarrebruck):
Logic as a Tool of Science versus Logic as a Scientific Subject

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

CONTRIBUTED PAPERS

CATEGORY THEORY

Steve Awodey (Pittsburgh, PA):
Continuity and Logical Completeness

Ralf Kr?mer (Nancy):
Category theory in view of Thiel's program of "un-ontologizing foundations"

Elaine Landry (Calgary, Alberta):
Category Theory as a framework for an in re interpretation of mathematical
structuralism.

Jean-Pierre Marquis (Montr?al):
Categories, Sets and the Nature of Mathematical Entities

Lawrence Neff Stout (Bloomington, Illinois):
Upsetting the Foundations of Mathematics.

COGNITION

Christophe Heintz (Paris):
An Inquiry into the Cognitive Foundations of Mathematics: A Sociologistic
Solution to Contemporary Psychologism.

Jean Paul Van Bendegem and Bart Van Kerkhove (Bruxelles):
Mathematical Practice and Naturalist Epistemology: Their Structure and
Interaction.

Henk Visser (Amsterdam):
Transpositions. A treatment on transpositions in productive problem solving
.

GAME LOGICS

Denis Bonnay (Paris):
Le traitement de l'ind?pendance dans IF.

Serge Bozon (Paris):
Vices et vertus d'une d?claration d'ind?pendance, ou la logique IF peut
-elle
prendre soin d'elle-m?me?

Walter Dean (New Brunswick, NJ):
Independence Friendly Logic and Game Theoretic Semantics: A Zugzwang in the
Foundations of Mathematics?

Francien Dechesne (Tilburg):
IF-Logic and Skolemization.

Theo M. V. Janssen (Amsterdam):
Basic Properties of IF Logic

Ahti-Veikko Pietarinen (Helsinki):
Independence-Friendly Logic and Incomplete Information

Shahid Rahman (Lille):
Some Remarks on the Dialog between Dialogue and Game-Theoretical Semantics

Manuel Rebuschi (Nancy):
Truth, Knowledge and Self-Reflexivity in IF Languages.

Philippe de Rouilhan (Paris):
L'ordre de IF

Tero Tulenheimo (Helsinki):
On Semantic Pluralism.

GENERAL LOGIC

Jean-Yves B?ziau (Neuch?tel):
Many-Valued and Kripke Semantics

Bryson Brown (Lethbridge) and Graham Priest (Melbourne):
Chunk and Permeate: a Paraconsistent Strategy, with Application to the
Infinitesimal Calculus.

Hartry Field (New York):
Saving the Truth Schema from Paradox

Pierre Joray (Neuch?tel):
Quantification cat?gorielle et traitement du distributif dans l'Ontologie
 de
S. Lesniewski

Thierry Libert (Bruxelles):
Semantics for naive set theory in many-valued logics: techniques and
historical account.

Jaroslav Peregrin (Prague):
Semantics As Based On Inference

MODAL & EPISTEMIC LOGIC

Mika?l Cozic (Paris):
Mod?les ?pist?miques, omniscience logique et logiques substructurelle
s.

Paul Egr? (Paris):
Epistemic Paradoxes in the Light of Provability Interpretations of Modal
Logic.

Dale Jacquette (University Park, PA):
Nonstandard Modal Semantics and the Concept of a Logically Possible World.

Helge R?ckert (Sarrebruck):
Modal Logic with Subjunctive Marker: a New Perspective on Rigid Designation

PHILOSOPHY OF MATHEMATICS

Philip Ehrlich (Athens, OH):
The Absolute Arithmetic Continuum and the Unification of All Numbers Great
and Small.

Gerhard Heinzmann (Nancy):
Naturalizing Dialogic Pragmatics.

Alain Herreman (Rennes):
Vers une analyse s?miotique de la th?orie des ensembles: hi?rarchies 
et
r?flexivit?.

Johannes Lenhard (Bielefeld):
Axiomatik ohne Fundamente.

David C. McCarty (Bloomington, IN):
Potentially Infinite Sets and Structures.

Michel Paty (Paris):
Des fondements vers l'avant. Sur la rationalit? des math?matiques et de
s
sciences formalis?es.

Joseph Vidal-Rosset (Dijon):
Naturalizing Mathematical Existence

HISTORY OF MATHEMATICS

Pierre Ageron (Caen):
Structuralisme et constructivisme. Sur la marginalisation dans la France
math?matique du vingti?me si?cle.

Herv? Barreau (Strasbourg):
Une double mani?re de fonder la logique et de concevoir la v?rit?.

Jacqueline Boniface (Toulouse):
Le point de vue du Leopold Kronecker sur le fondement des math?matiques.

Michel Bourdeau (Paris):
La Dissertation de Brouwer (1907) et la critique de la th?orie des
ensembles.

Karine Chemla (Paris):
Une conception du fondement des math?matiques chez les commentateurs chin
ois
(1er au 13e si?cle) des 'Neuf chapitres sur les proc?dures math?matiq
ues'.

Dominique Flament (Paris):
H. G. Grassmann et l'introduction d'une nouvelle discipline math?matique:
l'Ausdehnungslehre.

Catherine Goldstein (Paris):
Certitude, logiques et math?matiques au 17e si?cle

Brendan Larvor (Hertfordshire):
The emergence of algebraic proof.

Philippe Nabonnand (Nancy):
Fonder la g?om?trie projective au 19e si?cle.

Joop M. Niekus (Amsterdam):
Individual Choice Sequences in the Work of L.E.J.Brouwer.

Volker Peckhaus (Erlangen):
Pro and Contra Hilbert: Zermelo's Set Theories.

Yves P?raire (Clermont-Ferrand):
Le remplacement du r?f?rent dans les pratiques de l'analyse math?mati
que
issue de Edward Nelson et de Georges Reeb.

Anne-Fran?oise Schmid (Lyon):
Perspectives h?t?rodoxes ? partir de Russell.

Philippe S?guin (Nancy):
Ars combinatoria universalis. La recherche d'un fondement absolu des
math?matiques par l'Ecole combinatoire de C.F. Hindenburg (1741-1808).

Christian Tapp (Munich):
The Philosophical Background of Georg Cantor's Set Theory.

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