Le résumé en français n'a pas été communiqué par l'auteur. / Le résumé en anglais n'a pas été communiqué par l'auteur.

Ce mémoire est consacré à l'examen de quatre adverbes à valeur épistémique, à savoir apparemment, visiblement, manifestement et vraisemblablement. Hormis visiblement dans un de ses sens, ces unités lexicales ne se laissent pas paraphraser par 'de manière ADJ', contrairement à bon nombre d'autres adverbes en -ment, tels admirablement, doucement, gentiment et lentement (cf. par exemple, parler doucement/ parler de manière douce ou encore marcher lentement/marcher de manière lente, mais non être apparemment parti/*être parti de manière apparente ou être manifestement malade/*être malade de manière manifeste ). Cette limitation vient de ce que les unités lexicales considérées ne sont pas des adverbes de manière (à l'exception de visiblement dans un de ses sens), même si elles en ont la morphologie. Partant, l'étude vise, dans un premier temps, à proposer des paraphrases qui seront aptes à refléter le fait que les unités en cause n'ont pas le statut attendu; celles-ci seront articulées autour des notions épistémiques telles que le possible, le probable et le certain. L'étude présente, dans un second temps, une synthèse, sous forme d'articles de dictionnaire, des analyses sémantiques effectuées. Ces derniers prennent appui sur quelques principes fondateurs dans le cadre de la lexicologie explicative et combinatoire (cf notamment, Mel'cuk et al. 1984-1988-1992-1999).

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

En 2017, la publication d’un manuel scolaire par la maison d’édition française Hatier a fait polémique du fait de son usage de l’écriture inclusive. La présente thèse, « Écriture inclusive : analyse définitionnelle et socio-discursive d’un phénomène linguistique », analyse 10 études publiées entre les années 2017 et 2019 inclusivement. Son objectif est de mettre en relief la lutte idéologique qui se joue autour de cette « écriture » en examinant les différentes définitions qui en sont données, ainsi que les divers arguments qui sont invoqués en sa faveur ou en sa défaveur. Nous commençons par présenter les origines du phénomène et nos assises théoriques et méthodologiques avant de consacrer nos deux principaux chapitres à l’analyse des définitions de l’écriture inclusive et des arguments avancés. Puisque ce travail se situe dans une démarche avant tout féministe, nous empruntons de nombreux outils et concepts de ce domaine scientifique, notamment l’écriture féministe, le point de vue situé, le féminisme matérialiste et la notion de genre. À partir d’une approche transdisciplinaire combinant notamment la linguistique, le féminisme, la théorie queer et l’analyse du discours, nous tentons de mieux comprendre le phénomène de l’écriture inclusive et la part plus ou moins scientifique qu’y jouent les spécialistes qui s’y intéressent. Nos résultats montrent une variété de définitions qui se recoupent néanmoins sur les critères suivants : constituer un ensemble de pratiques linguistiques, contrer la règle grammaticale du « masculin qui l’emporte sur le féminin » et inscrire l’entièreté des genres sociaux du spectre. Les arguments évoqués par les auteurs révèlent que ces derniers se situent parfois du côté de la scientificité, de celui du militantisme, ou parfois dans un mélange des deux. Cette vue d’ensemble nous a permis de dégager une définition générale du phénomène et une méthode pour appréhender le positionnement objectif et subjectif des personnes qui s’y intéressent.

Ce travail d'esthétique philosophique est une analyse de l'art chorégraphique.Souvent considérée comme une forme d'expression immédiate et naturelle, la danse est aussi un art dont l'histoire relativement récente, les styles et les contenus thématiques sont riches et variés. Cette paradoxale combinaison de simplicité et de complexité mène à mettre en question nos systèmes théoriques les plus sophistiqués et nos distinctions conceptuelles les plus ancrées.Les avantages et inconvénients de diverses définitions philosophiques de l'art sont examinés, avant d'aborder la question du fonctionnement symbolique et de la réalité des propriétés chorégraphiques. En tant qu'art multiple, la danse représente un défi ontologique. Un chapitre est consacré aux processus créatifs, au statut de la notation et au rapport entre les oeuvres, leurs représentations et leurs interprétations. Après avoir proposé une définition de la danse, le travail étudie le concept d'expression. Outre les états mentaux et les mouvements physiques, l'intention et l'action, la liberté et le déterminisme, les notions d'expressivité naturelle, de technique, de style et de signification font l'objet d'une étude approfondie. Les dichotomies philosophiques traditionnelles se révèlent inadaptées à la danse, laquelle réconcilie la sensibilité et la rationalité, l'émotion et la compréhension, la spontanéité et la délibération, l'activité et la passivité, l'intériorité et l'extériorité, la contrainte et la liberté. / This study is a philosophical aesthetic analysis of choreographic art. Often considered as an immediate and natural form of expression, dance is also an art with a relatively recent, rapidly evolving history and varied styles and thematic contents. This paradoxical combination of simplicity and complexity leads to question our most sophisticated theoretical systems and our most apparently obvious conceptual distinctions, in a reconsideration of fundamental philosophical problems.The advantages and drawbacks of diverse definitions of art are examined, before addressing the symbolic functioning and the reality of choreographic properties. As a multiple art, dance is an ontological challenge. A chapter is devoted to the creation processes, the status of notation and the relation between the works and their performances and interpretations. After proposing a definition of dance, the study focuses on the concept of expression. In addition to mental states and physical movements, intention and action, freewill and determinism, the notions of natural expressiveness, technique, style and meaning are studied in detail. The traditional philosophical dichotomies appear to be inadequate to dance, insofar as this art reconciles sensibility and rationality, emotion and understanding, spontaneity and deliberation, activity and passivity, interiority and exteriority, constraint and freewill.

Ce document donne un panorama de la représentation des définitions inductives dans différents assistants de preuve en logique d'ordre supérieur, théorie des ensembles et théorie des types. Il présente, étudie et justifie les choix faits dans le système Coq.

Cette thèse propose une extension du Calcul des Constructions de Coquand et Huet qui permet l'extraction de programmes certifiés à partir de preuve constructive. Une notion de réalisabilité modifiée est introduite et étudiée. Un codage imprédicatif d'une large classe de définitions inductives est proposé.

Cette note de synthèse pour une Habilitation à Diriger des Recherches présente une modélisation épistémologique de l'activité de définition en mathématiques, en explicitant la dialectique entre définition et preuve. Et cela, bien sûr, dans une perspective didactique, en vue de concevoir, analyser et transmettre des situations de construction de définitions. La première partie présente l'objet d'étude et la méthodologie. Une analyse critique des travaux de recherche internationaux en didactique sur l'étude l'activité de définition en mathématiques est présentée en deuxième partie. Sont soulignés en particulier les points de convergence et de tension, ainsi que les manques - épistémologiques et didactiques - sur la question. La troisième partie présente une modélisation épistémologique de référence de l'activité de définition en mathématiques, activité en dialectique avec la preuve, en prenant appui sur des expérimentations (niveaux secondaire et supérieur), et des entretiens avec des mathématiciens. Différents cadres théoriques issus de la didactique des mathématiques et des mathématiques sont sollicités. La quatrième et dernière partie aborde de nouvelles perspectives de recherche à trois niveaux (épistémologique, théorique, et didactique).

Construire des définitions est essentiel dans l'activité de recherche mathématique et interagit dialectiquement avec la formation de concepts. La recherche présentée dans cette thèse s'est intéressée à la double question : est-il possible de faire émerger un concept, auprès d'étudiants, par des problèmes de construction de définitions, et quels sont les apprentissages en jeu ? La complexité des SCD et l'absence de l'étude de telles situations jusqu'alors nous a conduit au développement d'outils théoriques (du triple point de vue : mathématique, épistémologique et didactique) en vue de les construire, de les réaliser en classe et de les analyser. Ces outils théoriques nous ont permis d'établir une typologie des SCD, d'étudier les conceptions sur la définition chez des philosophes et des mathématiciens, d'analyser la place et le rôle des définitions dans les institutions didactiques, et d'extraire de possibles SCD de quelques travaux didactiques existants relatifs au concept de définition. Nous avons ainsi pu mener une étude des conditions pour la dévolution de telles situations, fondée sur des résultats d'expérimentations menées avec des étudiants de 1ère année d'université. Le choix des situations expérimentées relève de la typologie des SCD établie. Les concepts mathématiques en jeu ont été choisis pour leur accessibilité et leur position institutionnelle particulière : le concept d'arbre (qui vient d'entrer dans les programmes de lycée), les concepts de "générateur" et "libre" dans le plan discret (qui peuvent être considérés comme étant "en amont" des ceux des espaces vectoriels), et l'objet géométrique "droite discrète" (que l'on peut référer à la droite réelle). La variété des situations et concepts mathématiques étudiés nous permet, d'une part, de mieux cerner les conceptions sur la définition les plus répandues chez les enseignants et les étudiants et, d'autre part, d'attester la mise en oeuvre de processus de construction de définitions et de concepts. L'ensemble des résultats développés dans cette thèse devrait permettre d'élaborer des SCD, pour l'enseignement secondaire ou supérieur.

Nous présentons une recherche en ingénierie des connaissances appliquée aux prédicats linguistiques et aux définitions lexicographiques de la théorie Sens-Texte (TST). Notre méthodologie comporte trois étapes. 1. Nous montrons en quoi la conceptualisation de la TST devrait être étendue pour faciliter sa formalisation. Nous justifions la nécessité de définir un niveau sémantique profond (SemP) à base de graphes. Nous y définissons la notion de type d'unité sémantique profonde et sa structure actancielle, de sorte que leur organisation hiérarchique puisse correspondre à une hiérarchie de sens au sein de laquelle ces structures actancielles sont héritées et spécialisées. Nous reconceptualisons les définitions lexicographiques au niveau SemP, et au niveau du dictionnaire. Finalement, nous présentons un prototype d'éditeur de définitions basé sur la manipulation directe de graphes. 2. Nous proposons un formalisme de représentation des connaissances adapté à cette conceptualisation. Nous démontrons que les logiques de description et le formalisme des Graphes Conceptuels ne sont pas adaptés, et nous construisons alors un nouveau formalisme, dit des Graphes d'Unités. 3. Nous étudions l'opérationnalisation du formalisme des Graphes d'Unités. Nous lui associons une sémantique formelle basée sur la théorie des modèles et l'algèbre relationnelle, et montrons que les conditions de décidabilité du raisonnement logique correspondent aux intuitions des lexicographes. Nous proposons également une implémentation du formalisme avec les standards du web sémantique, ce qui permet de profiter des architectures existantes pour l'interopérationnalisation sur le web des données lexicales liées.