PILM 2002 - Preliminary Programme

Last updated: 25/09/2002.

INTERNATIONAL SYMPOSIUM PILM 2002
Philosophical Insights into Logic and Mathematics
Sept.30-Oct.4 2002, Nancy, France

PILM 2002 will take place at the University of Nancy 2, home of the Poincaré Archives. The University is located near the centre of Nancy, and within a walking distance from the railway station (map).

Programme

Sections
Co: Cognition
CT: Category Theory
GaL: Game Logics
GLo: General Logic
H: History
PM: Philosophy of Maths
MeL: Modal & Epist. Log

Monday, Sept. 30

Room

J.09

8.30 - 9.00

Registration

Room

A.42

9.00 - 9.30

Opening Ceremony
Henk Visser (Beth-Foundation)
Gerhard Heinzmann (Poincaré Archives)

Session Chair

Johan van Benthem

9.30 - 10.30
Invited Lecture

Jaakko Hintikka
Independence-friendly logic is classical logic. abstract

Coffee Break

11.00 - 11.40

[CT] Jean-Pierre Marquis
Categories, Sets and the Nature of Mathematical Entities abstract

11.45 - 12.25

[GLo] Bryson Brown and Graham Priest
Chunk and Permeate: A Paraconsistent Strategy, with Application to the Infinitesimal Calculus. abstract

Lunch Break

Room

A.42

Session Chair

Roger Pouivet

14.30 - 15.30
Invited Lecture

Kuno Lorenz
Logic as a Tool of Science versus Logic as a Scientific Subject. abstract

Rooms

J.05

J.07

J.08

Session Chair

Dominique Flament

F.William Lawvere

Roger Pouivet

15.35 - 16.15

[PM] Philip Ehrlich
The Absolute Arithmetic Continuum and the Unification of All Numbers Great and Small. abstract

[GLo] Pierre Joray
Quantification catégorielle et traitement du distributif dans l'Ontologie de S. Lesniewski. abstract

[MeL] Dale Jacquette
Nonstandard Modal Semantics and the Concept of a Logically Possible World. abstract

Coffee Break

16.30 - 17.10

[H] Michel Bourdeau
La Dissertation de Brouwer (1907) et la critique de la théorie des ensembles. abstract

[CT] Lawrence Stout
Upsetting the Foundations of Mathematics. abstract

[MeL] Mikaël Cozic
Modèles épistémiques, omniscience logique et logiques substructurelles. abstract

17.15 - 17.55

[H] Yves Péraire
Le remplacement du référent dans les pratiques de l'analyse mathématique issue de Edward Nelson et de Georges Reeb. abstract

[CT] Elaine Landry
Category Theory as a framework for an in re interpretation of mathematical structuralism. abstract

[MeL] Paul Egré
Epistemic Paradoxes in the Light of Provability Interpretations of Modal Logic. abstract

18.00 - 18.40

[H] Joop M. Niekus
Individual Choice Sequences in the Work of L.E.J.Brouwer. abstract

[CT] Ralf Krömer
Category theory in view of Thiel's program of "un-ontologizing foundations" abstract

[MeL] Helge Rückert
Modal Logic with Subjunctive Marker: a New Perspective on Rigid Designation abstract

Tuesday, Oct. 1

Room

A.42

Session Chair

Roshdi Rashed

9.30 - 10.30
Invited Lecture

José Ferreirós
Dogmas and the Changing Images of Foundations. abstract

Coffee Break

11.00 - 12.00

[GaL] Shahid Rahman
Some Remarks on the Dialog between Dialogue and Game-Theoretical Semantics. abstract

Conference Lunch at the Goethe Institut

Herbert Néry, President of the University of Nancy 2.

Roger Pouivet, Archives Poincaré
Joly as a Platonist painter?

Rooms

J.05

J.07

J.08

Session Chair

Catherine Goldstein

Gabriel Sandu

Simone Mazauric

15.30 - 16.10

[H] Dominique Flament
H. G. Grassmann et l'introduction d'une nouvelle discipline mathématique: l'Ausdehnungslehre. abstract

[GLo] Thierry Libert
Semantics for naive set theory in many-valued logics : techniques and historical account. abstract

[PM] Michel Paty
Des fondements vers l'avant. Sur la rationalité des mathématiques et des sciences formalisées. abstract

16.15 - 16.55

[H] Jacqueline Boniface
Le point de vue du Leopold Kronecker sur le fondement des mathématiques. abstract

[GaL] Theo Janssen
Basic Properties of IF Logic. abstract

[PM] Johannes Lenhard
Axiomatik ohne Fundamente. abstract

Break

17.15 - 17.55

[H] Pierre Ageron
Structuralisme et constructivisme. Sur la marginalisation dans la France mathématique du vingtième siècle. abstract

[GaL] Francien Dechesne
IF-Logic and Skolemization. abstract

[PM] Alain Herreman
Vers une analyse sémiotique de la théorie des ensembles: hiérarchies et réflexivité. abstract

18.00 - 18.40

[H] Volker Peckhaus
Pro and Contra Hilbert: Zermelo's Set Theories. abstract

[GaL] Serge Bozon
Vices et vertus d'une déclaration d'indépendance, ou la logique IF peut-elle prendre soin d'elle-même? abstract

[PM] David C. McCarty
Potentially Infinite Sets and Structures. abstract

Wednesday, Oct. 2

Room

A.42

Session Chair

Henk Visser

9.30 - 10.30
Invited Lecture

F. William Lawvere
Was sind und was sollen die Kontinua? abstract

Coffee Break

11.00 - 11.40

[H] Brendan Larvor
The emergence of algebraic proof. abstract

11.45 - 12.25

[GLo] Hartry Field
Saving the Truth Schema from Paradox abstract

Thursday, Oct. 3

Room

A.42

Session Chair

Christian Thiel

9.30 - 10.30
Invited Lecture

Jean-Louis Gardies
Les mathématiques grecques sous le regard de la théorie des types. abstract

Coffee Break

11.00 - 11.40

[CT] Steve Awodey
Continuity and Logical Completeness. abstract

11.45 - 12.25

[H] Karine Chemla
Une conception du fondement des mathématiques chez les commentateurs chinois (1er au 13e siècle) des 'Neuf chapitres sur les procédures mathématiques'. abstract

Lunch Break

Room

A.42

Session Chair

Paul Gochet

14.30 - 15.30
Invited Lecture

Geoffrey Hellman
Does category theory provide a framework for mathematical structuralism? abstract

Rooms

J.05

J.07

J.08

Session Chair

Karine Chemla

Jaakko Hintikka

Paul Gochet

15.35 - 16.15

[PM] Joseph Vidal-Rosset
Naturalizing Mathematical Existence abstract

[GaL] Ahti Pietarinen
Independence-Friendly Logic and Incomplete Information. abstract

[GLo] Jaroslav Peregrin
Semantics As Based On Inference. abstract

Coffee Break

16.30 - 17.10

[H] Anne-Françoise Schmid
Perspectives hétérodoxes à partir de Russell. abstract

[GaL] Philippe de Rouilhan
L'ordre de IF. abstract

[GLo] Jean-Yves Béziau
Many-Valued and Kripke Semantics. abstract

17.15 - 17.55

[H] Christian Tapp
The Philosophical Background of Georg Cantor's Set Theory. abstract

[GaL] Walter Dean
Independence Friendly Logic and Game Theoretic Semantics: A Zugzwang in the Foundations of Mathematics? abstract

[GLo] Bernd Buldt
Hilbert, Reflection, and Mathematics. abstract

Friday, Oct. 4

Room

A.42

Session Chair

Marcel Guillaume

9.30 - 10.30
Invited Lecture

Patrick Blackburn
Arthur Prior and the birth of hybrid logic. abstract

Coffee Break

11.00 - 11.40

[H] Catherine Goldstein
Certitude, logiques et mathématiques au 17e siècle. abstract

11.45 - 12.25

[Co] Henk Visser
Transpositions. A Treatment on Transpositions in Productive Problem Solving. abstract

Lunch Break

Room

A.42

Session Chair

Bernd Buldt

14.30 - 15.30
Invited Lecture

Otávio Bueno
The Theory of Valuations and the Foundations of Logic. abstract

Rooms

J.05

J.07

J.08

Session Chair

José Ferreirós

Shahid Rahman

Bernd Buldt

15.35 - 16.15

[H] Philippe Séguin
Ars combinatoria universalis. La recherche d'un fondement absolu des mathématiques par l'Ecole combinatoire de C.F. Hindenburg (1741-1808). abstract

[GaL] Denis Bonnay
Le traitement de l'indépendance dans IF. abstract

[PM] Gerhard Heinzmann
Naturalizing Dialogic Pragmatics. abstract

Coffee Break

16.30 - 17.10

[H] Hervé Barreau
Une double manière de fonder la logique et de concevoir la vérité. abstract

[GaL] Tero Tulenheimo
On Semantic Pluralism. abstract

[Co] Jean Paul Van Bendegem and Bart Van Kerkhove
Mathematical Practice and Naturalist Epistemology: Their Structure and Interaction. abstract

17.15 - 17.55

[H] Philippe Nabonnand
Fonder la géométrie projective au 19e siècle. abstract

[GaL] Manuel Rebuschi
Truth, Knowledge and Self-Reflexivity in IF Languages. abstract

[Co] Christophe Heintz
An Inquiry into the Cognitive Foundations of Mathematics: A Sociologistic Solution to Contemporary Psychologism. abstract

Posters

Posters will be displayed in room J.06 for the duration of the conference.

Emmanuel Barot:
La crise des fondements des mathématiques est-elle terminée?

Pierre Cassou-Noguès:
Temps et démonstration: le problème des déductions naturelles.

Antonino Drago:
The evolution of foundations of mathematics in the first half of 20th century: a new interpretation.

Shira Elqayam:
A Psychosemantic Model of Truth: Semantic and Syntactic Aspects.

Javier Legris:
Deduction and Knowledge in Hilbert's Metamathematics.

Terese M. O. Nielsen:
Gödel's arguments in favour of Platonism.

Fabien Schang:
Quine The Extensionalist: Between Naturalism and Aestheticism.

Hartley Slater:
Aggregate Theory Versus Set Theory.

Antonio Venezia:
A Non-Euclidian Geometrical Model for the Logic of Quantum Mechanics.

Alexander Zenkin:
Intuition of Genii Against Mytho-Logic of Transfinite Cantor's Paradise.