[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] 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/