Pages de JB Joinet
English version: 
(Dernière mise à jour: le 27/06/2010)
Jean-Baptiste Joinet
- Université Paris 1 (Panthéon-Sorbonne)
UFR de Philosophie
17, rue de la Sorbonne tel: 01 40 46 31 68 (secrétariat)
Escalier C, 1er étage fax: 01 40 46 31 57
75231 Paris Cedex 05 email: joinet @ univ-paris1.fr
- Équipe CIRPHLES
Centre International de Recherche : Philosophie, Lettres, Savoirs
Axe "Épistémologie des nouvelles interfaces"
USR 3308 (CNRS, ENS Paris)
Département de Philosophie
Bâtiment Pasteur tel: 01 44 32 21 96
45 rue d'Ulm fax: 01 44 32 31 22
75005 Paris email: Jean-Baptiste.Joinet@ens.fr
- Équipe "Preuves-Programmes-Systèmes"
UMR 7126, CNRS-Paris 7 tel: 01 44 27 82 72
UFR de mathématiques fax: 01 44 27 86 54
et informatique email: joinet @ pps.jussieu.fr
Adresse postale: Adresse physique:
PPS, Case 7014 Bureau 5A35
Université Paris 7 175 rue du Chevaleret
2 Place Jussieu 75013 Paris
75251 Paris Cedex 05
- LIGC (Logique et Interaction)
Groupe de recherche en "Logique, Sciences, Philosophie"
ÉVÉNEMENTS :
- 27 octobre 2011, "Toward protological foundations for logic"
Conference given at McGill University, Canada,
within the framework of The Montreal Inter-University Workshop
on the History and Philosophy of Mathematics
(resp. Gregory Lavers, Concordia Univ.; Mathieu Marion, Univ. du Québec à Montréeal;
Jean-Pierre Marquis, Univ. de Montréal; Dirk Schlimm, McGill Univ.)
- 28 octobre 2011, "Calcul, sens et référence"
Exposé donné à l'Université du Québec à Montréal (UQAM), Canada
Département de philosophie de l'UQAM et
Chaire de recherche du Canada en philosophie de la logique et des mathématiques
- Jeudi 24 novembre 2011 (17h30-19h), exposé de L. C. Pereira, "On the existential theorems of logic"
Dans le cadre de "Théories contemporaines de la logique et philosophie du langage:
enjeux épistémologiques et sémantiques" (action Capes-Cofecub Sh 690/10)
à l'invitation de de Gilles Dowek (séminaire de logique, Master 2 Lophisc, Université Paris 1,
Locaux de l'IHPST, 13 rue du Four, 75006, petite salle.
- Lundi 28 novembre 2011 (11h30-13h),
exposé de L. Soutif sur "L'espace de la perception visuelle : l'approche grammaticale de Wittgenstein",
dans le cadre de "Théories contemporaines de la logique et philosophie du langage:
enjeux épistémologiques et sémantiques" (action Capes-Cofecub Sh 690/10)
à l'invitation de Jocelyn Benoist (séminaire de Philosophie de l'esprit sur "Décrire ce qu'on voit",
Master 2 Philosophies contemporaines), à l'Université Paris 1, centre Sorbonne, UFR de Philosophie,
esc. C, 1er étage, 17 rue de la Sorbonne, salle Lalande.
- Lundi 28 novembre 2011, à 17h30-19h, exposé de L. C. Pereira "On the constructive notion of truth"
dans le cadre du séminaire Philmath (dans les locaux de l'IHPST, 13 rue du Four, 75006 Ð grande salle).
- Vendredi 2 décembre 2011, en matinée, exposé de L. C. Pereira sur "A constructive approach to classical modal logic"
dans le cadre de "Théories contemporaines de la logique et philosophie du langage:
enjeux épistémologiques et sémantiques" (action Capes-Cofecub Sh 690/10)
à l'invitation du séminaire Deducteam (dans les locaux de l'INRIA, 23 avenue d'Italie, 75013 Ð salle ???).
- 5 décembre 2011, Workshop "Semantical issues"
Dans le cadre de "Théories contemporaines de la logique et philosophie du langage:
enjeux épistémologiques et sémantiques" (action Capes-Cofecub Sh 690/10)
Salle de séminaire du Cirphles, ENS, Département de philosophie, 45 rue d'Ulm, 75005 (sous-sol)
Bientôt plus de détails ici
- 10 décembre 2011, Workshop "Epistemological aspects of computing"
Dans le cadre de "Théories contemporaines de la logique et philosophie du langage:
enjeux épistémologiques et sémantiques" (action Capes-Cofecub Sh 690/10)
Lieu à préciser. Bientôt plus de détails ici
- 12 décembre 2011, Workshop "On negation"
Dans le cadre de "Théories contemporaines de la logique et philosophie du langage:
enjeux épistémologiques et sémantiques" (action Capes-Cofecub Sh 690/10)
Salle de séminaire du Cirphles, ENS, Département de philosophie, 45 rue d'Ulm, 75005 (sous-sol)
Bientôt plus de détails ici
- 09 janvier 2012, 18h, Exposé de Pierre Cartier sur "Le statut de l'idéographie, un siècle après Frege",
Séance d'ouverture du Séminaire "Mathématiques et Philosophie", ENS, Paris.
Lieu: Salle de séminaire, Département de philosophie,
Pavillon Pasteur (au sous-sol), 45 rue d'Ulm, 75005, Paris.
Bientôt plus de détails ici
- 30 janvier 2012, 18h, Exposé de Gilles Dowek sur "La place de l'informatique dans la classification des sciences"
Séance d'ouverture du Séminaire "Philosophie de la logique, de l'informatique et leurs interfaces", ENS, Paris.
Lieu: Salle de séminaire, Département de philosophie,
Pavillon Pasteur (au sous-sol), 45 rue d'Ulm, 75005, Paris.
Bientôt plus de détails ici
- RECHERCHE
- Liste des publications (pdf)
- Publications (liens vers les articles)
- Liste des communications
- Logique mathématique (pdf)
- Philosophie (pdf)
- Colloques organisés (pdf ou html)
- Programmes de recherche internationaux :
TCLPL ("Théories contemporaines de la logique et philosophie du langage")
Programme de coopération avec le département de philosophie de la PUC-Rio de Janeiro
(action CAPES-COFECUB Sh 690/10, responsables: L.-C. Pereira et J-B. Joinet).
- Coordination de Séminaires:
- Séminaire "Philosophie de la logique, de l'informatique et de leurs interfaces", ENS
Coord. Jean-Baptiste Joinet
- Séminaire "Philosophie et Mathématiques", ENS
Coord. Pierre Cartier, Jean-Baptiste Joinet, Giuseppe Longo, Jean Petitot, Bernard Teissier
- Archives : Séminaire de logique de Paris 1 (1995-1998)
- Collaborations en matière de recherche (hors Cirphles, PPS et LIGC) :
- Équipe EXeCO (Expérience et Connaissance)
Composante de l'EA "Philosophies contemporaines"
Université Paris 1 - UFR de Philosophie
- Prélude (Pragmatique théorique, ludique et continuations) et
LOCI (Locativité et Interaction en Logique, Linguistique et Informatique):
(programmes de l'Agence Nationale de la Recherche, ANR)
- Groupe de travail doctoral hebdomadaire "Philosophie de la logique et de l'informatique"
(destiné principalement aux doctorants et étudiants de Master travaillant sous ma supervision)
- Referee (Expertise scientifique)
- ENSEIGNEMENT
- Cours à l'Université Paris 1
- Cours à l'Université Paris 7
- Cours à l'étranger (Italie, Chine, Brésil)
- Cours à l'ENSTA (1989-1990, puis 1997-2004)
- RESPONSABILITÉS
- Paris 1
- Autres
- LIENS DIVERS
- Logique et Philosophie
- Sites amis