Deprecated: Unparenthesized `a ? b : c ? d : e` is deprecated. Use either `(a ? b : c) ? d : e` or `a ? b : (c ? d : e)` in /home/wwwapp/spip/ecrire/inc/utils.php on line 2697
Logique et Interaction : vers une Géométrie de la Cognition http://www.ligc.fr/ Le groupe LIGC (héritier du groupe LMP né en 2000) regroupe des philosophes et des scientifiques d'horizons divers (principalement des spécialistes de Logique mathématique, d'Informatique théorique, et de Philosophie de la logique), rassemblés dans une réflexion philosophique commune sur l'impact des métamorphoses récentes de la logique dans le contexte de son dialogue avec l'informatique théorique et, par transitivité, avec d'autres disciplines (physique, biologie, linguistique, …) fr SPIP - www.spip.net Participants https://www.ligc.fr/le-groupe-ligc/article/participants https://www.ligc.fr/le-groupe-ligc/article/participants 2008-12-12T09:59:49Z text/html fr La Rédaction <p>Michele Abrusci Francis Bailly Ali Benmakhlouf Gabriella Crocco Gilles Dowek Jean-Yves Girard Martin Hyland Jean-Baptiste Joinet Jean Lassègue Alain Lecomte Pierre Livet Giuseppe Longo Alexandre Miquel Francois Nicolas Thierry Paul Gabriele Pulcini Myriam Quatrini Vincent Schachter Bernard Teissier Samuel Tronçon - CEPERC (Centre d'épistémologie et d'ergologie comparatives, Université d'Aix-en-Provence, Philosophie) LDP (Logique de la Programmation, Université d'Aix-Marseille 2, Mathématiques) PPS (...)</p> - <a href="https://www.ligc.fr/le-groupe-ligc/" rel="directory">Le groupe LIGC</a> <div class='rss_texte'><p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://host.uniroma3.it/dipartimenti/filosofia/personale/schdado2.htm" class='spip_out' rel='external'>Michele Abrusci</a> <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Francis Bailly <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://www.theleme.net/artefilosofia/documents/benmakhlouf2.htm" class='spip_out' rel='external'>Ali Benmakhlouf</a> <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://www.irit.fr/ACTIVITES/EQ_ALG/Crocco/home.html" class='spip_out' rel='external'>Gabriella Crocco</a> <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://www.lix.polytechnique.fr/~dowek/index-fra.html" class='spip_out' rel='external'>Gilles Dowek</a> <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://iml.univ-mrs.fr/~girard/" class='spip_out' rel='external'>Jean-Yves Girard</a> <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://www.dpmms.cam.ac.uk/site2002/People/hyland_jme.html" class='spip_out' rel='external'>Martin Hyland</a> <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://www-philo.univ-paris1.fr/Joinet/" class='spip_out' rel='external'>Jean-Baptiste Joinet</a> <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://www.crea.polytechnique.fr/personnels/fiches/Lassegue.htm" class='spip_out' rel='external'>Jean Lassègue</a> <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://lecomte.al.free.fr/recherche.htm" class='spip_out' rel='external'>Alain Lecomte</a> <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://sites.univ-provence.fr/livet/" class='spip_out' rel='external'>Pierre Livet</a> <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://www.di.ens.fr/users/longo/" class='spip_out' rel='external'>Giuseppe Longo</a> <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://www.pps.jussieu.fr/~miquel/" class='spip_out' rel='external'>Alexandre Miquel</a> <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://www.entretemps.asso.fr/Nicolas/" class='spip_out' rel='external'>Francois Nicolas</a> <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://www.diffusion.ens.fr/index.php?res=personnes&idpers=414" class='spip_out' rel='external'>Thierry Paul</a> <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://www.di.ens.fr/GabrielePulcini.html" class='spip_out' rel='external'>Gabriele Pulcini</a> <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://iml.univ-mrs.fr/~quatrini/" class='spip_out' rel='external'>Myriam Quatrini</a> <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://www.genoscope.cns.fr/spip/Presentation-of-the-center.html" class='spip_out' rel='external'>Vincent Schachter</a> <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://www.luminy.univ-mrs.fr/recherche/conf-rencontre/teissier.htm" class='spip_out' rel='external'>Bernard Teissier</a> <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://iml.univ-mrs.fr/~troncon/" class='spip_out' rel='external'>Samuel Tronçon</a></p> <hr class="spip" /> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://sites.univ-provence.fr/wceperc/" class='spip_out' rel='external'>CEPERC</a> (Centre d'épistémologie et d'ergologie comparatives, Université d'Aix-en-Provence, Philosophie) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://iml.univ-mrs.fr/ldp/" class='spip_out' rel='external'>LDP</a> (Logique de la Programmation, Université d'Aix-Marseille 2, Mathématiques) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://www.pps.jussieu.fr/" class='spip_out' rel='external'>PPS</a> (Preuves-Programmes-Systèmes, Université Paris 7, Maths-Info) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://church.phil.uniroma3.it/" class='spip_out' rel='external'>GRLL</a> (Groupe Romain de Logique Linéaire, Université de Rome 3, Philosophie) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://www.di.ens.fr/users/longo/CIM/projet.html" class='spip_out' rel='external'>CIM</a> (Complexité et information Morphologiques, ENS, Informatique, Sciences Cognitives, Biologie) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://iml.univ-mrs.fr/~ehrhard/geocal/geocal.html" class='spip_out' rel='external'>GEOCAL</a> (Réseau Géométrie du Calcul) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://www.ens.fr/chps/" class='spip_out' rel='external'>GHPS</a> (Groupe Histoire-Philosophie-Sciences, Département de Philosophie de l'ENS Paris) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <a href="http://anr-prelude.fr/" class='spip_out' rel='external'>Prélude</a> (Projet blanc de l'ANR)</p></div> Ouvrir la logique au monde https://www.ligc.fr/publications/article/ouvrir-la-logique-au-monde https://www.ligc.fr/publications/article/ouvrir-la-logique-au-monde 2009-05-22T14:04:45Z text/html fr La Rédaction <p>Travaux du Groupe LIGC dirigé par Jean-Baptiste Joinet et Samuel Tronçon Auteur(s) : Jean-Baptiste Joinet et Samuel Tronà§on (dir.) Editeur(s) : Hermann Collection : Visions des sciences Edition : 1ère édition Parution : mai 2009 Nb de pages : 352 pages Format : 15 x 21 Couverture : Broché Poids : 462 g Intérieur : Noir et Blanc Langue : Français ISBN10 : 2-70566-830-6 ISBN13 : 978-2-70566-830-3 EAN13 : 9782705668303 <br class='autobr' /> Pésentation <br class='autobr' /> Ce volume rassemble une partie des exposés donnés lors de l'Ecole (...)</p> - <a href="https://www.ligc.fr/publications/" rel="directory">Publications</a> <div class='rss_chapo'><p>Travaux du Groupe LIGC<br class='manualbr' />dirigé par Jean-Baptiste Joinet et Samuel Tronçon</p></div> <div class='rss_texte'><p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Auteur(s) : Jean-Baptiste Joinet et Samuel Tronà§on (dir.) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Editeur(s) : Hermann <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Collection : Visions des sciences <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Edition : 1ère édition <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Parution : mai 2009 <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Nb de pages : 352 pages <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Format : 15 x 21 <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Couverture : Broché <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Poids : 462 g <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Intérieur : Noir et Blanc <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Langue : Français <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> ISBN10 : 2-70566-830-6 <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> ISBN13 : 978-2-70566-830-3 <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> EAN13 : 9782705668303</p> <h3 class="spip">Pésentation</h3> <p><span class='spip_document_10 spip_documents spip_documents_right' style='float:right;'> <img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L200xH279/Ouvrir_la_logique_au_monde-47fe7.jpg?1686310513' width='200' height='279' alt="Ouvrir la logique au monde" title="Ouvrir la logique au monde" /></span><br class='autobr' /> Ce volume rassemble une partie des exposés donnés lors de l'Ecole thématique du CNRS « Logique, Sciences et Philosophie », organisée par Jean-Baptiste Joinet, qui s'est tenue au Centre Culturel International de Cerisy-la-Salle, du 19 au 26 septembre 2006, à l'initiative du groupe « Logique et Interaction : Géométrie de la Cognition » (LIGC).</p> <p>LIGC est un collectif qui regroupe une quarantaine de philosophes et de scientifiques d'horizons divers (physiciens, biologistes, linguistes, mathématiciens, informaticiens). Il est l'héritier du groupe interdisciplinaire LMP (Logique Mathématique et Philosophie), formé en l'an 2000 et coordonné par Samuel Tronçon.</p> <p>Au delà de l'interdisciplinarité, la spécificité des investigations de LIGC tient à la place qu'y prennent les réflexions philosophiques sur la valeur transdisciplinaire de notions issues de la théorie des fondements logiques de l'informatique, et en particulier celle d'interaction (calculatoire, informationnelle), gardant en ligne de mire un projet de refondation plaçant ce concept unificateur d'interaction au centre de l'interface dynamique réel-rationnel.</p> <p>L'introduction aborde cette réflexion en analysant la "révolution copernicienne" qui a secoué la logique à partir de la fin des années soixante-dix, dans le contexte de son dialogue avec l'informatique théorique (J.-B. Joinet).</p> <p>La première partie, intitulée "Physique et intuition", réunit des contributions concernant l'intelligibilité de la nature. C'est d'abord la logique qui est convoquée, par l'interrogation sur la dualité entre subjectif et intersubjectif (J.-Y. Girard) à travers les apports récents de la ludique. Sont analysés ensuite les liens fondamentaux entre le formalisme mathématique et l'intuition en physique (T. Paul, M. Bitbol). Pour finir, la mathématique formelle est entrevue depuis la phénoménologie (V. Gérard), notamment dans le dialogue entre théorie des ensembles et ontologie.</p> <p>La deuxième partie, "Nature et calcul : de la logique au sujet", introduit de manière critique la conception de la nature-calcul, en abordant d'un côté les limitations de la thèse de séparabilité entre systèmes calculables et systèmes chaotiques (G. Dowek), et de l'autre la différence entre déterminisme et prédictibilité en tant qu'elle questionne la thèse de Church physique (G. Longo, T. Paul).</p> <p>La troisième partie, consacrée aux "Processus et primitives de cognition", aborde les questions de signification et déontologie. Les deux premiers chapitres s'articulent autour de l'hypothèse localiste, en s'attachant à l'ancrage cognitif des concepts mathématiques (B. Teissier), puis à la signification spatiale de la négation et de l'implication logiques (P. Livet). Les deux derniers chapitres abordent sur un plan philosophique les jalons théoriques qui permettent d'envisager une sémiotique cognitive (S. Tronçon), et les apports de l'intuitionnisme philosophique à une sémantique des constructions et des catégories (A. Benmakhlouf).</p> <p>En clôture de ce volume, F. Nicolas revisite la logique musicale à l'aune du "tournant géométrique" survenu dans le champ de la logique mathématique et dont l'ensemble de ces travaux tente de définir les contours.</p> <h3 class="spip">En vente</h3> <p><a href="http://www.eyrolles.com/Accueil/Livre2/0/9782705668303/" class='spip_out' rel='external'>Eyrolles</a><br class='manualbr' /><a href="http://www.amazon.fr/Ouvrir-logique-monde-math%C3%A9matique-linteraction/dp/2705668306/ref=sr_1_1?ie=UTF8&s=books&qid=1242635392&sr=1-1" class='spip_out' rel='external'>Amazon</a><br class='manualbr' /><a href="http://www.editions-hermann.fr/ficheproduit.php?lang=fr&menu=6&ref=Visions+des+sciences+Ouvrir+la+logique+au+monde&prodid=702" class='spip_out' rel='external'>Hermann</a><br class='manualbr' /><a href="http://www.alapage.com/-/Recherche/?id=162551242633500&donnee_appel=ALAPAGE&choix=fulltext&ap=1&pos=2&com_alapage=&cat=&type=1&fulltext=Ouvrir+la+logique+au+monde&x=20&y=6" class='spip_out' rel='external'>Alapage</a><br class='manualbr' /><a href="http://livre.fnac.com/a2652267/Jean-Baptiste-Joinet-Ouvrir-la-logique-au-monde?PID=1&Mn=-1&Ra=-1&To=0&Nu=1&Fr=0" class='spip_out' rel='external'>Fnac</a></p></div> Objectifs scientifiques https://www.ligc.fr/le-groupe-ligc/article/objectifs-scientifiques https://www.ligc.fr/le-groupe-ligc/article/objectifs-scientifiques 2004-02-28T17:29:00Z text/html fr Jean-Baptiste Joinet Article éditorial <p>Le formalisme qui prédomina à partir du "tournant linguistique", dès la fin du XIXème siècle et durant la première moitié du XXème siècle, rêvait d'une possible objectivation de la rationalité dans le discours normé ("paradigme des preuves-comme-discours"). Accomplissant l'expulsion de la subjectivité au profit des formes objectives du discours, le formalisme (D.Hilbert) y chercha de quoi couper court à la question ontologique et ses prolongements métaphysiques représentationalistes (contentualisme de (...)</p> - <a href="https://www.ligc.fr/le-groupe-ligc/" rel="directory">Le groupe LIGC</a> / <a href="https://www.ligc.fr/mot/article-editorial" rel="tag">Article éditorial</a> <div class='rss_texte'><p>Le formalisme qui prédomina à partir du "tournant linguistique", dès la fin du XIXème siècle et durant la première moitié du XXème siècle, rêvait d'une possible objectivation de la rationalité dans le discours normé ("paradigme des preuves-comme-discours"). Accomplissant l'expulsion de la subjectivité au profit des formes objectives du discours, le formalisme (D.Hilbert) y chercha de quoi couper court à la question ontologique et ses prolongements métaphysiques représentationalistes (contentualisme de G.Frege). C'est donc très naturellement que l'incertitude puis la faillite du "programme de Hilbert", tout en laissant prospérer la réaction subjectiviste (Brouwer), restaurèrent dans ses droits la question ontologique en mathématiques et la réponse apportée par le réalisme conceptuel ensembliste (K.Gödel).</p> <p>La formalisation de la logique intuitionniste intervenue ultérieurement permit de démàªler par la suite deux aspects de l'intuitionnisme brouwerien : son anti-formalisme et son constructivisme. En ramenant ce dernier dans le giron du paradigme des preuves-comme-discours o๠son investigation mathématique devenait possible (Heyting, Gödel), elle neutralisa le subjectivisme originel des positions intuitionnistes. Sur ce socle, le lancement progressif d'une investigation mathématique (non plus de la discursivité démonstrative, mais) de la dynamique rationnelle (dynamique de l'heuristique, dynamique de l'élimination de l'abstrait dans les preuves ; D.Prawitz, G.Kreisel) dans la lignée des travaux visionnaires de G. Gentzen, fit émerger à partir des années 1970 un nouveau "paradigme", le paradigme des "preuves-comme-programmes" (correspondance dite de "Curry-Howard" entre élimination des détours par la sur-complexité dans les preuves et processus de calcul, correspondance initialement repérée dans un cadre restreint, mais progressivement généralisée à des pans toujours plus larges des mathématiques - J-Y. Girard, J-L. Krivine, N. De Bruijn, P. Martin-Là¶f, P. Aczel ...).</p> <p>Au plan philosophique, cette reformulation complète de la question logique a d'une part confirmé la rupture qu'avait accomplie le constructivisme avec ses origines subjectivistes (la logique vise désormais une objectivisation de la dynamique rationnelle comme processus d'évaluation), d'autre part débouché sur une reformulation parallèle de la question ontologique, l'ontologie réaliste "ensembliste" se voyant remplacée par une ontologie "opérationnelle". Ici, l'être d'une fonction n'est pas son extension, mais l'ensemble des évaluations qu'elle détermine (son être, c'est son agir), évaluations dont les invariants éventuels sont seconds.<br class='autobr' /> Cette ontologie opérationnelle fut approchée, dans un premier temps, au travers des premiers outils canoniques (lambda-calcul) des théories du calcul nées avec les premiers pas de l'informatique théorique.<br class='autobr' /> La logique qui, dans l'ancien paradigme apparaissait en somme comme la "police du discours rationnel correct", apparut désormais comme une "police de l'évaluation", comme l'outil de domestication (typage) de processus a priori indéterminés ou, pour ainsi dire, "sauvages".</p> <p>Dans ce cadre, l'être calculatoire, certes appréhendé dans sa nature processuelle (même si ses invariants restent décrits dans un cadre ensembliste - sémantique dénotationnelle - ou catégorique), demeure toutefois postérieur, second, eu égard aux normes procédurales auxquelles l'évaluation doit se conformer. Ces normes déterminent donc son existence nécessaire en tant qu'être mathématique autonome et singulier. En termes philosophiques, on peut donc dire qu'en définitive l'opérationalisme ne suffit pas pour neutraliser le réalisme ontologique, ainsi restauré sous la forme d'un "réalisme" de l'être dynamique, dont l'essence reste produite par la norme.</p> <p>Tout en assumant une ontologie de type opérationnel, la philosophie interactionniste de la rationalité va ici plus loin. Quand l'évaluation est processus interactionnel (sémantique des jeux - M.Hyland and others -, ludique - JY Girard), le logique cesse d'être norme extérieure surimposée et transcendante, pour devenir condition émergente de l'interaction procédurale. La règle logique n'est plus norme respectée, mais solution "géométrique" au problème du dialogue entre processus, effet engendré par les phénomènes d'interaction. Dans la relation de l'être calculatoire aux procédures interactionnelles qui avèrent son existence, le rapport d'antériorité est donc inversé (existentialisme interactionnaliste).</p> <p>Les caractérisations récentes de la naturalité de certaines classes de complexité (engendrement purement logique de classes de complexité calculatoires - "complexité implicite" qu'on pourrait aussi bien appeler "immanente" - logique du temps linéaire, polynomial, élémentaire etc) sont symptomatiques de ce retournement. Plus généralement, on voit ce dernier à l'oeuvre dans ce qu'on a pu appeler le "tournant géométrique" (S. Tronçon), ce par quoi on désigne non simplement l'abandon des représentations discursives des preuves (comme discours) au profit de formes proprement géométriques (réseaux de preuves, réseaux d'interaction), mais surtout la reformulation de l'approche de l'évaluation calculatoire en termes de propriétés générales de l'interaction (symétrie, polarisation, immanence etc), dégagée des aspects contingents et atomistes du codage et de la discursivité.</p> <p>Au plan épistémologique, l'interactionisme logique trace des liens de la logique vers d'autres champs disciplinaires : vers la physique (centralité du sujet et de l'anti-réalisme dans le cadre de la physique moderne et contemporaine, au travers des prises en compte de la complexité de l'observation et de la mesure, de son infaisabilité pratique voire de son impossibilité radicale ; interaction quantique - JY. Girard), vers les approches expérimentales de la cognition (dans l'organisation du vivant, y compris dans ses aspects cognitifs, l'atomisme est sans pertinence : la complexité, immanente, n'est jamais le produit de la composition du simple, G. Longo), vers la biologie (protocoles d'interaction communicationnelle à tous les niveaux de l'organisation biologique et notamment au niveau cellulaire, V. Danos et al.).</p> <p>Le groupe LIGC regroupe des philosophes et des scientifiques de ces horizons divers, rassemblés dans une réflexion philosophique commune sur l'impact de ces métamorphoses récentes de la logique dans le contexte de son dialogue avec l'informatique théorique. Il promeut une analyse critique des points de vue "réalistes" prédominants en philosophie de la logique, en philosophie des sciences et dans les approches logiques de la cognition, au profit d'une philosophie interactionniste de la rationalité.</p> <p>JB Joinet, 28/02/04</p> <hr class="spip" /> <p><strong>Pour en savoir plus :</strong></p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Jean-Yves Girard, <i>La logique comme géométrie du cognitif</i>, in "Logique, dynamique et cognition", sous la direction de J.-B. Joinet, collection "Logique, langage, sciences, philosophie", <a href="http://www.univ-paris1.fr/recherche/publisor/article2364.html" class='spip_out' rel='external'>Publications de la Sorbonne</a>, Paris, septembre 2007, p. 13 - 29.</p> <p><a href="http://iml.univ-mrs.fr/~girard/Articles.html" class='spip_out' rel='external'>Voir ici l'article au format html</a></p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Giuseppe Longo, From exact sciences to life phenomena : following Schrödinger on Programs, Life and Causality (document joint) et <a href="http://www.di.ens.fr/users/longo/CIM/projet.html" class='spip_out' rel='external'>Projet de l'équipe "Complexité et information morphologiques" (CIM, Longo)</a></p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Jean-Baptiste Joinet, <strong>Proofs, Reasonning and the Metamorphosis of Logic</strong> (2001, manuscrit, à paraître en 2007).</p> <p><a href="http://ligc.resurgences.eu/IMG/pdf/rioTheoria.pdf" class='spip_out' rel='external'>Voir ici l'article au format pdf</a></p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Jean-Baptiste Joinet (dir.), <strong>Logique, dynamique, cognition</strong>, collection "Logique, langage, sciences, philosophie", <a href="http://www.univ-paris1.fr/recherche/publisor/article2364.html" class='spip_out' rel='external'>Publications de la Sorbonne</a>, Paris, septembre 2007</p></div> Logique, dynamique et cognition https://www.ligc.fr/publications/article/logique-dynamique-et-cognition https://www.ligc.fr/publications/article/logique-dynamique-et-cognition 2009-05-22T14:04:58Z text/html fr La Rédaction <p>Jean-Baptiste Joinet (dir.) Publications de la Sorbonne, Paris, 2007 Auteur(s) : Jean-Baptiste Joinet (dir.) Editeur(s) : Publications de la Sorbonne Collection : Logique, langage, sciences, philosophie Edition : 1ère édition Parution : 13/09/2007 Nb de pages : 240 pages Format : 16 x 24 Couverture : Broché Poids : 394 g Intérieur : Noir et Blanc Langue : Français ISBN10 : 2-85944-584-6 ISBN13 : 978-2-85944-584-3 EAN13 : 9782859445843 <br class='autobr' /> Présentation par l'éditeur <br class='autobr' /> Le présent volume regroupe les (...)</p> - <a href="https://www.ligc.fr/publications/" rel="directory">Publications</a> <div class='rss_chapo'><dl class='spip_document_8 spip_documents spip_documents_right' style='float:right;'> <dt><a href='https://www.ligc.fr/sites/ligc/IMG/pdf/Logique_Dynamique_et_Cognition.pdf' title='PDF - 167.2 ko' type="application/pdf"><img src='https://www.ligc.fr/sites/ligc/IMG/gif/LogiqueDynamiqueCognition.gif' width='110' height='171' alt='' /></a></dt> <dt class='spip_doc_titre' style='width:120px;'><strong>Logique, Dynamique et Cognition</strong></dt> <dd class='spip_doc_descriptif' style='width:120px;'>Extrait du Livre </dd> </dl> <p>Jean-Baptiste Joinet (dir.)<br class='manualbr' />Publications de la Sorbonne, Paris, 2007</p></div> <div class='rss_texte'><p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Auteur(s) : Jean-Baptiste Joinet (dir.) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Editeur(s) : Publications de la Sorbonne <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Collection : Logique, langage, sciences, philosophie <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Edition : 1ère édition <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Parution : 13/09/2007 <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Nb de pages : 240 pages <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Format : 16 x 24 <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Couverture : Broché <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Poids : 394 g <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Intérieur : Noir et Blanc <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Langue : Français <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> ISBN10 : 2-85944-584-6 <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> ISBN13 : 978-2-85944-584-3 <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> EAN13 : 9782859445843</p> <h3 class="spip">Présentation par l'éditeur</h3> <p>Le présent volume regroupe les textes de conférences données lors de la rencontre "Logique mathématique, Informatique et Philosophie", organisée en avril 2003 à l'université Paris I Panthéon-Sorbonne sous la direction de Jean-Baptiste Joinet. Ce colloque réunissait les principaux acteurs du collectif interdisciplinaire "Logique et Interaction : vers une Géométrie de la Cognition" (LIGC) et divers universitaires d'autres horizons. La première partie, intitulée la logique à la croisée des chemins, rassemble des réflexions sur les évolutions récentes de la logique et les aspects fondamentaux de la mathématisation de champs scientifiques spécifiques (physique, biologie).</p> <p>Ces contributions (J.-Y. Girard, J.-B. Joinet, F. Bailly et G. Longo, T. Paul) visent à dégager un nouveau statut épistémologique pour la logique et les mathématiques, et à tirer les leçons philosophiques de ces évolutions quant à la rationalité scientifique et l'intelligibilité de la nature. Dans la seconde partie, intitulée Questions sémantiques : réalisme, règles et vérité, les contributeurs (S. Tronçon, P. Dehornoy, G. Dowek, P. Livet, D. Bonnay) revisitent les grandes notions sémantiques traditionnelles sous l'angle des évolutions récentes de la logique dans son dialogue avec l'informatique fondamentale.</p> <h3 class="spip">Biographie de l'auteur</h3> <p>Jean-Baptiste Joinet est maître de conférences en logique et épistémologie à l'UFR de philosophie de l'université Paris 1. Ses recherches sont consacrées à la logique (au sein de l'équipe Preuves-Programmes-Systèmes, CNRS-Univ. Paris 7) et à la philosophie de la logique, du langage et des sciences (au sein de l'équipe Philosophies contemporaines, EXeCO - Univ. Paris 1 et de LIGC, groupe de recherche interdisciplinaire en sciences et philosophie qu'il coordonne).</p> <h3 class="spip">Au sommaire</h3><ul class="spip"><li> La logique à la croisée des chemins <ul class="spip"><li> La logique comme géométrie du cognitif</li><li> Sur le temps logique</li><li> Causalités et symétries dans les sciences de la nature</li><li> le continu et le discret mathématiques</li><li> La mécanique quantique vue comme processus dynamique</li></ul></li><li> Questions sémantiques : réalisme, règles et vérité <ul class="spip"><li> Interaction et signification</li><li> Au-delà du forcing : la notion de vérité essentielle en théorie des ensembles</li><li> La notion de modèle suppose-t-elle une conception réaliste de la vérité mathématiques ?</li><li> Ontologie phénoménale et connecteurs linéaires</li><li> Règles et signification : le point de vue de la logique classique</li></ul></li></ul><h3 class="spip">En vente</h3><ul class="spip"><li> <a href="http://www.eyrolles.com/Sciences/Livre/logique-dynamique-et-cognition-9782859445843" class='spip_out' rel='external'>Librairie Eyrolles</a></li></ul><ul class="spip"><li> <a href="http://www.univ-paris1.fr/services/publications-de-la-sorbonne/" class='spip_out' rel='external'>Librairie des Publications de la Sorbonne</a></li></ul></div> LMP 2002 (Rome) https://www.ligc.fr/rencontres-passees/article/lmp-2002-rome https://www.ligc.fr/rencontres-passees/article/lmp-2002-rome 2002-05-02T10:36:00Z text/html fr troncon <p>du 2 au 4 mai 2002, à Rome <br class='autobr' /> Institut de Mathématiques de Luminy - Université de Provence - Université di Roma III <br class='autobr' /> Colloque réalisé dans le cadre du réseau LINEAR avec le soutien du programme européen TMR (Training and Mobility for Researchers) Thématique <br class='autobr' /> Pour sa troisième édition, le séminaire LMP propose de questionner la nature et la forme de l'objet logique. Il ne s'agira pas de faire un catalogue des théories en présence, mais de présenter toute la richesse de nos expériences DU logique à partir de (...)</p> - <a href="https://www.ligc.fr/rencontres-passees/" rel="directory">Rencontres passées</a> <div class='rss_chapo'><p>du 2 au 4 mai 2002, à Rome</p> <p>Institut de Mathématiques de Luminy - Université de Provence - Université di Roma III</p> <p>Colloque réalisé dans le cadre du réseau LINEAR avec le soutien du programme européen TMR (Training and Mobility for Researchers)</p></div> <div class='rss_texte'><h3 class="spip">Thématique</h3> <p>Pour sa troisième édition, le séminaire LMP propose de questionner la nature et la forme de l'objet logique. Il ne s'agira pas de faire un catalogue des théories en présence, mais de présenter toute la richesse de nos expériences DU logique à partir de deux points d'entrée :</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>pratiques et conceptions du logicien-mathématicien</strong></p> <p>Comment le logicien appréhende-t'il le sens de son activité ? Quels types d'objets rencontre-t'il ? Comment pense-t'il l'interaction de son domaine avec le reste de la connaissance ? La question des fondements est-elle toujours pertinente ? Pourquoi fonder la logique et les mathématiques ? Quels rapports entretient le mathématicien avec la logique ?</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>penser le logique : connaître et reconnaître</strong></p> <p>La philosophie de la logique est-elle toujours vivante ? Comment concevoir le travail du philosophe sur la logique et les mathématiques ? Une interaction profonde entre philosophes, logiciens et mathématiciens est-elle souhaitable ? est-elle possible ? Comment la philosophie utilise et/ou peut utiliser les ressources théoriques de la logique ?</p> <h3 class="spip">Organisation</h3> <p><a href="mailto:troncon@iml.univ-mrs.fr" class='spip_mail'>Samuel TRONÇON</a> (CNRS - <a href="http://iml.univ-mrs.fr/" class='spip_out' rel='external'>IML</a> / <a href="http://www.up.univ-mrs.fr/wceperc" class='spip_out' rel='external'>CEPERC</a> )<br class='manualbr' />Lorenzo TORTORA DE FALCO (Università di Roma 3)</p> <h3 class="spip">Comité scientifique</h3> <p>Michele ABRUSCI - Jean-Yves GIRARD - Pierre LIVET<br class='manualbr' />Giuseppe LONGO - Samuel TRONÇON</p> <h3 class="spip">Programme</h3><table class="spip"> <thead><tr class='row_first'><th id='ide007_c0'>Journée</th><th id='ide007_c1'>Matin</th><th id='ide007_c2'>Après-midi</th></tr></thead> <tbody> <tr class='row_odd odd'> <td headers='ide007_c0'>2 Mai</td> <td headers='ide007_c1'><a href="http://people.math.jussieu.fr/~burroni/" class='spip_out' rel='external'>Albert BURRONI</a> <p>(Univ. Paris 7)</p> <p><a href="http://iml.univ-mrs.fr/~lafont/" class='spip_out' rel='external'>Yves LAFONT</a></p> <p>(IML - Marseille)</p> </td> <td headers='ide007_c2'><a href="http://www.logique.jussieu.fr/www.joinet/index.html" class='spip_out' rel='external'>Jean-Baptiste JOINET</a> <p>(Univ. Paris 7/Paris 1)</p> <p>Laura REDAVID</p> <p>(Univ. Roma III)</p> </td></tr> <tr class='row_even even'> <td headers='ide007_c0'>3 Mai</td> <td headers='ide007_c1'><a href="http://www.di.ens.fr/~longo/" class='spip_out' rel='external'>Giuseppe LONGO</a> <p>(ENS Paris)</p> <p><a href="http://people.math.jussieu.fr/~teissier/" class='spip_out' rel='external'>Bernard TEISSIER</a></p> <p>(Univ. de Paris 7)</p> </td> <td headers='ide007_c2'><a href="http://www.logic.math.helsinki.fi/people/juliette.kennedy/" class='spip_out' rel='external'>Juliette KENNEDY</a> <p>(University of Helsinki)</p> <p>Pierre LIVET</p> <p>(CEPERC - Aix)</p> </td></tr> <tr class='row_odd odd'> <td headers='ide007_c0'>4 Mai</td> <td headers='ide007_c1'><a href="http://iml.univ-mrs.fr/~girard/" class='spip_out' rel='external'>Jean-Yves GIRARD</a> <p>(IML -Marseille)</p> <p><a href="http://host.uniroma3.it/dipartimenti/filosofia/personale/schdado2.htm#ABRUSCI" class='spip_out' rel='external'>Michele ABRUSCI</a></p> <p>(Univ. di Roma 3)</p> </td> <td headers='ide007_c2'></td></tr> </tbody> </table><h3 class="spip">Texte de présentation</h3> <p><i>"La doctrine traditionnelle d'une raison absolue et immuable n'est qu'une philosophie. C'est une philosophie périmée."</i><br class='manualbr' />G. Bachelard in "La philosophie du non"</p> <p><strong>Logique et rationalité</strong></p> <p>Il faut accepter la leçon de la philosophie du non, nous dit Bachelard. Ne plus croire que l'esprit fonde la science, ne plus voir dans l'arithmétique, la géométrie ou la logique des produits ou des extensions d'une rationalité toute naturelle qui apparaitraient au cours d'une exploration introspective, ou pire, lors d'une activité consciente et volontaire de production de savoirs réduits à la plus pure redondance de principes.</p> <p>Non, il faut désormais inverser le cours de la philosophie, et encore plus lorsqu'elle observe et se développe avec la connaissance scientifique. Il faut passer d'un niveau "mimétique" et purement analogique à une philosophie sachant se mettre en route, se découvrir au détour des chemins épistémologiques, se positionner face à la science ni comme maîtresse, ni comme servante.</p> <p>Dans cette philosophie, la raison n'est plus un principe poétique de la connaissance, mais le témoin de l'évolution des conditions épistémologiques. Ce que nous désignons par le mot "raison" est plutôt une rationalité en marche, une posture qui se reconnaît dans la méthode scientifique et dans la structure de la connaissance du réel. La raison est en quelque manière l'expression la plus intérieure d'une sorte de principe de réalité, qui nous pousse, dès lors qu'une forme devient scientifique, à se l'approprier non plus comme structure des choses mais comme structure de notre propre intelligibilité.</p> <p>En somme, chaque étape du développement de la science est aussi une étape du déploiement de la rationalité, qui s'extirpe tout doucement de la guangue réaliste dans laquelle elle se trouve à l'origine dans chaque notion, dans tout domaine. Ce déploiement, cette libération progressive des formes, et donc de l'esprit, réalise ce que seule la pensée scientifique peut produire sans conduire à une ruine de la pensée elle-même : l'accès à des formes de raisonnement, à des objets de connaissance dont les principes les plus naturels sont totalement opposés à ce que notre raison raisonnée est prête à accepter. La raison prise comme faculté est donc totalement incapable d'inventivité, de spontanéité, de connivence avec le réel : elle est nécessairement tributaire d'une philosophie éclatée. Une fois conçue comme un mouvement différentiel, une dialectique de notre accès au monde, une combinatoire des référentiels, elle retrouve la sereine clarté et l'unité profonde qui la caractérisent.</p> <p>Alors que dire de la logique ? Que faire en philosophie de la logique ? Comment concilier la vie de l'esprit avec la logique comme science ? Jusqu'au siècle dernier, on pouvait se laisser aller tendrement à l'illusion d'une logique du raisonnement et du langage, d'une logique immuable dont les arcanes, une fois éclairées par la science, auraient servi de modèle à l'élaboration d'une langue parfaite, d'une signification parfaite, d'une métaphysique parfaite. La logique était le socle fondamental sur lequel asseoir la science, elle était cette rationalité de principe, prévalant aux mathématiques elle-mêmes, et donc à tout le reste. En fait, la logique était devenue, alors même qu'elle se voulait scientifique, l'expression la plus évidente de notre besoin de réduction : il fallait que la vie de l'esprit se transformât en quelque industrie de production du savoir.</p> <p>Il y eut un premier choc, celui de découvrir au-delà de l'axiomatique à la Hilbert, une vie propre aux symbolismes, qui les faisait passer d'ailleurs du statut d'objet formel à celui d'objet signifiant. Une dynamique interne qui était à la fois le principe directeur et le critère de reconnaissance de toute logique véritable : la coupure comme règle n'étant que le substrat technique de l'élimination des coupures comme essence même du logique. Cela ne suffisait pas, on disposait maintenant d'une vie propre à l'objet logique, mais il fallait savoir jusqu'où cette dynamique serait capable d'aller, si elle était vraiment de nature à réduire, et réduire encore la vie de l'esprit à une mécanique digne de ce nom. Il y eut donc un second choc, celui de la dérobade ultime à tout réductionnisme logique.</p> <p>Au début il y avait l'idée d'un théorème de complétude qui aurait permis d'identifier la vérité (arithmétique) et la prouvabilité formelle (dans un système du type Arithmétique de Peano). Ce théorème-là , ne nous apparaît avec le recul que comme l'expression d'une condition de possibilité : je peux démontrer toute formule dont l'interprétation est vraie, puisque je définis une formule vraie (une tautologie) exactement comme une formule démontrable (un axiome). Mais qu'est-ce qu'une formule vraie ? Qu'est-ce que la vérité ? La question peut sembler appartenir à la logique, mais elle n'est en fait que philosophique. Le théorème d'incomplétude de Gödel ne prouve pas véritablement que l'esprit ne peut atteindre certaines vérités, il nous montre la différence de nature entre la vérité philosophique et la vérité logique. Il met le doigt sur l'ambiguïté fondatrice de toute logique, en le démontrant pour l'arithmétique : dans une théorie cohérente T, je ne peux prouver l'énoncé affirmant "la théorie T est cohérente". D'une part, il n'existe aucun programme pouvant dire pour n'importe quel autre programme si ce dernier va boucler ou non. D'autre part, si la notion de vérité se dérobe c'est peut-être parce qu'elle ne fait pas sens ! La notion formelle de vérité n'étant qu'une construction mathématique artificielle, on y opposera les principes géométriques de construction des preuves (bon ordre, symétrie, connectivité...) qui cassent définitivement l'opposition formel/réel en retrouvant dans la règle une signification propre.</p> <p>Pas d'arrière-monde , pas d'outre-mathématique, pas de méta-logique donc, juste le principe de la connaissance face à lui-même : nous ne connaissons que des structures, des formes, des objets qui s'animent en nous par un curieux mimétisme de la raison face à la science. Ces objets ne font qu'un avec les règles qui semblent les régir, au point que l'on peut même se demander dans quelle mesure ce ne sont pas les règles qui sont produites par les objets. L'unité profonde de la règle logique avec le logique lui-même nous montre une fois de plus que la rationalité a trop longtemps été utilisée comme le terme ultime d'une justification des principes de la logique, mais que c'est la logique en tant que science et en tant que pratique, qui fait évoluer la rationalité et lui donne toute sa force. Après cette sorte de nature logique découverte par Gentzen, après la fin de l'illusion technico-réductionniste réfutée par Gödel, la logique se donnait les moyens de devenir un domaine scientifique à part entière, dans lequel on peut rencontrer des objets, des formes et non plus seulement des signes. En fait, la logique s'est découvert une âme au XXè siècle, en prenant le parti de l'esprit géométrique face à la tentation formaliste ou linguistique. Elle a fait sa révolution copernicienne : la vérité n'étant plus le centre de ses préoccupations, elle étudie désormais la géométrie de la preuve elle-même et sa dynamique interne.</p> <p>Depuis l'avènement de ce nouvel âge rationnel, beaucoup de résultats ont été obtenus, de grandes synthèses ont été produites, la logique a pris son indépendance et s'est révélée àªtre un domaine fécond notamment en ce qui concerne la théorie de la démonstration : lambda-calcul, logique linéaire, sémantique des jeux, ludique...</p> <p>Mais cela ne doit pas cacher l'éclatement philosophique auquel nous sommes soumis, car désormais la grande question reste de savoir de quoi parle vraiment la logique. La philosophie de la logique contemporaine reste à faire, et le chantier est immense. Il faut tout d'abord identifier les phases de cette histoire puis replacer chaque objet, chaque idée, chaque concept dans son évolution afin d'en réaliser une sorte d'analyse différentielle. Il faut aussi àªtre capable de distinguer dans tout cela le propre du travail du logicien, connaître ses errances, expérimenter ses doutes, comprendre la difficulté qu'il y a à passer d'une théorie à l'autre sans que pour autant, l'édifice n'en soit fragilisé. Enfin, au-delà de tout relativisme dangereux, il est nécessaire de constituer un savoir de l'unité logique, de sa profondeur épistémologique, de son rapport étroit avec la structure de la réalité. C'est à ce prix que désormais nous pourrons dire qu'une philosophie de la logique existe indépendamment de tout présupposé sur la rationalité elle-même.</p> <p><i>Samuel TRONÇON<br class='manualbr' />CNRS - CEPERC & IML</i></p> <p>(Je remercie G. Longo et J.Y. Girard pour les suggestions et remarques suscitées par la lecture de ce texte)</p> <p><a href="http://church.phil.uniroma3.it/lmp3-ita.html" class='spip_out' rel='external'>Voir les archives italiennes du colloque</a></p></div> LMP 2001 (Marseille) https://www.ligc.fr/rencontres-passees/article/lmp-2001-marseille https://www.ligc.fr/rencontres-passees/article/lmp-2001-marseille 2001-02-22T11:35:00Z text/html fr troncon <p>22 et 23 février 2001, à Marseille E.H.E.S.S., Centre de la Vieille Charité Thématique <br class='autobr' /> Le séminaire Logique-Mathématiques-Philosophie (LMP) a pour objet de questionner ces trois disciplines, en confrontant leurs compétences et leurs interrogations : quels objets, quels concepts, quelles pratiques... Nous examinerons, lors de cette session, la question des fondements à la lumière des nouvelles perspectives qui semblent se dégager de la logique linéaire et plus récemment, de la ludique. Pensons au (...)</p> - <a href="https://www.ligc.fr/rencontres-passees/" rel="directory">Rencontres passées</a> <div class='rss_chapo'><p>22 et 23 février 2001, à Marseille<br class='manualbr' />E.H.E.S.S., Centre de la Vieille Charité</p></div> <div class='rss_texte'><h3 class="spip">Thématique</h3> <p>Le séminaire Logique-Mathématiques-Philosophie (LMP) a pour objet de questionner ces trois disciplines, en confrontant leurs compétences et leurs interrogations : quels objets, quels concepts, quelles pratiques... Nous examinerons, lors de cette session, la question des fondements à la lumière des nouvelles perspectives qui semblent se dégager de la logique linéaire et plus récemment, de la ludique. Pensons au rejet girardien de la distinction syntaxe/sémantique/méta ou à l'irruption de phénomènes "locatifs" et l'utilisation de la théorie des jeux, qui permettent d'avoir un nouveau regard sur la logique familière.</p> <h3 class="spip">Programme</h3><table class="spip" summary="Programme du Jeudi"> <caption>Jeudi 22</caption> <tbody> <tr class='row_odd odd'> <td>9h30</td> <td>Jean-Yves GIRARD <p>(CNRS - IML)</p> </td> <td>Des règles de la logique à la logique des règles</td></tr> <tr class='row_even even'> <td>14h30</td> <td>Pierre LIVET <p>(CNRS - CEPERC)</p> </td> <td>Comment Locus Solum fait converger différentes conceptions de la logique</td></tr> </tbody> </table><table class="spip" summary="Programme du Vendredi"> <caption>Vendredi 23</caption> <tbody> <tr class='row_odd odd'> <td>9h30</td> <td>V. Michele ABRUSCI <p>(Universita di Roma)</p> </td> <td>Syllogismes et Logique Linéaire</td></tr> </tbody> </table><h3 class="spip">Texte de présentation</h3> <p>La logique linéaire avait provoqué un <strong>renouvèlement</strong> profond des pratiques, des outils et des objets de la logique mathématique. La logique standard devenait tout à coup une longue histoire faite d'oppositions bornées entre des systèmes, LL unifiant dans un monde bien plus riche, les antagonismes classiques et intuitionnistes. Pourtant, LL n'était qu'une étape sur la voie d'un changement plus radical. Elle permettait une sorte de saut qualitatif nécessaire pour l'étape suivante : on prend de la hauteur sur les phénomènes étudiés, on redéfinit les grandes symétries classiques, on tente de provoquer une prise de conscience.</p> <p>Avec la Ludique, c'est cette fois à un <strong>renversement</strong> épistémologique que nous assistons. La logique prend désormais pour unique centre de gravité le Hauptsatz, l'objet logique devient complètement autonome et sert lui-màªme de fondement. Cette internalisation prend la forme d'une sorte d'interrogation de la logique sur elle-màªme et vise à éviter à tout prix la question du cadre épistémologique pour se concentrer sur l'objet rationnel. C'est donc un changement de paradigme, qui fait que l'on est plus vraiment dans une culture mathématique, encore moins philosophique, mais tout simplement dans une culture logique. Paradoxalement, le gain est énorme en termes d'expressivité, et la signification philosophique ou mathématique de ces travaux est abondante et profonde. En s'émancipant des sciences tutellaires traditionnelles, la logique a changé mais elle a surtout bouleversé la donne épistémologique des relations entre philosophie, logique et mathématiques, redessinant un paysage logique dévasté par les exotismes et les querelles idéologiques.</p> <p>Désormais, et bien que le phénomène soit récent, il s'agit de fixer un <strong>programme de travail</strong> à la mesure du chantier qui nous est proposé. Dans ce séminaire, il s'agit ni plus ni moins, de rétablir le dialogue entre ces trois champs de la rationalité, dont la connivence pourtant ancienne a été largement mise-à -mal par les problèmes de fondement et le malaise post-godelien. Philosophes et logiciens doivent apprendre à se retrouver, à se reconnaître et à questionner leurs pratiques, leurs concepts et leurs objets. Il faudra donc surtout lutter contre les incompréhensions mutuelles. Néanmoins, au-delà de cette profession de foi, la liste des questions à aborder est longue. Il y a bien sûr le statut de la logique linéaire et de la Ludique, dans l'histoire et dans leurs rapports exogènes. Il y a aussi la signification philosophique de ces recherches et le sort des concepts traditionnels issus de la ``logique spirituelle''. Enfin, il faut déterminer dans quelle mesure philosophie et logique ont encore des choses à partager et/ou à s'apprendre l'une sur l'autre.</p> <p><i>Samuel TRONÇON</i><br class='manualbr' /><i>CNRS - IML & CEPERC</i></p></div> LMP 2001 (Aix-en-Provence) https://www.ligc.fr/rencontres-passees/article/lmp-2001-aix-en-provence https://www.ligc.fr/rencontres-passees/article/lmp-2001-aix-en-provence 2001-05-26T10:35:00Z text/html fr troncon <p>26 et 27 mai2001, à Aix-en-Provence Centre de La Baume Thématique <br class='autobr' /> Au vu des innombrables changements survenus au cours de ce siècle en logique, en philosophie et dans les mathématiques, nous sommes en droit de nous demander dans quelle mesure les rapports qu'entretiennent ces disciplines nécessitent d'être réévalués. Dans cette optique, nous nous poserons quatre types de questions. <br class='autobr' /> quelle autonomie scientifique pour la logique ? <br class='autobr' /> qu'en est-il de sa dualité mathématico-philosophique ? <br class='autobr' /> quel statut (...)</p> - <a href="https://www.ligc.fr/rencontres-passees/" rel="directory">Rencontres passées</a> <div class='rss_chapo'><p>26 et 27 mai2001, à Aix-en-Provence<br class='manualbr' />Centre de La Baume</p></div> <div class='rss_texte'><h3 class="spip">Thématique</h3> <p>Au vu des innombrables changements survenus au cours de ce siècle en logique, en philosophie et dans les mathématiques, nous sommes en droit de nous demander dans quelle mesure les rapports qu'entretiennent ces disciplines nécessitent d'être réévalués. Dans cette optique, nous nous poserons quatre types de questions.</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> quelle autonomie scientifique pour la logique ? <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> qu'en est-il de sa dualité mathématico-philosophique ? <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> quel statut accorder à "l'utilisation philosophique" des résultats logiques ? <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> pour quelle ontologie formelle ?</p> <h3 class="spip">Programme</h3><table class="spip" summary="Programme de Samedi"> <caption>Samedi 26</caption> <tbody> <tr class='row_odd odd'> <td>10h00</td> <td>Giuseppe LONGO <p>(ENS, Paris)</p> </td> <td>"Le problème de l'espace, les fondations des mathématiques et les machines"</td></tr> <tr class='row_even even'> <td>14h30</td> <td>Jean-Yves GIRARD <p>(IML, Marseille)</p> </td> <td>"Réflexions Ludiques"</td></tr> <tr class='row_odd odd'> <td>16h30</td> <td>Mitsuhiro OKADA <p>(Université de Keyo, Japon)</p> </td> <td>"Linear logic as the philosophical basis for standard logical reasoning"</td></tr> </tbody> </table><table class="spip" summary="Programme du Dimanche"> <caption>Dimanche 27</caption> <tbody> <tr class='row_odd odd'> <td>9h30</td> <td>Pierre LIVET <p>(Université de Provence, Aix-en-provence)</p> </td> <td>"L'ontologie de l'événement chez Whitehead"</td></tr> <tr class='row_even even'> <td>14h00</td> <td>Discussion</td> <td>LMP et les taches de la philosophie de la logique</td></tr> </tbody> </table><h3 class="spip">Texte de présentation</h3> <p><strong>La logique est une ...</strong></p> <p>En tant que science des structures du raisonnement et des conditions formelles de la mise-en oeuvre des démonstrations, la logique a, sans aucun doute, un objet bien défini. Ce que l'on entend généralement par cela, c'est une autonomie relative vis-à -vis des autres champs de la pensée ainsi qu'une certaine opérationnalité des concepts d'objet utilisés. Nous dirons par exemple, que la démonstration est un phénomène (l'objet démonstration), différent de ses réalisations techniques (les preuves), isolable des conditions environnementales dans lesquelles il est produit (la preuve est étudiée pour ses caractéristiques logiques et non sociologiques, ontologiques ou psychologiques). En somme, on fait appel à un critère d'internalisation des conditions du discours logique pour établir sa pertinence scientifique.</p> <p>D'un autre côté, la logique n'a pas d'indépendance stricte par rapport aux sciences tutélaires qu'on lui reconnaît traditionnellement, et assez unanimement d'ailleurs. Que l'on soit partisan d'une dépendance marquée à l'une ou l'autre de ces faces cachées, il n'en reste pas moins que les méthodes utilisées sont de style mathématique, et que les concepts employés sont de nature philosophique.</p> <p>Cette " division épistémologique du travail " n'est évidemment pas satisfaisante màªme si elle correspond à une vision plus que courante de la logique. D'abord, elle en fait une ancilla philosophiae et une sous-branche des mathématiques, ce qui reste encore à démontrer. Ensuite, elle passe sous silence son caractère profondément transversal, qui énonce que, pour être plus prosaà¯que, la logique reste en dernier lieu une connaissance des formes de la pensée, voire un organon de la raison scientifique. Cette transversalité se traduit notamment par la vocation de la logique à trouver des " applications " dans tous les domaines qui font intervenir le langage et/ou le raisonnement, voire màªme en prenant celui-ci dans son sens le plus extensif, dans la représentation de phénomènes possédant un des trois caractères suivants : <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> succession d'évènements ayant un lien entre eux, <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> production d'un résultat à partir d'un enchaînement de causes, <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> construction d'une structure par étapes d'équilibre puis de déséquilibre.</p> <p>Malheureusement, le point de vue transversal est redondant, car il n'apporte aucune information nouvelle sur la logique, tout en affirmant une chose évidente, qui est aussi contenue dans le fait de définir la logique comme nous l'avons fait au début. En fait, nous sommes dans un type de dualisme tout à fait classique qui ne fait qu'opposer deux aspects indissociables de la réalité logique, sans offrir à l'esprit d'autre issue que de les accepter : au-delà de cela, l'on ne peut rien affirmer sur l'un ou l'autre des deux pà´les rationnels. La logique comme science souveraine et comme transcendance/immanence de la nature humaine, voire de la nature elle-même, ne sont qu'une seule et même chose.</p> <p><strong>... mais elle offre des visages multiples ...</strong></p> <p>A cela viennent s'ajouter les problématiques désormais classiques, qui concernent l'hétéronomie voire l'hétérodoxie ambiantes, dont on ne sait trop si elles tiennent à une nature inaccessible de la logique, ou au fait d'un profond remaniement du cadre épistémologique en vigueur jusque là . Il y a bien sûr la logique philosophique, dont le champ est contigu à celui de la logique mathématique sans pour autant le rencontrer vraiment. Dans le màªme ordre d'idées, la logique épistémique a eu ses adeptes sans toutefois apporter de résultats suffisamment convaincants pour être élevée au rang de discipline. Finalement, cette hétéronomie trouve une justification toute faite dans l'idée que la logique philosophique, ennemi objectif de la logique dite " sérieuse ", est toujours déconnectée de la pratique mathématique, donc d'une mise en oeuvre scientifique de la démonstration et de l'observation des phénomènes. N'ayant pas de statut scientifique déterminé, la logique philosophique sort donc du champ de ce qui est constructif et productif pour la logique en général, rejoignant le domaine des " générateurs d'intuition " et autres " exotismes".</p> <p>Les divergences de vue à l'intérieur de la logique mathématique n'ont pas cet avantage de permettre de couper court à la polémique en ressortant le critère de scientificité des programmes de recherche car, en effet, c'est au sein même de cette genèse mathématique de la logique que s'instille le ferment de la discorde : à l'hétéronomie fait suite l'hétérodoxie.</p> <p>D'abord parce que les mathématiciens eux-màªmes ne s'intéressent pas du tout à la logique, et n'ont aucune raison concrète de l'envisager comme une branche autonome de la rationalité mathématique, tout au plus apparaît-elle comme une sous-branche sans intéraît (ou sans enjeu, ce qui revient au même). Pis encore, la logique est née de l'union coupable avec la philosophie à une époque pré-scientifique où la métaphysique imprégnait la pensée occidentale, ce qui en dit long sur sa culpabilité naturelle et sur les rapports ambigus qu'elle entretient avec le langage, la réalité sensible, la pensée ? À l'opposé, les mathématiques dans leur ensemble n'ont aucun mal, grâce à leur interaction avec la physique, à déterminer le type de liens qu'elles possèdent avec la réalité, même si la nature profonde de ceux-ci échappe à la raison scientifique.</p> <p>Ensuite, parce qu'au sein de la logique mathématique personne ne s'accorde sur les phénomènes observés, sur la façon de les retranscrire, ou sur l'ontologie attenante. Si la logique linéaire et la ludique semblent offrir un excellent point d'accroche au philosophe qui s'intéresse tant à la logique qu'à l'ontologie formelle, il faut bien reconnaître que de nombreuses " écoles " existent et revendiquent toutes une part de " réalisme " ou, à tout le moins, le droit à l'existence. Disons-le tout de suite, même si la logique linéaire et la Ludique nous paraissent être les filles prodiges de la logique contemporaine, il n'est pas du tout évident pour l'ensemble de la communauté qu'elles soient filles uniques, ni même qu'elles puissent être les seules instigatrices de la révolution logique du XXIè siècle.</p> <p><strong>... qui en font un domaine philosophiquement fertile.</strong></p> <p>C'est dans cette diversité des doctrines scientifiques présentes dans le champ logique que l'on trouve donc le problème le plus pointu et le plus urgent à résoudre (si résolution il peut y avoir), à savoir : quelle phénoménologie peut s'accorder avec les différents points de vue possibles sur La logique ? à quel type d'objets sommes-nous confrontés lorsque nous étudions la logique ? existe t'il un lien de nature ontologique entre les objets considérés en logique et ceux pour lesquels la philosophie cherche une théorie descriptive ? faut-il considérer les phénomènes logiques d'une autre façon, qui tiendrait compte (ou qui engendrerait) de nouveaux " équilibres " entre les mathématiques, la logique et la philosophie ?</p> <p>La logique ne doit pas apparaître comme le sésame des problèmes que se pose le philosophe, ni même comme la panacée universelle qui pansera nos cicatrices épistémiques, plus simplement elle est un domaine où ces questions peuvent se poser avec une relative simplicité, être résolues grâce à un appareillage technique relativement modéré, et surtout aboutir à des certitudes là où la philosophie ne sait qu'offrir des apories bienveillantes et poétiques. Nulle part ailleurs avec la même évidence, on sent poindre les prémisses d'une révolution qui ne concerne pas le seul domaine des mathématiciens, des logiciens ou des philosophes, mais bien plutôt, celle de la rationalité tout entière.</p> <p>D'abord parce que, les questions qui se posent à nous, sont des questions d'ordre ontologique, qui ont trait à la structure même du réel et au rapport qu'entretient l'homme, en tant que sujet et en tant qu'objet, avec la nature. J'emploie le mot nature là où j'aurais envie d'écrire " univers ", trop connoté, mis à l'écart du vocabulaire philosophique moderne comme la métaphysique a été bannie du domaine des sciences.</p> <p>Ensuite, parce que nous devons élucider et expliciter la façon dont la philosophie, la logique et les mathématiques interagissent dans la science moderne, ce qui n'est pas une problématique de sociologie des sciences mais encore une fois, une question éminemment sérieuse puisqu'elle touche aux trois domaines qui sont aux sources mêmes de toutes les autres formes de pensée dès lors que celles-ci se déploient dans l'ordre de l'esprit, de la rationalité, du langage. Bien sûr, il ne peut y avoir de définition statique des liens qui relient nos trois domaines, et toute personne qui croirait en la possibilité d'une science unifiée, ne fairait qu'avouer son impuissance à penser, comme nous tous, la séparation stricte des trois sources fondamentales de la connaissance scientifique. Ni union, ni désunion ne sont à l'ordre du jour mais seulement l'idée d'une interaction profonde dans laquelle il n'y a que la connaissance qui puisse prétendre au statut d'entité idéale.</p> <p>Enfin, et j'arrêterai ici cet exercice de style, parce que la révolution à laquelle nous assistons actuellement peut trouver dans la logique un modèle paradigmatique fort puissant, de nature à modifier la faà§on dont nous pensons, là où traditionnellement nous nous en remettons à la physique ou à la biologie. Il se pourrait bien que la logique devienne donc le point central d'une certaine façon de penser le réel, d'une nouvelle redistribution épistémologique des râles, mais aussi, comme ont pu le prouver Bachelard pour la physique, et Foucault pour la biologie, d'une nouvelle étape fondamentale dans le développement de la raison scientifique. En quoi il ne nous reste qu'à étudier attentivement les progrès récents et ceux qui, dans un futur proche, vont continuer à faire évoluer le domaine.</p> <p><i>Samuel TRONÇON<br class='manualbr' />CNRS - IML & CEPERC</i></p></div> LIGC 2010 (Paris) https://www.ligc.fr/prochaines-rencontres/article/ligc-2010-paris https://www.ligc.fr/prochaines-rencontres/article/ligc-2010-paris 2010-10-01T06:41:11Z text/html fr troncon affichage en sommaire <p>Les rencontres LIGC 2010 auront lieu à Paris, du 18 au 20 novembre à l'Institut Henri Poincaré (IHP), au 11 rue P. et M. Curie (près de la rue d'Ulm), Paris V. <br class='autobr' /> Elles seront organisées par Giuseppe Longo, sous l'égide du CIRPHLES-GHPS de l'Ecole normale supèrieure et avec le soutien de l'IHP. <br class='autobr' /> Voir la page officielle du colloque.</p> - <a href="https://www.ligc.fr/prochaines-rencontres/" rel="directory">Prochaines Rencontres</a> / <a href="https://www.ligc.fr/mot/affichage-en-sommaire" rel="tag">affichage en sommaire</a> <div class='rss_chapo'><p>Les rencontres LIGC 2010 auront lieu à Paris, du 18 au 20 novembre à l'Institut Henri Poincaré (IHP), au 11 rue P. et M. Curie (près de la rue d'Ulm), Paris V.</p> <p>Elles seront organisées par Giuseppe Longo, sous l'égide du CIRPHLES-GHPS de l'Ecole normale supèrieure et avec le soutien de l'IHP.</p> <p><a href="http://www.di.ens.fr/users/longo/Conferences/ligc-paris11-10.html" class='spip_out' rel='external'>Voir la page officielle du colloque.</a></p></div> LIGC 2009 (Firenze) https://www.ligc.fr/rencontres-passees/article/ligc-2009-firenze https://www.ligc.fr/rencontres-passees/article/ligc-2009-firenze 2009-09-17T19:29:00Z text/html fr Jean-Baptiste Joinet <p>Les rencontres 2009 du groupe LIGC auront lieu du 17 au 20 septembre 2009, à la <br class='autobr' /> Villa Finaly, Florence (Italie). La coordination scientifique et pratique est assurée par Jean-Baptiste Joinet (Université Paris I) et Michele Abrusci (Université de Rome III).</p> <p>Ce colloque est organisé avec le soutien de l'Université Paris 1, de l'Université Roma Tre, de l'Ambassade de France en Italie, du Groupe Histoire, Philosophie, Sciences (GHPS, ENS-Paris), de la Chancellerie des universités de Paris, de l'Ecole doctorale de philosophie de Paris 1 et de l'EA Philosophies contemporaines (Paris 1).</p> - <a href="https://www.ligc.fr/rencontres-passees/" rel="directory">Rencontres passées</a> <div class='rss_texte'><p><strong>Colloque du groupe LIGC<br class='manualbr' />Villa Finaly, Florence (Italie)<br class='manualbr' />17-20 septembre 2009<br class='autobr' /> </strong><br class='manualbr' />Coordination :<br class='autobr' /> Jean-Baptiste Joinet (Université Paris 1)<br class='autobr' /> et Michele Abrusci (Università Roma Tre)</p> <p><i>Voir plus bas deux fichiers téléchargeables :</i><br class='manualbr' />- "Informations pratiques",<br class='manualbr' />- "Dossier à joindre à votre demande de financement"</p> <h3 class="spip">1. PROJET ET CONTEXTE SCIENTIFIQUE DU COLLOQUE</h3> <p>Le thème de l'identité, envisagé ici seulement dans ses dimensions logique, ontologique et pragmatique a fait l'objet, dans l'histoire de la philosophie, d'importantes investigations, en particulier dans le champ de ce qu'il est convenu d'appeler, au sens large, la philosophie de la connaissance. <br class='autobr' /> Dans la période récente, la problématique de l'identité a trouvé dans les travaux contemporains inspirés par la théorie de l'interaction (théorie de la structure et des principes de l'interaction calculatoire et processuelle proposée par l'informatique fondamentale) le moteur d'un profond renouvellement. <br class='autobr' /> A la fin du XIXème siècle, c'est une réflexion sur l'identité qui avait conduit le logicien G. Frege a introduire sa fameuse distinction entre sens et référence (2+2 et 2x2 sont de sens différents, mais de références égales), le sens étant envisagé dans ce cadre comme un « mode d'accès » à une référence conçue comme pré-existante (réalisme essentialiste frégéen).<br class='autobr' /> Si cet arrière-plan frégéen marqua toute la réflexion sémantique du XXème siècle, les années 1969 virent se développer sous l'inspiration de Christopher Strachey et Dana Scott, un programme alternatif (« sémantique dénotationnelle ») proposant de refonder la théorie sémantique en renversant l'ordre de la précédence fondationnelle entre sens et référence, visant en effet à reconstruite la référence comme le produit (un invariant) des transformations du sens, telles que modélisées alors par la notion abstraite de calcul (aujourd'hui par celle plus générale d'interaction processuelle).<br class='autobr' /> Dans ce contexte, où l'essentialisme frégéen laisse la place à une sorte d'existentialisme processuel (la référence n'est plus comme chez Frege donnée à l'avance : elle est le produit second d'un agir – en fait d'un inter-agir, pragmatique et premier), les concepts d'individuation, d'égalité, d'isomorphie, d'indiscernabilité ¦ perdent leur définition simpliste au profit de leur reconstruction en termes interactionnels. <br class='autobr' /> Le but scientifique du colloque est : <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> De présenter et discuter ces investigations contemporaines en particulier logico-mathématiques autour de la notion d'identité (et des notions affines d'égalité et d'isomorphisme) au point de vue de interactionnel. <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> D'inscrire ces réflexions dans l'histoire des pensées de l'identité (dans cette longue histoire, se distinguent de par leur impact et leur postérité quelques contributions majeures et tout particulièrement : dans l'antiquité celle d'Aristote ; à l'époque classique celle de Leibniz ; enfin lors du « moment logique » qui s'ouvre à la fin du XIXème siècle celle de Frege – d'où la présence parmi les orateurs d'historiens de la philosophie antique, moderne et contemporaine). <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> De prolonger cette pensée de l'identité et de l'interaction à l'interface avec d'autres disciplines dans lesquelles le point de vue interactionniste prévaut : linguistique (interaction pragmatique et dialogique), théorie des catégories, anthropologie (interaction sociale), biologie (individuation et identité en biologie), physique (interaction computationnelle quantique),</p> <h3 class="spip"> 2. ORATEURS</h3> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Vito Michele ABRUSCI, Professore ordinario, Gruppo di logica, Dipartimento di filosofia, Università Roma Tre. Titre de l'exposé : « Sur les définitions d'identité et d'égalité » (exposé préparé en commun avec R. Finelli). Exposé jumelé avec ceux de MM. Chiaradonna et Mugnai. <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Jocelyn BENOIST, Professeur des universités, UFR de Philosophie, Université Paris 1, Equipe « Philosophies contemporaines » (EA 3562). Membre de l'Institut Universitaire de France. Directeur des Archives Husserl à l'ENS-Paris. <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Marcello BUIATTI, Vicedirettore del Dipartimento di Biologia animale e Genetica ; Vicepresidente Istituto per gli Studi Avanzati Galileo Galilei (IASG) ; Direttore dell'Unità Locale di Firenze del Consorzio Interuniversitario Biologia Molecolare delle Piante ; Presidente Centro Interdipartimentale Biotecnologie Agrarie Chimiche Industriali (CIBIACI) ; Coordinatore scientifico PNR Biotecnologie MURST Tema 4 "Agrobiotecnologie" ; Coordinatore generale Progetto U.E. "Functional molecular markers" Biotechnology DGXII. Titre : non communiqué à ce jour. <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Albert BURRONI, Equipe « Preuves-Programmes-Systèmes » (UMR 7126, CNRS-Université Paris 7). <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Ricardo CHIARADONNA, Professore, Dipartimento di filosofia, Università Roma Tre (Histoire de la philosophie antique). Titre non communiqué. <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Claude DEBRU, Professeur des universités, Directeur du département de philosophie de l'Ecole Normale Supérieure de Paris (Philosophie des sciences), Directeur du « Groupe Histoire, Philosophie, Sciences » (GHPS). <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Roberto FINELLI, Professore ordinario, Dipartimento di filosofia, Università Roma Tre. Titre de l'exposé : « Sur les définitions d'identité et d'égalité » (exposé préparé en commun avec M. Abusci). Exposé jumelé avec ceux de MM. Chiaradonna et Mugnai. <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Jean-Louis GIAVITTO, Directeur de recherche au CNRS (section 07), Equipe « Langage, interaction et simulation » (CNRS et Université d'Evry-IBISC), Titre provisoire : « La bactérie, le simulateur et son modèle » <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Jean-Yves GIRARD, DRCE au CNRS, Laboratoire « Logique de la programmation », Institut de Mathématiques de Luminy (IML, UMR 6206 CNRS-Université de la Méditerranée, Marseille). Médaille d'argent du CNRS. Titre de l'exposé : « Égalité, identité, isomorphisme » <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Martin HYLAND, University of Cambridge. Titre non communiqué <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Dominique LESTEL, Maître de conférences (anthropologie) à l'Ecole Normale Supérieure de Paris, Département d'études cognitives. Titre : Egalité, identité, isomorphisme entre l'homme et l'animal. <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Antonio MOSCA. Université de Paris 7 (rattaché au REHSEIS), Doctorant en cotutelle de thèse avec l'Université de Roma 3 (Equipe Logica e Geometria della Cognizione). <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Massimo MUGNAI, Professore ordinario (Histoire de la philosophie classique), Scuola normale di Pisa. <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Frédéric NEF, Directeur d'études à l'Ecole des Hautes Etudes en Sciences Sociales (EHESS). Membre de l'Institut Jean Nicod et de l'Institut Marcel Mauss. <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Thierry PAUL, Directeur de recherche au CNRS. Département de mathématiques appliquées ( UMR 8553, Ecole Normale Supérieure, CNRS) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Myriam QUATRINI, Université de la Méditerranée et pour la recherche, membre de l'équipe "Logique de la Programmation" à l'Institut de Mathématiques de Luminy (IML, UMR 6206). <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Samuel TRONCON, Post-doctorant membre associé du CEPERC et de l'Institut de mathématique de Luminy.</p></div> <div class='rss_ps'><p>Colloque organisé grâce au soutien : <br /><img src='https://www.ligc.fr/squelettes-dist/puce.gif' width="8" height="11" class="puce" alt="-" /> du Conseil scientifique de l'Université Paris 1 <br /><img src='https://www.ligc.fr/squelettes-dist/puce.gif' width="8" height="11" class="puce" alt="-" /> du Conseil scientifique de l'Université Roma Tre <br /><img src='https://www.ligc.fr/squelettes-dist/puce.gif' width="8" height="11" class="puce" alt="-" /> de l'Ambassade de France en Italie <br /><img src='https://www.ligc.fr/squelettes-dist/puce.gif' width="8" height="11" class="puce" alt="-" /> du Groupe Histoire, Philosophie, Sciences (GHPS, ENS-Paris) <br /><img src='https://www.ligc.fr/squelettes-dist/puce.gif' width="8" height="11" class="puce" alt="-" /> de la Chancellerie des universités de Paris <br /><img src='https://www.ligc.fr/squelettes-dist/puce.gif' width="8" height="11" class="puce" alt="-" /> de l'Ecole doctorale de philosophie de Paris 1 <br /><img src='https://www.ligc.fr/squelettes-dist/puce.gif' width="8" height="11" class="puce" alt="-" /> de l'EA Philosophies contemporaines (Paris 1)</p></div> LIGC 2008 (Carry) https://www.ligc.fr/rencontres-passees/article/ligc-2008-carry https://www.ligc.fr/rencontres-passees/article/ligc-2008-carry 2008-12-15T12:16:28Z text/html fr Jean-Baptiste Joinet Articles complets <p>Dates : du 16 octobre (soir) au 19 octobre (après-midi) <br class='autobr' /> Lieu de la rencontre : Vacanciel "la calanque'', Carry le Rouet (25 km de marseille), Renseignements pratiques sur le séjour et l'accès, <br class='autobr' /> Contenu : <br class='autobr' /> -Un mini cours sur la négation par J.-Y. Girard -Des exposés : M. Abrusci, K. Chemla, R. Finelli, J.-L. Giavitto, M. Hyland, J-B. Joinet, A. Lecomte, D. Lestel, G. Longo, T. Paul, I. Toth, S. Tronçon. -Une table ronde sur le thème de la rencontre, présentée par M. Abrusci et P. Livet <br class='autobr' /> Programme (...)</p> - <a href="https://www.ligc.fr/rencontres-passees/" rel="directory">Rencontres passées</a> / <a href="https://www.ligc.fr/mot/articles-complets" rel="tag">Articles complets</a> <div class='rss_texte'><p><strong>Dates :</strong> du 16 octobre (soir) au 19 octobre (après-midi)</p> <p><strong>Lieu de la rencontre :</strong><br class='manualbr' />Vacanciel "la calanque'', Carry le Rouet (25 km de marseille), Renseignements pratiques sur le séjour et l'accès,</p> <p><strong>Contenu :</strong></p> <p>-Un mini cours sur la négation par J.-Y. Girard <br class='manualbr' />-Des exposés : M. Abrusci, K. Chemla, R. Finelli, J.-L. Giavitto, M. Hyland, J-B. Joinet, A. Lecomte, D. Lestel, G. Longo, T. Paul, I. Toth, S. Tronçon. <br class='manualbr' />-Une table ronde sur le thème de la rencontre, présentée par M. Abrusci et P. Livet</p> <p>Programme disponible ici</p> <p><strong>Langue du colloque :</strong> français</p> <p><strong>Contacter les organisateurs :</strong><br class='manualbr' />Pour toute information complémentaire, les participants et orateurs sont invités à adresser un courrier électronique à :<br class='autobr' /> <a href="mailto:quatrini@iml.univ-mrs.fr" class='spip_mail'>quatrini@iml.univ-mrs.fr</a></p></div> LIGC 2007 (Roma) https://www.ligc.fr/rencontres-passees/article/ligc-2007-roma https://www.ligc.fr/rencontres-passees/article/ligc-2007-roma 2007-12-13T12:03:00Z text/html fr Jean-Baptiste Joinet Articles titres <p>Albano (Roma), 13-16 décembre 2007 Organisée par Michele ABRUSCI, Roberto MAIELI et Lorenzo TORTORA de FALCO et le groupe des logiciens du département de Philosophie de l'Université Roma Tre Confirmation de l'inscription : <br class='autobr' /> Les pré-inscriptions sont closes. Les personnes pré-inscrites qui n'auraient pas confirmé directement leur participation sont instamment priées : <br class='autobr' /> 1. d'adresser sans délai à maieli-AT-uniroma3.it un courrier électronique de confirmation (ceci concerne également les romains !) (...)</p> - <a href="https://www.ligc.fr/rencontres-passees/" rel="directory">Rencontres passées</a> / <a href="https://www.ligc.fr/mot/articles-titres" rel="tag">Articles titres</a> <div class='rss_chapo'><p>Albano (Roma), 13-16 décembre 2007<br class='manualbr' />Organisée par Michele ABRUSCI, Roberto MAIELI et Lorenzo TORTORA de FALCO et le groupe des logiciens du département de Philosophie de l'Université Roma Tre</p></div> <div class='rss_texte'><p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Confirmation de l'inscription</strong> :</p> <p>Les pré-inscriptions sont closes.<br class='manualbr' />Les personnes pré-inscrites qui n'auraient pas confirmé directement leur participation sont instamment priées :</p> <p> 1. d'adresser sans délai à maieli-AT-uniroma3.it un courrier électronique de confirmation (ceci concerne également les romains !) mentionnant la date et l'heure d'arrivée à Rome (en cas d'arrivée en avion, merci de préciser l'aéroport d'arrivée) et la date et l'heure de départ de Rome (en cas de départ en avion, merci de préciser l'aéroport de départ)<br class='autobr' /> 2. d'effectuer sans délai le paiement de leurs droits d'inscriptions (dont le montant a été indiqué par courrier électronique) par virement bancaire effectué sur le compte suivant :</p> <p> Halles Srl<br class='autobr' /> _ Viale Tiziano 80 - 00196 Roma<br class='autobr' /> _ IBAN : IT31D0516403225000000160389<br class='autobr' /> _ BIC ou SWIFT : BPALITMLXXX<br class='autobr' /> _ Intitulé de l'opération (Nome della causale) : Inscription Séminaire LIGC</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong><a href='https://www.ligc.fr/sites/ligc/IMG/pdf/ligc-1207-programma.pdf' class='spip_in' type='application/pdf'>Programme des exposés</a></strong></p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Déroulé indicatif des événements</strong> :</p> <p> * début du colloque le 13 décembre à 16h à l'Université Roma Tre (Facoltà di Lettere e di Filosofia, Università degli Studi di Roma Tre, Via Ostiense 234, Métro : Marconi) ;<br class='autobr' /> * fin d'après-midi (toujours le 13 décembre) : départ collectif en autocar affrété par les organisateurs pour Albano (aux environs de Rome, dans la région dite des Castelli Romani, dans un hà´tel au bord du lac d'Albano) ;<br class='autobr' /> * le 16 décembre à 13h : fin du colloque. Après le déjeuner, départ collectif en autocar. Première halte à l'aéroport de Ciampino. Seconde halte à la gare ferroviaire de Ciampino (trains pour la gare Roma Termini). Troisième halte à l'aéroport de Fiumicino. Quatrième halte : Rome.</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Langue du colloque</strong> : français</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Contacter les organisateurs</strong> :<br class='manualbr' />Pour toute information complémentaire, les participants et orateurs sont invités à adresser un courrier électronique à maieli@uniroma3.it</p></div> LIGC 2006 (Cerisy-la-Salle) https://www.ligc.fr/rencontres-passees/article/ligc-2006-cerisy-la-salle https://www.ligc.fr/rencontres-passees/article/ligc-2006-cerisy-la-salle 2006-09-15T22:48:00Z text/html fr Jean-Baptiste Joinet <p>Logique, Sciences, Philosophie Ecole Thématique du CNRS <br class='autobr' /> Centre Culturel International de Cerisy Cerisy-la-Salle 19-26 septembre 2006 <br class='autobr' /> "Les nouvelles approches logiques de la dynamique et de l'interaction <br class='autobr' /> calculatoire et communicationnelle au carrefour des sciences et des théories de la connaissance et de la cognition." Regards croisés de scientifiques et philosophes. Objectifs <br class='autobr' /> Enjeux scientifiques <br class='autobr' /> Les transformations récentes et profondes de la Logique mathématique dans le contexte de son (...)</p> - <a href="https://www.ligc.fr/rencontres-passees/" rel="directory">Rencontres passées</a> <div class='rss_chapo'><p>Logique, Sciences, Philosophie<br class='manualbr' />Ecole Thématique du CNRS</p> <p>Centre Culturel International de Cerisy<br class='manualbr' />Cerisy-la-Salle<br class='manualbr' />19-26 septembre 2006</p></div> <div class='rss_texte'><p><i>"Les nouvelles approches logiques de la dynamique et de l'interaction<br class='autobr' /> calculatoire et communicationnelle au carrefour des sciences et des théories de la connaissance et de la cognition."</i><br class='manualbr' />Regards croisés de scientifiques et philosophes.</p> <h3 class="spip">Objectifs</h3> <p><strong>Enjeux scientifiques</strong></p> <p>Les transformations récentes et profondes de la Logique mathématique dans le contexte de son dialogue avec l'informatique fondamentale ont nourri depuis quelques années une réflexion originale " scientifique et philosophique " autour de la notion d'<i>interaction (communicationnelle et calculatoire)</i> et de sa valeur unificatrice au plan épistémologique.</p> <p>Ces développements ont notamment pris source dans les travaux du groupe <i>Logique et Interaction vers une Géométrie du Cognitif</i> (LIGC), qui rassemble depuis cinq années un nombre désormais important de scientifiques et de philosophes dans une réflexion interdisciplinaire commune autour de ce qu'on pourrait appeler l'<i>interactionisme logique</i>.</p> <p>Ce courant est né de la rencontre " devenue proprement fusionnelle " de la logique mathématique et de l'informatique fondamentale (on pense notamment à l'axe de recherche d'une ACI comme <i>Géométrie du Calcul</i>, GEOCAL).</p> <p>Il s'est ensuite propagé à diverses convergences disciplinaires en cours de réalisation instaurant un dialogue entre d'autres disciplines (physique, biologie) et ces théories logiques du calcul : calcul quantique, bio-calcul.</p> <p>Il s'est enfin élevé à des questions plus générales sur les processus logico-calculatoires présents dans la nature aux niveaux physique, biologique et cognitif et leurs limites : physique de l'interaction et théorie de l'information, biologie génétique, biologie du développement, neuro-sciences, théories de la cognition (on songe ici à l'axe de recherche d'équipes comme Complexité et Information Morphologique (ENS) ou le CREA (Polytechnique)).</p> <p><strong>Les objectifs</strong></p> <p>L'<i>objectif</i> le plus immédiat de l'école est de promouvoir et diffuser ces recherches hors du cercle étroit des spécialistes déjà impliqués, à destination des enseignants-chercheurs-doctorants philosophes ou scientifiques relevant des diverses disciplines scientifiques concernées.</p> <p>Au delà , l'école vise à expliciter la dimension unificatrice du paradigme émergent, et à donner à une communauté large de chercheurs et de doctorants en philosophie et dans les diverses disciplines concernées, les moyens de connaître ces nouveaux ponts (de ces théories logiques de l'interaction vers la physique, vers la biologie, vers les théories de la rationalité et de la cognition) que la notion d'<i>interaction communicationnelle et calculatoire</i> permet de dresser.</p> <p>En raison de la difficulté inhérente au dialogue entre scientifiques et philosophes et plus généralement entre professionnels relevant de champs disciplinaires distincts (sciences diverses, philosophie), le format d'une Ecole thématique s'est imposé comme le plus pertinent. Organisée autour d'un thème disciplinaire spécifique, chaque journée équilibrera scientifiques et philosophes spécialistes du thème (les connaissances de l'auditoire pré-requises étant à chaque fois supposées modestes). Ce format permet à la fois : <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> de proposer aux philosophes et scientifiques impliqués dans cette tentative interdisciplinaire de refondation théorique et philosophique, des ateliers d'initiation et de présentation synthétique et intensive des avancées récentes dans les champs disciplinaires concernés et du râle médiateur qu'y jouent les notions d'interaction et de calcul ; <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> d'offrir aux scientifiques ouverts à ces débats, une introduction à certains courants majeurs de la philosophie contemporaine des sciences utile pour ces questions.</p> <h3 class="spip">Comité scientifique</h3> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Michèle ABRUSCI</strong> est Professeur (Professore ordinario ) au Département de Philosophie de l'Université Rome 3. Il est responsable du Groupe romain de logique linéaire et directeur du département « Théorie de la communication » à l'Université de Rome 3. Il est spécialiste d'Histoire et Philosophe de la logique et d'Epistémologie.</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Jean-Yves GIRARD</strong> est Directeur de Recherches au CNRS (DRCE). Ancien directeur de l'Equipe <i>Logique de la programmation</i> à l'Institut de mathématiques de Luminy, il est titulaire de la médaille d'argent du CNRS et correspondant de l'Académie des sciences (sciences mécaniques et informatiques). Il est spécialiste de Logique mathématique et fondements de l'informatique.</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Jean-Baptiste JOINET</strong> est Maître de conférences. En poste à l'UFR de Philosophie de l'Université Paris 1 (où il donne des enseignements de logique dans le cadre du Master « Logique, Philosophie, Histoire et Sociologie des Sciences), il est par ailleurs membre permanent de l'Equipe <i>Preuves-Programmes-Systèmes</i> (UMR 7126 CNRS-Université Paris 7) et chargé de cours dans la seconde année du Master spécialité Logique mathématique et fondements de l'informatique de l'Université Paris 7. Il est spécialiste de Logique mathématique et fondements de l'informatique et de Philosophie de la logique et de l'informatique. ll est membre du <i>Collectif Histoire et Philosophie des Sciences</i> (CHPS) de l'ENS.</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Pierre LIVET</strong> est Professeur des Universités, en poste au département de Philosophie de l'Université d'Aix-en-provence. Il est responsable de l'Equipe d'épistémologie des sciences cognitives au CEPERC - UMR 6059 (CNRS-Université de Provence). Il est entre autres spécialiste d'Epistémologie et de Philosophie de la cognition.</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Giuseppe LONGO</strong> est Directeur de recherches au CNRS (DR1). Antérieurement Professeur (Professore ordinario) à l'Université de Pise (Italie), il est en poste au <i>Département d'informatique de l'Ecole Normale Supérieure</i> de Paris, où il fut directeur de l'équipe <i>Langages, Types et Logique</i>. Il y dirige actuellement l'équipe <i>Complexité et Information morphologique</i>. Il est par ailleurs membre associé du <i>Centre de Recherches en Epistémologie Appliquée</i> (CREA, Ecole polytechnique) et membre co-fondateur du <i>Centre d'Etudes des systèmes complexes et de la cognition</i> (Unité inter-départements de l'ENS). Il est enfin membre du <i>Collectif Histoire et Philosophie des Sciences</i> (CHPS) de l'ENS. Ses spécialités sont l'informatique fondamentale, la théorie de la complexité et les théories de la cognition.</p> <h3 class="spip">Programme des exposés</h3> <p><strong>19 septembre 2006 : arrivée des participants vers 19 H.</strong></p> <p><strong>20 septembre : journée "Logique, mathématique, informatique" .</strong></p> <table class="spip"> <tbody> <tr class='row_odd odd'> <td>09h30-10h00</td> <td>Ouverture.</td></tr> <tr class='row_even even'> <td>10h00-12h00</td> <td>Exposé thématique : Logique : de la syllogistique à l'iconoclasme (Jean-Yves Girard)</td></tr> <tr class='row_odd odd'> <td>12h00-12h30</td> <td>Questions et discussion</td></tr> <tr class='row_even even'> <td colspan='2'>Déjeuner.</td></tr> <tr class='row_odd odd'> <td>14h30-16h00</td> <td>Exposé didactique sur Logique et interaction (Jean-Baptiste Joinet)</td></tr> <tr class='row_even even'> <td>16h00-16h30</td> <td>Questions et discussion.</td></tr> <tr class='row_odd odd'> <td colspan='2'>Pause.</td></tr> <tr class='row_even even'> <td>17h30-19h</td> <td>Exposé didactique sur Phénoménologie et logique(Vincent Gérard)</td></tr> <tr class='row_odd odd'> <td>19h-19h30</td> <td>Questions, discussion.</td></tr> </tbody> </table> <p><strong>21 septembre : Journée Logique et physique.</strong></p> <table class="spip"> <tbody> <tr class='row_odd odd'> <td>09h00-10h30</td> <td>Exposé didactique : Sur le formalisme (mathématique) de la mécanique quantique (Thierry Paul)</td></tr> <tr class='row_even even'> <td>10h30-10h45</td> <td>Questions, discussion, pause.</td></tr> <tr class='row_odd odd'> <td>10h45-12h15</td> <td>Exposé didactique sur Physique quantique et philosophie transcendantale (Michel Bitbol)</td></tr> <tr class='row_even even'> <td>12h15-12h30</td> <td>Questions, discussion.</td></tr> <tr class='row_odd odd'> <td colspan='2'>Déjeuner.</td></tr> <tr class='row_even even'> <td>14h30-15h30</td> <td>Exposé thématique Intuitionnisme et constructivisme : le rapport mathématiques/physique selon Weyl et Poincaré (Gabriella Crocco)</td></tr> <tr class='row_odd odd'> <td>15h30-16h00</td> <td>Questions, discussion.</td></tr> <tr class='row_even even'> <td colspan='2'>Pause.</td></tr> <tr class='row_odd odd'> <td>16h15-17h15</td> <td>Exposé thématique. Sur la forme logique des théories physiques : équation ou algorithmes (Gilles Dowek)</td></tr> <tr class='row_even even'> <td>17h15</td> <td>Questions, discussion.</td></tr> </tbody> </table> <p><strong>22 septembre : journée Logique, géométrie et cognition .</strong></p> <table class="spip"> <tbody> <tr class='row_odd odd'> <td>9h00-10h30</td> <td>Exposé thématique Géométrie et cognition (Bernard Teissier)</td></tr> <tr class='row_even even'> <td>10h15-10h45</td> <td>Questions, discussion.</td></tr> <tr class='row_odd odd'> <td>10h45-11h45</td> <td>Exposé didactique sur Géométrie et dynamique dans l'étude du vivant (Sara Franceschelli)</td></tr> <tr class='row_even even'> <td>11h45</td> <td>Débat.</td></tr> <tr class='row_odd odd'> <td colspan='2'>Déjeuner.</td></tr> <tr class='row_even even'> <td colspan='2'>Demi-journée libre.</td></tr> </tbody> </table> <p><strong>23 septembre : Journée Interaction logique, interaction biologique .</strong></p> <table class="spip"> <tbody> <tr class='row_odd odd'> <td>09h00-10h30</td> <td>Exposé didactique : Embryogenèse et dynamique du vivant (Nadine Peyrieras)</td></tr> <tr class='row_even even'> <td>10h30-11h00</td> <td>Questions, discussion.</td></tr> <tr class='row_odd odd'> <td>11h00-12h15</td> <td>Exposé thématique : La causalité biologique : émergence et interaction dans la morphogenèse normale et cancereuse (Ana Soto)</td></tr> <tr class='row_even even'> <td>12h15-12h30</td> <td>Questions, discussion.</td></tr> <tr class='row_odd odd'> <td colspan='2'>Déjeuner.</td></tr> <tr class='row_even even'> <td>14h30-15h30</td> <td>Exposé didactique : Les râles des approches logico-calculatoires dans la modélisation des processus cellulaires (Vincent Schà¤chter)</td></tr> <tr class='row_odd odd'> <td>15h30-16h00</td> <td>Questions, discussion.</td></tr> <tr class='row_even even'> <td>16h00-17h00</td> <td>Exposé thématique : Structures causales et géométrie du temps biologique (Giuseppe Longo)</td></tr> <tr class='row_odd odd'> <td>17h00-17h30</td> <td>Questions, discussion, pause.</td></tr> <tr class='row_even even'> <td>17h30</td> <td>Table-ronde sur « Machine logique et sciences de la nature » (Sara Franceschelli, Giuseppe Longo, Nadine Peyrieras, Vincent Schaschter, Ana Soto)</td></tr> </tbody> </table> <p><strong>24 septembre : Journée : Art et interactivité .</strong></p> <table class="spip"> <tbody> <tr class='row_odd odd'> <td>09h00h-10h30</td> <td>Exposé thématique : « L'interactivité comme perspective relationnelle (Jean-Louis Boissier)</td></tr> <tr class='row_even even'> <td>10h30-11h00</td> <td>Questions, discussion, pause.</td></tr> <tr class='row_odd odd'> <td>11h00-12h15</td> <td>Exposé thématique : « Vrais et faux jeux émergents ; de l'immersion par l'interactivité » (StéphaneNatkin)</td></tr> <tr class='row_even even'> <td>12h15-12h30</td> <td>Questions, discussion.</td></tr> <tr class='row_odd odd'> <td colspan='2'>Déjeuner.</td></tr> <tr class='row_even even'> <td>14h30-15h30</td> <td>Exposé thématique « L'interaction mise en scène : au delà de la représentation, le comportement, le processus » (Anne-Marie Duguet)</td></tr> <tr class='row_odd odd'> <td>15h30-17h00</td> <td>Exposé thématique « Interactivité dans la musique mixte » (François Nicolas)</td></tr> <tr class='row_even even'> <td>17h00-17h30</td> <td>Questions, discussion, pause.</td></tr> <tr class='row_odd odd'> <td>17h30</td> <td>Table-ronde sur Art numérique et Interactivité (A. Amen, J-L. Boissier, A-M. Duguet, S. Natkin, F. Nicolas)</td></tr> <tr class='row_even even'> <td colspan='2'>Soirée : « nuit numérique » (installations interactives et présentation d'œuvres numériques par A. Amen). Buffet. DJ Antoine Hue.</td></tr> </tbody> </table> <p><strong>25 septembre : journée « Langage, logique et sémantique ».</strong></p> <table class="spip"> <tbody> <tr class='row_odd odd'> <td>09h00-10h30</td> <td>Exposé didactique : Sémantique et réalisme (Ali Benmakhlouf)</td></tr> <tr class='row_even even'> <td>10h30-11h00</td> <td>Questions, discussion, pause.</td></tr> <tr class='row_odd odd'> <td>11h00-12h15</td> <td>Exposé thématique : Eléments pour une sémiotique cognitive (Samuel Tronà§on)</td></tr> <tr class='row_even even'> <td>12h15-12h30</td> <td>Questions, discussion, pause.</td></tr> <tr class='row_odd odd'> <td colspan='2'>Déjeuner.</td></tr> <tr class='row_even even'> <td>14h30-15h30</td> <td>Exposé thématique : Géométrie des logiques aristotélicienne et stoicienne (Michele Abrusci)</td></tr> <tr class='row_odd odd'> <td>15h30-15h45</td> <td>Questions, discussion, pause.</td></tr> <tr class='row_even even'> <td>15h45-16h45</td> <td>Exposé thématique : Les rapports de l'ontologie et de la logique avec la perception de l'espace et du mouvement (Pierre Livet)</td></tr> <tr class='row_odd odd'> <td>16h45-17h00</td> <td>Questions, discussion, pause.</td></tr> <tr class='row_even even'> <td>17h00</td> <td>Table-ronde « Langage, interaction, sémantique » (M. Abrusci, A. Benmakhlouf, P. Livet, S. Tronçon)</td></tr> </tbody> </table> <p><strong>26 septembre : demi-journée « bilan et perspectives ».</strong></p> <table class="spip"> <tbody> <tr class='row_odd odd'> <td>10h00-12h30</td> <td>Table-ronde et débat : L'interactionisme logique : ouvrir la logique au monde.</td></tr> <tr class='row_even even'> <td colspan='2'>Déjeuner.</td></tr> <tr class='row_odd odd'> <td>14H00</td> <td>Départ des participants</td></tr> </tbody> </table><h3 class="spip">Orateurs et intervenants</h3> <p><strong>Logique et informatique.</strong></p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Gabriella CROCCO</strong>, Docteur en informatique et Philosophie. Maître de conférences, dépt de Philosophie de l'université d'Aix-en-Provence.</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Gilles DOWEK</strong>, Professeur au département d'informatique de l'Ecole Polytechnique.</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Jean-Yves GIRARD</strong>, Directeur de recherche à l'Institut de Mathématiques de Luminy (IML, CNRS).</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Jean-Baptiste JOINET</strong>, Maître de conférences à l'UFR de Philosophie de l'université Paris 1. Equipe Preuves-Programmes-Systèmes (CNRS-Univ. Paris 7, maths-info). Membre associé de l'Equipe Expérience et Connaissance (EXeCO, Univ. Paris 1, philosophie).</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Giuseppe LONGO</strong>, Directeur de Recherche, Directeur de l'équipe Complexité et Information Morphologique, Laboratoire d'Informatique de l'ENS-Ulm.</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Stéphane NATKIN</strong>, Professeur au Conservatoire National des Arts et Métiers, Directeur du Centre d'Etudes et de Recherches en Informatique du CNAM (CEDRIC).</p> <p><strong>Philosophie de la logique, des sciences et de la connaissance.</strong></p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Michele ABRUSCI</strong>, Professeur au département de Philosophie de l'université de Roma 3.</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Ali BENMAKHLOUF</strong>, Professeur au département de Philosophie de l'université de Nice.</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Jocelyn BENOIST</strong>, Professeur au département de Philosophie de l'Université Paris 1. Equipe Expérience et Connaissance (EXeCO, Paris 1, philosophie).</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Michel BITBOL</strong>, Directeur de Recherche au Centre de Recherche en Epistémologie Appliquée (CREA, Ecole Polytechnique). Membre associé de l'Equipe Expérience et Connaissance (EXeCO, Paris 1, philosophie).</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Vincent GERARD</strong>, Maître de conférences au département de Philosophie de l'université de Poitiers.</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Pierre LIVET</strong>, Professeur au département de Philosophie de l'université d'Aix-en-Provence. Responsable du CEPERC.</p> <p><strong>Interaction en biologie, physique et sciences cognitives.</strong></p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Sara FRANCESCHELLI</strong>, Maître de conférences en épistémologie et histoire des sciences à l'ENS-LSH (Lyon) et chercheuse au REHSEIS (Paris 7).</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Thierry PAUL</strong>, Directeur de recherches au Département de Mathématiques de l'ENS-Ulm.</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Jean PETITOT</strong>, Directeur de recherche au Centre de Recherche en Epistémologie Appliquée (rattaché à l'Ecole polytechnique).</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Nadine PEYRIERAS</strong>, Biologie moléculaire du développement, U368 de l'INSERM, ENS-Ulm.</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Vincent SCHà„CHTER</strong>, Directeur de Recherche au Génoscope, Equipe de Bioinformatique.</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Ana SOTO</strong>, Chercheuse en Biologie cellulaire à l'université TUFTS (Boston, USA).</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Bernard TEISSIER</strong>, Directeur de Recherche au CNRS, Equipe Géométrie et Dynamique, Institut de maths de Jussieu-Paris 7.</p> <p><strong>Art et interactivité.</strong></p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Alexis AMEN</strong>, Artiste numérique et animateur de PILOTI (cellule d'aide à la création d'œuvres artistiques numériques et interactives).</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Jean-Louis BOISSIER</strong>, Professeur en esthétique et arts plastiques à l'Université Paris 8 et à l'Ecole Nationale des Arts Décoratifs. Co-directeur du Centre Interdisciplinaire de recherche sur l'Esthétique du Numérique.</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Anne-Marie DUGUET</strong>, Professeur en esthétique et théorie de l'art à l'Université Paris 1. Directrice du Centre de Recherche d'Esthétique sur le Cinéma et l'art Audiovisuel.</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>François NICOLAS</strong>, Professeur associé de Musicologie à l'ENS-Ulm et chercheur à l'IRCAM.</p> <h3 class="spip">Public visé</h3> <p>Chercheurs, enseignants-chercheurs, doctorants et post-doctorants : .</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <i>prioritairement</i> : en philosophie des sciences et de la connaissance, histoire de la science contemporaine, mathématiques (prioritairement en logique mathématique), informatique fondamentale, biologie (interfaces biologie/informatique), physique (calcul quantique), sciences de la cognition.</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> plus <i>secondairement</i> : en linguistique, voire théorie de l'art numérique (journée art et interactivité).</p> <h3 class="spip">Pré-requis</h3> <p>Les connaissances pré-requises sont : une culture générale en logique. Ce bagage sera suffisant dans la mesure où, étant donnée la dimension interdisciplinaire du projet, la mise à niveau des divers publics interviendra dans le cadre de l'Ecole.</p> <h3 class="spip">Le comité d'organisation</h3> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Jean-Baptiste JOINET</strong>.</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Giuseppe LONGO</strong></p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Séverine MAINGAUD</strong> (Doctorante, Equipe PPS, UMR 7126 CNRS Université Paris 7).</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Odile AINARDI</strong> (Secrétaire de l'Equipe PPS, UMR 7126 CNRS Université Paris 7).</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Edith HEURGON</strong> (Directrice du Centre Culturel International de Cerisy-la-Salle).</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Martine MOUCHE</strong> (Responsable formation de la délégation Paris B du CNRS).</p> <h3 class="spip">Sites Web</h3> <p><a href="" class='spip_url'></a><a href="http://www-philo.univ-paris1.fr/Joinet/CerisyLIGC.html" class='spip_out' rel='external'>L'école thématique LIGC</a>, <br class='autobr' /> <a href="http://www.ccic-cerisy.asso.fr" class='spip_out' rel='external'>Centre culturel international de Cerisy</a></p> <h3 class="spip">Remerciements</h3> <p><a href="http://www.cnrs.fr/" class='spip_out' rel='external'>CNRS</a>, <a href="http://www-philo.univ-paris1.fr/Joinet/ligc.html" class='spip_out' rel='external'>Le groupe LIGC</a>, <a href="http://www.ens.fr/chps/" class='spip_out' rel='external'>CHPS (ENS)</a>, <a href="http://www-philo.univ-paris1.fr/EXeCO.html" class='spip_out' rel='external'>EXeCO (Paris 1)</a>,<br class='manualbr' /><a href="http://edph.univ-paris1.fr/" class='spip_out' rel='external'>E.D. Philo (Paris 1)</a>, <a href="http://www.pps.jussieu.fr/" class='spip_out' rel='external'>PPS</a>, <a href="http://www.opixido.com/piloti/" class='spip_out' rel='external'>Piloti</a></p></div> LIGC 2005 (Paris) https://www.ligc.fr/rencontres-passees/article/ligc-2005-paris https://www.ligc.fr/rencontres-passees/article/ligc-2005-paris 2005-11-17T10:46:00Z text/html fr Jean-Baptiste Joinet <p>Ecole normale supérieure, Paris, Salle des confèrences, au 46 rue d'Ulm, Novembre 18 - 19, 2005 Programme Vendredi 18 09h30 T. Paul <br class='autobr' /> (Maths, CNRS-ENS) Ontologie perturbative ? 10h30 D. Bennequin <br class='autobr' /> (Maths, Paris VII) Géométrie et neurosciences. Micro pause 11h45 G. Longo <br class='autobr' /> (Informatique, CNRS - ENS) Criticité : du calcul au vivant, un théorème, des concepts. Pause 15h00 J.B. Joinet <br class='autobr' /> (Philosophie-Informatique, Univ. Paris I-VII) La logique : de l'espace au temps. Micro pause 16h30 Table (...)</p> - <a href="https://www.ligc.fr/rencontres-passees/" rel="directory">Rencontres passées</a> <div class='rss_chapo'><p>Ecole normale supérieure, Paris,<br class='manualbr' />Salle des confèrences, au 46 rue d'Ulm,<br class='manualbr' />Novembre 18 - 19, 2005</p></div> <div class='rss_texte'><h3 class="spip">Programme</h3><table class="spip" summary="Programme du Vendredi"> <caption>Vendredi 18</caption> <tbody> <tr class='row_odd odd'> <td>09h30</td> <td>T. Paul <p>(Maths, CNRS-ENS)</p> </td> <td>Ontologie perturbative ?</td></tr> <tr class='row_even even'> <td>10h30</td> <td>D. Bennequin <p>(Maths, Paris VII)</p> </td> <td>Géométrie et neurosciences.</td></tr> <tr class='row_odd odd'> <td colspan='3'>Micro pause</td></tr> <tr class='row_even even'> <td>11h45</td> <td>G. Longo <p>(Informatique, CNRS - ENS)</p> </td> <td>Criticité : du calcul au vivant, un théorème, des concepts.</td></tr> <tr class='row_odd odd'> <td colspan='3'>Pause</td></tr> <tr class='row_even even'> <td>15h00</td> <td>J.B. Joinet <p>(Philosophie-Informatique, Univ. Paris I-VII)</p> </td> <td>La logique : de l'espace au temps.</td></tr> <tr class='row_odd odd'> <td colspan='3'>Micro pause</td></tr> <tr class='row_even even'> <td>16h30</td> <td colspan='2'>Table ronde : "Probabilités : classiques, quantiques, algorithmiques" <p>(F. Bailly, G. Longo, M. Mugur-Schachter, T. Paul)</p> <p>Textes d'apuis :<br class='autobr' /> <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> court, 8 pages : F. Bailly, G. Longo : <a href="ftp://ftp.di.ens.fr/pub/users/longo/CIM/aleas-appendix.pdf" class='spip_out'>aleas-appendix.pdf</a><br class='autobr' /> <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> long, 36 pages : Mioara Mugur-Schachter : <a href="http://www.di.ens.fr/users/longo/Conferences/CERISYmioara.pdf" class='spip_out' rel='external'>Cerisy-mioara.pdf</a></p> </td></tr> </tbody> </table><table class="spip" summary="Programme du Samedi"> <caption>Samedi 19</caption> <tbody> <tr class='row_odd odd'> <td>09h30</td> <td>G. Dowek <p>(Informatique, INRIA et Ecole polytechnique)</p> </td> <td>Qu'est-ce qu'une application linéaire calculable ?</td></tr> <tr class='row_even even'> <td>10h30</td> <td>P. Dehornoy <p>(Maths, Univ. Caen)</p> </td> <td>De la théorie des ensembles aux tresses</td></tr> <tr class='row_odd odd'> <td colspan='3'>Micropause</td></tr> <tr class='row_even even'> <td>11h45</td> <td>S. Troncon <p>(Philosophie, Univ. Aix)</p> </td> <td>Logique, langage et pensée : de la bifurcation à la synchronisation.</td></tr> <tr class='row_odd odd'> <td colspan='3'>Pause</td></tr> <tr class='row_even even'> <td>15h00</td> <td>J. Petitot <p>(Philo-Maths, EHESS et CREA, Polytechnique)</p> </td> <td>Perception et jugements perceptifs.</td></tr> <tr class='row_odd odd'> <td>16h00</td> <td>P. Livet <p>(Philosophie, Univ. Aix)</p> </td> <td>Ontologie des trajets, trajets virtuels et opérateurs linéaires.</td></tr> <tr class='row_even even'> <td colspan='3'>Micro pause</td></tr> <tr class='row_odd odd'> <td>17h15</td> <td>J.-Y. Girard <p>(Maths, CNRS, Marseille)</p> </td> <td>Logique et algèbres d'opérateurs</td></tr> </tbody> </table><h3 class="spip">Contacts</h3> <p>longo@di.ens.fr, <a href="" class='spip_url'></a><a href="http://www.di.ens.fr/~longo/" class='spip_out' rel='external'>Page web</a></p></div> LIGC 2004 (Buoux) https://www.ligc.fr/rencontres-passees/article/ligc-2004-buoux https://www.ligc.fr/rencontres-passees/article/ligc-2004-buoux 2004-05-09T08:48:00Z text/html fr Jean-Baptiste Joinet Articles titres <p>9-11 mai, Buoux, Luberon Organisées par Gabriella Crocco (Université d'Aix-en-Provence, CEPERC) <br class='autobr' /> Quand ? Du dimanche 9 mai 2004 à 12h au mardi 11 mai 2004 à 13h <br class='autobr' /> Où ? Auberge des Seguins, 84480 Buoux Tél. 04 90 74 16 37 <br class='autobr' /> Comment y aller ? Buoux est à 45mn en voiture de la gare TGV d'Aix en Provence (pour les parisiens qui veulent bénéficier de la navette, il est impératif de prendre le TGV Paris-Aix de 7h54 de dimanche, arrivée à 10h 58). Buoux est à 30mn en voiture de la gare d'Avignon en passant (...)</p> - <a href="https://www.ligc.fr/rencontres-passees/" rel="directory">Rencontres passées</a> / <a href="https://www.ligc.fr/mot/articles-titres" rel="tag">Articles titres</a> <div class='rss_texte'><h3 class="spip">9-11 mai, Buoux, Luberon<br class='manualbr' />Organisées par <a href="http://www.irit.fr/ACTIVITES/EQ_ALG/Crocco/home.html" class='spip_out' rel='external'>Gabriella Crocco</a><br class='manualbr' />(Université d'Aix-en-Provence, CEPERC)</h3> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Quand ?<br class='manualbr' />Du dimanche 9 mai 2004 à 12h au mardi 11 mai 2004 à 13h</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Où ?<br class='manualbr' />Auberge des Seguins, 84480 Buoux<br class='manualbr' />Tél. 04 90 74 16 37</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Comment y aller ?<br class='manualbr' />Buoux est à 45mn en voiture de la gare TGV d'Aix en Provence (pour les parisiens qui veulent bénéficier de la navette, il est impératif de prendre le TGV Paris-Aix de 7h54 de dimanche, arrivée à 10h 58). Buoux est à 30mn en voiture de la gare d'Avignon en passant par Apt (pas de navettes prévues à partir d'Avignon).</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Combien ?<br class='manualbr' />Le montant journalier de la pension complète pour une personne (location de la salle de réunion comprise) est de 77,24 Euros, soit 154,48 Euros en tout pour les quatre demi-journées que dureront les Rencontres (somme qui n'inclut toutefois pas les pauses-café).</p> <h3 class="spip">Liste des participants</h3> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Michele ABRUSCI (Univ. Roma tre ; Philosophie, Logique) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Ali BENMAKHLOUF (Univ. Nice ; Philosophie, Logique) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Julien BERNARD (Etudiant Univ. Aix-en-Provence ; Philosophie, Logique) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Jacqueline BONIFACE (Univ. Nice ; Philosophie, Epistémologie des mathématiques) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Denis BONNAY (Doctorant Univ. Paris 1 ; Philosophie, Logique)<br class='autobr' /> - Albert BURRONI (Univ. Paris 7 et PPS ; Mathématiques, Théorie des catégories) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Gabriella CROCCO (Univ. Aix-en-Provence et CEPERC ; Philosophie, Logique) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Jean-Yves GIRARD (Univ. Marseille et IML ; Mathématiques, Théorie de la démonstration) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Gerard HUET (INRIA, Informatique théorique, linguistique) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Jean-Baptiste JOINET (Univ. Paris 1 et PPS ; Philosophie, Logique) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Pierre LIVET (Univ. Aix-en-Provence et CEPERC ; Philosophie) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Giuseppe LONGO (ENS, Informatique théorique) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Alexandre MIQUEL (PPS, Logique et Informatique fondamentale) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Mioara MUGUR-SCHà„CHTER (Epistémologie formelle) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Thierry PAUL (ENS, Mathématiques et physique) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Jacques RICARD (Biologie moléculaire) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Vincent SCHà„CHTER (Génoscope ; Bio-informatique) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Boris SAULNIER (Doctorant LIENS ; Complexité et Information morphologique) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Pierre-Emmanuel TENDERO (Doctorant LIENS ; Complexité et Information morphologique) <br /><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> Samuel TRONÇON (Doctorant Univ. Aix-en-Provence et Marseille ; Philosophie, Logique)</p> <h3 class="spip">Le programme des exposés et tables rondes</h3> <p><strong>Dimanche 9 mai</strong></p> <table class="spip"> <tbody> <tr class='row_odd odd'> <td>12h00</td> <td>Accueil des participants et repas</td></tr> <tr class='row_even even'> <td>14h00 - 15h30</td> <td>Présentation par J-Y Girard</td></tr> <tr class='row_odd odd'> <td>15h30</td> <td>Pause café</td></tr> <tr class='row_even even'> <td>16h00 - 18h00</td> <td>Table-ronde "Existence et essence" organisée par J.-Y. Girard, avec des interventions de M. Abrusci, G. Crocco, P. Livet, G. Longo, G. Marramao, R. Simone, P.-E. Tendero</td></tr> </tbody> </table> <p><strong>Lundi 10 mai</strong></p> <table class="spip"> <tbody> <tr class='row_odd odd'> <td>9h00 - 10h00</td> <td>J. Ricard, "Organisation et information des réseaux biologiques"</td></tr> <tr class='row_even even'> <td>10h00 - 11h00</td> <td>V. Schà¤chter, "Déconstruction et reconstruction de réseaux biologiques"</td></tr> <tr class='row_odd odd'> <td>11h00</td> <td>Pause café</td></tr> <tr class='row_even even'> <td>11h30 - 12h30</td> <td>G. Huet, " L'empire des Sens : une approche topologique de la sémantique des langues"</td></tr> <tr class='row_odd odd'> <td>12h30</td> <td>Repas</td></tr> <tr class='row_even even'> <td>14h00 - 15h00</td> <td>Th.Paul, "Temps long en mécanique quantique : destruction et reconstruction du point."</td></tr> <tr class='row_odd odd'> <td>15h00 - 16h00</td> <td>M. Mugur-Schachter, "Mécanique quantique et le tissage des connaissances" (<a href="http://ligc.resurgences.eu/IMG/pdf/resumeMugurSchachter.pdf" class='spip_out' rel='external'>Voir le résumé en pdf</a>)</td></tr> <tr class='row_even even'> <td>16h00</td> <td>Pause-café</td></tr> <tr class='row_odd odd'> <td>16h30 - 18h30</td> <td>Table-ronde "Quantique", organisée par Thierry Paul, avec des interventions de J-Y. Girard, G. Longo, M. Mugur-Schà¤chter, Th. Paul</td></tr> <tr class='row_even even'> <td>10h00 - 11h00</td> <td>V. Schachter, "Déconstruction et reconstruction de réseaux biologiques"</td></tr> </tbody> </table> <p><strong>Mardi 11 mai</strong></p> <table class="spip"> <tbody> <tr class='row_odd odd'> <td>9h00 - 10h00</td> <td>S. Tronçon, "Machines et petits mondes"</td></tr> <tr class='row_even even'> <td>10h00</td> <td>Pause café</td></tr> <tr class='row_odd odd'> <td>10h30 - 12h30</td> <td>table-ronde "Raisonnement versus Démonstration", organisée par J-B Joinet, avec des interventions de M. Abrusci, A. Benmakhlouf, A. Burroni, J-B. Joinet, G. Longo</td></tr> <tr class='row_even even'> <td>12h30</td> <td>Repas</td></tr> <tr class='row_odd odd'> <td>14h00</td> <td>Départ</td></tr> </tbody> </table></div> LIGC 2003 (Paris) https://www.ligc.fr/rencontres-passees/article/ligc-2003-paris https://www.ligc.fr/rencontres-passees/article/ligc-2003-paris 2003-04-24T11:40:00Z text/html fr Jean-Baptiste Joinet Articles complets <p>Colloque organisé par Jean-Baptiste Joinet.</p> - <a href="https://www.ligc.fr/rencontres-passees/" rel="directory">Rencontres passées</a> / <a href="https://www.ligc.fr/mot/articles-complets" rel="tag">Articles complets</a> <div class='rss_texte'><h3 class="spip">OBJECTIFS SCIENTIFIQUES DU COLLOQUE</h3> <p>Depuis l'année 2000, un réseau interdisciplinaire (le groupe " Logique mathématique, Informatique et Philosophie") s'est mis en place, rassemblant un noyau d'universitaires et chercheurs relevant d'horizons divers (principalement des spécialistes de Logique mathématique, d'Informatique théorique et de Philosophie de la logique et des mathématiques). Entre autres activités, depuis sa création il y a trois ans, le groupe LMIP a été à l'initiative de " Rencontres " régulières (à Aix-en-Provence, à Marseille, à Rome).</p> <p>L'objectif de ce réseau est de provoquer, par le dialogue entre ces spécialités, l'élaboration d'une réflexion philosophique commune sur les métamorphoses récentes de cette discipline bi-millénaire qu'est la Logique dans le contexte de son interaction avec l'informatique théorique (enjeux philosophiques de l'abandon du paradigme des preuves-comme-textes, géométrisation de la notion de preuve, approche de la dynamique des preuves comme interaction, sémantique interactionnelle), mais aussi sur les implications épistémologiques de ces évolutions (intuitionnisme mathématique et monisme ontologique, réalisations physiques et biologiques de l'interaction calculatoire et communicationnelle, complexité calculatoire et complexité systémique du vivant, interaction et causalité). Sont en particulier visés les enjeux épistémologiques, sémantiques et ontologiques des théories récentes du calcul, de l'interaction et de la causalité.</p> <p>Les travaux du colloque se dérouleront en français.</p> <h3 class="spip">ORATEURS</h3> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Michele ABRUSCI</strong></p> <p><strong>Philosophie et Logique</strong> - Università Roma tre<br class='manualbr' />abrusci@uniroma3.it</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Francis BAILLY</strong></p> <p><strong>Physique</strong> - CNRS Meudon<br class='manualbr' />bailly@cnrs-bellevue.fr</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Denis BONNAY</strong></p> <p><strong>Philosophie et Logique</strong> - Doctorant à l'Université Paris 1 et PPS<br class='manualbr' />denisbonnay@aol.com</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Gabriella CROCCO</strong></p> <p><strong>Philosophie</strong> - Université d'Aix-en-Provence<br class='manualbr' />gabriella.crocco@wanadoo.fr</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Patrick DEHORNOY</strong></p> <p><strong>Mathématiques</strong> - Université de Caen, Institut Universitaire de France<br class='manualbr' />dehornoy@math.unicaen.fr</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Gilles DOWEK</strong></p> <p><strong>Informatique</strong> - INRIA et Ecole Polytechnique<br class='manualbr' />Gilles.Dowek@polytechnique.fr</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Jean-Yves GIRARD</strong></p> <p><strong>Logique Mathématique</strong> - Institut de Mathématique de Luminy<br class='manualbr' />girard@iml.univ-mrs.fr</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Jean-Baptiste JOINET</strong></p> <p><strong>Logique et Philosophie</strong> - Université Paris 1 et CNRS-PPS<br class='manualbr' />joinet@univ-paris1.fr</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Pierre LIVET</strong></p> <p><strong>Philosophie</strong> - Université d'Aix-en-Provence<br class='manualbr' />Pierre.Livet@up.univ-mrs.fr</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Giuseppe LONGO</strong></p> <p><strong>Informatique</strong> - Ecole Normale Supérieure<br class='manualbr' />longo@di.ens.fr</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Paul-André MELLIES</strong></p> <p><strong>Informatique</strong> - CNRS-PPS<br class='manualbr' />mellies@pps.jussieu.fr</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Frédéric NEF</strong></p> <p><strong>Philosophie</strong> - E.H.E.S.S.<br class='manualbr' />fredericnef@aol.com</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Thierry PAUL</strong></p> <p><strong>Mathématiques</strong> - Ecole Normale Supérieure<br class='manualbr' />thierry.paul@ens.fr</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Jean-Michel SALANSKIS</strong></p> <p><strong>Philosophie</strong> - Université Paris 10<br class='manualbr' />jmsalans@u-paris10.fr</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Giovanni SAMBIN</strong></p> <p><strong>Logique mathématique</strong> - Università di Padova<br class='manualbr' />sambin@math.unipd.it</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Bernard TEISSIER</strong></p> <p><strong>Mathématiques</strong> - Université Paris 7<br class='manualbr' />teissier@math.jussieu.fr</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Samuel TRONCON</strong></p> <p><strong>Philosophie</strong> - doctorant à l'Université d'Aix-Marseille et à l'IML<br class='manualbr' />troncon@iml.univ-mrs.fr</p> <h3 class="spip">PLANNING DES EXPOSES</h3><table class="spip" summary="Résumé du Tableau"> <caption>Jeudi</caption> <tbody> </tbody> </table><table class="spip"> <thead><tr class='row_first'><th id='ide787_c0'> Horaire </th><th id='ide787_c1'> Orateur </th><th id='ide787_c2'> Titre de l'exposé </th></tr></thead> <tbody> <tr class='row_odd odd'> <td headers='ide787_c0'>9h15 - 9h30</td> <td headers='ide787_c1'></td> <td headers='ide787_c2'>Ouverture</td></tr> <tr class='row_even even'> <td headers='ide787_c0'>9h30 - 10h30</td> <td headers='ide787_c1'>J-Y. GIRARD</td> <td headers='ide787_c2'>Entre Logique et Quantique</td></tr> <tr class='row_odd odd'> <td headers='ide787_c0'>10h30 - 11h30</td> <td headers='ide787_c1'>G. LONGO</td> <td headers='ide787_c2'>Discret vs. continu mathématique et causalité</td></tr> <tr class='row_even even'> <td headers='ide787_c0'>11h30 - 11h50</td> <td headers='ide787_c1'></td> <td headers='ide787_c2'>Pause café</td></tr> <tr class='row_odd odd'> <td headers='ide787_c0'>11h50 - 12h50</td> <td headers='ide787_c1'>F. BAILLY</td> <td headers='ide787_c2'>Symétries et causalité en physique</td></tr> <tr class='row_even even'> <td headers='ide787_c0'>12h50 - 14h30</td> <td headers='ide787_c1'></td> <td headers='ide787_c2'>Pause déjeuner</td></tr> <tr class='row_odd odd'> <td headers='ide787_c0'>14h30 - 15h30</td> <td headers='ide787_c1'>T. PAUL</td> <td headers='ide787_c2'>Quelques idées issues de la Mécanique Quantique</td></tr> <tr class='row_even even'> <td headers='ide787_c0'>15h30 - 16h30</td> <td headers='ide787_c1'>S. TRONCON</td> <td headers='ide787_c2'>Interaction et signification</td></tr> <tr class='row_odd odd'> <td headers='ide787_c0'>16h30 - 16h50</td> <td headers='ide787_c1'></td> <td headers='ide787_c2'>Pause café</td></tr> <tr class='row_even even'> <td headers='ide787_c0'>16h50 - 17h50</td> <td headers='ide787_c1'>D. BONNAY</td> <td headers='ide787_c2'>Variété de la signification <p>Questions autour de l'impact philosophique des extensions de l'isomorphisme de Curry-Howard</p> </td></tr> </tbody> </table><table class="spip" summary="Résumé du Tableau"> <caption>Vendredi</caption> <tbody> </tbody> </table><table class="spip"> <thead><tr class='row_first'><th id='id3eab_c0'> Horaire </th><th id='id3eab_c1'> Orateur </th><th id='id3eab_c2'> Titre de l'exposé </th></tr></thead> <tbody> <tr class='row_odd odd'> <td headers='id3eab_c0'>9h30 - 10h30</td> <td headers='id3eab_c1'>J-B. JOINET</td> <td headers='id3eab_c2'>Le temps logique</td></tr> <tr class='row_even even'> <td headers='id3eab_c0'>10h30 - 11h30</td> <td headers='id3eab_c1'>P-A. MELLIES</td> <td headers='id3eab_c2'>Qu'est-ce qu'une démonstration ? Une approche concurrente et homotopique</td></tr> <tr class='row_odd odd'> <td headers='id3eab_c0'>11h30 - 11h50</td> <td headers='id3eab_c1'></td> <td headers='id3eab_c2'>Pause café</td></tr> <tr class='row_even even'> <td headers='id3eab_c0'>11h50 - 12h50</td> <td headers='id3eab_c1'>J-M. SALANSKIS</td> <td headers='id3eab_c2'>Y a-t-il une "Kehre" de la logique ?</td></tr> <tr class='row_odd odd'> <td headers='id3eab_c0'>12h50 - 14h30</td> <td headers='id3eab_c1'></td> <td headers='id3eab_c2'>Pause déjeuner</td></tr> <tr class='row_even even'> <td headers='id3eab_c0'>14h30 - 15h30</td> <td headers='id3eab_c1'>G. SAMBIN</td> <td headers='id3eab_c2'>Basic logic and the principle of reflection : a dynamic structure in the space of logics</td></tr> <tr class='row_odd odd'> <td headers='id3eab_c0'>15h30-16h30</td> <td headers='id3eab_c1'>M. ABRUSCI</td> <td headers='id3eab_c2'>Théorie de la démonstration : de Hilbert à � Gentzen</td></tr> <tr class='row_even even'> <td headers='id3eab_c0'>16h30 - 16h50</td> <td headers='id3eab_c1'></td> <td headers='id3eab_c2'>Pause café</td></tr> <tr class='row_odd odd'> <td headers='id3eab_c0'>16h50 - 17h50</td> <td headers='id3eab_c1'>P. LIVET</td> <td headers='id3eab_c2'>Logique Linéaire, ontologie, et méréologie</td></tr> </tbody> </table><table class="spip" summary="Résumé du Tableau"> <caption>Samedi</caption> <tbody> </tbody> </table><table class="spip"> <thead><tr class='row_first'><th id='iddb9a_c0'> Horaire </th><th id='iddb9a_c1'> Orateur </th><th id='iddb9a_c2'> Titre de l'exposé </th></tr></thead> <tbody> <tr class='row_odd odd'> <td headers='iddb9a_c0'>9h30 - 10h30</td> <td headers='iddb9a_c1'>F. NEF</td> <td headers='iddb9a_c2'>Quelle logique pour l'ontologie formelle des objets et des propriétés ?</td></tr> <tr class='row_even even'> <td headers='iddb9a_c0'>10h30 - 11h30</td> <td headers='iddb9a_c1'>G. CROCCO</td> <td headers='iddb9a_c2'>Qu'est-ce qu'une théorie des concepts selon Gödel ?</td></tr> <tr class='row_odd odd'> <td headers='iddb9a_c0'>11h30 - 11h50</td> <td headers='iddb9a_c1'></td> <td headers='iddb9a_c2'>Pause café</td></tr> <tr class='row_even even'> <td headers='iddb9a_c0'>11h50 - 12h50</td> <td headers='iddb9a_c1'>G. DOWEK</td> <td headers='iddb9a_c2'>La notion de modèle suppose-t-elle une définition réaliste de la vérité en mathématique ?</td></tr> <tr class='row_odd odd'> <td headers='iddb9a_c0'>12h50 - 14h30</td> <td headers='iddb9a_c1'></td> <td headers='iddb9a_c2'>Pause déjeuner</td></tr> <tr class='row_even even'> <td headers='iddb9a_c0'>14h30 - 15h30</td> <td headers='iddb9a_c1'>P. DEHORNOY</td> <td headers='iddb9a_c2'>Sur la Omega-logique de Woodin</td></tr> <tr class='row_odd odd'> <td headers='iddb9a_c0'>15h30-16h30</td> <td headers='iddb9a_c1'>B. TEISSIER</td> <td headers='iddb9a_c2'>La construction de l'intuition de l'infini en mathématiques</td></tr> <tr class='row_even even'> <td headers='iddb9a_c0'>16h30 - 16h50</td> <td headers='iddb9a_c1'></td> <td headers='iddb9a_c2'>Pause café</td></tr> </tbody> </table><h3 class="spip">RENSEIGNEMENTS PRATIQUES</h3> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Lieu des exposés</strong> :</p> <p>Salle 216<br class='manualbr' />Centre Panthéon (ancienne faculté de Droit)<br class='manualbr' />Université Paris 1 (Panthéon-Sorbonne)<br class='manualbr' />12 Place du Panthéon<br class='manualbr' />75005 Paris</p> <p>(Entrée possible par la rue Cujas, ou la rue Saint-Jacques)</p> <p>Métro : Luxembourg (prendre la rue Soufflot)</p> <p>Métros moins proches : Jussieu, Cluny-Sorbonne, Odéon</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Contacts colloque</strong> :</p> <p>Jean-Baptiste Joinet<br class='manualbr' />UFR de Philosophie, Université Paris 1<br class='manualbr' />17 rue de la Sorbonne<br class='manualbr' />75231 Paris cedex 05</p> <p>joinet @ univ-paris1.fr</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Logement des conférenciers</strong> :</p> <p>Hà´tel " Cujas Panthéon "<br class='manualbr' />18 rue Cujas<br class='manualbr' />75005 Paris</p> <p>Tél : (+33) 1 43 54 58 10<br class='autobr' /> _Fax : (+33) 1 43 25 88 02</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Dîner de clôture (pour les conférenciers)</strong> :</p> <p>Le vendredi 25/04, 19h45</p> <p>Restaurant Mabillon<br class='manualbr' />3 rue Mabillon 75006 Paris</p> <p>Tél. 01 43 25 66 23</p> <p>(Métro : Mabillon, à 10 bonnes minutes de marche de la Sorbonne)</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> <strong>Coordonnées de l'UFR de Philosophie de Paris 1</strong> :</p> <p>UFR de Philosophie (esc. C, 1er étage)<br class='manualbr' />Université Paris 1 (centre Sorbonne)<br class='manualbr' />17 rue de la Sorbonne<br class='manualbr' />75005 Paris.</p> <p>Secrétariat :<br class='manualbr' />Fax : 01 40 46 31 57<br class='manualbr' />Tél : 01 40 46 31 68<br class='manualbr' />email : philosec@univ-paris1.fr</p> <h3 class="spip">REMERCIEMENTS</h3> <p>Ce colloque a bénéficié du soutien :</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> du Département de Philosophie de l'Université Paris 1</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> de l'Ecole doctorale de l'UFR de Philosophie de l'Université Paris 1</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> du Conseil scientifique de l'Université Paris 1</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> de l'Institut de Mathématiques de Luminy (CNRS-Marseille)</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> du département de Philosophie de l'Université d'Aix-en-Provence</p> <p><img src='https://www.ligc.fr/sites/ligc/local/cache-vignettes/L8xH11/puce-32883.gif?1686308672' width='8' height='11' class='puce' alt="-" /> du département de Philosophie de l'Université Roma tre</p></div> Le fantasme de la transparence https://www.ligc.fr/autres-activites/article/le-fantome-de-la-transparence https://www.ligc.fr/autres-activites/article/le-fantome-de-la-transparence 2009-01-13T11:16:00Z text/html fr La Rédaction <p>Le fantasme de la transparence : l'implicite et l'explicite à la lumière de la logique <br class='autobr' /> Cours bref par Jean-Yves Girard, IML, Marseille-Luminy 13/14/20/21 Janvier 2009 17-19h, salle U/V, Bât. Rataud, étage -2 ENS, 45 Rue d'Ulm <br class='autobr' /> Le fantasme de la transparence : <br class='autobr' /> l'implicite et l'explicite à la lumière de la logique <br class='autobr' /> Cours bref par Jean-Yves Girard, <br class='autobr' /> IML, Marseille-Luminy <br class='autobr' /> 13/14/20/21 Janvier 2009 17-19h, salle U/V, <br class='autobr' /> Bât. Rataud, étage -2 <br class='autobr' /> ENS, 45 Rue d'Ulm <br class='autobr' /> Une question peut-elle être identifiée à sa (...)</p> - <a href="https://www.ligc.fr/autres-activites/" rel="directory">Autres activités</a> <div class='rss_chapo'><p>Le fantasme de la transparence : l'implicite et l'explicite à la lumière de la logique</p> <p>Cours bref par Jean-Yves Girard,<br class='autobr' /> IML, Marseille-Luminy<br class='autobr' /> 13/14/20/21 Janvier 2009 17-19h, salle U/V,<br class='autobr' /> Bât. Rataud, étage -2<br class='autobr' /> ENS, 45 Rue d'Ulm</p></div> <div class='rss_texte'><p>Le fantasme de la transparence :</p> <p>l'implicite et l'explicite à la lumière de la logique</p> <p>Cours bref par Jean-Yves Girard,</p> <p>IML, Marseille-Luminy</p> <p>13/14/20/21 Janvier 2009 17-19h, salle U/V,</p> <p>Bât. Rataud, étage -2</p> <p>ENS, 45 Rue d'Ulm</p> <p>Une question peut-elle être identifiée à sa réponse, le potentiel peut-</p> <p>il être réduit à un ensemble de possibilités ?</p> <p>Ce petit cours, dont on trouvera un résumé téléchargeable à </p> <p><a href="http://iml.univ-mrs.fr/~girard/Articles.html" class='spip_url spip_out auto' rel='nofollow external'>http://iml.univ-mrs.fr/~girard/Articles.html</a></p> <p>et qui ne suppose (sauf peut-àªtre à la toute-fin) pas de connaissance</p> <p>spéciale, examine le problème à la lumière de la logique, depuis les tentatives</p> <p>peu glorieuses de mise en œuvre de "rayons X de la connaissance", en passant par le</p> <p>postulat d'un "envers sémantique" du discours, jusqu'à l'explication plus</p> <p>satisfaisante donnée par les catégories : l'opposition question/réponse y devient objet/morphisme, ce qui suppose l'écriture de diagrammes commutatifs, dont un cà´té reste cependant "plus commutatif que l'autre".</p> <p>Au-delà des catégories, la géométrie de l'interaction propose une</p> <p>vérité en devenir : le processus d'explicitation, tel un oignon dont on dévoilerait les</p> <p>peaux (réponses partielles et nouvelles questions) successives, n'étant jamais achevé, ni même réductible à une collection de développements possibles.</p> <hr class="spip" /> <p>Jean-Yves GIRARD</p> <p>Directeur de Recherches</p> <p>girard@iml.univ-mrs.fr</p> <p>CNRS, Institut de Mathématiques de Luminy</p> <p>UMR 6206,</p> <p>163 Avenue de Luminy, case 907</p> <p>13288 Marseille cedex 9</p> <p>FRANCE</p></div> L'anneau des disciplines https://www.ligc.fr/autres-activites/article/l-anneau-des-disciplines https://www.ligc.fr/autres-activites/article/l-anneau-des-disciplines 2009-11-16T18:58:00Z text/html fr troncon <p>Colloque dans le cadre du Collectif Histoire Philosophie Sciences en mémoire de Francis Bailly.</p> - <a href="https://www.ligc.fr/autres-activites/" rel="directory">Autres activités</a> <div class='rss_chapo'><p>Colloque dans le cadre du Collectif Histoire Philosophie Sciences</p></div> <div class='rss_texte'><p><strong>Consultez la page officielle :</strong> <br class='autobr' /> _<a href="http://www.di.ens.fr/users/longo/Conferences/anneau-disciplENS09.html" class='spip_out' rel='external'>L'anneau des disciplines</a></p> <p>Avec des exposés de Giuseppe Longo, Jean-Marc Lévy-Leblond, Herve Le Guyader, Rémy Mosseri, Thierry Paul et Jean-Michel Salanskis.</p></div> Huit leçons sur l'incomplétude : logique, mécanique quantique https://www.ligc.fr/autres-activites/article/huit-lecons-sur-l-incompletude https://www.ligc.fr/autres-activites/article/huit-lecons-sur-l-incompletude 2009-02-10T11:17:00Z text/html fr La Rédaction <p>Le concept d'incomplétude apparaît dans l'article fondamental de Gödel, ainsi que dans celui, célèbre, d'Einstein, Podolsky et Rosen. Dans ce mini-cours, ouvert à tous, on se propose de présenter les idées mathématiques au coeur de ces deux incidences de l'incomplétude ainsi que certaines de ses résonances contemporaines. <br class='autobr' /> Organisé par G. Longo (CNRS-DI, ENS Paris), T. Paul (CNRS-DMA, ENS Paris) Le concept d'incomplétude apparaît dans l'article fondamental de Gödel, ainsi que dans celui, célèbre, (...)</p> - <a href="https://www.ligc.fr/autres-activites/" rel="directory">Autres activités</a> <div class='rss_chapo'><p>Le concept d'incomplétude apparaît dans l'article fondamental de Gödel, ainsi que dans celui, célèbre, d'Einstein, Podolsky et Rosen. Dans ce mini-cours, ouvert à tous, on se propose de présenter les idées mathématiques au coeur de ces deux incidences de l'incomplétude ainsi que certaines de ses résonances contemporaines.</p></div> <div class='rss_texte'><p>Organisé par G. Longo (CNRS-DI, ENS Paris), T. Paul (CNRS-DMA, ENS Paris)</p> <p>Le concept d'incomplétude apparaît dans l'article fondamental de Gödel, ainsi que dans celui, célèbre, d'Einstein, Podolsky et Rosen. Dans ce mini-cours, ouvert à tous, on se propose de présenter les idées mathématiques au coeur de ces deux incidences de l'incomplétude ainsi que certaines de ses résonnances contemporaines.</p> <p>2008-09 :</p> <p>Février 2009 : mardi et mercredi, 10 et 11, 17 et 18 ;</p> <p>Mars : mardi et mercredi, 10 et 11, 17 et 18 ;</p> <p>Horaire : de 17h 30 à 19h 30, salle U/V, sous-sol, étage -2, Dépt. de Mathématiques,</p> <p>Ecole Normale Supérieure, 45, Rue d'Ulm, Paris</p> <p>1. Maths, physique et philo :</p> <p>[Longo] : entre Laplace et Poincaré, les résultats négatifs de 1880-90.</p> <p>[Paul] : entre Poincaré et Born (Dirac), les résultats négatifs de 1912.</p> <p>2. [Longo] : Gödel - Déduction formelle et indécidabilité :</p> <p> 1. codage et représentation : premier théorème d'incomplétude<br class='autobr' /> 2. codage et cohérence : deuxième théorème d'incomplétude<br class='autobr' /> 3. le sens et la preuve ; des "philosophies" contre Hilbert : Poincaré, Weyl et Wittgenstein.</p> <p>3. [Paul] : Einstein - Mécanique quantique et complétude :</p> <p> 1. formalisme quantique et décidabilité, intrication et EPR<br class='autobr' /> 2. inégalités de Bell, les expériences d'Aspect<br class='autobr' /> 3. levée du "paradoxe" , pas de transmission d'information, complétude, accessibilité.</p> <p>4. [Longo] : L'incomplétude, aujourd'hui - L'incomplétude mathématique des systèmes formels :</p> <p> 1. typage et cohérence : théorèmes de normalisation à la Girard<br class='autobr' /> 2. forme finie de Friedman du théorème de Kruskal<br class='autobr' /> 3. analyse des passages non-formalisables ; le sens vs. l'ordre ou les ordinaux.</p> <p>5. [Paul] : L'intrication aujourd'hui - L'intrication recherchée dans l'expérience :</p> <p> 1. d'un moindre mal à un meilleur bien, téléportation, mesure de l'intrication<br class='autobr' /> 2. intrication, décohérence et le sujet<br class='autobr' /> 3. les algorithmes quantiques : puissance vs. déterminisme.</p> <p>6. [Longo] : Incomplétude et structures de la détermination :</p> <p>imprédictibilité dynamique et indécidabilité logique : Poincaré vs. Gödel à la limite asymptotyque.</p> <p>7. [Paul] : Incomplétude et structures de la détermination :</p> <p>imprédictibilité dynamique et indéterminisme quantique : Poincaré vs. Born à la limite asymptotyque ; la notion de "quantité observable" et la question de la "complétude" du formalisme de la physique quantique.</p> <p>8. [Longo] : l'incomplétude mathématique des théories physiques en sciences du vivant :</p> <p>l'apport méthodologique de la physique quantique ; les polarités théoriques en microphysique et en biologie : de l'équation de Dirac et l'antimatière à la criticité étendue et l'anti-entropie.</p> <p>Notes de Cours</p> <p>(aussi : <a href="http://www.di.ens.fr/~longo/Enseignement/Notes-Cours/NotesLongoPaul09.html" class='spip_url spip_out auto' rel='nofollow external'>http://www.di.ens.fr/~longo/Enseignement/Notes-Cours/NotesLongoPaul09.html</a></p></div> Contact https://www.ligc.fr/admin/article/contact https://www.ligc.fr/admin/article/contact 2008-12-12T09:58:46Z text/html fr La Rédaction <p>Groupe LIGC c/o Jean-Baptiste Joinet UFR de Philosophie Université Paris 1 17 rue de la Sorbonne 75231 Paris cedex 05 joinet@univ-paris1.fr</p> - <a href="https://www.ligc.fr/admin/" rel="directory">ADMIN</a> <div class='rss_texte'><p>Groupe LIGC<br class='manualbr' />c/o <a href="http://www-philo.univ-paris1.fr/Joinet" class='spip_out' rel='external'>Jean-Baptiste Joinet</a><br class='manualbr' />UFR de Philosophie<br class='manualbr' />Université Paris 1<br class='manualbr' />17 rue de la Sorbonne<br class='manualbr' />75231 Paris cedex 05<br class='manualbr' />joinet@univ-paris1.fr</p></div> A partir de l'incomplétude : indécidabilité logique et aléatoire physique https://www.ligc.fr/autres-activites/article/a-partir-de-l-incompletude https://www.ligc.fr/autres-activites/article/a-partir-de-l-incompletude 2010-02-26T08:46:00Z text/html fr troncon affichage en sommaire <p>Giuseppe Longo présentera six cours sur l'incomplétude logique et l'imprédictibilité physique, à l'école Normale Supérieure. Retrouvez le programme en ligne et des notes de cours : A partir de l'incomplétude : indécidabilité logique et aléatoire physique. Une version vidéo est disponible sur le site de diffusion de l'ENS. <br class='autobr' /> Résumé : <br class='autobr' /> Poincaré présente son grand théorème de 1890 sur l'imprédictibilité de certaines dynamiques physiques comme "résultat négatif " ; il constitue en fait un passage important pour la (...)</p> - <a href="https://www.ligc.fr/autres-activites/" rel="directory">Autres activités</a> / <a href="https://www.ligc.fr/mot/affichage-en-sommaire" rel="tag">affichage en sommaire</a> <div class='rss_texte'><p>Giuseppe Longo présentera six cours sur l'incomplétude logique et l'imprédictibilité physique, à l'école Normale Supérieure.<br class='autobr' /> Retrouvez le programme en ligne et des notes de cours : <a href="http://www.di.ens.fr/users/longo/Enseignement/CoursLongoPaul.htm" class='spip_out' rel='external'>A partir de l'incomplétude : indécidabilité logique et aléatoire physique</a>. Une <a href="http://www.diffusion.ens.fr/index.php?res=cycles&idcycle=468" class='spip_out' rel='external'>version vidéo</a> est disponible sur le site de diffusion de l'ENS.</p> <p>Résumé :</p> <p><i>Poincaré présente son grand théorème de 1890 sur l'imprédictibilité de certaines dynamiques physiques comme "résultat négatif " ; il constitue en fait un passage important pour la compréhension de l'aléatoire classique. Un autre grand “non†, l'incomplétude de tout formalisme suffisamment expressif, est au coeur de l'article de Gödel de 1931 ; la notion d'incomplétude sera utilisé aussi dans un célèbre article d'Einstein, Podolsky et Rosen de 1935 (EPR), au sujet de la Mécanique Quantique. L'aléatoire mathématique (asymptotyque) nous permettra de corréler ces cadres très différents et de poser le problème de l'aléatoire en biologie.<br class='autobr' /> Dans ce mini-cours, ouvert à tous, on se propose de présenter une réflexion philosophique et certains aspects mathématiques de ces incidences de l'incomplétude logique et de l'imprédictibilité physique, comme forme de l'aléatoire, ainsi que quelques résonances contemporaines. Quand au caractère du cours, au-delà de la première séance, totalement informelle, les autres leà§ons essayeront d'introduire les notations mathématiques utilisées et également d'expliciter les cadres conceptuels et l'impact philosophique des résultats techniques présentés.<br class='autobr' /> </i></p></div>