[Educasup] séminaire de l'IRPhiL

[Stéphane Madelrieux]

Bonjour à toutes et tous,

La première séance du séminaire de l'Institut de Recherches Philosophiques de 
Lyon (IRPhiL) se déroulera le mercredi 24 novembre de 16h à 18h, en salle 
Garraud à l'Université Jean Moulin Lyon 3, 15 Quai Claude Bernard.
Pierre-Jean Renaudie (Lyon 3/IRPhiL) y donnera une conférence intitulée 
"Phénoménologie du discours poétique : Husserl et Benvéniste".
Entrée libre et gratuite dans la limite des places disponibles ; passe 
sanitaire obligatoire.


Le séminaire de l'IRPhiL est mensuel. Il alterne des séances sur l'actualité 
éditoriale des membres de l'équipe, des séances de présentation des travaux des 
doctorant.e.s et des conférences de chercheurs et chercheuses invité.e.s. Il a 
lieu en présentiel dans les locaux de l'Université Jean Moulin Lyon 3, site des 
quais.

*Mercredi 15 décembre, 16h-18h, salle de la Rotonde (18 rue Chevreul)
Travaux doctoraux : D5 et plus

*Mercredi 26 janvier, 16h-1​8h, salle en attente
Sophie Guérard de Latour (ENS de Lyon/TRIANGLE) : "Politique de la différence 
et reconnaissance multiculturelle"

*Mercredi 16 février, 16h-1​8h
Thierry Hoquet (Université Paris Nanterre/IRePh) : "Les Presque Humains"
(discutant : S. Madelrieux)

*Mercredi 23 mars, 16h-1​8h
Mikaël Cozic (IRPhiL) et Charles Girard (IRPhiL) : "Délibérer et décider"

*Mercredi 20 avril, 16h-1​8h
Claude Gautier (ENS de Lyon/TRIANGLE) et Michelle Zancarini-Fournel (Université 
Claude Bernard Lyon 1/LAHRA) : "Défense des savoirs critiques"

*Mercredi 22 mai, 16h-18h
Ulrika Susanna Longo (IRPhiL) : "Savoirs modernes et lecture de l'Antiquité à 
la Renaissance : la question des temps premiers"
(Discutant : G. Guyomarc'h)

*Mercredi 22 juin, 16h-18h
Travaux doctoraux : D2-D4

Organisation : Stéphane Madelrieux (IRPhiL)

Pour tout renseignement, contacter :
Yosra Garmi, Gestionnaire IRPhiL
Université Jean Moulin Lyon 3
18, rue Chevreul, 69007 Lyon
yosra.ga...@univ-lyon3.fr
+33 (0)4 78 78 73 94

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

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

[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] CFP Mathematical Practice and Social Ontology - Deadline Reminder: December 31, 2021

[CANTU TESTA Paola]

Dear all,

Please find below  a call for papers for a special Issue on Mathematical 
Practice and Social Ontology that might be of some interest to you.


The issue will appear in TOPOI. An International Review of Philosophy.

Best regards,

Paola Cantù and Italo Testa

__


Call for Papers - Mathematical Practice and Social Ontology

Guest Editors

Paola Cantù (CNRS and Université Aix-Marseille) Italo Testa (Università di 
Parma)

Deadline for Submission: December 31, 2021

Overview: The relationship between mathematics and social ontology is often 
guided by the question of the possibility of applying mathematics to social 
sciences, especially economy. As interesting as these questions may be, they 
neglect the inverse possibility of applying a conceptual analysis derived from 
social ontology to mathematics. The issue will be devoted to the question 
whether the distinction between social object and social fact, on the one hand, 
and between different theoretical approaches to the notion of social fact, can 
be successfully applied to mathematical practice.

There is a well-established tendency in recent philosophy of mathematics to 
emphasize the importance of scientific practice in answering certain 
epistemological questions such as visualization, the use of diagrams, 
reasoning, explanation, purity of evidence, concept formation, the analysis of 
definitions, and so on. While some of the approaches to mathematical practice 
are based on Lakatos' interpretation of mathematics as a quasi-empirical 
science, this project takes this statement a step further, as it relies on the 
idea that the objectivity of mathematical concepts might be the result of a 
social constitution.

What theory of social facts and social objects could explain the 
characteristics of mathematical objects and concepts? Are there new ontological 
or epistemological perspectives that can be developed in this social philosophy 
of mathematics?

This project is not a renewal of David Bloor's research, aiming at a 
sociological study of mathematics. It is rather a study of the possibility of 
applying philosophical theories of social objectivity to mathematical objects. 
This is a new topic that requires the search for adequate mathematical examples 
that could satisfy the objectivity constraints proposed by the philosophy of 
social ontology.

Tendencies in this direction can be traced, but no general survey has been 
offered. For example, Salomon Feferman (2011) characterizes mathematical 
objectivity as a special case of intersubjective social objectivity. José 
Ferreiros (2016) defines mathematical practice as an activity supported by 
individual and social agents and characterized by stability, reliability, and 
intersubjectivity. Julian C. Cole (2013, 2015) sees mathematical objects as 
institutional rather than mental objects, referring to Searle's theory of 
collective intentionality.

The purpose of the issue is not to determine which social philosophical 
ontology is best applied to the construction of a mathematical social ontology, 
but rather to verify whether new epistemological and ontological issues might 
emerge from the comparison of different theories of social ontology in an 
interdisciplinary perspective.

This special issue will focus on the relationship between social and 
mathematical objectivity, and more generally on the role of intersubjectivity 
in the constitution of mathematical objects. The contributions might discuss 
the role of individual, planned or shared intentionality as well as of rules or 
habits in the constitution and development of intersubjective practices. Essays 
might refer primarily to social sciences or to mathematics, but the objective 
is to build a framework that might allow detecting new cross-relations.

Cross-relations might emerge from the discussion of several of the following 
questions.

   * Does intersubjective mathematical objectivity come in different 
degrees, depending on the properties of the theories that describe them? Does 
objectivity depend on the degree of certainty or simplicity of the relevant 
axiomatic theories?
   * Is intersubjective mathematical objectivity necessarily connected to a 
structuralist position, or can it be compatible with platonism, logicism, 
intuitionism ? And what is its relation to naturalism ?
   * Is it possible for mathematical objects to have the same 
intersubjective objectivity of social facts, or is there a fundamental 
difference between social facts, that are present in all cultures but usually 
differ in form, as e.g. marriage, and the natural number system, which seems to 
be more or less the same in any culture? Differently said, is the distinction 
between type and token applicable both to social and mathematical objects?
   * If mathematics is the result of practices that depend on agents, 
having individual goals and values, how can one avoid relativism and explain 
the convergence 

[Educasup] Journée d'étude "Langage, pensée et perception" ( Nantes, 3/12)

[Michael Murez]

Chères et chers collègues,


Veuillez trouver ci-dessous le programme d'une journée d'étude "Langage,
pensée et perception" qui aura lieu le 3 décembre 2021 à l'Université de
Nantes (salle C248, bâtiment Censive). Il sera demandé aux participants,
dont le nombre sera limité, de respecter strictement les gestes barrières.
Si vous souhaitez assister à cette journée, merci d'écrire obligatoirement
au préalable à michael.mu...@univ-nantes.fr


Bien cordialement,

Michael Murez


9.30 – 10.30 Brent Strickland (IJN, Paris) *Re-thinking core cognition:
Core physics in adult vision and its theoretical implications*

10.30 – 10.50 Dawei Bai (IJN, Paris) *The solidity principle in visual
perception*

11.10 – 11.50 Michael Murez (CAPhi, Nantes) *Are mental files transparent?*

11.50 – 12.10 David Schwitzgebel (IJN, Paris) *Seeing possible objects*

14.00 – 14.20 Andreas Falck (IJN, Paris) *Interference from parallel task
representations: are others' beliefs special?*

14.20 – 15.00 Chiara Brozzo (Logos, Barcelone) *Transformative Experiences:
Many More Than You'd Think*

15.20 – 15.40 Enzo Corpel (Nantes) *Illusionism and Moral Error Theory*

15.40 – 16.20 Sophie Keeling (Logos, Barcelone) *Agent's awareness and
responding to reasons*

16.40 – 18.00 Eric Mandelbaum (Baruch College/CUNY Graduate Center, New
York) & Nicolas Porot (UM6P, Rabat) *The Best Game in Town: The
Re-Emergence of the Language of Thought Hypothesis Across the Cognitive
Sciences*

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