[Educasup] Colloque “COMPUTABILITY, ALGORITHMS, TYPES AND PROOFS” (Philosophy of computing and Lo gic), 22-24/11/2021, Univ. Lyon 3

2021-11-19 Par sujet JOINET Jean-Baptiste 


Bonjour à toutes et tous,
Vous êtes cordialement invité.e.s à participer au colloque “Computability, 
Algorithms, Types and Proofs”  qui aura leu à Lyon du 22 au 24 novembre 2021 et 
est présenté ci-dessous. L’acccès au colloque est libre et gratuit (il se 
pourrait qu’une pré-inscription soit nécessaire – vous trouverez plus 
d’informations sur ce point d’ici à lundi matin sur 
https://irphil.univ-lyon3.fr/actualites où vous trouverez le cas échéant un 
lien vers la plate-forme d’inscription. Il se pourrait également que la 
détention d’un passe sanitaire soit obligatoire - si c’est le cas, ce sera 
indiqué sur le site web…).
Bien cordialement,
Jean-Baptiste Joinet
—
“COMPUTABILITY, ALGORITHMS, TYPES AND PROOFS”

International workshop in Philosophy of computing and logic

 22-24 November 2021

Institut de Recherche Philosophique de Lyon

Université Jean Moulin Lyon 3

Org. Jean-Baptiste Joinet

MONDAY 22/11

Salle ROTONDE, 18 rue de chevreul 69007 Lyon (dernier étage)

14:30-15:45  Tito MARQUES PALMEIRO. UERJ, Rio de Janeiro, Departamento de 
Filosofia

About the equivalence which defines the central  “thesis” of computability 
theory: recursive functions, lambda-calculus and computatibility

16:00-17:15 Jean-Baptiste  JOINET. Univ. Jean Moulin Lyon 3, IRPhiL & IHPST 
(CNRS, univ. Paris 1)
The essentialist and the existentialist approaches of the notion of type

TUESDAY  23/11

Amphi HUVELIN, 15 quai Claude Bernard, 69007 Lyon (rez-de-chaussée)

09:45-11:00 Carlos OLARTE LIPN, Université Sorbonne Paris Nord

A subexponential view of domains in session types (joint work with Daniele 
Nantes and Daniel Ventura)

11:15-12:30 Paolo PISTONE. Universitá di Bologna

Towards Logical Foundations for Randomized Computability (joint work with 
Melissa Antonelli and Ugo Dal Lago)

14:45-16:00  Hermann HAUESLER. PUC-Rio de Janeiro

About Hypercomputation and the physical Turing-Church thesis

16:15-17:30   Walter DEAN. University of Warwick. Department of Philosophy
Algorithms and Ontology

WEDNESDAY  24/11

Salle ROTONDE, 18 rue de chevreul 69007 Lyon (dernier étage)

10:00-11:15  Luiz Carlos PEREIRA. PUC-Rio de Janeiro

About Ex falso quodlibet and Disjunctive Syllogism

11:15-12:30  Elaine PIMENTEL. Université Sorbonne Paris-Nord
Ecumenical modal logic

Supported by :
IRPhiL (univ. Jean Moulin Lyon 3);
Programme “Philosophie & Informatique : interactions contemporaines” (Action 
Capes-Cofecub Sh-873 17);
Programme “Abstraction & Classification: Computation & Types” (Bourgeon, univ. 
Jean Moulin Lyon 3).
jean-baptiste.joi...@univ-lyon3.fr



-- No attachments (even text) are allowed --
-- Type: application/pdf
-- File: COMPUTABILITY-web.pdf
-- Desc: COMPUTABILITY-web.pdf


--
https://www.vidal-rosset.net/mailing_list_educasupphilo.html

[Educasup] Deux articles pour la conférence "En quel se ns la théorie de l'abstraction d'Hermann Wey l généralise-t-elle celle de Peano-Frege ?"

2021-10-11 Par sujet JOINET Jean-Baptiste 


Bonjour à tous et tous,
En complément de l’annonce reproduite en fin de message (conférence, demain, 
sur : En quel sens la théorie de l'abstraction d'Hermann Weyl généralise-t-elle 
celle de Peano-Frege ?), voici deux liens vers les articles sur lesquels 
s’appuieront mon exposé.
Je précise que la conférence sera donnée à la fois en présenciel et en 
distanciel.
Bien cordialement,
Jean-Baptiste Joinet

1/ Jean-Baptiste Joinet & Thomas Seiller, “From abstraction and 
indiscernibility to classification and types: revisiting Hermann Weyl's theory 
of ideal elements”, Kagaku Tetsugaku, Journal of the Philosophy of Science 
Society Japan. Special issue on ``Types'', Volume 53, Issue 2, pages 65-93, 
202. DOI: https://doi.org/10.4216/jpssj.53.2_65, online free access version.

2/ Jean-Baptiste Joinet, “Collusions and quotients: generalizing equivalence 
relations and definitions by abstraction”, preprint déposé le 20/11/2019 sur 
les archives ouvertes HAL (https://hal.archives-ouvertes.fr/hal-02369662).

——
Dans le cadre du Séminaire de recherche en philosophie des mathématiques et en 
philosophie de la logique (PHILMATH), Jean-Baptiste Joinet (Université Jean 
Moulin Lyon 3 et, pour 2021-2022, IHPST Paris) donnera, le mardi 12 octobre 
2021 de 17h à 19h, une conférence sur le thème :

En quel sens la théorie de l'abstraction d'Hermann 
Weyl généralise-t-elle celle de Peano-Frege ?


Pour assister à la conférence en ligne, veuillez cliquer sur le lien suivant :

https://zoom.univ-paris1.fr/j/99669768565?pwd=ZTdGZElVVWNqYTU0dDN6N2MzbkRoQT09

ID de la réunion: 996 6976 8565
Mot de passe : 030365

Nous espérons vous voir nombreux.
Cordialement,
Fabrice Pataut (CNRS, SND) et Francesca Poggiolesi (CNRS, IHPST)

---


--
https://www.vidal-rosset.net/mailing_list_educasupphilo.html

[Educasup] IRPhiL-Lyon 3 : Exposé de Paolo PISTONE, jeu di 08/10, à 18h (Séminaire Logique, Mathém atiques, Informatique, Raisonnement

2020-10-05 Par sujet JOINET Jean-Baptiste 


Bonjour à toutes et tous,

Dans le cadre des activités du Séminaire Logique, Mathématiques, Informatique, 
Raisonnement (coord. par JB Joinet, W.Hammache, Y.Hausberg à l’IRPhiL, Lyon 3), 
Paolo Pistone donnera un exposé ce jeudi 8 octobre de 18h à 20h  (Salle CH-314, 
18 rue Chevreul - 69007 Lyon).

Titre de l’exposé : « The calculus of higher-level rules in modern dress (Joint 
work with Luca Tranchini) ».

Compte tenu de la jauge de la salle et des restrictions en lien avec la 
pandémie, il faut nécessairement s’inscrire en ligne via l’actualité sur les 
pages web (lien ci-dessous, vers des pages où l’on trouve aussi un abstract).

Bien à vous,
Jean-Baptiste Joinet
--
L'actualité est en ligne : 
https://facdephilo.univ-lyon3.fr/seminaire-2020-21-logique-mathematiques-informatique-raisonnement-2

———-
Jean-Baptiste Joinet
Professeur des universités

Faculté de philosophie (Bureau 18, 1er étage)
Université Jean Moulin - Lyon 3
1 rue de l’Université, 69007 Lyon
jean-baptiste.joi...@univ-lyon3.fr
http://www-philo.univ-paris1.fr/Joinet/
+33 4 78 78 72 38

Responsable du M2  LHPST (Logique, Histoire & Philosophie des Sciences & des 
Technologies )

Responsable Programme de recherche franco-brésilien:
« Informatique & Philosophie : Interactions Contemporaines » (CAPES-COFECUB)

Responsable de l’international à la faculté de philosophie

Institut de Recherches Philosophiques de Lyon
(Responsable de l’Axe Sciences-Santé-Complexité)
IRPhiL (E.A. 4187, Lyon 3)
Salle 403
18 rue Chevreul
69007 Lyon

Chercheur associé au Centre Cavaillès
La République des savoirs : Lettres, Sciences, Philosophie
USR 3608 (CNRS, ENS Paris, Collège de France)
Ecole Normale Supérieure,
29 rue d'Ulm, 75005 Paris
jean-baptiste.joi...@ens.fr
+33 1 44 32 29 60


--
https://www.vidal-rosset.net/mailing_list_educasupphilo.html

[Educasup] Colloque "Indiscernibility and abstraction: c lassification and types", Lyon, 21-22 novembr e (Philosophie de la logique, des mathématiq ues, de l’informatique)

2019-11-14 Par sujet JOINET Jean-Baptiste 


Bonjour à tou(te)s,

Vous êtes bienvenu(e)s au colloque interdisciplinaire (Philosophie de la 
logique, des mathématiques, de l’informatique) Indiscernibility and 
abstraction: classification and types, qui se tiendra les 21 et 22 novembre à 
l’Université Jean Moulin Lyon 3 (renseignements pratiques et programmation des 
exposés: voir ci-dessous - informations actualisées sur 
irphil.univ-lyon3.fr).

Organisé par Jean-Baptiste Joinet et Wendy Hammache, ce colloque a bénéficié du 
soutien de l’IRPhiL (EA 4187, Université Jean Moulin Lyon 3), de la 
CAPES-Brasil et du Cofecub. Les exposés auront lieu en anglais. L’entrée est 
libre et gratuite.

Au plaisir de vous y rencontrer.
J-B. Joinet & W. Hammache
Indiscernibility & abstraction :
classification and types

21-22 novembre 2019.   Université Jean Moulin Lyon 3
15 quai Claude Bernard, 69002 Lyon
Salle Boris Starck

Coordination scientifique : Jean-Baptiste Joinet
Organisation : J-B Joinet, W. Hammache
Institut de Recherches Philosophiques de Lyon - Université Jean Moulin Lyon 3
 JEUDI 21 NOVEMBRE
10h30-11h30

Luiz Carlos Pereira
Institut de Logique et Philosophie du langage
PUC-Rio de Janeiro, Département de philosophie

The resilience of abstraction: Locke, Berkeley and Hume

11h30-12h30

Sébastien Gandon
Laboratoire Philosophies et Rationalités
Université Clermont Auvergne
Département de philosophie

Abstraction in the wild



Pause déjeuner



14h15-15h15

Jean-Baptiste Joinet
Institut de Recherches Philosophiques de Lyon
Université Jean Moulin Lyon 3,  Faculté de philosophie

Abstraction and Classification : from Indiscernibility to Types

15h15-16h15

Paulo Veloso
Programme en Ingénierie Systèmes & Computation
COPPE - Université Fédérale de Rio de Janeiro

On Partitions and Relations: some ideas and results



Pause



16h30-17h30

Wendy Hammache
Institut de Recherches Philosophiques de Lyon
Université Jean Moulin Lyon 3,  Faculté de philosophie

Inquiry into meaningfulness : Russell's and Church's type theories

17h30-18h30

Jean-Michel Roy
École Normale Supérieure de Lyon
Département des sciences humaines

Type and concept

 VENDREDI 22 NOVEMBRE
9h45-10h45

Henri Galinon
Laboratoire Philosophies et Rationalités
Université Clermont-Auvergne, Département de philosophie

The objectivity of empirical types. Machine Learning and Philosophy in 
conversation

10h45-11h45

Hermann Hauesler
Laboratoire  Méthodes Formelles, Logique et Raisonnement.
PUC-Rio de Janeiro, Département d’Informatique

Indiscernibility, Cauchy Integral, Waves and Sheaves



Pause



12h-13h

Sheila Veloso
Département d'Ingénierie  Systèmes & Computation
UERJ (Rio de Janeiro),

On Graphical Calculi: Some Concepts and Methods.

 Organisé avec le soutien de l’IRPhiL (EA 4187, Lyon 3), de l’action 
CAPES-Cofecub Sh-873 17 « Philosophy and Computing : contemporary interactions 
» et du programme CAPES-PRINT  « Logic, Philosophy and Computation »

--
https://www.vidal-rosset.net/Mailing_list_educasupphilo.html

[Educasup] Colloque "The theory of definitions by abstra ction: roots, history, contemporary developme nts", LYON, 11-12 FÉVRIER 2019.

2019-02-08 Par sujet JOINET Jean-Baptiste 


THE THEORY OF DEFINITIONS BY ABSTRACTION:
ROOTS, HISTORY, CONTEMPORARY DEVELOPMENTS
Interdisciplinary conference - History and Philosophy of Logic and Mathematics

Coordination : Jean-Baptiste Joinet
LYON, 11 & 12 February 2019
Univ. Jean Moulin Lyon 3, Salle Rotonde, 18 rue Chevreul, Lyon
http://irphil.univ-lyon3.fr/
———

Chères et chers collègues,
Je vous rappelle la tenue imminente du colloque d’Histoire et Philosophie des 
mathématiques évoqué ci-dessus. Consacré aux théories des "définitions par 
abstraction » (une terminologie introduite par l’Ecole de Peano à la fin du 
XIXe), à leurs sources antérieures (Leibniz), comme à leur postérité au XXe 
(Frege, Russell, Lorenzen, Vuillemin…) et dans les développements contemporains 
(courant néo-fregéen; approches computationnelles de la notion de type), ce 
colloque est ouvert au public. Les exposés auront lieu en anglais.
Au plaisir de vous y retrouver,
Jean-Baptiste Joinet


PROGRAMME DES EXPOSÉS :

LUNDI 11 FÉVRIER  (après-midi)
14:30-15:45  David RABOUIN (SPHERE, UMR 7219 CNRS & Univ. Paris Diderot)
Leibniz on reduction to identities

15:45-17 :00 Paola CANTÚ (Centre Gilles Gaston Granger. UMR 7304 CNRS & 
Aix-Marseille Université)
Definitions by abstraction as implicit definitions in the Peano School.
Turn of the century (19th-20th)
Pause café
17:15-18:30 Erika LUCIANO (Dipartimento di Matematica Giuseppe Peano, 
Università de Torino)
The Peanian contributions to the theory of definitions by abstraction:
methodological instances, teaching practices and textbooks

MARDI 12 FÉVRIER
9:00-10:15 Sébastien GANDON (Philosophies & Rationalités, Univ. 
Clermont-Auvergne)
Abstraction, Universals, Determinables. Russell’s idealist temptation
Pause café
10 :30-11:45 Jean-Baptiste RAUZY  (Rationalités Contemporaines, EA 3559, 
Sorbonne Université)
Quasi-fregean Abstractions and the Caesar Problem

11:45-13:00 Baptiste MÉLÈS  (Archives Henri Poincaré, UMR 7117 CNRS & Univ. de 
Lorraine)
Principle of abstraction and philosophical systems in Jules Vuillemin

Lunch break

14:30-15:45 Benjamin SISKIND (Logic and the Methodology of Science, UC Berkeley)
Neologicist foundations: inconsistent abstraction principles and part whole

15:45-17 :00 Jean-Baptiste JOINET (IRPhiL, Université Jean Moulin Lyon 3)
>From abstraction principles to the notion of type : abstracting w.r.t. 
>contextual behavior

Organisé par Jean-Baptiste Joinet,
Informations actualisées en ligne sur : http://irphil.univ-lyon3.fr/
Contact : 
jean-baptiste.joi...@univ-lyon3.fr

———-
Jean-Baptiste Joinet
Professeur des universités

Faculté de philosophie (Bureau 18, 1er étage)
Université Jean Moulin - Lyon 3
1 rue de l’Université, 69002 Lyon
jean-baptiste.joi...@univ-lyon3.fr
http://www-philo.univ-paris1.fr/Joinet/
+33 4 78 78 72 38

Responsable du M2  LHPST (Logique, Histoire & Philosophie des Sciences & des 
Technologies )

Responsable Programme de recherche franco-brésilien:
« Informatique & Philosophie : Interactions Contemporaines » (CAPES-COFECUB)

Institut de Recherches Philosophiques de Lyon
(Responsable de l’Axe Sciences-Santé-Complexité)
IRPhiL (E.A. 4187, Lyon 3)
Salle 403
18 rue Chevreul
69007 Lyon

Chercheur associé au Centre Cavaillès
La République des savoirs : Lettres, Sciences, Philosophie
USR 3608 (CNRS, ENS Paris, Collège de France)
Ecole Normale Supérieure,
29 rue d'Ulm, 75005 Paris
jean-baptiste.joi...@ens.fr
+33 1 44 32 29 60

--
Pour toute question, la FAQ de la liste se trouve ici:  
https://www.vidal-rosset.net/

[Educasup] Colloque "The theory of definitions by abstra ction: roots, history, contemporary developme nts", LYON, 11-12 FÉVRIER 2019.

2019-01-23 Par sujet JOINET Jean-Baptiste 


THE THEORY OF DEFINITIONS BY ABSTRACTION:
ROOTS, HISTORY, CONTEMPORARY DEVELOPMENTS
Interdisciplinary conference - History and Philosophy of Logic and Mathematics

Coordination : Jean-Baptiste Joinet
LYON, 11 & 12 February 2019
Univ. Jean Moulin Lyon 3, Salle Rotonde, 18 rue Chevreul, Lyon
http://irphil.univ-lyon3.fr/
———

Chères et chers collègues,
N’hésitez pas à noter dans votre agenda, la tenue du colloque d’Histoire et 
Philosophie des mathématiques évoqué ci-dessus. Consacré aux théories des 
"définitions par abstraction » (une terminologie introduite par l’Ecole de 
Peano à la fin du XIXe), à leurs sources antérieures (Leibniz), comme à leur 
postérité au XXe (Frege, Russell, Lorenzen, Vuillemin…) et dans les 
développements contemporains (courant néo-fregéen; approches computationnelles 
de la notion de type), ce colloque est ouvert au public. Les exposés auront 
lieu en anglais.
Au plaisir de vous y retrouver,
Jean-Baptiste Joinet


PROGRAMME DES EXPOSÉS :

LUNDI 11 FÉVRIER  (après-midi)
14:30-15:45  David RABOUIN (SPHERE, UMR 7219 CNRS & Univ. Paris Diderot)
Leibniz on reduction to identities

15:45-17 :00 Paola CANTÚ (Centre Gilles Gaston Granger. UMR 7304 CNRS & 
Aix-Marseille Université)
Definitions by abstraction as implicit definitions in the Peano School.
Turn of the century (19th-20th)
Pause café
17:15-18:30 Erika LUCIANO (Dipartimento di Matematica Giuseppe Peano, 
Università de Torino)
The Peanian contributions to the theory of definitions by abstraction:
methodological instances, teaching practices and textbooks

MARDI 12 FÉVRIER
9:00-10:15 Sébastien GANDON (Philosophies & Rationalités, Univ. 
Clermont-Auvergne)
Abstraction, Universals, Determinables. Russell’s idealist temptation
Pause café
10 :30-11:45 Jean-Baptiste RAUZY  (Rationalités Contemporaines, EA 3559, 
Sorbonne Université)
Quasi-fregean Abstractions and the Caesar Problem

11:45-13:00 Baptiste MÉLÈS  (Archives Henri Poincaré, UMR 7117 CNRS & Univ. de 
Lorraine)
Principe d'abstraction et systèmes philosophiques chez Jules Vuillemin

Lunch break

14:30-15:45 Benjamin SISKIND (Logic and the Methodology of Science, UC Berkeley)
Neologicist foundations: inconsistent abstraction principles and part whole

15:45-17 :00 Jean-Baptiste JOINET (IRPhiL, Université Jean Moulin Lyon 3)
>From abstraction principles to the notion of type : abstracting w.r.t. 
>contextual behavior

Organisé par Jean-Baptiste Joinet,
Informations actualisées en ligne sur : http://irphil.univ-lyon3.fr/
Contact : 
jean-baptiste.joi...@univ-lyon3.fr
———-
Jean-Baptiste Joinet
Professeur des universités

Faculté de philosophie (Bureau 18, 1er étage)
Université Jean Moulin - Lyon 3
1 rue de l’Université, 69002 Lyon
jean-baptiste.joi...@univ-lyon3.fr
http://www-philo.univ-paris1.fr/Joinet/
+33 4 78 78 72 38

Responsable du M2  LHPST (Logique, Histoire & Philosophie des Sciences & des 
Technologies )

Responsable Programme de recherche franco-brésilien:
« Informatique & Philosophie : Interactions Contemporaines » (CAPES-COFECUB)

Institut de Recherches Philosophiques de Lyon
(Responsable de l’Axe Sciences-Santé-Complexité)
IRPhiL (E.A. 4187, Lyon 3)
Salle 403
18 rue Chevreul
69007 Lyon

Chercheur associé au Centre Cavaillès
La République des savoirs : Lettres, Sciences, Philosophie
USR 3608 (CNRS, ENS Paris, Collège de France)
Ecole Normale Supérieure,
29 rue d'Ulm, 75005 Paris
jean-baptiste.joi...@ens.fr
+33 1 44 32 29 60


--
Pour toute question, la FAQ de la liste se trouve ici:  
https://www.vidal-rosset.net/