Séminaire quinzomadaire, année 2006/2007
(Université Nancy 2, Campus Lettres et Sciences Humaines, Institut de Philosophie salle A.256 bis)
Le mercredi, 17h-19h, 3/4 d'heure d'exposé suivis d'1/4 d'heure par un(e) répondant(e), puis une heure de discussion.
Il est ouvert aux chercheurs et aux étudiants.

Planning 2006-2007

[Le programme prêt à imprimer: pdf]

 

DATE	INVITE(E)	REPONDANT(E)	TITRE
27-09-06	Josipa Petrunic (Science Studies Unit, University of Edinburgh)	Amirouche Moktefi	Bi-quaternions as a theory of space: Clifford's space-time theory of matter [Résumé]
11-10-06	Erhard Scholz (Wuppertal)	Philippe Nabonnand	Hermann Weyl: Differential Geometry and Relativity (1917 -- ca. 1923) [Résumé]
25-10-06	Laura Rodriguez (Mainz)	Ralf Krömer	Frigyes Riesz' concept of continuity of space in the context of the mathematical cultures in France and Germany [Résumé]
08-11-06	Marcel Crabbé (Université catholique de Louvain)	Joseph Vidal-Rosset	De la théorie des types aux `New-Foundations' de Quine [Résumé]
22-11-06	Joseph Vidal-Rosset (Archives Poincaré)	Manuel Rebuschi	Une philosophie de la logique se doit-elle de choisir une logique? [Résumé]
06-12-06	Emiliano Trizio (Archives Poincaré)	Léna Soler	Perception, mesure et idéalisation en physique [Résumé]
20-12-06	Sébastien Gandon (Université de Clermont-Ferrand)	Philippe Lombard	Grandeurs, géométrie et relations chez Russell (1897-1903) [Résumé]
24-01-07	Marco Ursic (Ljubljana)	Gerhard Heinzmann	Anthropic Principle in cosmology [Résumé]
07-02-07	Volker Peckhaus (Paderborn)	Amirouche Moktefi	The Slow Way to Dominance: The Early History of 19th Century Symbolic Logic. [Résumé]
14-02-07	François Lepage (Université de Montréal)	[séance exceptionnelle]	Probabilité conditionnelle et révision : une mission impossible [Résumé]
28-02-07	Christian Bracco (Université de Nice)	Scott Walter	La physique relativiste de Poincaré [Résumé] [texte intégral]
14-03-07	William E. Carroll (University of Oxford)	Thomas Bénatouïl	Galileo and the Origins of Modernity [Résumé]
28-03-07	Patrick Sériot (Université de Lausanne)	Mohsen Sakhri	Limites, bornes et normes : la délicate constitution de l'objet de connaissance en sciences humaines [Résumé] [texte intégral]
18-04-07	Anna Sierszulska (Jagiellonian University, Cracovie)	Manuel Rebuschi	Bivalence from the Meinongian perspective [Séance annulée]
02-05-07	Michel Bastit (Université de Bourgogne, Archives Poincaré)	Roger Pouivet	A la recherche de la substance [Résumé]
16-05-07	Thérèse Charmasson (CRHST, Centre Alexandre Koyré, Paris)	Laurent Rollet	Archives de l'enseignement supérieur et archives des sciences [Résumé]
30-05-07	Patrick Blackburn (TALARIS Project, INRIA Lorraine)	Manuel Rebuschi	Arthur Prior et la logique hybride.[Résumé] / Séminaire DiaRaFor
13-06-07	Alexandre Costa-Leite (Université de Neuchâtel)	Fabien Schang	Connaissance, croyance et contingence [Résumé] nouvelle date
20-06-07	Frédéric Wieber (Archives Poincaré, IUFM de Lorraine)		Enquête historique et épistémologique sur la construction d'une chimie théorique des protéines [Résumé]

27 septembre 2006
Josipa Petrunic (Science Studies Unit, University of Edinburgh)
Bi-quaternions as a theory of space: Clifford's space-time theory of matter

The 19th-century is often referred to as a period of important growth and development in the fields of calculus, algebra and geometry. Importantly, many of these developments were linked to changing conceptions of space, and critical attitudes toward the notion of "continuity". By looking at the works of one well-recognized English geometer in the late 1800s – William Kingdon Clifford (1845-1879) – I will emphasis the role that specific beliefs regarding the ontology of space played in the shaping of mathematical knowledge in the latter half of the 19th-century. By tracking Clifford’s emphasis on the concept of “spatial continuity” we can understand why it is that he devoted much of his short life to the development of quaternions, bi-quaternions, and mathematical descriptions of physical phenomena in non-Euclidean geometrical models. Clifford’s use of the rhetoric of “continuity”, and his development of the concept through his idiosyncratic applications of it, helps us to see the sociologically interesting conventions in use in the field of geometry at this time. Arguing from a finitist perspective, I will attempt to show how Clifford’s concept-use constitutes a subtle re-defining of “continuity” itself. [haut]

After the return from the German army in summer 1916 H. Weyl started intense studies of the newly founded theory of general relativity (GRT) and, on the other side, of the foundations of analysis. From the notes of his first Zürich lecture course on GRT in winter semester 1917/18 arose his famous book Raum - Zeit - Materie. At the time his book was printed, Weyl found a generalization of Riemannian differential geometry (Weylian scale gauge geometry). It appeared him to be a perfect frame for a unification of gravitation theory and electromagnetism and as a starting point for ``dynamistic'' (i.e. purely field theoretic) theory of matter (G. Mie, D. Hilbert). A. Einstein (in 1918) and W. Pauli (a little later) were of different opinion. During the 1920s Weyl withdraw step by step from his physical interpretation of his scale gauge, but found other, more enduring reasons for its importance. In the early 1920s he gave a beautiful conceptual argument for the importance of his geometry (``analysis of the problem of space'') and in the late 1920s he contributed to the transfer of the gauge idea from metrical scale to the phase of wave and spinorial functions. This last turn established his gauge idea in the long term tradition of accepted and fruitful physical theories. The talk will concentrate mainly on the period 1918 to 1923 and shortly present an outlook on diverse historical follow up stories. [haut]

After a period of great developments in geometry the 20th century started immersed yet in philosophical discussions about the conception of space and its relation to real world. The use of set theoretical, axiomatic and constructive methods provided different approaches to the notion of continuity of space. Around 1906 Frederic Riesz tried to make a synthesis of them by developing his own definition of three-dimensional continuous space in his article "Die Genesis des Raumbegriffs", dated in January 1906. For this Riesz' suggested a more general definition of the concept of mathematical continuum, which proved later to be closely related with the modern concept of topological space defined 1914 by Felix Hausdorff. In the talk I shall describe the synthesis Riesz suggested as well as its relation to developments in the mathematical cultures in France and Germany. By looking at the role the notion of mathematical continuous plays in Riesz' paper we learn about the roots of abstract point set theory (general topology) in geometry. On the other hand, tracking the source of Riesz' concept lead us to a surprising result and to further interesting questions. [haut]

Nous commencerons par décrire le système TT de la théorie (archi) simple des types provenant des Principia. Ensuite le système NF de Quine — dont c’est bientôt le 70ième anniversaire de la découverte — sera introduit naturellement comme une solution cosmétique aux inconvénients occasionnés par la multiplication des types. Cependant nous montrerons qu’en fait celui-ci excède réellement la théorie dont il prétendait seulement simplifier la présentation, en y esquissant une démonstration de l’axiome de l’infini. Après avoir indiqué comment formuler une telle preuve dans la théorie des types avec un axiome d’ambiguïté, nous montrerons également comment l’enrichir de manière à réfuter l’axiome du choix (Specker 1953) aussi bien dans NF que dans TT-ambigu. Nous terminerons en soulevant et en commentant quelques problèmes ouverts, espérant expliquer par là pourquoi ce système continue à fasciner les logiciens, qu’ils soient philosophes ou mathématiciens. [haut]

A la question de la définition de la logique, qui est une question classique dans l'histoire de la philosophie de la connaissance, s'est ajoutée plus récemment la question du choix d'une logique, c'est-à-dire le choix d'un système de logique comme le système le plus apte à traduire ce que l'on entend généralement par "vérité logique" et "conséquence logique". Je tenterai de montrer dans cette intervention que cette nouvelle question est l'expression de l'exactitude à laquelle la philosophie de la logique est parvenue grâce aux progrès de la logique mathématique, laquelle a également permis de préciser les termes du débat portant sur la première question. On verra que la réponse à la première question ne détermine pas totalement le choix d'une logique, et surtout on tentera de montrer la complexité des positions contemporaines, qui dépendent à la fois des croyances philosophiques et de la compréhension des résultats de la logique mathématique. Je tenterai cependant de ne pas me réfugier derrière cette complexité en expliquant ce qui pourrait guider ma philosophie de la logique. [haut]

Après avoir rappelé les termes traditionnels du débat sur la "dichotomie observation-théorie" tel qu'il s'est développé dans la tradition post-néopositiviste, on proposera une façon différente d'aborder la question de comment la théorie physique dépasse la sphère de la connaissance perceptive ordinaire. En s'appuyant notamment sur les travaux de Duhem, Koyré, Husserl et Cassirer, on essayera de montrer que l'opposition fondamentale qui est à l'oeuvre au sein de la connaissance de type physico-mathématique n'est ni l'opposition entre un langage observationnel et un langage théorique (empirisme logique), ni celle, fondée sur la structure contingente de la perception humaine, entre les entités observables et les entités inobservables (van Fraassen). En revanche, on insistera sur le dualisme entre, d'une part, la sphère de la sensibilité dans son ensemble (même élargie pour inclure les actes perceptifs comportant l'emploi d'instruments d'observation) et, d'autre part, les idéalisations physico-mathématiques. Cette opposition appellera une analyse du caractère propre de l'activité de mesure vis-à-vis de la perception et de son rôle de "pont" entre le monde de la perception et les idéalisations physico-mathématiques. La théorie physique apparaîtra ainsi comme un processus d'objectivation fondé sur la quantification, processus qui prolonge les activités objectivantes de la vie pré-scientifique grâce à l'introduction d' "invariants" d'ordre supérieur, auxquels correspond dans la sphère des pratiques scientifiques l'emploi méthodique de classes d'équivalence d'instruments de mesure. Les instruments de mesure seront, par conséquent, définis comme "objets objectivants". Ces considérations demeureront neutres vis-à-vis du problème du réalisme scientifique, dont elles constituent une analyse préliminaire. [haut]

La conférence vise à expliciter les enjeux sous-jacents à la théorie de la quantité exposée dans la partie III des Principles of Mathematics (1903). Présentée par Russell lui-même comme une "concession à la tradition", cette doctrine est néanmoins importante pour au moins deux raisons : elle éclaire la discussion sur les fondements de la géométrie entre Russell et Poincaré ; elle permet de nuancer la conception selon laquelle le logicisme russellien ne serait que le prolongement du mouvement d'arithmétisation de l'analyse.

Nous soutiendrons que la théorie russellienne est la synthèse de trois types de travaux différents : la doctrine idéaliste, post-hégélienne, de la quantité; les critiques que Meinong adresse aux néo-kantisme dans son ouvrage Über die Bedeutung des Weberschen Gesetezes (1896) ; la construction d'une métrique à partir des transformations projectives entreprise par Klein dans Über die sogennante nicht-Euklidische Geometrie (1871). Les trois influences pointent dans la même direction : une rupture avec les théories néo-kantiennes de la grandeur et leur distinction liminaire entre quantités intensives et quantités extensives, et l'élaboration d'une nouvelle conception de la grandeur mesurable.

L'importance de ce dernier point sera souligné par une analyse du statut conféré par Russell à la géométrie métrique. Se fondant sur sa théorie de la grandeur mesurable, le philosophe distingue en effet deux types de géométrie métrique : une théorie mathématique de la distance, qui n'a aucun compte à rendre à l'expérience ; une théorie empirique de la divisibilité, qui porte sur l'espace environnant. La prise en compte de cette distinction, et de ses raisons d'être, est indispensable à une appréciation balancée de la confrontation entre Russell et Poincaré. [haut]

This presentation deals with one of the basic philosophical questions in modern cosmology if the so-called "Anthropic Principle", considered as an alternative to the classical teleology of creation, can be an adequate explanation of the evidence that our universe is "fine-tuned" for the emergence of life and consciousness. The main problem with this principle is not its presumed teleology, as it is sometimes wrongly understood, but quite the contrary: its intention to avoid all teleological explanations by including the existence of many universes ("multiverse") into extended cosmological models. After having compared logical and cosmological many-worlds concepts, this investigation reaches the conclusion that the ontological reality of the "multiverse" is even a more problematic presupposition than some carefully revised version of teleological and/or holistic concept of causality would be. This in itself does not imply the classical theistic creationism, since it also yields a possibility of pantheistic explanations of the emergence of life and consciousness in the universe.

The older version of this paper (under the same title) was published in the journal Acta Analytica (Vol. XVII, No. 28, 2002) and it is available also on-line in the author's home page: http://www2.arnes.si/~mursic3/Anthropic_Principle.htm
[haut]

The early history of 19th century symbolic logic is not a story of immediate success. It lasted more than fifty years from its first formulation in George Boole's The Mathematical Analysis of Logic (1847) that it attracted wider interest in circles beyond the small group of logicians who regarded logic as a calculus using it as the basis of mathematics and a scientific universal language. The lecture surveys the original motives of early mathematicians in Great Britain and Germany in the second half of the 19th century to formulate logical systems according to the algebraic model, thereby deviating from the standard view of logic in philosophy. Hints are given to the reasons of the fact that the slow way to dominance of this and similar kinds of logic was only accelerated in the early 20th century.

C’est désormais un lieu commun d’assimiler la fonction de croyance d’un agent rationnel à une fonction de probabilité. Du point de vue de la logique philosophique, le principal avantage de cette assimilation est de fournir un cadre formel bien balisé pour étudier les phénomènes liés à la notion de croyance. Le plus important de ces phénomènes est celui de la dynamique des fonctions de croyance : les croyances évoluent, se modifient, peuvent devenir des certitudes ou même être abandonnées. Le problème est donc de décrire la dynamique des changements de fonctions de probabilité.

Une telle dynamique élémentaire a été proposée dès le 18e siècle par Bayes. Il s’agit de la conditionalisation. Lorsqu’un agent dont la fonction de croyance est assimilée à la fonction de probabilité Pr découvre que la proposition A est vraie, sa nouvelle fonction de croyance est telle que pour toute proposition X, Pr'(X) = Pr(X&A)/Pr(A) que l’on note Pr(B/A). D’un point de vue purement mathématique, la conditionalisation n’est qu’une renormalisation après avoir remis à zéro la probabilité des mondes possibles où A est fausse. La conditionalisation et ses variantes ont longtemps été l’unique base pour élaborer une dynamique des probabilités. C’est ce qu’on appelle la mise à jour (updating).

Il y a une trentaine d’années une autre approche a été proposée : la révision. Intuitivement la révision a été introduite dans le cadre de l’évaluation des contrefactuels. Après avoir montré que la probabilité d’un conditionnel Pr(A>B) ne pouvait pas être la probabilité conditionnelle Pr(B/A), David Lewis propose que la probabilité du conditionnel soit la probabilité du conséquent après avoir reporté la probabilité des mondes où A est fausse sur le ou les mondes les plus près où A est vraie. C’est la révision par Imaging. La proposition de Lewis et tous les travaux subséquents ont été produits dans le cadre des probabilités absolues telles qu’axiomatisées par Kolmogorov. Qu’en est-il du processus de révision dans le cadre général où le concept primitif est celui de probabilité conditionnelle ? Contrairement à ce que l’on pourrait croire, révision et probabilité conditionnelle sont incompatibles.

Nous discuterons certains aspects du Mémoire de Palerme de Poincaré qui ont été mal compris en raison d’une lecture einsteinienne et d’une méconnaissance de l’importance pour Poincaré de la géométrie et du concept d’action. Paradoxalement Poincaré est relativiste bien que ne changeant pas de référentiel. Comme les géomètres, il adopte un point de vue actif sur les transformations, ce qui lui permet de corriger « l’erreur » de Lorentz dans sa définition d’un système globalement en mouvement. L’invariance de l’action, qui est le véritable fil conducteur de l’article et joue le rôle du temps propre d’Einstein, lui permet d’obtenir à la fois une dynamique lagrangienne relativiste (qu’il appliquera à la gravitation) et une formulation naturelle du confinement de l’électron supposé étendu (la « pression de Poincaré »). Poincaré livre dans son Mémoire une théorie physique relativiste centrée sur le problème de la matière (en liaison avec l’électromagnétisme), dont l’approche est extrêmement moderne. Comprendre sa démarche permet aussi de mieux situer celle d’Einstein, qui apparaît motivée par le problème de la lumière (en liaison avec les quanta). [texte intégral]

For many, the Scientific Revolution of the 17th Century represents one of the important sources for the advent of the modern world. The standard historical narrative sees this revolution, especially its rejection of Aristotelian natural philosophy, as representing the birth of modern science, a birth necessarily accompanied by a radical rupture in Western thought. Related interpretations of this revolution also see it as an emancipation of science from the clutches of theology so that science, freed from religious domination, is now able to flourish. There is no individual who is more clearly identified with these views of the Scientific Revolution than Galileo. The legend of Galileo's encounter with the Inquisition is a powerful and persistent feature of the modern world's understanding of what it means to be modern. Galileo has come to represent modern science's fighting to free itself from the suffocating embrace of blind faith, biblical literalism, and superstition. The legend of Galileo the scientist sees him as breaking with the scientific presuppositions of Aristotle and thereby helping to lay the foundations of modern science. In many ways, Galileo has become an icon of modernity. In my lecture, I will challenge this iconic image of Galileo, arguing that Galileo's science and his understanding of the relationship among the empirical sciences, natural philosophy, and theology (including scriptural interpretation) are far less radical than is general thought. Indeed, in many ways, Galileo is a good Aristotelian, and his understanding of the relationship between natural philosophy and theology does not really anticipate a modern distinction between the Bible and the natural sciences.

La représentation intégrale d'un objet à connaître est impossible, sauf à le reproduire à l'identique, ce qui n'a rien à voir avec une connaissance, telle est la thèse de l'écrivain L. Borges dans sa nouvelle "L'avenir de la science", dans laquelle il montre les apories liées à la carte à l'échelle 1:1. La crise de la phonétique expérimentale au début du 20e siècle en apporte une démonstration très concrète : l'invention des machines à enregistrer le son (T. Edison), au lieu de faire pénétrer dans l'essence de la langue, n'ont fait que produire un désespoir total devant l'impossibilité de rendre compte de toutes les nuances des sons. Seul un changement de point de vue (passer du "modèle" comme chose à imiter au "modèle" comme objet construit dans et par une théorie) a permis d'élaborer une théorie de la connaissance qui abandonne le fantasme empiriste de la représentation totale. Les étapes du refus de Saussure en URSS dans les années 1920-1950 sont un bon exemple des résistances occasionnées par ce changement radical de perspective.

Les théories actuelles de la substance se fondent soit sur la composition de la substance soit sur ses caractères, identité et indépendance. Les théories de la composition, qu'elles évoquent les propriétés ou le pur particulier ne parviennent pas à rendre compte ni de la particularité ni de l'unité de la substance. Les théories qui caractérisent la substance par son identité ou son indépendance permettent de caractériser, de diverses manières, la substance, mais n'expliquent pas suffisamment les raisons de cette indépendance ou de cette identité. Je me propose de montrer qu'une conception de la substance comme forme en acte parvient à surmonter ces difficultés.

Les archives des sciences en France sont en grande partie des archives méconnues pour diverses raisons, tenant sans doute au développement tardif de l'histoire des sciences et des techniques comme discipline autonome, mais aussi sans doute à une méconnaissance de ce que sont ces archives.

Dans un premier temps, on donnera une définition des archives des sciences, à la fois du point de vue de leur objet et de leur provenance, en insistant sur le statut juridique de ces archives qui peuvent, suivant les cas, être des archives publiques ou des archives privées.

On présentera ensuite rapidement un état des fonds actuellement conservés au niveau national, pour la période postérieure à la Révolution française : archives ministérielles, archives des grands organismes de recherche, archives des établissements d'enseignement (universités et grandes écoles), archives personnelles des scientifiques.

Une attention plus particulière sera portée au problème posé par la collecte des archives les plus contemporaines et à la diffusion des instruments de travail existants en direction des chercheurs.

[haut]

Ces dernières années les logiciens modaux se sont familiarisés avec les idées de base de la logique hybride : de nos jours la plupart des chercheurs actifs en logique modale (et la plupart des chercheurs dans ce domaine voisin qu'est la logique de description) sont familiarisés avec l'idée de "nommer" des points en utilisant des nominaux, et sont conscients que l'origine de cette idée remonte aux travaux d'Arthur Prior dans les années 1960.

Malgré cela, le travail de Prior dans ce domaine reste largement ignoré et n'est pas discuté. C'est surprenant car, comme je vais le discuter, l'hybridisation joue un rôle dans le travail de Prior qui est à la fois central et problématique pour sa philosophie. L'exposé sera largement basé sur l'article : "Arthur Prior and Hybrid Logic", Patrick Blackburn, Synthese, 150: 329-372, 2006.

[haut]

Dans cet exposé, les relations entre la métaphysique et l'épistémologie apparaîtront à travers l'analyse de la question suivante: «Est-il possible de connaître le monde? » Nous montrerons dans quelle mesure les problèmes de l'induction et de la contingence du monde imposent des limites à toute connaissance possible sur le monde.

Par l'utilisation des logiques épistémiques et de la contingence, nous produirons une logique dans laquelle deux ensembles d'opérateurs de ces logiques respectives interagissent de façon telle qu'une réponse au problème peut être esquissée. Nous combinerons ainsi deux formalismes distincts par le biais de fusions: l'un pour la connaissance et l'autre pour la contingence, dans le but d'en examiner les conséquences et en vue d'une explication des relations d'application entre les états mentaux et le monde. Le concept de croyance et ses combinaisons avec les concepts de connaissance et de contingence seront également une cible d'étude. Sur la base du cadre développé avec la fusion de la connaissance et de la contingence, nous essaierons de montrer dans quel sens il est possible de croire que le monde est ou sera dans un état particulier. L'outillage utilisé en vue d'une étude de ce genre est la fusion formelle des systèmes logiques, une fois encore. Nous fusionnerons les logiques de la croyance avec les logiques de la connaissance et de la contingence dans le but d'analyser un problème en vertu duquel la connaissance et la croyance sont un seul et même concept. Une réponse aux problèmes « Est-il possible de connaître le monde? » et « Quelles sont les limites de la connaissance » est spécifiée du point de vue proposé par ce genre d'outillage et ce genre de cadre.

Les protéines ont été étudiées à partir du 19° siècle par des méthodes chimiques diverses (chimie analytique, organique, physico-chimie, chimie théorique). Ces corps de méthodes, qui correspondent chacun à l'outillage que se sont construit différentes sous-disciplines chimiques, ont principalement été développés sur des objets moléculaires moins conséquents que les protéines, avant d'être par la suite appliqués à l'étude de ces dernières. J'ai tenté, au cours d'un travail de doctorat, de comprendre l'application à ces objets moléculaires spéciaux que sont les protéines (macromolécules biologiques) de concepts et pratiques de chimie théorique et computationnelle. Ce processus particulier de reconfiguration du champ de la chimie des protéines, qui a été suivi entre 1960 et 1990, semblait notamment intéressant puisqu'il permettait de discuter, sur un exemple particulier, de l'impact de l'ordinateur sur les sciences dans la seconde moitié du vingtième siècle.

Je tenterai, au cours de mon exposé, de présenter les principales motivations ayant conduit à la réalisation de cette enquête, le contexte, vis-à-vis des historiographies de la biologie moléculaire et de la chimie, dans lequel ce travail a été inscrit, les questions principales que ce thème d'étude posait et certains des résultats ayant été obtenus. Je discuterai ainsi du caractère interstitiel du thème retenu, de l'intérêt d'une étude historico-épistémologique d'outils théoriques (modèles, simulations), de la situation épistémologique particulière du champ de recherches choisi pour l'investigation (application théorique problématique dans le cadre d'une puissance de calcul limitée en pratique), des collaborations scientifiques, nouées autour de calculateurs, ayant conduit à l'adaptation d'une méthode de simulation née en physique statistique pour la détermination des propriétés dynamiques des protéines, du renouvellement de la description de l'objet protéique que ces recherches ont accompagné, et de la façon dont ce pôle émergent d'études théoriques a pu être intégré au champ déjà constitué de la chimie des protéines. J'évoquerai enfin, pour conclure, l'une des directions de recherches ouvertes par ce travail, autour du contexte institutionnel ayant présidé à certains des développements scientifiques analysés précédemment.

Le programme des années précédentes:

• 2002-2003
• 2003-2004
• 2004-2005
• 2005-2006