Journée de réflexion "Logique et Philosophie des Sciences"
Logique et philosophie des sciences : quels présents et quels futurs ?
18 juin 2018, 9h30 - 18h
organisée par Karine Chemla (CNRS, SPHERE) et Gilles Dowek (LSV, CNRS & ENS de Cachan)
Lieu: Université Paris Diderot. Bâtiment: Condorcet, Salle 377A-Klimt
Adresse: 10 rue Alice Domon et Léonie Duquet, 75013 Paris
Vous trouverez le plan du Campus ici: http://www.sphere.univ-paris-diderot.fr/IMG/pdf/plan_prg_web2017b.pdf
Quelques informations pour arriver : https://sawerc.hypotheses.org/practical-information
Argument
Logique et philosophie des sciences ont historiquement entretenu des rapports très étroits. Au cours des dernières décennies, la logique a connu de profonds bouleversements, notamment en ouvrant des modalités d’analyse du raisonnement et de ses articulations tout à fait inédites, en donnant au calcul une position beaucoup plus centrale, ou en développant des approches géométriques de la déduction. De son côté, la philosophie des sciences a également connu des transformations radicales. L’attention aux pratiques scientifiques et les travaux historiques sur la philosophie des sciences y connaissent un essor important tandis que les travaux fondationnels y prennent un tour nouveau. Quels diagnostics peut-on porter sur l’évolution des rapports entre philosophie des sciences et logique qu’ont pu causer ces transformations ? Quelles nouvelles possibilités d’interaction entre ces deux domaines voit-on s’ouvrir du fait de leurs nouvelles orientations ? Ce sont ces questions que notre journée d’étude entend débattre. Il ne s’agit donc pas d’une rencontre scientifique en un sens classique, mais plutôt d’une journée de réflexion et de prospective.
Programme
9h30-9h45 : Introduction, par Karine Chemla et Gilles Dowek
9h45-10h25
Pierre Wagner (IHPST, Université Paris 1)
Logique et philosophie des sciences, à la lumière de l'histoire.
10h25-11h05
Jean-Baptiste Joinet (Université Jean Moulin Lyon 3, Institut de Recherches Philosophiques de Lyon (IRPhiL, EA 4187, Lyon 3) & Centre Cavaillès (composante de l'USR 3608, CNRS - ENS Paris - Collège de France))
L’informatique théorique : un pont de la physique vers la logique.
11h05-11h20 : Pause
11h20-12h00
Gilles Dowek (LSV, CNRS & ENS de Cachan)
Les avatars de la thèse de Church-Turing
12h00-12h45, Table ronde ouverte par une intervention de Gerhard Heinzmann (Archives Henri Poincaré, Université de Lorraine)
Déjeuner
14h15-14h55
Marianna Antonutti Marfori (Marie Skłodowska-Curie Postdoctoral Fellow ; Munich Center for Mathematical Philosophy)
Reflections on Logic as a Science
14h55-15h35
Brice Halimi (Université Paris Nanterre & SPHERE)
Logique philosophique, logique mathématique
15h35-15h50 : Pause
15h50-16h30
Francesca Poggiolesi (IHPST, Université Paris I)
Grounding and proof theory: how logic can provide a better insight of explanatory proofs
16h30-17h10
Paul-André Melliès (IRIF, CNRS et Université Paris Diderot)
A quoi ressemblerait une géométrie du raisonnement logique?
17h10-18h, Table ronde ouverte par une intervention de Jean-Jacques Szczeciniarz (SPHERE & Département d’histoire et de philosophie des sciences, Université Paris Diderot)
Résumés
Marianna Antonutti Marfori (Marie Skłodowska-Curie Postdoctoral Fellow ; Munich Center for Mathematical Philosophy)
Reflections on Logic as a Science
Résumé : Quine famously held that logic is continuous with science, and thus does not have a special epistemological status. Versions of this view have recently been discussed in the context of the debate on anti-exceptionalism about logic and its normative autonomy. In this talk, I will argue that this debate does not adequately account for the role of logic in scientific modelling, and that it often neglects
pure, unapplied aspects of logic. Whereas a large portion of applied logic can be seen as purely descriptive and revisable in the light of scientific evidence, this does not suffice to conclude that logic as a whole is analogous with natural science. Taking seriously the autonomous status of logic will provide a more interesting and plausible picture of the relationship between logic, science, and philosophy of science.
Gilles Dowek (LSV, CNRS & ENS de Cachan)
Les avatars de la thèse de Church-Turing
Résumé : Une manière de comprendre les rapports, contemporains et à venir, entre la logique et la philosophie des sciences est de s'interroger sur les rapports spécifiques entre chacune des branches de la logique - la théorie de la démonstration, la théorie des modèles, la théorie des ensembles et la théorie de la calculabilité - et la philosophie des sciences. Cet exposé se concentrera sur le cas particulier de la calculabilité, parfois perçue comme la "moins philosophique" des branches de la logique. Nous essayerons de montrer qu'à travers la formalisation de la notion d'aléa, mais surtout à travers les
différentes ramifications de la thèse de Church-Turing, la théorie de la calculabilité, nous mène à penser différemment la notion de théorie scientifique.
Brice Halimi (Université Paris Nanterre & SPHERE)
Logique philosophique, logique mathématique
Résumé : La dissociation progressive, au XXe siècle, de la logique en logique philosophique, d’une part, et logique mathématique, d’autre part, accroît le statut difficile de la logique, qui n’a jamais été une science constituée à part entière. Dans mon exposé, je voudrais présenter cette dissociation comme l’indication positive que la philosophie, la logique et les mathématiques constituent trois disciplines solidaires pour l’examen d’une "question des fondements” dont j’essaierai de préciser la nature.
Jean-Baptiste Joinet (Université Jean Moulin Lyon 3, Institut de Recherches Philosophiques de Lyon (IRPhiL, EA 4187, Lyon 3) & Centre Cavaillès (composante de l'USR 3608, CNRS - ENS Paris - Collège de France))
L’informatique théorique : un pont de la physique vers la logique.
Résumé : Depuis une cinquantaine d’année, les recherches à l’interface de l’informatique théorique et de la théorie de la démonstration déclenchées à la fin des années soixante par l’observation de « l’isomorphisme de Curry-Howard » (développement du cadre dit de la correspondance preuves-programmes et du paradigme des formules-comme-types), ont profondément renouvelé nos conceptions des liens entre preuves mathématiques et processus computationnels, et plus généralement entre Logique et Informatique théorique. Or toute théorie de l’information et de sa transformation s’articule in fine sur une physique de l’information et des processus informationnels. Dans cet exposé, je m’efforcerai de décrire de façon synthétique en quoi l’informatique théorique constitue ainsi un pont de la physique vers la logique et d’en tirer des enseignements sur les relations entre logique et philosophie des sciences.
Paul-André Melliès (IRIF, CNRS et Université Paris Diderot)
A quoi ressemblerait une géométrie du raisonnement logique?
Résumé : L'idée que le raisonnement logique puisse disposer d'une géométrie, ou à défaut d'une topologie, est apparue à la fin des années 1980 dans le travail mené par Jean-Yves Girard sur la logique linéaire et les réseaux de démonstration. Dans le travail que j'ai mené par la suite sur la logique tensorielle et les jeux de dialogue, une version topologique de la sémantique des jeux s'est dégagée, où une démonstration logique se trouve interprétée en un entrelacs topologique. J'expliquerai dans mon exposé comment aller un cran plus loin, et décrire le raisonnement comme un objet topologique produit au sein même de l'espace logique où Eloïse impose sa démonstration à la réfutation portée par Abélard. Pour finir, et si le temps le permet, je donnerai quelques indications de directions possibles dans ce programme de géométrisation de la logique.
Pour en savoir plus, vous pouvez télécharger mon habilitation ici:
https://www.irif.fr/~mellies/habilitation.html
https://www.irif.fr/~mellies/hdr-mellies.pdf
Francesca Poggiolesi (IHPST, Université Paris I)
Grounding and proof theory: how logic can provide a better insight of explanatory proofs
Abstract : Since Aristotle, we can distinguish two types of proofs, proofs by means we show that something is true, and proofs by means we show why something is true. We might call the former proofs proofs-that, and the latter proofs-why. While proofs-that have been widely studied in logic and philosophy of logic in the tradition that starts with Frege, passes through Hilbert and Russell and finds a final formalization in the natural deduction calculus of Gentzen, proofs-why have not been receiving a similar attention. Although the great philosopher and mathematician Bernard Bolzano attempted to provide a rigorous formalization of this kind of proof, many results and clarifications still need to be carried out. In this talk, we will take the first steps towards repairing this situation; in particular we will first give a detailed analysis of each grounding step that composes a proof-why; then, on the basis of such analysis, we will formulate grounding rules.
Pierre Wagner (IHPST, Université Paris 1)
Logique et philosophie des sciences, à la lumière de l'histoire.
Résumé : La logique et la philosophie des sciences se sont si radicalement transformées depuis le début du siècle écoulé que leurs rapports ne peuvent plus être à l'image de ce qu'ils ont été et demandent à être réinventés. Il pourra être utile, à cet effet, de clarifier leur devenir et ce qu'ils ont pu être dans le passé et ne sauraient probablement plus être à l'avenir".