Rencontres "Logique et Philosophie des Sciences Paris 1-Keio"
Université Keio (Tokyo) - Université Panthéon-Sorbonne (Paris 1)

Sorbonne, 30-31 mars 2000

English version: (The same
in english)


Sommaire

  • I. Brève présentation des Rencontres

  • II. Programme des exposés (en anglais)
  • III. Informations pratiques et contacts

  • I. Présentation

    Ces rencontres sont organisées par l'UFR de Philosophie de Paris 1, sous la responsabilité de Jean-Baptiste Joinet (joinet@univ-paris1.fr)), avec le soutien du "Groupe Logique et Philosophie" (qui rassemble les spécialistes de Logique de l'Equipe pédagogique de la Licence-Maîtrise de Logique préparée à l'Université Paris 1 et ceux de l'UMR 8590) et avec le soutien de l'Institut d'Histoire et de Philosophie de Sciences et des Techniques.

    Ce colloque prend place dans le cadre de la convention bilatérale signée entre l'UFR de Philosophie de Paris 1, et le Département de Philosophie de l'Université Keio, convention qui devrait être étendue à terme à l'ensemble des disciplines représentées dans ces deux Universités.

    A l'occasion du colloque, l'UFR accueillera deux jours durant une délégation de quatre japonais spécialistes de Logique (pour trois d'entre eux) et de Philosophie des sciences de la vie (pour le dernier). Le colloque comprendra quatre demi-journées thématiques: (I) Logique LInénaire, (II) Logiques Intuitionniste et Classique, (III) Philosophie de la Logique, (IV) Epistémologie des sciences sociales et de la vie.

    Ces rencontres n'auraient pu avoir lieu sans le concours financier du Ministère français des Affaires Etrangères, de l'Université Paris 1 et de l'Université Keio.   


    II. Programme des exposés (en anglais)

  • Thursday 30 march
    Morning session : Linear Logic
  • Time Speakers Title of talks
    9h50
    Opening
    10h00-10h40 Mitsuhiro OKADA Intuitionistic phase models are almost classical 
    10h50-11h30 Kazushige TERUI Computational complexity in Linear Logic 



    11h30-11h40 Break



    11h40-12h20 Masahiro HAMANO On full completeness of Linear Logic 
    12h30-14h30 Lunch Break



  • Thursday 30 march
    Afternoon session: Intuitionistic and Classical Logic
  • Time Speakers Title of talks
    14h30-15h10 Anne MASSON Kripke semantics and intermediate logics (between intuitionistic and classical one) 
    15h10-15h50 Jean FICHOT Intuitionism and truth 



    15h50-16h Break



    16h00-16h40 Susana BERESTOVOY Representation in a logical context 
    16h40-17h20 Jacques DUBUCS Going beyond the first order: why, how and where ? 



  • Friday 31 march
    Morning session: Philosophy of Logic
  • Time Speakers Title of talks
    10h00-10h40 Pierre WAGNER On Carnap and Philosophy of science 
    10h40-11h20 Philippe de ROUILHAN Inconsistencies in the Logic of Meaning 



    11h20-11h30 Break



    11h30-12h10 Mitsuhiro OKADA On Husserl's "concluding theme of his early philosophical-mathematical studies" and his notion of "multiplicity" 
    12h30-14h30 Lunch Break

  • Friday 31 march
    Afternoon: Epistemology of social sciences and biology
  • Time Speakers Title of talks
    14h30-15h10 Gilles CAMPAGNOLO Axiomatization and models in Economics 
    15h10-16h00 Yosaku NISHIWAKI Natural selection and genetic drift 
    16h10-17h Jean GAYON Chance in contemporary evolutionary theory 
  • Friday 31th of march
    Evening session: Dinner with our japanese guests
  • 20h
    Diner du colloque  
     

    III. Informations pratiques, contacts etc

    Les Rencontres de Logique et Philosophie des sciences Paris 1-Keio auront lieu à la Sorbonne, Salle des commissions, 2ième étage, 46 rue des Ecoles (angle rue des Ecoles / rue Saint-Jacques).

    Si vous souhaitez des informations supplémentaires sur le colloque, envoyez-nous un courrier, un message électronique ou un fax :

    Rencontres de Logique et Philosophie des sciences Paris 1-Keio                                       
    UFR de Philosophie                                                      
    UFR 10, Université Paris 1
    17, rue de la Sorbonne                          
    Escalier C, 1er étage                           
    75231 Paris Cedex 05                            
    fax: 01 40 46 31 57                             
    email: joinet@univ-paris1.fr