Loading...
|
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 ; ...). |
DUMAS
-> Lien vers DUMASPlateforme de "Dépôt Universitaire de Mémoires Après Soutenance" Derniers mémoires recensés
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.
Notre projet de mémoire, ci-dessous développé, est le suivant : comment étudier la notion d'émergence dans le cadre de la métaphysique anglo-saxonne contemporaine ? Pour répondre à cette question, notre réflexion partira du système ontologique particulier, à savoir le "carré ontologique", d'inspiration aristotélicienne et repris par un auteur contemporain, E.J. Lowe. Dans ce système, les catégories ontologique d'"objet", de "phénomène", de "propriété" et de "condition" sont analysées comme étant fondamentales, irréductibles et suffisantes pour décrire tout le contenu de la réalité. Nous nous sommes limités cette année à la présentation de ce système, espérant par la suite pouvoir le développer dans le sens d'un physicalisme non réductif. Notre thèse finale sera alors la suivante : il est possible que de nouvelles conditions émergent.
Nous proposons à travers ce travail de regarder la pensée philosophique comme étant essentiellement liée au phénomène d'ἀνάμνησις, c'est-à-dire au ressouvenir ou à l'anamnèse. Nous cherchons à repenser le propre du philosopher. Dans cette optique, philosopher signifie "se ressouvenir". Pourtant, l'anamnèse n'a pas affaire à la mémoire et aux souvenirs. Elle est expérience, à travers laquelle adviennent une vérité et un savoir. Notre point de départ se trouve dans une évidence de la pensée philosophique : la pensée a une histoire et s'enracine dans une tradition. Tout ce qu'on met devant la pensée, tout ce que la pensée prend comme tâche a un lien avec ce qui a été pensé auparavant ou fait référence à ce qui a été, qu'on l'admette ou non. Nous identifions, cachée sous la forme de cette évidence, une tendance de la pensée philosophique qui n'a pas été mise en question ou explicitée. Ainsi, philosopher c'est dans un certain sens se retourner vers le passé afin de le reprendre sous un jour nouveau. Ce point de départ trouve sa confirmation philosophique à travers une analyse "historique" : l'anamnèse chez Platon et Gadamer. C'est à travers cette façon de mettre à l'œuvre ce que l'évidence nous a dévoilé qu'on découvre que l'anamnèse décrit la recherche et la découverte de type philosophique. Pour Platon, l'άνάμνησις représente moins une actualisation d'un savoir tout fait, inné et latent, qu'une manière de reprendre quelque chose de "su" sous un jour nouveau. C'est donc ce mouvement "rétrospectif" qui rend possible le savoir et la vérité pour la pensée philosophique. Selon Gadamer, l'άνάμνησις platonicienne s'apparente à une re-connaissance. Ces deux analyses dévoilent une certaine "structure" que possède l'anamnèse, un certain mode d'être : elle se définit par le "re-". Il s'agit d'un re-vivre, re-connaître, re-conquérir, re-voir "à distance" la réalité. Ceci renvoie à l'idée de "voir" les choses "dans une autre lumière", ou faire une nouvelle expérience des choses qui apporterait un surcroit de connaissance. Le "re-" de l'anamnèse désigne le fait de re-faire une "expérience". L'anamnèse représente une expérience du philosopher. Philosopher et parvenir à un savoir signifie, dans ce sens, faire l'expérience de l'expérience.
Le débat sur la nature de la relation entre écologie et écologisme repose principalement sur des présupposés épistémologiques quant au statut de l'écologie et quant à la façon dont elle doit prendre en compte les activités humaines. L'écologie peut être considérée comme une partie de la biologie, comme une science naturelle interdisciplinaire, ou comme une science interdisciplinaire qui fait le pont entre sciences de la nature et sciences de l'homme. La prise en compte de la spécificité culturelle de l'homme dans son rapport aux écosystèmes et à la biosphère dépend donc du statut que l'on donne à l'écologie.
Cette étude tente de répondre à la question "qu'est-ce que le jazz ?" en partant des spécificités musicologiques propres à cette musique pour rejoindre la pensée sociale et culturelle du jazz. Plus qu'un simple travail de définition, il s'agit d'analyser le jazz pour en extraire ses valeurs, d'interpréter les phénomènes musicaux jazzistiques en les plaçant toujours déjà dans un contexte historique et social déterminé. Penser le jazz, c'est établir son unité esthétique. Pourtant, on n'épuise pas le phénomène jazzistique à parler de swing et de sonorité : penser le jazz c'est aussi comprendre les origines musicales d'une telle musique et donc utiliser une méthode généalogique permettant de comprendre pourquoi, un jour, des hommes ont joué de la musique de telle manière. Le discours musicologique s'ouvre à la philosophie sociale et aux sciences historiques. Penser le jazz, c'est alors comprendre qu'il est une musique populaire, issu de la rencontre brutale des musique occidentale et africaine dans le contexte de la ségrégation raciale. Si certains discours sur la musique font de l'abstraction leur crédo, un discours sur le jazz semble devoir nécessairement prendre en compte les contextes socio-historiques dans lesquelles on joue du jazz. Le jazz se joue, se danse, s'incarne dans des gestes, des attitudes et des corps, et ce faisant, véhicule une pensée musicale que l'on ne peut pas comprendre si l'on s'en tient à une analyse musicologique. Penser le jazz comme pensée, ériger le jazz en porte d'entrée privilégiée d'une culture américaine naissante, comprendre l'encrage de la musique de jazz dans la Weltanschauung américaine sont les enjeux de cette étude qui donne en outre des pistes tant méthodologiques que généalogiques pour entreprendre une analyse des musiques populaires postérieures au jazz.
S'interroger sur le clonage, c'est s'interroger sur ce qu'il produit, à savoir le clone, le double, dont il s'agira pour nous d'appréhender le sens et de voir en quoi cet être recréé, reproduit par clonage présente une figure complexe, en quoi il représente un être particulier, au statut quelque peu singulier. Il importe donc de définir ce que signifie, ontologiquement et symboliquement, l'action même de cloner et de définir ainsi ce que signifie l'existence d'un clone. En effet, la question du clonage ne peut être séparée de la question même du clone puisque sans clone, il n'y aurait pas lieu de parler de clonage. Par ailleurs, il nous faut définir ce qu'est scientifiquement le clonage. Nous montrerons alors que les définitions mènent parfois à des quiproquos et des illusions qui n'ont pas lieu d'être une fois le terme clairement défini.
Les derniers écrits (1946-51) de Wittgenstein s'occupent principalement de philosophie de la psychologie et s'attaquent à certaines théories classiques de l'esprit, que les commentateurs qualifient de mythologies. Notre travail consiste à évaluer la possibilité de la présence de ces mythologies de l'esprit à l'intérieur des théories construites par les sciences psychologiques ainsi que les implications sur la psychologie que cette présence est susceptible d'avoir. En nous appuyant sur certains des points centraux de la critique wittgensteinienne (l'usage ordinaire, la distinction conceptuel / empirique, etc.), nous montrons qu'il est envisageable de dégager des thèses, d'inspiration wittgensteinienne, délimitant les prétentions de la psychologie. L'œuvre de Wittgenstein fournirait donc un outil, dans une mesure que nous nous efforçons d'apprécier, pour une mise en débat de la scientificité de la psychologie, en particulier des neurosciences cognitives.
Ce mémoire s'intéresse aux collaborations possibles entre Intelligence Artificielle et philosophie. Il montre que les deux disciplines peuvent partager des objets, des théories et des résultats pour apprendre l'une de l'autre. La stratégie de ce mémoire consiste à expliciter des relations épistémologiques entre les problématiques propres aux deux disciplines ("IA faible" et "IA forte"), afin de définir des modes de collaboration sur le plan disciplinaire. La deuxième partie de ce mémoire présente les travaux de philosophes et de spécialistes de l'IA, depuis les débuts de l'Intelligence Artificielle jusqu'aux années 80. Elle expose les démarches collaboratives exploitées par ces chercheurs, de manière implicite ou explicite. La troisième partie présente des travaux où la philosophie sert de socle conceptuel à l'Intelligence Artificielle, notamment en ce qui concerne la simulation de phénomènes émergents. La quatrième partie réalise un renversement des relations classiques entre les deux disciplines. C'est au tour de l'Intelligence Artificielle de se mettre au service de la philosophie, en formulant de nouvelles hypothèses de recherche ou en testant les théories philosophiques à partir de cas concrets. Ce mémoire, enfin, espère œuvrer pour le rapprochement des deux disciplines et ainsi encourager philosophes et spécialistes de l'IA à collaborer sur les sujets qui leurs sont chers.
À la fin du XIXe siècle, les conceptions philosophiques classiques des sciences physiques ont été bouleversées par certaines avancées scientifiques. En effet, juste avant le renouveau de la physique induit par les deux théories de la relativité d'Einstein, l'essor des géométries non-euclidiennes et la théorisation de l'imprévisibilité de certains systèmes dynamiques déterministes ont donné lieu à des débats philosophiques houleux : que faire de l'a priori kantien et du libre arbitre après ces découvertes ? Ces débats philosophiques basés sur des questions scientifiques sont principalement développés dans des articles de revues, qui se répondent mutuellement. Pour étudier ce corpus, il a fallu identifier les discussions, les structurer et les situer.
|
TEL
-> Lien vers TELServeur de "Thèses en Ligne" et HDR Dernières thèses ou HDR recensées
Jules Houël (1823-1886) est un mathématicien et astronome français, issu d’une ancienne famille protestante normande. A la fin de ses études à l’École normale en 1846, il débute une carrière mouvementée d’enseignant en lycée. En 1855, il obtient un doctorat dans lequel il applique la méthode des fonctions perturbatrices de Le Verrier à Jupiter et à partir de 1859, il enseigne le calcul différentiel et intégral à la Faculté des sciences de Bordeaux. Dès 1861, Houël abandonne ses recherches astronomiques de sorte que ses publications postérieures sont essentiellement des traductions ou des traités d’enseignement. Il a la particularité d’être polyglotte et d’avoir une grande puissance de travail. Nous montrons comment il arrive à créer des réseaux scientifiques « importants » en Europe, qui lui permettent de diffuser certaines théories par des publications ou/et des correspondances, qui elles-mêmes alimentent ces réseaux, … Certains réseaux ont un cadre lié à une structure (société savante, journal), d’autres sont liés à une thématique ou/et une zone géographique. Nous présentons notamment quatre réseaux européens où Houël joue un rôle de premier plan : celui de la Société des sciences physiques et naturelles de Bordeaux à partir de 1866, celui de ses correspondants italiens en lien avec les fondements de la géométrie en 1867-1870, celui du Bulletin des sciences physiques et astronomiques dans les années 1870-1883 et le réseau des correspondants scandinaves en lien avec la théorie des fonctions elliptiques sur la période 1870-1885. Nous montrons en outre comment ces réseaux sont liés et les intérêts pour Houël dans chacun de ces quatre réseaux.
In 1882, Richard Dedekind and HeinrichWeber offer an arithmetico-algebraic re-definition of the Riemann surface, using concepts and methods introduced by Dedekind in algebraic number theory. In an attempt to investigate Dedekind’s works beyond the mere idea of a “conceptual approach”, this works proposes to identify the elements of practice specific to Dedekind, starting from the paper co-written with Weber. I put forward the idea that in Dedekind’s works, arithmetic can play an essential and active role in the elaboration of mathematical knowledge. For this, I propose to study, in Dedekind’s mathematical practice, the conception of arithmetic, the place and role of arithmetical notions and the possible evolutions in Dedekind’s ideas about arithmetic. This study is based on a careful analysis of a selection of Dedekind’s texts. For this, I study Dedekind’s early works, his 1854 Habilitationsvortrag and his first works in number theory. Then, I propose a comparison between the first two versions of Dedekind’s theory of algebraic numbers published in 1871 and 1877. Finally, I turn to Dedekind’s foundational works, to make explicit the specificities of his conception and elucidate, through the study of his works on the definition of numbers, what gives arithmetic its pride of place and the link with the definition of natural numbers given in Was sind und was sollen die Zahlen? in 1888.
Dans cette thèse, j'étudie trois thèmes centraux dans la Géométrie cartésienne : le problème de Pappus, le problème des tangentes et des normales, et un problème de gnomonique connu sous le nom de Problema Astronomicum. Par " Géométrie cartésienne ", j'entends le corpus formé par la Géométrie publiée en 1637, ainsi que par la Correspondance cartésienne et les deux éditions latines placées sous la direction de Frans van Schooten publiées respectivement en 1649 et 1659-1661. J'étudie la genèse de la théorie cartésienne des courbes géométriques définies par des équations algébriques à travers les controverses dans la correspondance cartésienne : la controverse avec Roberval sur le problème de Pappus, la controverse avec Fermat sur les tangentes, et la controverse avec Stampioen sur le Problema astronomicum. Je montre que la Géométrie de la Correspondance constitue un moyen terme entre la Géométrie de 1637 et les éditions latines de 1649 et 1659-1661, en pointant les enjeux et les questions associés au concept de courbe algébrique. D'autre part, j'étudie et compare la méthode des tangentes de Fermat et la méthode des normales de Descartes, en les rapportant aux Coniques d'Apollonius.
Entre 1780 et 1860 en Europe, la géographie se structure peu à peu en champ scientifique et académique indépendant, et particulièrement en France, Prusse et Grande-Bretagne. Au même moment dans ces trois pays européens, des géographes travaillent à ce que leur champ soit enfin considéré comme une science à part entière, au même titre par exemple que l'histoire ou les mathématiques. Ils construisent leur champ à la faveur d'un renouvellement profond de ses principes institutionnels et épistémologiques, selon un processus similaire dans ces trois sphères. Ils organisent progressivement les connaissances géographiques selon une exigence de scientificité, dont ils discutent les modalités. Ce processus de construction à la fois scientifique et disciplinaire est profondément marqué par l'héritage des Lumières et l'esprit universaliste, mais, parallèlement, il se trouve également influencé et informé par le contexte politique. Entre 1785 et 1860, les savoirs géographiques sont en effet investis d'une valeur stratégique grandissante : ils jouent un rôle majeur dans les idéologies politiques des États et également dans les actions politiques menées. En interrogeant conjointement les champs du politique et des savoirs géographiques, cette thèse vise ainsi à mettre en évidence en quoi le processus de montée en discipline des savoirs géographiques engagé simultanément en France, en Prusse et en Grande-Bretagne se trouve fondamentalement en tension entre, d'une part, une exigence universaliste portée à l'échelle européenne par le champ scientifique et, d'autre part, la nationalisation progressive des savoirs géographiques.
Cette thèse interroge les représentations que les géographes français du XXe siècle se font de leurs activités de recherche en explorant les multiples significations que recouvre pour eux le terrain, et notamment la place qu'il occupe dans les dispositifs heuristiques et dans l'imaginaire disciplinaire. Cette recherche entend appliquer à l'histoire de la géographie les approches et les méthodes de la sociologie des sciences. Tout au long de la période, le terrain constitue un ordre du discours dominant qui structure durablement les représentations et les pratiques : face aux lectures inspirées par la théorie des révolutions scientifiques, cette thèse met au contraire en lumière la stabilité des discours. La " crise de la géographie " qui désigne la période de doutes que traverse la discipline durant les années 1960 et 1970 apparaît alors davantage comme une mutation des discours et non comme un changement radical des pratiques. Ce changement de focale sur l'histoire de la discipline oblige donc à repenser les cadres avec lesquels l'écrire : le terrain - envisagé comme un " objet scientifique total " - constitue alors une entrée pertinente pour appréhender la géographie dans son ensemble, c'est-à-dire à la fois ses contenus, ses méthodes, ses finalités et ses acteurs.
La géomatique, c'est-à-dire l'utilisation des technologies numériques pour acquérir, traiter, visualiser et communiquer l'information géographique, comprend de très nombreux domaines d'application dans le monde professionnel. L'usage de ces technologies (système de localisation GPS, globes virtuels sur Internet, systèmes d'information géographique...) commence à se diffuser dans la vie quotidienne et dans le domaine éducatif. Nous nous intéressons ici aux questions posées par l'introduction des outils géomatiques dans l'enseignement de la géographie. L'intégration de la géomatique ne va pas sans poser de nombreuses questions qui relèvent du champ de la géographie, de l'épistémologie, de la didactique, mais aussi de l'informatique, de la cartographie, de la psychologie cognitive, de la sociologie des usages. Elle fait rejouer de vieux débats sur la place et le rôle de la carte dans l'enseignement et l'apprentissage de la géographie, mais pose aussi la question des technologies de l'information géographique comme nouvel outil du géographe, comme manière différente de concevoir, d'enseigner et d'apprendre la géographie. Cette recherche vise d'une part à comprendre les usages et les enjeux de la cartographie et des Systèmes d'Information Géographique en classe de géographie, d'autre part à construire et à expérimenter un SIG éducatif qui favorise différents modes de raisonnement géographique. L'approche s'inscrit dans la perspective de la « genèse d'usages » géomatiques dans l'enseignement secondaire. A travers des démarches d'exploration visuelle et de résolution de problème, mêlant des approches inductives et des approches hypothético-déductives, l'enjeu est de dépasser les pratiques ritualisées et naturalisées de la carte scolaire, afin de promouvoir une nouvelle éducation géographique.
Dans le cadre de cette thèse, nous proposons d'examiner l'approche intuitionniste de l'arithmétique et psycho-physiologique de la géométrie de Poincaré à travers le prisme de la recherche moderne sur le cerveau et la capacité des humains à appréhender le nombre et la géométrie/l'espace. L'objectif de cette analyse est de déterminer si les recherches sur les corrélats neuronaux de l'acquisition des nombres et de la géométrie/l'espace peuvent contribuer à une meilleure compréhension des idées de Poincaré sur les mathématiques, tout en examinant la compatibilité de son approche constructiviste avec l'approche neuroconstructiviste des neurosciences cognitives.À cette fin, nous avons choisi de nous focaliser sur quatre neuroscientifiques cognitivistes : Changeux, Dehaene, Damasio et Berthoz, qui font référence aux idées de Poincaré pour décrire les mécanismes neurobiologiques qui sous-tendent la compréhension et l'acquisition du nombre, de la géométrie/l'espace et de la prise de décision. Ainsi, nous examinons l'approche constructiviste de Poincaré, qui admet que l'expérience guide l'activité intuitive de création des nombres, à travers le prisme de l'approche neurocognitive de Changeux et l'intuition du nombre de Dehaene. De même, nous examinons l'approche psycho-physiologique de la géométrie à travers le prisme de l'approche neurophysiologique et cognitive de la géométrie proposée par Berthoz. Enfin, nous confrontons l'hypothèse poincaréienne selon laquelle l'intuition et l'émotion sont des composantes essentielles à l'invention à la théorie des marqueurs somatiques de Damasio.À l'issue de cet examen, une première constatation met en évidence que les neurosciences cognitives renforcent certaines idées de Poincaré sur les mathématiques. Cependant, après une analyse approfondie, nous constatons que les idées fondamentales constituant l'édifice de la philosophie poincaréienne des mathématiques sont incompatibles avec les neurosciences cognitives. Cette incompatibilité s'explique par la volonté des neuroscientifiques cognitivistes d'ancrer les fondements des mathématiques au niveau de l'activité neuronale sous-jacente à l'évolution biologique, tout en défendant un déterminisme se réclamant de la dominance des aspects ontogénétiques sur les prédispositions phylogénétiques. Afin de préserver la liberté créatrice de l'esprit et le conventionnalisme défendus par Poincaré, et pour une compréhension plus large des processus cognitifs sous-jacents à la construction des concepts mathématiques abstraits et à la résolution des problèmes mathématiques complexes, nous prenons du recul par rapport à une telle vision déterministe.
La particularité de ce projet de recherche réside dans son rapport aux domaines de l’intériorité et de l’individualité qui ne peuvent être définis par des normes spécifiques. Les domaines scientifiques, en particulier la médecine, reconnaissent leurs propres limites concernant la compréhension de la maladie mentale, partant de ses attaches morales. Selon les philosophes et les moralistes, le regard médical s’impose compte tenu du facteur biologique et de l’interdépendance entre le corps et l’esprit. L’histoire de la psychopathologie se caractérise par la multiplicité des points de vue, notamment celui médico-philosophique, ce qui s’avère indispensable à l’approche de la maladie mentale. « Folie », « maladie de l’âme », « maladie mentale », « aliénation mentale », la variété des termes qui qualifient cette maladie spécifique, et l’hésitation sur l’emploi d’un terme plutôt qu’un autre dénote l’incompréhension et la difficulté que les penseurs anciens et modernes rencontrent pour définir la maladie mentale et cerner son fonctionnement. Étudiée selon des paradigmes différents, la maladie psychique rend compte d’une véritable crise épistémologique qui se manifeste dans l’entremêlement des registres et dans la différence dans l’ordre du savoir, ce qui a donné lieu durant des siècles à des débats stériles et à des conflits inutiles. De ce fait, la curabilité du malade mental- souci majeur et préoccupation principale- est passée désormais au second plan, l’idée prédominante qui s’est enracinée progressivement étant la non curabilité de la maladie psychique. Maladie ou bien perversion morale, maladie ou précarité individuelle, le flou sur sa nature et sur sa genèse a donné lieu à un va-et-vient entre la reconnaissance de la morbidité d’une part, et le jugement moral sur le malade psychique de l’autre. Il en résulte une méconnaissance du traitement à adopter, et un choix d’exclusion de ces êtres condamnés au retrait. Un phénomène qui ne cesse de s’amplifier, tant il est vrai que la maladie mentale constitue un véritable problème, chargé de nombreux enjeux sociaux, politiques, civiques et humanitaires, et dont les répercussions dépassent le cadre strictement individuel et menacent la paix collective et le vivre-ensemble.
In his recent theory of grounds, Prawitz develops his semantic investigations towards an analysis of origin and nature of the power valid inferences exert on deductive agents, i.e., the power to epistemically compel one to accept the conclusion, if one has accepted the premises. A ground is what one is in possession of when one is justified in asserting a given sentence. Grounds can be built by applying operations that allow to pass from one justification state to another justification state. An inference act consist of an application of an operation on ground for the premises to grounds for the conclusioni. The theory of grounds provides undoubted advancements with respect to Prawitz's previous approach, i.e., proof-theoretic semantics. In particular, it offers a definition of the notion of valid inference by means of which it is possible to make the epistemic power of proofs depend on that of the valid inferences of which proofs are made. But theory of grounds and proof-theoretic semantics also share a problem, for in both of them valid inferences and proofs may be such that it is impossible to recognize that they justify their conclusion. In this work, we develop a formal framework for Prawitz's proposal by introduction a "universe" of grounds and operations on grounds, as well as some formal languages of grounding the terms of which denote grounds and operations on grounds. We will also propose some systems of grounds, through which we prove some relevant properties of the terms of the languages of grounding. Finally, we will deal with two questions concerning languages and systems. First, the one about completeness of intuitionistic logic with respect to the theory of grounds. Second, we analyse the afore-mentioned recognizability problem.
Les travaux patrimoniaux connaissent de multiples déclinaisons : étude en vue d’une candidature, exposition en musée, analyse ethnologique, archéologique, historiographique.. La nature des activités dépend du type de patrimoine considéré, des intentions, de la documentation à disposition, etc. Le plus souvent, des travaux complémentaires s’agrègent, permettant de combiner les points de vue, hypothèses et informations. Les humanités numériques, c’est à dire les activités d’étude, en sciences humaines au sens large, ayant recours à l’informatique calculatoire, se développent depuis les années 60. Les travaux patrimoniaux ne sont pas en reste, mais la quantité et la diversité, voire l’hétérogénéité des informations, combinées aux critères déontologiques du travail patrimonial compliquent le développement d’outillage pertinent. Dans une première partie, une réflexion portant sur les caractéristiques des travaux patrimoniaux et sur les enjeux du travail de modélisation en lien étroit avec la documentation est présentée. A partir de cette analyse, un cahier des charges pour la production d’un outil est établi permettant de faire face aux enjeux prioritaires. L’opposition entre la construction du sens qui entraîne la patrimonialisation, et la rupture du sens inhérente au numérique, est discutée, ainsi que le besoin de transparence dans les pratiques de modélisation. Les critères d’intégrité et d’authenticité des biens patrimoniaux, qui guident en partie nos apports, seront aussi affirmés dans leurs dimensions dynamiques. La mise en application, par le cas d’étude de l’Observatoire du Pic du Midi ainsi que celui de la série des cercles méridiens Gautier, permet de démontrer les propositions et d’en éprouver la pertinence et les limites.
|