Institut d'histoire et de philosophie des sciences et des techniques

Workshop "Proof and Meaning"

Sun, 21 Mar 2010 08:31:01 +0100

Lundi 22 Mars 2010, 09h00-18h00

PROOFS AND MEANING

Logical and Philosophical Perspectives

MARCH 22, 2010

9:00 Opening of the Workshop

9:15 Peter Schroeder-Heister (Universität Tübingen) : Reflection and Symmetry for the Sequent Calculus

10:15 Jean-Baptiste Joinet (Université Paris 1) : Protological Foundations for Logic

11:15 Coffee Break

11:30 Noam Zeilberger (Université Paris 7) : Symmetry and Asymmetry in the Logical Laws (Rereading Dummett through Girard)

12:30 Lunch

14:00 Göran Sundholm (University of Leiden) : Do Logical Constants (and Logical Consequence) determine Logicality also from a Constructivist Point of View?

15:00 Jean Fichot (IHPST) : Proof-theoretic Semantics and Feasibility

16:00 Coffee Break

16:15 Alberto Naibo (Université Paris 1) & Mattia Petrolo (Université Paris 7) : Logical Constants from a Computational Point of View

17:15 Conclusion and final remarks

MAISON DES SCIENCES DE L’HOMME, Salle 206
54, Bd Raspail - 75006 Paris

Supported by HYPO Project (Hypothetical Reasoning, Programme ANR-DFG)

Organizing Committee: Francesca Poggiolesi, Mattia Petrolo

Contacts: poggiolesi@gmail.com, Mattia.Petrolo@etu.univ-paris7.fr

M2 LOPHISS "Philosophie des maths"

Sun, 21 Mar 2010 08:31:01 +0100

Lundi 22 Mars 2010, 09h30-12h45

Responsable : M. Van Atten

Philosophie et histoire de la biologie

Sun, 21 Mar 2010 08:31:01 +0100

Mardi 23 Mars 2010, 09h00-12h00

Responsable : JF Braunstein

Groupe de travail "Auguste Comte"

Sun, 21 Mar 2010 08:31:01 +0100

Mardi 23 Mars 2010, 10h00-12h00

Responsable : M. Bourdeau

Réunion projet CausaProba

Sun, 21 Mar 2010 08:31:01 +0100

Mercredi 24 Mars 2010, 11h00-13h00

Workshop dans le cadre du projet CAUSAPROBA

Sun, 21 Mar 2010 08:31:01 +0100

DUJeudi 25 Mars 2010, 09h00
AUVendredi 26 Mars 2010, 18h00

Workshop ‘Multi-level Causation’

Supported by the ANR/DFG project CAUSAPROBA

March 25 th -26th

IHPST, Grande Salle
13 rue du Four
75006, Paris

Abstracts are available on :
http://www-ihpst.univ-paris1.fr/operations/colloque.php?id_colloque=22

Thursday, March 25th

Morning session

09:30-10:30 Isabelle Drouet (Université Catholique de Louvain)
Philippe Huneman (IHPST CNRS-Paris1-ENS)
Presentation

10:30-11:30 Marcel Weber (Konstanz University)
‘(In)determinism, Probabilistic Causation, and the Brain’

11:30-12:00 Coffee break

12:00-13:00 Federica Russo (Kent University)
‘Public health policy, evidence, and causation. Lessons from the studies on obesity’

13:00-14:30 Lunch break

Afternoon session

14:30-15:30 Carl Hoefer (Universitat Autònoma de Barcelona)
‘How Probability and Causation are Related’

15:30-16:30 Alyssa Ney (University of Rochester)
‘Causal Foundationalism and the Special Sciences’

16:30-17:00 Coffee break

17:00-18:00 Eric Raidl (IHPST CNRS-Paris1-ENS)
TBA

Friday, March 26th

Morning session

09:30-10:30 Gregory Mikkelson (McGill University, Montréal)
‘Biological diversity, ecological stability, and multi-level causation’

10:30-11:30 Arnaud Pocheville (Paris V)
TBA

11:30-12:00 Coffee break

12:00-13:00 Arnaud Banos (Géographie-Cités, CNRS/UP1 & ISC-PIF)
‘If I « grew » it, did I really explain it?’

13:00-14:30 Lunch break

Afternoon session

14:30-15:30 Luke Glynn (Konstanz University)
‘Is There High-Level Causal Explanation?’

15:30-16:30 Antony Eagle (Exeter College, Oxford)
‘Generic Causation’

16:30-17:00 Coffee break

17:00-18:00 Alastair Wilson (University College, Oxford)
'Probabilities, possibilities, and counterfactuals at different levels'

--
IHPST-UMR8590 (Paris 1/CNRS/ENS)
13 rue du four 75006 Paris
Tél : +33 (0) 1 43 54 94 60
Fax : +33 (0) 1 43 25 29 48
http://www-ihpst.univ-paris1.fr/

M2 LOPHISS "Philosophie des maths"

Sun, 21 Mar 2010 08:31:01 +0100

Lundi 29 Mars 2010, 09h30-12h45

Responsables : M. Van Atten

Philosophie et histoire de la biologie

Sun, 21 Mar 2010 08:31:01 +0100

Mardi 30 Mars 2010, 09h00-12h00

Responsable : JF Braunstein

Séminaire Générale de l'IHPST : Andrew Wayne, Université de Guelph "Expanding the Scope of Explanatory Idealization"

Sun, 21 Mar 2010 08:31:01 +0100

Mardi 30 Mars 2010, 11h00-13h00

Andrew Wayne, Université de Guelph

"Expanding the Scope of Explanatory Idealization"

Many explanations in physics rely on idealized models of physical systems. These explanations fail to satisfy the conditions of standard normative accounts of explanation. Recently, some philosophers have claimed that idealizations can be used to underwrite explanation nonetheless, but only when they are what have variously been called representational, Galilean, controllable or harmless idealizations. This paper argues that such a half-measure is untenable and that idealizations not of this sort can have explanatory capacities. The paper on which this talk is based is available online at:
http://philsci-archive.pitt.edu/archive/00005145/

Réunion du groupe de Logique

Sun, 21 Mar 2010 08:31:01 +0100

Jeudi 01 Avril 2010, 11h00-13h00

Responsable : Francesca Poggiolesi

Séminaire "Philbio" : Stéphane Prin (MHNH et IHPST, Paris)

Sun, 21 Mar 2010 08:31:01 +0100

Jeudi 01 Avril 2010, 14h00-16h00

Responsables : A. Nicoglou & H. Viciana

Stéphane Prin (MNHN et IHPST)
Les trois types de relations de filiation en phylogénétique et en systématique

Logiques non-classiques

Sun, 21 Mar 2010 08:31:01 +0100

Vendredi 02 Avril 2010, 09h30-12h30

Responsable : J. Dubucs

Groupe de lecture « CausaProba »

Sun, 21 Mar 2010 08:31:01 +0100

Vendredi 02 Avril 2010, 11h00-13h00

Responsables : I. Drouet & T. Martin

Séminaire "Rationalité et Décision" : Yukio Koriyama

Sun, 21 Mar 2010 08:31:01 +0100

Vendredi 02 Avril 2010, 16h15-18h15

Responsables : M. Cozic & B. Hill

Yukio Koriyama
Assistant Professor, Ecole Polytechnique, Department of Economics

Séminaire "Philbio" : Dan Sperber (Institut Jean Nicod, Paris) & Nicolas Claidière (University of St Andrews)

Sun, 21 Mar 2010 08:31:01 +0100

Vendredi 18 Juin 2010, 14h00-16h00

Responsables : A. Nicoglou & H. Viciana

Dan Sperber (Institut Jean Nicod, Paris) & Nicolas Claidière (University of St Andrews)