Joinet Jean-Baptiste

Enseignant-Chercheur
Université Jean Moulin - Lyon 3 (Faculté de philosophie)
Adresse électronique: 
Jean-Baptiste.Joinet [at] univ-lyon3.fr
Publications: 
  • V. Danos, J-B. Joinet, "Linear Logic and Elementary time", Information and Computation 183,  Elsevier Academic Press,  2003, p.123-137
  • J-B. Joinet, "Completeness of MLL proof-nets w.r.t. weak distributivity",  Journal of Symbolic Logic, 72, 1, 2007, p. 159-170
  • J-B. Joinet, "Sur le temps logique", in "Logique, Dynamique et Cognition" (dir. J-B. Joinet), Coll. "Logique, langage, sciences, philosophie", Publications de la Sorbonne, Paris, 2007, p. 31-49 
  • J-B Joinet, "Ouvrir la logique au monde", in "Ouvrir la logique au monde. Philosophie et mathématique de l’interaction", sous la dir. J-B. Joinet & S. Tronçon), Collection "Visions des sciences", Hermann, Paris, 2009, p.9-63 
  • J-B. Joinet, "Logique et métaphysique", in  "O que è Metafisica ?",  sous la dir. de Jaimir Conte et Oscar Frederico Bauchwitz, (ISBN 978-85-7273-730-2),  Editora da Universidade Federal do Rio Grande do Norte, Natal (Brésil), 2011,  p.157-168
  • J-B. Joinet, Proofs, Reasoning and the Metamorphosis of Logic, in E. Hermann, L. C.  Pereira and V. de Paiva (eds.) "Elements of Natural Deduction : a celebration of Prawitz’s work". Paution imminente chez Springer.
Thèmes de recherche: 
Logique (philosophique et mathématique)
Histoire de la logique
Philosophie de la logique
Philosophie de l'informatique
Philosophie des mathématiques
Épistémologie
Périodes et zones géographiques d'intérêt: 
Contemporaine
XXe siècle
Europe occidentale
Type d'approche: 
Epistémologique et philosophique
Histoire conceptuelle
Implication dans des programmes et projets: 
  • BEYOND LOGIC, programme ANR-DFG (Université Paris 1 & Universität Tübingen)
  • Responsable programme franco-brésilien "Théories contemporaines de la logique et philosophie du langage: enjeux épistémologiques et sémantiques", Action Sh 690/10 CAPES-COFECUB - http://www-philo.univ-paris1.fr/Joinet/NEW/ParisRio/index.html
  • Programmes Bourgeons (Lyon 3) en Philosophie de l'informatique