memoires - Archive ouverte en Histoire etPhilosophie des Sciences et des Techniques

 







DUMAS & TEL
sont deux plateformes d'archivage en ligne déclinées à partir du portail HAL du CCSD (Centre pour la Communication Scientifique Directe - UMS3668).

 

Différent de l'auto-archivage réalisé par les auteurs, un dépôt sur ces plateformes fait l'objet d'une validation par une commission en relation avec l'établissement de soutenance et est pris en charge par une instance mandatée (Service Commun de la Documentation ; Direction de l'Appui à la Recherche ; Bibliothèque ; ...). 

Si un mémoire déposé dans DUMAS, une thèse ou une HDR (Habilitation à Diriger des Recherches) déposée dans TEL n'apparaît pas dans cette archive, n'hésitez pas à nous le signaler, nous apposerons le "tampon HIPHISCITECH" pour que le document intègre cette collection : contact@hiphiscitech.org

 
DUMAS
Plateforme de "Dépôt Universitaire de Mémoires Après Soutenance"
-> Lien vers DUMAS

Derniers mémoires recensés

<div><p>Guidé par une approche généalogique de l'histoire culturelle et de la micro-histoire, ce mémoire tente de retracer la vie de la promotion de l'École de Préparation des Professeurs de Français à l'Étranger (EPPFE) de 1942-1943 à partir des archives de l'école. A la découverte des Maringouins (nom de promotion), ce mémoire met en lumière l'organisation de la solidarité sous l'occupation nazie. Ce travail s'intéresse à l'histoire de son objet d'étude à différentes échelles (nationale, institutionnelles) afin de rendre compte des contextes et des contraintes dans lesquels évoluaient les étudiants de l'EPPFE. Cette recherche vise à mettre en lumière la vie de l'école et la vie étudiante, cette dernière étant principalement circonscrite à l'école. Ce mémoire analyse les rapports entre les étudiants et la hiérarchie ainsi qu'entre les étudiants eux-mêmes. Cette recherche aborde la question de la diffusion du français sous l'occupation nazie. Enfin, elle met en évidence les stratégies de fabrique d'une institution.</p></div>

Continuer la lecture Partager

En 1750 et 1751, une campagne hydrographique est réalisée dans le golfe de Gascogne à la demande du Dépôt des cartes et plans de la Marine. Cette campagne a pour but de vérifier et de corriger des cartes marines déjà publiées de la même région. Pendant la mission, plus de 350 sondes à plomb suiffé sont relevées dans le golfe afin de mesurer la profondeur de l’eau et pour lever des échantillons du fond marin à différents points. En étudiant les diverses archives provenant de cette campagne, la chaîne de production des savoirs hydrographiques en jeu au XVIIIe siècle est exposée et déconstruite. Elle englobe chaque étape dans le processus de construction de cartes marines, de l’émergence d’un besoin aux travaux sur le terrain et à leur utilisation finale. Les archives contiennent également les données hydrographiques brutes récoltées pendant la mission. Une méthodologie pour le traitement et l’analyse de ces données hydrographiques historiques est proposée et détaillée. La chaîne de traitement passe par la transcription des données des sources archivistiques à leur standardisation et classification selon des données de référence. Les données historiques ainsi traitées sont ensuite comparées et analysées par rapport à des données actuelles équivalentes. La méthodologie développée implique l’utilisation d’outils en humanités numériques, surtout pour la visualisation via la mise en carte des données historiques traitées.

Continuer la lecture Partager

La question traitée est celle de l’utilisation des techniques du cinéma dans la représentation de certaines catégories du discours scientifique, plus particulièrement celles qui émergent avec la naissance, puis le développement de l’océanographie au 19ème siècle. Cette problématique sera abordée sous l’angle d’une histoire des techniques d’une part, et son déploiement en relation avec la construction du récit scientifique, d’autre part. Cette histoire des techniques, contrairement à ce que pourrait être une historiographie générale des objectifs et des pratiques du cinéma scientifique, prendra appui sur un élément particulier, exemplaire de la relation entre culture populaire et culture savante, puisqu’il s’agit des représentations des mondes sous-marins au cinéma. Son déploiement se fera à partir des premières recherches et expérimentations en photographie sous-marine (Louis Boutan) et des études sur le mouvement des êtres vivants dans l’eau (Étienne-Jules Marey) pour aboutir à l’invention d’un genre cinématographique à part entière, mêlant aventures marines et représentation de la vie dans les océans, dont Jacques-Yves Cousteau et Hans Hass seront les principaux représentants au tournant des années 1950.

Continuer la lecture Partager

Après avoir été effrayé à l’idée de voyager par plaisir en raison de la connotation guerrière de cette dernière mais également d’une peur des reliefs naturels, une nouvelle perception renverse à la fin du XVIe siècle cette pensée. La conception utilitaire du voyage prend l'ascendant au cours du siècle suivant, avec la possibilité d'apprendre et de se forger une culture personnelle jugée essentielle aux nobles de cette époque. Cette conception évolue à nouveau grâce à l'influence des Lumières et de nombreuses découvertes scientifiques ou philosophiques du XVIIIe siècle. La pratique voyageuse est maintenant comprise comme un moyen de connaître la terre, de partager les savoirs pour une plus grande égalité. Dans ce contexte, les scientifiques sont devenues des acteurs centraux, notamment en se rendant directement sur les lieux à expertiser. Ainsi, en plus d'une large publication d'imprimés de relation de voyage fait par des nobles en mission diplomatique ou dans la réalisation de leurs Grands Tours, se développent en parallèle des mémoires scientifiques tirés de leurs voyages. Dans la même période, un nouvel acteur dans le chaînon de l'imprimerie vient bouleverser l'ordre établi au siècle précédent, les périodiques. C'est avec ce nouveau support que les savants-voyageurs ont diffusé non seulement des extraits de leurs mémoires mais également des lettres, des synthèses et des questionnements portants sur les avancées scientifiques. Dans ce microcosme où vivent savants et acteurs de l'impression, de nombreux d’échanges et interactions s’étiolent, tels que des demandes d'instructions spécifiques ou d'aide particulière pour récupérer divers échantillons provenant d'une région lointaine. Cet ensemble se représente également à travers le carnet, un outil essentiel à la sauvegarde des pensées du voyageur qui le suit en toutes circonstances au cours de ses trajets. C'est avec cette source que ce mémoire se propose de retracer la méthodologie d'un savant-voyageur au tournant du XVIIIe siècle en la personne du chevalier Déodat de Dolomieu. Au travers de ses carnets se dévoile les traces de sa pensée savante et des évolutions de cette dernière au cours de ses pérégrinations, permettant la reconstruction d'une méthodologie propre à ce dernier. De même, elle permet la sauvegarde des humeurs de son propriétaire au cours de ses trajets mettant en lumière sa perception de la pratique voyageuse. Enfin, ce même objet se révèle être l'outil le plus essentiel à la propre compréhension de sa conception aux yeux de son propriétaire, ainsi que de pouvoir distinguer si cela est réellement nécessaire les propriétés entre une relation de voyages pour son plaisir et celui d'une relation savante faite pour autrui.

Continuer la lecture Partager

L’objet de ce travail de recherches est de s’interroger sur l’influence de la religion protestante sur le développement des idées entre le XVIe et le XVIIIe siècle en Europe du Nord en étudiant notamment les relations entre le mouvement des Lumières et le christianisme. Dans un premier temps, ce travail s’intéressera à l’histoire du protestantisme, et essayera de montrer l’existence d’un lien entre la manière de penser des protestants et le rationalisme. Le catholicisme et la position de l’Église catholique vis-à-vis de l’effervescence intellectuelle et du progrès scientifique aura également une grande place dans cette étude. Bien que le progrès scientifique et culturel devînt de plus en plus gênant pour l’Église, il sera rappelé que certains catholiques jouèrent bel et bien un rôle dans le développement des idées de l’époque. Enfin, l’objectif sera de comprendre dans quelles mesures l’héritage des conflits religieux et les théories du XVIIIe siècle sur la religion et sur la tolérance religieuse menèrent à la déchristianisation puis à la laïcisation des pays européens.

Continuer la lecture Partager

Le mémoire considère un groupe de travail oeuvrant collectivement à la fabrication d'une pirogue : au-delà de l'activité technique et de la chaîne opératoire, il présente l'organisation du groupe (par encastrement du psychologique dans le social et le physique) ainsi qu'une vision d'ensemble des modes de production scientifiques. Le terrain a été réalisé en Guyane française, dans l'ethnie Djuka.

Continuer la lecture Partager

 
TEL
Serveur de "Thèses en Ligne"
et HDR
-> Lien vers TEL

Dernières thèses ou HDR recensées

Le but de notre thèse est d'analyser la production de discours concernant les paradoxes par les intellectuels occidentaux. Ceux-ci seront nos sujets d'étude. Un texte ne sera jamais lu pour lui-même, dans l'absolu, mais sera, au contraire, toujours considéré en tant qu'il est interprété par un tel sujet. C'est la donnée d'un texte et d'un sujet qui constituera un paradoxe. Dans ce cadre, le paradoxe est pour nous un énoncé écrit ou oral présentant de façon assertive une situation concrète facilement compréhensible : même si les sujets ne s'accordent pas sur le sens profond à donner à cet énoncé, nous demandons que sa signification superficielle leur soit immédiatement accessible. Il est également un phénomène cognitif : quand il est présenté à un sujet, il déclenche automatiquement chez lui un phénomène réflexif important suscité par un sentiment de paradoxal, une forme de perplexité. Celle-ci naît de ce que malgré une satisfaction intellectuelle du sujet (traduisant une analyse convaincante du paradoxe), celui-ci éprouve une insatisfaction cognitive (traduisant un conflit des représentations concernant le paradoxe). Le paradoxe est enfin un phénomène social par le rôle des discours qu'il suscite, qu'il permet ou qu'il nécessite. Précisément, nous définirons le paradoxe comme une histoire simple et brève (dont l'interprétation est pourtant grandement variable entre les individus) recelant une contradiction, source de perplexité, c'est à dire une opposition forte parmi les représentations suscitées par l'histoire. Notre thèse vise à montrer que les paradoxes, tels qu'ils sont interprétés par les sujets, se répartissent en trois classes engendrant des réactions spécifiques chez les sujets, aussi bien sur le plan psychologique ou cognitif que socio-historique. Nous basons cette classification sur une analyse logique à gros traits de l'histoire du paradoxe, ainsi que sur la notion d'errance (qui marque la séparation entre satisfactions intellectuelle et cognitive). La première phase logique de l'histoire d'un paradoxe est la présentation d'une situation, servant de point de départ, d'hypothèses, à toutes les considérations exposées ultérieurement. Si ce point de départ suscite chez le sujet des représentations contradictoires, il y a errance dans les représentations du monde (cosmos, en grec) par le sujet, et le paradoxe sera qualifié de paracosmie. La seconde phase logique d'une histoire paradoxale, est le raisonnement qui conduit le sujet d'une conception éventuellement non problématique à un constat contradictoire. Cette phase s'apparente à une démonstration : elle est constituée d'étapes dont le principe est (intellectuellement) admis par le sujet. Si cette phase introduit un glissement significatif de représentations cohérentes à des représentations contradictoires (à tort ou à raison), il y a errance dans le raisonnement (logos, en grec) du sujet, et le paradoxe sera qualifié de paralogie. Enfin, dans une troisième phase logique, le sujet tire les leçons de la phase démonstrative, élabore ses conclusions. S'il se fourvoie entre ses moyens logiques et les attendus qu'il leur confère ou si, simplement, il ne peut parvenir à aucune conclusion raisonnable, il y a errance dans la phase conclusive, et le paradoxe est une paradoxie (ce terme souligne que l'errance est de l'ordre de l'opinion, doxa en grec). Les trois parties de notre thèse reprennent ces trois classes. Pour chacune, il s'agit de la décrire, c'est à dire de rendre opératoire notre classification, et d'exposer ses traits particuliers, c'est à dire de montrer la pertinence de notre partition. II. Les dilemmes logiques II.1. Présentation des dilemmes Les dilemmes sont clairement attestés depuis l'Antiquité. Eubulide (4e s. AEC) propose ainsi le célèbre paradoxe du Menteur souvent présenté à l'époque moderne sous la forme du paradoxe d'Epiménide (le célèbre Crétois Epiménide dit "tous les Crétois sont des menteurs"). L'étude de ce dernier souligne que l'existence d'un paradoxe dans un énoncé dépend considérablement de la lecture qu'en fait le sujet : si celui-ci l'entend précisément, alors l'énoncé n'est pas paradoxal puisque la négation de la phrase épiménidienne est "certains Crétois ne mentent pas", ce qui est vrai, tandis que si le sujet l'entend de manière imprécise, la négation sera entendue (sensiblement) comme "tous les Crétois disent vrai", qui entretient le paradoxe. Nous insistons également que même quand le paradoxe semble être "résolu", ici par une précision sémantique, ceci ne constitue pas un traitement de fonds : le cas où un seul Crétois serait en train de parler fait resurgir le paradoxe. Les dilemmes présentent en eux-même un intéressant paradoxe, que nous nommons le "paradoxe des paradoxes" : Ils semblent parfois n'avoir intrinsèquement pas de solution, ce à quoi pourraient répliquer de nombreux penseurs "on ne peut dire cela, voyez ma solution,…" et de là une quantité de "solutions" fort différentes,… qui pour trancher nécessitent de reprendre le paradoxe à zéro. Chaque solution, considérée entre autres, semble éclairer toujours moins le paradoxe alors que, considérée seule, elle semble le résoudre. II.2. Les différents types de dilemmes II.2.ii à iv. La structure des dilemmes Les dilemmes logiques, en première analyse, sont les paradoxes basés sur une autoréférence (une des conclusions intermédiaires de la démonstration du paradoxe fait référence à elle-même) en général apparente. Cette autoréférence n'est pas toujours directe : elle peut nécessiter un certain nombre d'intermédiaires, de relais (A dit B vraie et B dit A fausse, C se dit fausse sachant D, etc.). Par ailleurs le nombre et la qualité de ces relais dépendent toujours du niveau d'analyse auquel on décide de se placer ; il n'est pas intrinsèque (faut-il expliciter le modus ponens ou le considérer comme évident, etc.). La modalité de l'autoréférence n'est pas seulement affirmative (A dit B vraie, resp. fausse), elle peut également concerner une croyance ou une connaissance, un doute, un devoir, une promesse ou un serment, etc. Cette modalité n'est pas nécessairement déclarative mais peut aussi résulter du sens donné à certains mots ou du contenu de certains concepts ("Dieu est omnipotent mais peut-il créer un roc que nul (y compris Lui) ne puisse soulever ?"). Si on considère la modalité "est démontrable" le théorème d'incomplétude de Gödel est un tel dilemme (il se ramène pour l'essentiel à "cette proposition n'est pas démontrable"). Si le sujet possède l'intuition du théorème de Löb, alors la contradiction est seulement légère, et il n'y a pas dilemme ; dans le cas contraire, elle est forte et le paradoxe est proche du Menteur, tout en ayant la force d'un théorème mathématique. De plus, l'autoréférence n'est pas nécessairement donnée immédiatement : elle peut nécessiter un traitement volontaire de décodage (traduction, anagramme, symbole, calcul ou démonstration, etc.). Toute la performance de l'énoncé peut être convoquée pour en faire un paradoxe, et ce par un procédé qui n'est pas nécessairement explicitement fourni au sujet. Enfin, nous insistons que cette autoréférence n'est pas seulement négative. Les adages de Buridan (comme "cette phrase est vraie") engendrent également des dilemmes. La contradiction que recèlent les dilemmes n'est donc pas tant logique que pragmatique : elle résulte d'une opposition de conclusions. Affirmer que les phrases dont la signification repose sur une autoréférence n'ont pas de sens ne peut être, en soi, une solution aux dilemmes. En effet leur modalité d'autoréférence peut être renforcée de façon à retrouver le paradoxe (le Menteur et l'Adage peuvent se renforcer en "cette phrase n'a pas de sens" ou "cette phrase a un sens"). II.2.v. Les solutions par reformulation non problématique Dans la mesure où la paradoxalité d'un énoncé dépend de son interprétation, nombre de dilemmes sont résolus en les interprétant d'une façon non problématique (l'Epiménide peut être entendu précisément). Cependant ces solutions s'avèrent toujours fragiles : le paradoxe peut généralement être ressuscité soit par une reformulation de la reformulation (reformulations successives) soit par une reformulation concurrente (reformulations parallèles). III.3. Aspects historiques de la discussion des dilemmes L'opinion est dominante que la discussion des dilemmes est continue depuis l'Antiquité ; ceci est doublement faux. D'une part, seules trois époques historiques de discussion apparaissent en Occident : l'Antiquité grecque (du 5e s. AEC au 3e s. AEC, peut être au-delà mais en tout cas pas plus tard que le 2e ou 3e s. EC), le Moyen âge scolastique (de la fin du 12e s. au milieu du 15e s.) et le 20e s. Entre ces époques certains paradoxes ont pu être sporadiquement évoqués sous forme d'énigmes, mais il n'existe aucune trace d'une discussion écrite construite. D'autre part, la discussion à chacune de ces époques est séparée des discussions antérieures qui apparaissent d'abord incommensurables : le débat commence toujours quasi tabula rasa. III.3.ii. Les insolubles au Moyen Âge Notre notion de dilemme inclut essentiellement ce que les penseurs médiévaux appelaient "insolubile". Dans le cadre des formidables investigations logiques de cette époque, ceux-ci constituent une question à part, d'une grande importance théorique. Ils sont envisagés généralement froidement comme un type particulier de "sophisme". L'angle initial d'étude n'en fait pas une question philosophique centrale. La première approche théorique médiévale aurait été celle de la "cassatio" (cassation, annulation) qui décrétait simplement les insolubles nuls ou vides de sens : celui qui profère un Menteur ne dit rien, ou : il est impossible de proférer (réellement) un Menteur. Très vite cette solution, qui était commune d'après les sources, est tournée en ridicule et se développent des solutions de "restrictio" (restriction) dont l'objectif est de délimiter l'usage correct du langage. Les insolubles découlent selon ces analyses d'un mauvais usage des règles des obligations (du débat universitaire) ; selon les cas : un tout ne peut faire référence à une de ses parties, une proposition ne peut faire référence qu'à une proposition antérieure, le sens d'une proposition est la cause de son adéquation au monde, il faut distinguer deux sens de la modalité d'assertion, etc. Ces solutions s'avèrent toutes trop fortes et/ou trop faibles : elles ne peuvent bloquer certains insolubles (généralement les Menteurs à relais) ou, au contraire, bloquent jusqu'à des propositions élémentaires ("toute proposition est vraie ou fausse"). Une nouvelle approche devient nécessaire ; elle sera lancée par Bradwardine qui refuse de se placer au niveau du paradoxe et décide de l'étudier systématiquement d'une perspective métalinguistique. Son analyse, pour la première fois dans cette discussion, se fonde sur une théorie de la vérité. Cette approche est principalement développée par Roger Swyneshed, Heytesbury, et, dans une moindre mesure, Albert de Saxe. Ces théories sont des théories de la vérité par correspondance (le vrai et le faux sont définis en termes d'adéquation à ce qui est). Un trait marquant de la discussion médiévale est la référence constante à Aristote et à sa solution, dite secundum quid et simpliciter, qui ne doit pas faire illusion ; ce terme est toujours employé comme référence d'autorité : chaque auteur lit sa solution chez le Stagirite, en particulier les plus novateurs tels que Bradwardine. III.3.iii. Le pseudomenon et les antinomies antiques Le paradoxe du Menteur apparaît en Occident comme une expérience de langage développée par Eubulide de Milet (4e s. AEC), philosophe de l'école de Mégare. Cette école, dans la lignée des Eléates, développe de nombreux arguments servant d'exemples à la réflexion rationnelle ou de contre-exemples à certaines thèses. Leur œuvre et plusieurs de leurs objectifs théoriques, dont les études logiques, seront prolongés par les stoïciens. Le paradoxe d'Epiménide, s'il se réfère bien à une évocation par saint Paul d'une célèbre formule d'Epiménide de Cnossos (fl. 7e-6e s. AEC), parfois compté parmi les Sept Sages de l'Antiquité, n'est cependant pas attesté, en tant que paradoxe, avant l'époque moderne. La première trace écrite d'une discussion d'un dilemme logique remonte à Aristote (vers 330 AEC). Cet auteur suggère une discussion antérieure. Lui-même, malgré des interprétations diverses de sa contribution, propose une reformulation fondé sur une distinction (ou temporelle ou sémantique). Son successeur, Théophraste d'Erèse (fin 4e-début 3e s. AEC), écrit un ouvrage de trois volumes sur la question, ce qui suggère au moins une solution par restrictio. Chez les stoïciens, il semble que le débat sur les paradoxes ait été très important : leur solution sera comptée comme un de leurs principaux achèvements (cf. Lucien, Cicéron). Chrysippe le stoïcien (3e s. AEC), le plus fameux logicien de l'Antiquité aurait écrit deux introductions et quatre ouvrages de plusieurs tomes sur cette seule question. Il semble avoir dépassé la restrictio et avoir traité les dilemmes logiques au moyen de sa théorie de la signification. III.3.iv. Le Menteur moderne Les contributions modernes à la discussion des dilemmes logiques sont principalement produites dans le contexte de la philosophie du langage, et s'intègrent essentiellement à la philosophie anglo-saxonne ou analytique. Malgré quelques traitements antérieurs sporadiques (Peirce au 19e s.), la discussion des dilemmes prend place à la toute fin du 19e avec les paradoxes de la théorie des ensembles, dans un contexte de crise (la "crise des fondements"). Quelques solutions de cassatio sont proposées (dans un fameux débat entre Russell et Poincaré) mais vite écartées. Russell propose successivement diverses solutions de restrictio, dont la théorie des types. En 1925, Ramsey sépare les dilemmes en paradoxes "logiques" et "sémantiques". Au premiers seront appliquées les théories de Russell (simplifiées par Ramsey), qui seront relayées, pour les seconds par la théorie des niveaux de langage de Tarski (1933-1935, c'est la fameuse distinction langage/métalangage). Ces trois contributions constituent l'état classique de la discussion ; il s'imposera pendant une trentaine d'années dans la discussion et est toujours largement accepté hors de celle-ci. Durant ce laps de temps, la solution tarskienne, qui pouvait être lue comme une restrictio, prend toute sa signification de théorie de la vérité. La notion de vérité, sur laquelle de nombreux soupçons (théoriques) s'étaient posés, est pleinement réhabilitée. Vers les années 1960, elle montre de nombreuses faiblesses théoriques et d'autres théories de la vérité prennent sa succession (sans être largement acceptées). L'autoréférence, largement considérée comme incohérente jusqu'alors (mais abondamment convoquée par les sciences humaines), est réhabilitée. Dans les années 1970 se développent, alternativement aux théories de la vérité à niveaux de langage, des théories basées sur l'existence de lacune de valeur de vérité (gap theories, litt. "théories du trou"). Très vite ces théories dérivent vers une évaluation l'extension de la vérité. La discussion entre alors dans une quatrième phase : le calcul de la vérité. La principale contribution dans cette voie sera la théorie de la vérité comme point fixe proposée par Kripke. La discussion moderne présente plusieurs phénomènes remarquables. Tout d'abord, nous relevons une considérable inflation théorique, auteur par auteur, à mettre probablement en parallèle avec le fait qu'aucune théorie ne s'impose durablement. Nous observons ensuite que notre époque est très intéressée par la production théorique des époques précédentes (ou au moins par l'existence de celle-ci). Pour autant, les relations historiques que l'on peut trouver dans les articles de discussion, voire dans certains articles historiques, sont généralement infondées, souvent erronées et parfois proprement fantaisistes, et ce malgré l'existence de travaux historiques de qualité aux même dates. Ainsi : le Menteur n'est pas, historiquement, l'Epiménide et ce dernier n'est pas connu depuis l'Antiquité (saint Paul n'expose pas un paradoxe) ; Epiménide n'est ni un être fabuleux, ni l'auteur du paradoxe ; Occam ne fut pas le chef de file du combat de l'autoréférence ; etc. III.4. Analyse des dilemmes III.4.i. Les principaux traits historiques des discussions des dilemmes Dans les contextes stoïcien, scolastique et logiciste la question des dilemmes apparaît comme importante théoriquement. Dans les trois cas la discussion est portée par des écoles composées de penseurs-artisans nombreux plutôt que de savants-artistes isolés. Dans la discussion, aucun accord sur une solution particulière n'apparaît. Celle-ci est marquée par trois phases principales dans les approches du problème, la cassation des énoncés paradoxaux, la restriction de l'autoréférence et l'élaboration de théories de la vérité, éventuellement suivies par une phase où l'on s'intéresse plus à l'extension de la vérité qu'à sa définition. Dans tous les cas, cependant, la production théorique sur les dilemmes vise toujours leur résolution. III.4.ii. Dilemmes logiques et paradoxies Après avoir étudié les dilemmes par l'exemple, nous montrons qu'ils sont exactement les paradoxies de notre classification. Nous soulignons d'abord que la contradiction des dilemmes est pragmatique : le sujet ne peut résoudre de façon ferme et définitive la perplexité sémantique issue de ces paradoxes. Nous montrons ensuite que ces paradoxes ne sont ni des paracosmies ni des paralogies mais bien des paradoxies. Nous voyons enfin que les paradoxies sont des dilemmes. Nous arguons en conclusion que l'attaque directe de ces paradoxes est intrinsèquement vouée à l'échec en ce qu'elle interdit de les normaliser, d'en faire des phénomènes linguistiques "normaux". III. Les paracosmies III.2. Typologie des paradoxes scientifiques et cognitifs Les paradoxes scientifiques ou, plus généralement, les paradoxes cognitifs sont ceux qui révèlent un conflit entre des faits admis par le sujet. III.2.ii. Les paradoxes affirmants Le cas le plus évident de tels paradoxes est ceux qui explicitent une contradiction entre l'intuition du sujet et les faits tels qu'ils sont présentés par une théorie (confirmée par l'expérience ou au moins tenue pour "vraie" par le sujet). Cette présentation peut prendre la forme d'une observation (p.e. expérimentale, comme dans les paradoxes de la relativité), de la référence à des structures universelles de la pensée (p.e. des principes de symétrie comme dans les paradoxes de l'irréversibilité), d'une démonstration (p.e. dans les paradoxes mathématiques), d'une référence à un système admis (tel qu'une axiomatique). Cette affirmation n'est pas nécessairement forte et n'a pas nécessairement à convaincre le sujet, elle se contente parfois de rappeler un fait connu ou de susciter une croyance déjà lattente. Entre un pôle d'autorité et un pôle de révélation, existe toute une gamme de tels paradoxes. Ces paradoxes soulignent combien des théories apparemment essentiellement techniques baignent en fait dans un substrat culturel extrêmement riche et contradictoire en de nombreux points avec ce qu'elles affirment. Les paradoxes sont largement utilisés pour défendre les conclusions de ces théories contre l'intuition du sujet qui, sinon, les déformerait (à son insu). Pour autant ces paradoxes ne combattent pas nécessairement ces intuitions opposées et, au contraire, les instrumentalisent souvent pour accroître leur force. III.2.iii. Les paradoxes réfutants Les paradoxes scientifiques n'apparaissent pas systématiquement comme des affirmations ; certains sont d'abord la réfutation de conceptions du sujet sur la base d'une expérience de pensée. Les représentations qui sont ici mises en jeu sont donc seulement celles du sujet. Dans ce cadre on sort souvent du champ des sciences pour trouver des paradoxes relevant de l'intuition "quotidienne" (y compris pour des paradoxes présentés sous un habillage technique comme le paradoxe de Simpson). Ces paradoxes réfutent souvent des symétries, des analogies ou des coïncidences établies indûment. Ils montrent combien des concepts centraux et omniprésents se révèlent contradictoires. III.2.iv. Les paracosmies, au-delà de réfutations et affirmations Nous montrons par quelques exemples qu'il existe un continuum de paradoxes entre les deux catégories de paradoxes cognitifs, affirmants et réfutants. En plus de dépendre, comme toute notre analyse, du sujet interprétant le paradoxe et de l'approche qu'il choisit d'adopter, celui-ci peut relever des deux catégories sous des aspects différents : les représentations du sujet ne sont pas données "complices de notre connaissance". Nous définissons finalement les paradoxes cognitifs comme les paradoxes relevant de l'explicitation au moyen d'une expérience discursive d'une antinomie entre "faits" présentés comme des vérités. Ces faits peuvent être de tous ordres, aussi bien factuels (expériences, événement, etc.) que structurels (relations entre objets abstraits). Ils doivent seulement pouvoir être assumés par le sujet, qu'ils émergent de ses représentations, qu'ils soient crus explicitement, qu'ils soient reçus d'autorité ou par une démonstration, etc. Les phases démonstratives de ces paradoxes sont généralement simple et gagnent par là d'autant de force. III.3. Analyse des paracosmies III.3.i. Analyse d'exemples historiques Le premier trait marquant des discussions des paradoxes scientifiques et a fortiori cognitifs est leur extrême éclatement. Ceux-ci ne sont discutés que domaine théorique par domaine théorique, voire paradoxe par paradoxe. Il nous était donc impossible d'étudier l'histoire d'un grand nombre d'entre elles : nous nous sommes limité à observer la discussion des paradoxes cinématiques de Zénon d'Elée et du paradoxe du ciel en feu (dit d'Olbers). Ces discussions montrent notamment les faits suivants. Malgré l'immense variété de leurs interprétations, le sens immédiat de l'histoire du paradoxe est bien lu de la même façon par tous. Dès qu'une solution est perçue par le sujet la difficulté du paradoxe disparaît pour lui au point qu'il lui parraît le plus souvent évident et ce quand bien même les plus grands esprits auraient pu le considérer comme délicat (ceci est vrai aussi bien dans le domaine que de la part de commentateurs, historiens par exemple). Les solutions de ces paradoxes sont toujours la simple expression de la lecture de l'histoire du paradoxe au travers d'une grille de lecture théorique. En particulier les grandes solutions de ces paradoxes suivent l'évolution des grandes conceptions du domaine théorique. D'autre part, chaque penseur tend à lire ses propres questions dans tout paradoxe scientifique. III.3.ii. La pédagogie comme imposition habituelle Nous rapprochons ici le paradoxe de Gallilée de l'énigme enfantine du kilo de plomb et du kilo de plume et d'un équivalent sensori-moteur de ces paradoxes : ils suggèrent qu'une telle énigme est largement employée pour imposer une grille de lecture du "pesant" qui n'est pas (initialement) intuitive. Nous interprétons de la même façon le paradoxe suscité par l'expérience de Müller-Lyer. III.3.iii. Conclusions sur les paracosmies Un lieu commun veut que les paradoxes soient des failles qui permettent, par la critique, le renouvellement des théories. Les faits montrent le contraire : les paradoxes ne précèdent pas les évolutions de leur théorie-cadre, ils les suivent et ne sont qu'accessoirement les contradicteurs des opinions précédentes. Il est notable qu'ils sont généralement diffusés avec une solution. Le discours sur ces paradoxes est toujours marqué par la volonté d'une solution, mais il ne s'agit jamais ici de la trouver directement. Celle-ci, pour les sujets, doit toujours être déduite d'une théorie générale servant à interpréter la petite histoire du paradoxe.Les paradoxes scientifiques ne sont pas toujours discutés pour leur contenu réel mais sont parfois chargés d'une valeur emblématique. Comme les paradoxes classiques de la Mécanique Quantique, ils servent alors de point de départ conventionnel à des discussions théoriques de fond.Le rôle d'un paradoxe peut être d'imposer une grille de lecture (il y a imposition pédagogique) mais qu'il ne tend pas pour autant à combattre (directement) les lectures intuitives opposées, mais bien plutôt à s'appuyer sur elles pour augmenter sa prégnance et donc impact sur le sujet et de là sa persistance et sa propagation (phénomène de retenue pédagogique).Nous montrons enfin que les paradoxes cognitifs correspondent à la classe des paracosmies que nous avons définie. Ils ne rencontrent pas les paradoxies ni les paralogies. IV. Les paralogies IV.1 et 2. Définition et présentation de cas Selon notre approche les paralogie ne sont pas définies (normativement) comme découlant d'une erreur de raisonnement mais comme recélant une errance dans le raisonnement, un découplage entre ce que le raisonnement produit et ce qui en est attendu par le sujet. De plus, nous ne considérons pas de système de déduction normativement fixé mais considérons des étapes de raisonnement découlant de règles admises (à "tort" ou à "raison") par le sujet. Le paradoxe découle de la différence entre la représentation de ces règles et l'idée qu'il s'en fait : il est satisfait intellectuellement, mais insatisfait cognitivement. Les éléments les plus usuels et les plus "sûrs" du raisonnement sont susceptible d'engendrer des paralogies. Ainsi la notion même d'identité et d'individu est problématique comme le montre l'exemple du bateau de Thésée (dont toutes les pièces ont été remplacées au moins une fois). La notion de désignation n'est pas moins problématique comme le montre l'exemple de l'Electre ("Electre ne connaît pas cet homme voilé, mais celui-ci est Oreste, donc Electre ne connaît pas son frère"), discuté sous des formes diverses depuis l'Antiquité. Les prédicats eux-mêmes, toujours vagues, peuvent être sources de paralogies comme le montrent les paradoxes sorites (par exemple "1 est un petit nombre, or un petit nombre plus 1 reste petit, donc 2 est petit, 3 de même,… et 100 est toujours petit"). Sur les exemples élémentaires les commentateurs s'accordent dans une large mesure sur la fausseté de l'argument mis en jeu par la paralogie. Ceci n'est pas le cas général : les paralogies les plus évoluées opposent souvent deux raisonnements entre lesquels se partagent les penseurs. C'est en particulier le cas des paradoxes de Leslie et de Newcomb, actuellement en débat. IV.3. La preuve ontologique de l'existence de Dieu La preuve ontologique de l'existence de Dieu, formulée par saint Anselme au 11e s., et sa discussion, particulièrement à la suite de Descartes (17e s.), montrent tous les aspects d'une paralogie, ce qui en fait l'exemple le mieux documenté.Nous présentons dans notre thèse les grandes lignes de cette discussion. IV.4. Conclusions Le premier point marquant est qu'une paralogie est aussi futile pour certains penseurs qu'elle est cruciale pour d'autres, sérieux voire de premier plan.La discussion voit s'opposer deux "camps" entre lesquels le débat et faible et évolue lentement, voire n'évolue pas du tout. Chacun tend à voir sa position comme évidente (et la développe d'autant moins) et les penseurs de l'autre "camps" comme fous, insensés.La discussion des paralogies ne rencontre pas le domaine expérimentable et reste largement dans l'"invérifiable". Bien que les sujets aient généralement le sentiment que le paradoxe résulte d'une erreur de raisonnement, le débat le concernant ne se place qu'exceptionnellement dans un cadre logique. Le cadre est, au contraire, souvent extrèmement large et utilise des considérations issues de domaines du savoir très variés. V. Conclusion générale V.1.i. Les groupes phénoménaux et classes structurelles Tous les paradoxes que nous avons étudiés rentrent de façon claire dans l'une de nos trois classes à l'exception près des paradoxes de seconde génération qui semblent, à première vue, être des dilemmes logiques mais sont en fait des paracosmies, comme le montre une analyse plus poussée. Notre tripartition est donc opératoire. Les traits que nous catalogons dans cette partie montrent qu'elle est également pertinente. V.1.ii. Vie et survie du paradoxe Tant qu'un paradoxe d'est par résolu de façon satisfaisante par un sujet, il reste vivant. S'il est suffisamment fort et universel, il sera transmis à d'autres sujets. L'universalité découle de la simplicité de son énoncé. Ce qui fait sa force est différent dans les trois cas : pour les paradoxies il s'agit du sentiment de symétrie ou d'identité des "deux" propositions opposées, pour les paracosmies de la différence d'enracinement des théories confrontées, pour les paralogies de la similarité de l'attachement aux règles menant aux conclusions opposées. Corollairement à ce point nous noterons que les paradoxies se distinguent par l'importance que revêt très fréquemment l'investissement du locuteur de l'histoire (au sens linguistique). V.1.iii. Les solutions et les manières de les aborder Les paracosmies apparaissent toujours dans des domaines où un recours expérimental, à une autorité, est, en principe, possible. Pour cela, les chercheurs verront toujours une solution à une paracosmie comme résultat d'une théorie générale. On ne peut donc voir ces paradoxes selon le lieu commun des "remparts contre les préjugés". Ces deux traits les distinguent résolument des autres paradoxes : les paradoxies et paralogies sont, au contraire, attaquées directement, pour elles-mêmes. Par ailleurs, la discussion de nombreuses paradoxies montre un phénomène important de reformulations successives ou parallèles du paradoxe, de réinterprétation de l'histoire, soit pour éliminer soit pour restaurer le paradoxe. La durée de vie de leurs solutions est donc particulièrement faible. Pour les[...]

Continuer la lecture Share

Cette thèse propose une justification pragmatiste de la mécanique quantique. Celle-ci consiste d'abord à dégager les fonctions que doit remplir toute théorie pour permettre aux physiciens de mener à bien leur activité de recherche en microphysique, puis à démontrer que la mécanique quantique est la seule théorie qui remplit exactement ces fonctions. L'approche pragmatiste défendue nous conduit en outre à resituer la description de la mesure dans le contexte de la pratique des physiciens et à mettre ainsi en évidence une rupture entre la phase de la prédiction théorique et celle du constat du résultat de mesure, laquelle délimite les domaines du possible et de l'actuel. Cette approche présente l'avantage de dissoudre le problème de la mesure, sans modifier le formalisme quantique et sans soulever de nouveaux problèmes.

Continuer la lecture Share

Cette thèse prend pour point de départ l'exploration de quelques pratiques chimiques contemporaines en vue d'identifier certains réquisits que devrait satisfaire un concept d'émergence pour être mis en relation avec la chimie. Cette épistémologie distribuée prend appui sur l'histoire de la chimie. Dans cette perspective seront mis en évidence : la dépendance mutuelle des niveaux d'organisation ainsi que celle des relations et des relata, et le rôle constitutif des modes d'intervention dans la définition, toujours ouverte et provisoire, de ce à quoi les chimistes disent avoir affaire. Un détour par l'histoire de la philosophie est alors envisagé pour étudier comment les émergentistes britanniques ont mis en relation la chimie avec l'émergence. L'étude attentive de ces textes est l'occasion d'une mise au banc d'essai de mon étude préliminaire. Nous revenons ensuite aux définitions formelles de l'émergence, et en particulier aux analyses de Kim, en montrant que la clause ceteris paribus sur laquelle elles s'appuient prend un autre sens en métrologie chimique. Cette étude nous permet d'insister sur le rôle et l'importance de deux types de méréologie pour penser l'émergence d'un point de vue formel en tenant compte de la spécificité du travail des chimistes. La thèse envisage enfin de prolonger son enquête en explorant les travaux en chimie quantique et la façon très particulière avec laquelle ils entre-définissent un tout, ses parties et le milieu qui leur est associé. Une mise en relation est alors tentée et ouvre plusieurs pistes : une approche ontologique et pragmatique adaptant à la chimie le concept d'habitude de Peirce repris par Claudine Tiercelin ou celui d' " affordance " proposé par Rom Harré ; une approche pragmatique et transcendantale inspirée des travaux menés par Michel Bitbol en philosophie de la physique quantique ; et, enfin, une approche qui prend en charge les conséquences des transformations chimiques sur les humains et les non-humains, en réintégrant les conditions pragmatiques, socio-politiques, institutionnelles et technologiques de la chimie dans le débat à propos de l'émergence.

Continuer la lecture Share

La Galerie de paléontologie, d’anatomie comparée et d’anthropologie, édifiée au Muséum de Paris durant la dernière décennie du XIXe siècle pour l’Exposition universelle de 1900, se présentait comme un objet démonstratif à visée pédagogique et promotionnelle. Cette construction constituait un enjeu d’importance puisqu’elle devait tout à la fois participer au rayonnement de l’établissement et au progrès des sciences, des arts et des techniques en France. A dessein, le projet constructif fut confié à un architecte à l’acmé d’une gloire internationale, Ferdinand Dutert, concepteur du Palais des Machines, le pendant de la tour Eiffel. Trente et un artistes furent appelés à œuvrer sur cet édifice. De fait, l’étude du décor de la galerie occupe une part substantielle de cet essai : la façade de la galerie constituant une sorte de métonymie des Salons au tournant des années 1890, son étude permet d’appréhender les pratiques artistiques au Muséum qui, à la fin du siècle, étaient artificiellement attachées à la méthode supposée scientifique de Barye. Enfin, tel qu’il fut projeté, ce musée-signalétique devait se présenter comme le nouveau visage du Muséum : un établissement à la fois d’une haute valeur patrimoniale et à la pointe de la modernité, dédié à l’histoire des sciences comme aux derniers développements des savoirs scientifiques et à leur divulgation. Dans un contexte de rivalité locale et internationale, le nouveau muséum, en quête d’identité, fut élevé alors que s’élaboraient dans le monde occidental, les principes du Museum of the future. Au sein de cet essai, nous appréhendons la Galerie de paléontologie, comme l’interprétation française de ce « muséum de l’avenir ».

Continuer la lecture Share

Entre L’Introductoire d’astronomie, première œuvre astronomique écrite en français ca 1270, et une compilation jusqu’alors inconnue des passages astronomiques de L’Image du monde, datant du premier quart du XVe siècle, les traditions astronomiques latine et arabo-latine passent en français par le biais de traductions, d’adaptations, de compilations et de commentaires qui produisent des œuvres liées à l’astronomie luni-solaire du comput (calendriers, almanachs, tables), des textes proposant des modèles théoriques du fonctionnement du monde, fondés sur la tradition mathématique et géométrique, des modes d’emploi d’instruments astronomiques et des traités de la sphère. Les auteurs français doivent donc dire le Ciel et le Monde dans une langue qui manque encore de vocabulaire scientifique et technique spécialisé. Pour y parvenir, ils recourent à divers procédés de création lexicale : emprunt ou calque sémantique à partir du latin, dérivation morphologique ou spécialisation sémantique de mots français relevant de l’usage courant. Il s’agit donc de comprendre comment, de ce foisonnement lexical inhérent à l’adaptation d’un savoir dans une nouvelle langue peut émerger un lexique spécialisé ; mais également d’étudier si notre période voit ce lexique se constituer en terminologie. Par le biais d’une étude de la translatio de l’astronomie en français, d’une édition des œuvres de la période et d’une analyse lexicologique des termes spécialisés ou recevant un sens spécialisé en contexte, ce travail vise à offrir la première étude consacrée à l’astronomie en français à la fin du Moyen Âge, dans le but de contribuer à l’histoire des lexiques spécialisés du français.

Continuer la lecture Share

This dissertation deals with the genesis and the reception of the “theory of characteristics,” a mathematical theory first formulated between 1864 and 1867 by French geometer Michel Chasles (1793-1880). This theory served to enumerate and construct, in a systematic and uniform manner, the conic sections satisfying five given geometrical conditions, without resorting to algebraic computations. This theory was for Chasles the culmination of a broader research programme, which he had undertaken throughout his lectures on Higher Geometry at the Sorbonne since 1846. Through his teaching, Chasles sought to reinvent the language and concepts of pure geometry, to provide it with a generality equivalent to that of algebra. Chasles’s theory quickly circulated across mathematical Europe, and was reworked by many, including Hieronymus Zeuthen (1839-1920), Georges-Henri Halphen (1844-1889), Hermann Schubert (1848-1911), and Eduard Study (1862-1930). Amongst these readers, however, few shared Chasles’s epistemological positions; and many set out to rewrite the key concepts of the theory of characteristics with entirely new technical and notational means, and in the framework of other epistemological choices. From these simultaneous rewritings, a formula identified but not proven by Chasles emerged as problematic: it had been successively proven and refuted several times, and soon became the object of several controversies between 1867 and 1893. These controversies were more than technical disputes over a mathematical proposition: more profoundly, they revealed important disagreements over the epistemological value of generality in mathematics, over the way in which a general object is constructed in geometry, and over the textual practices through which said generality ought to be materialized on a page. The first part of this thesis locates the genesis of this theory within the context of Chasles’s reflection on the history and philosophy of geometry, and in particular on the question of the generality of methods. Then, in a second part, we show that the reception of the theory of characteristics allows for a new perspective on the formation of modern mathematics, at the intersection of the cultural history of science and of the technical history of mathematical practices.

Continuer la lecture Share

Cette thèse est une enquête sur le concept de niche et quelques grands cadres théoriques qui y sont apparentés: la théorie de la niche et la théorie neutraliste en écologie, la théorie de la construction de niche en biologie évolutive, et la niche des cellules souches en écologie intra-organisme. Le premier chapitre retrace l'histoire du concept de niche et confronte la théorie de la niche à une théorie concurrente, la théorie neutraliste. Le concept de niche apparaît comme devant être un explanans de la diversité des espèces et de la structure des écosystèmes. Le deuxième chapitre confronte la théorie évolutive standard à la théorie de la construction de niche, dans laquelle un organisme peut modifier son environnement et ainsi influer sur la sélection à venir. Nous montrons comment caractériser cette confrontation en termes d'échelles temporelles des processus en jeu, ce qui nous permet d'identifier le domaine de validité véritablement propre à la théorie de la construction de niche plus explicitement qu'il ne l'a été par le passé. Le troisième chapitre développe les recherches des deux chapitres précédents dans le cadre de la modélisation d'une thérapie génique comme un processus écologique de compétition et de construction de niche par les cellules. Nous présentons une famille de modèles appliqués à différentes échelles temporelles de la dynamique cellulaire, entre lesquelles le modélisateur précautionneux ne saurait choisir sans résultats expérimentaux spécifiques. Nous concluons sur les conceptions de la relation entre un organisme et son environnement attachées aux diverses facettes du concept.

Continuer la lecture Share

In "La Géométrie," Descartes proposed a “balance” between geometric constructions and symbolic manipulation with the introduction of suitable ideal machines. In particular, Cartesian tools were polynomial algebra (analysis) and a class of diagrammatic constructions (synthesis). This setting provided a classification of curves, according to which only the algebraic ones were considered “purely geometrical.” This limit was overcome with a general method by Newton and Leibniz introducing the infinity in the analytical part, whereas the synthetic perspective gradually lost importance with respect to the analytical one—geometry became a mean of visualization, no longer of construction. Descartes’s foundational approach (analysis without infinitary objects and synthesis with diagrammatic constructions) has, however, been extended beyond algebraic limits, albeit in two different periods. In the late 17th century, the synthetic aspect was extended by “tractional motion” (construction of transcendental curves with idealized machines). In the first half of the 20th century, the analytical part was extended by “differential algebra,” now a branch of computer algebra. This thesis seeks to prove that it is possible to obtain a new balance between these synthetic and analytical extensions of Cartesian tools for a class of transcendental problems. In other words, there is a possibility of a new convergence of machines, algebra, and geometry that gives scope for a foundation of (a part of) infinitesimal calculus without the conceptual need of infinity. The peculiarity of this work lies in the attention to the constructive role of geometry as idealization of machines for foundational purposes. This approach, after the “de-geometrization” of mathematics, is far removed from the mainstream discussions of mathematics, especially regarding foundations. However, though forgotten these days, the problem of defining appropriate canons of construction was very important in the early modern era, and had a lot of influence on the definition of mathematical objects and methods. According to the definition of Bos [2001], these are “exactness problems” for geometry. Such problems about exactness involve philosophical and psychological interpretations, which is why they are usually considered external to mathematics. However, even though lacking any final answer, I propose in conclusion a very primitive algorithmic approach to such problems, which I hope to explore further in future research. From a cognitive perspective, this approach to calculus does not require infinity and, thanks to idealized machines, can be set with suitable “grounding metaphors” (according to the terminology of Lakoff and Núñez [2000]). This concreteness can have useful fallouts for math education, thanks to the use of both physical and digital artifacts (this part will be treated only marginally).

Continuer la lecture Share

Qu'est-ce qu'une théorie scientique, et quelle pertinence cette notion a-t-elle pour l'étude de la connaissance scientique ? Cette thèse vise à montrer que, si l'on considère les théories comme des outils de représentation et d'inférence, l'analyse de leur contenu doit prendre en compte la manière dont elles sont comprises, en pratique, par leurs utilisateurs, c'est-à-dire par les agents, profanes et experts, qui les apprennent, les développent et les appliquent. Dans une telle perspective, la forme sous laquelle les théories sont présentées, ainsi que le contexte de leur utilisation, deviennent primordiaux. En critiquant certaines approches classiques de la notion de théorie, cette thèse propose des outils d'analyse et dénit une méthode pour étudier l'activité théorique ; deux études de cas - en mécanique classique et en génétique - la mettent en oeuvre et en montrent la fécondité.

Continuer la lecture Share

Pour résoudre un problème de mathématiques ou comprendre une démonstration, une figure bien choisie est parfois d'un grand secours. Ce fait souvent remarqué peut être vu comme un cas particulier d'un phénomène plus général. Utiliser une figure plutôt que des phrases, reformuler un problème sous la forme d'une équation, employer telles notations plutôt que telles autres : dans tous ces cas, en un sens, on ne fait que représenter sous une nouvelle forme ce qu'on sait déjà, et pourtant, cela peut permettre d'avancer. Comment est-ce possible ? Pour répondre à cette question, la première partie de cette thèse étudie ce qu'apporte un changement notationnel précis introduit par Leibniz à la fin du XVIIe siècle. La suite de ce travail analyse, et confronte à l'exemple précédent, plusieurs manières de penser les différences représentationnelles proposées dans la littérature philosophique récente. Herbert Simon, étudié dans la deuxième partie, s'appuie sur le modèle informatique des structures de données : deux représentations peuvent être « informationnellement » équivalentes, mais « computationnellement » différentes. Les logiciens Barwise et Etchemendy, étudiés dans la troisième partie, cherchent à élargir les concepts de la logique mathématique (en particulier ceux de syntaxe et de sémantique) aux diagrammes et figures. Enfin, certains philosophes des mathématiques contemporains, comme Kenneth Manders, remettent en cause la notion même de représentation, en soutenant qu'elle n'est pas éclairante pour comprendre l'usage de figures, formules ou autres supports externes en mathématiques. C'est à ces critiques qu'est consacrée la quatrième et dernière partie.

Continuer la lecture Share