Dans ce travail de recherche, nous nous intéressons à une étude didactique des objets équation, inéquation et fonction en faisant référence à la théorie sémantique de la vérité introduite par Frege et Russell et développée par Tarski et Quine, en particulier les notions de phrase ouverte ; satisfaction d'une phrase ouverte par un élément ; quantification, qui permettent de mieux expliciter les notions d'égalité et d'inégalité d'une part, le statut des lettres d'autre part.<br />Notre recherche s'inscrit dans la continuité des travaux de recherche de Durand-Guerrier et nous soutenons la thèse selon laquelle la logique des prédicats est pertinente pour l'analyse des questions liées l'articulation des deux points de vue sémantique et syntaxique dans l'enseignement et l'apprentissage des équations, inéquations et fonctions au secondaire.<br />Pour compléter les éclairages apportés par la sémantique logique, nous avons conduit une étude historique circonscrite des relations entre ces concepts mathématiques. Nous avons ainsi croisé cette étude avec notre perspective logique en vue de repérer la dyade sémantique/ syntaxe au moment de la formation de ces concepts.<br />La question principale étudiée dans l'exploration didactique concerne la possibilité de repérer, dans le développement des concepts d'équation, d'inéquation et de fonction, des phénomènes liés à la dialectique sémantique / syntaxe. Pour cela, nous avons conduit une analyse des programmes et des manuels de l'enseignement secondaire tunisien ; soumis un questionnaire à des élèves du secondaire et des étudiants de classes préparatoires ; proposé une situation d'apprentissage à quelques élèves volontaires et réalisé quelques entretiens avec des enseignants. Nos travaux montrent un recul du point de vue sémantique dès que les techniques syntaxiques sont disponibles, et une quasi absence d'articulation entre syntaxe et sémantique.

Dans cette thèse, sont présentées la façon dont est accommodé le mouvement relatif entre les blocs Inde et Sonde à l'actuel ainsi que l'évolution de la déformation de la Zone de Cisaillement Est Indienne depuis le cénozoïque.<br />J'ai utilisé une approche pluridisciplinaire, basée sur la combinaison de la géodésie spatiale et de la géologie structurale, pour répondre à ces questions. Le GPS (Global Positioning System) permet de quantifier les déplacements relatifs des plaques ainsi que les mouvements intra-continentaux instantanés. La cartographie de failles à partir d'images satellitaires et les données structurales de terrain permettent d'identifier les structures tectoniques sur lesquelles ces déplacements ont été accommodés au cours du temps, ainsi que le type de déformation qui leur est associé.<br />J'ai pu contraindre le pôle de rotation entre les plaques Inde et Sonde. Leur mouvement relatif à la frontière n'est pas accommodé sur une seule faille isolée, mais sur plusieurs structures discrètes affectant une bande large d'environ 500 km, correspondant géographiquement à la Birmanie. La faille de Sagaing, intersismiquement bloquée, n'accommode que 18 mm/an en décrochement dextre. La partie restante de la déformation est sans doute prise dans le prisme indo-birman, aussi bien en décrochement qu'en chevauchement.<br />Au nord, le système partitionné birman se connecte à la Syntaxe Est Himalayenne. La transition entre ces deux systèmes est assurée, au Yunnan Occidental (Chine), par la rotation de microblocs le long de failles sénestres NE-SW, depuis le pliocène.<br />Auparavant, entre l'éocène et le miocène, la zone de cisaillement Shan Scarp - Gaoligong Shan constituait la limite majeure dextre entre l'Inde et l'Indochine tandis que les massifs de l'Ailao / Diangcan Shan et de la Chong Shan étaient cisaillés en sénestre, autorisant un déplacement du bloc Indochinois vers le SE.

Les grammaires germanophones rationnelles, dites aussi philosophiques, constituent le premier domaine des approches historiographiques réunies ici. A côté d'études synthétiques portant sur des ouvrages spécifiques, la théorisation de certains concepts - prédicat, diathèse, 'valence', adverbe - est retracée à travers le XVIIIe siècle dans une analyse critique. Celle-ci fait apparaître dans l'approche rationnelle l'importance des fondements philosophiques, la fécondité conceptuelle qui peut en résulter, mais aussi des problèmes de cohérence et de non prise en compte de faits de langue. Un second domaine est celui de la critique de la langue où l'attention se porte sur la théorisation de la synonymie, de la formation des mots et du concept arts du langage dans des textes esthétiques et philosophico-linguistiques. Les investigations portent sur des textes de référence et sur des textes secondaires voire 'oubliés' et cherchent à les (ré-)évaluer selon leur validité historique propre.

Ces travaux s'inscrivent dans le projet MGS qui étudie l'apport de notions topologique dans les langages de programmation. Nous étudions et développons les notions de collection topologique (un ensemble de valeurs muni d'une relation de voisinage) et de transformation (une fonction définie par des règles de réécriture utilisant la notion de voisinage). Ces notions apportent un point de vue unifié sur les structures de données, une extension de la définition des fonction par cas et un cadre alternatif à la notion de polytypisme, sans se limiter aux types de données algébriques. Dans cette thèse, nous développons : -un algorithme générique de filtrage ; -un schéma d'évaluation d'ordre supérieur ; -un système de types traitant les collections hétérogènes, les transformations polytypiques et doté d'inférence automatique ; -l'utilisation du typage pour la compilation ; -de nombreux exemples validant la pertinence des choix effectués.

La grammaticalité d'une phrase est habituellement conçue comme une notion binaire : une phrase est soit grammaticale, soit agrammaticale. Cependant, bon nombre de travaux se penchent de plus en plus sur l'étude de degrés d'acceptabilité intermédiaires, auxquels le terme de gradience fait parfois référence. À ce jour, la majorité de ces travaux s'est concentrée sur l'étude de l'évaluation humaine de la gradience syntaxique. Cette étude explore la possibilité de construire un modèle robuste qui s'accorde avec ces jugements humains.<br>Nous suggérons d'élargir au langage mal formé les concepts de Gradience Intersective et de Gradience Subsective, proposés par Aarts pour la modélisation de jugements graduels. Selon ce nouveau modèle, le problème que soulève la gradience concerne la classification d'un énoncé dans une catégorie particulière, selon des critères basés sur les caractéristiques syntaxiques de l'énoncé. Nous nous attachons à étendre la notion de Gradience Intersective (GI) afin qu'elle concerne le choix de la meilleure solution parmi un ensemble de candidats, et celle de Gradience Subsective (GS) pour qu'elle concerne le calcul du degré de typicité de cette structure au sein de sa catégorie. La GI est alors modélisée à l'aide d'un critère d'optimalité, tandis que la GS est modélisée par le calcul d'un degré d'acceptabilité grammaticale. Quant aux caractéristiques syntaxiques requises pour permettre de classer un énoncé, notre étude de différents cadres de représentation pour la syntaxe du langage naturel montre qu'elles peuvent aisément être représentées dans un cadre de syntaxe modèle-théorique (Model-Theoretic Syntax). Nous optons pour l'utilisation des Grammaires de Propriétés (GP), qui offrent, précisément, la possibilité de modéliser la caractérisation d'un énoncé. Nous présentons ici une solution entièrement automatisée pour la modélisation de la gradience syntaxique, qui procède de la caractérisation d'une phrase bien ou mal formée, de la génération d'un arbre syntaxique optimal, et du calcul d'un degré d'acceptabilité grammaticale pour l'énoncé.<br>À travers le développement de ce nouveau modèle, la contribution de ce travail comporte trois volets.<br>Premièrement, nous spécifions un système logique pour les GP qui permet la révision de sa formalisation sous l'angle de la théorie des modèles. Il s'attache notamment à formaliser les mécanismes de satisfaction et de relâche de contraintes mis en oeuvre dans les GP, ainsi que la façon dont ils permettent la projection d'une catégorie lors du processus d'analyse. Ce nouveau système introduit la notion de satisfaction relâchée, et une formulation en logique du premier ordre permettant de raisonner au sujet d'un énoncé.<br>Deuxièmement, nous présentons notre implantation du processus d'analyse syntaxique relâchée à base de contraintes (Loose Satisfaction Chart Parsing, ou LSCP), dont nous prouvons qu'elle génère toujours une analyse syntaxique complète et optimale. Cette approche est basée sur une technique de programmation dynamique (dynamic programming), ainsi que sur les mécanismes décrits ci-dessus. Bien que d'une complexité élevée, cette solution algorithmique présente des performances suffisantes pour nous permettre d'expérimenter notre modèle de gradience.<br>Et troisièmement, après avoir postulé que la prédiction de jugements humains d'acceptabilité peut se baser sur des facteurs dérivés de la LSCP, nous présentons un modèle numérique pour l'estimation du degré d'acceptabilité grammaticale d'un énoncé. Nous mesurons une bonne corrélation de ces scores avec des jugements humains d'acceptabilité grammaticale. Qui plus est, notre modèle s'avère obtenir de meilleures performances que celles obtenues par un modèle préexistant que nous utilisons comme référence, et qui, quant à lui, a été expérimenté à l'aide d'analyses syntaxiques générées manuellement.

Nous étudions l'influence de la connaissance préalable de l'anglais sur l'apprentissage de la langue française chez les apprenants persanophones. Les problèmes interférentiels peuvent être dans la prononciation, dans la dictée ou bien dans la grammaire. Nous avons des problèmes qui proviennent parfois de notre langue maternelle et parfois de l'anglais, première langue étrangère. Dans le cadre de notre thèse, nous avons réalisé une étude morphosyntaxiques sur l'interférence entre les trois langues, persan (LM), français (L3) et l'anglais (L2). Nous avons focalisé ces études sur deux axes principaux : le genre et le nombre mené sur six parties de discours (article, déterminant possessif, déterminant démonstratif, adjectif qualificatif, pronom objet direct/indirect, participe passé) qui sont plus influencé par le genre et le nombre en français, ainsi que l'ordre des mots, l'interrogation et la négation à partir d'une analyse contrastive sur les trois langues présentes. En effectuant cette analyse sur les définitions ainsi qu'une analyse d'erreurs sur les données recueillies dans deux établissements universitaires en Iran, nous avons préparé notre corpus. En équipant à ce corpus nous avons appuyé sur nos hypothèses. Un ensemble de résultats et de schémas explicatifs sont proposés.

Notre étude vient combler une lacune en linguistique française, puisque le mot quand n'a jamais fait l'objet d'une description syntaxique spécifique, contrairement à d'autres mots de la famille qu-. Pourtant, même sur des exemples considérés comme prototypiques de la "subordination", des questions intéressantes liées à l'analyse de son statut syntaxique ou catégoriel subsistent. Il suffit de consulter quelques grammaires pour se rendre compte de la diversité des traitements proposés et de la large palette d'emplois qu'offre cette "conjonction". Afin de décrire l'ensemble de ses fonctionnements, nous avons opté pour une étude sur des exemples tirés de vastes corpus écrits comme oraux non clos et analysés dans un cadre descriptif inspiré de l'approche pronominale (Blanche-Benveniste et alii, 1984). Ainsi, nous montrerons notamment que quand possède la distribution d'une proforme et qu'il intervient dans un large spectre de relations que la notion de "subordination" ne permet pas d'appréhender. Il résulte de notre travail un cadre apte à décrire l'ensemble des fonctionnements des mots qu-, du point de vue de la catégorie comme des relations qui relient la construction en qu- au contexte.

Cette these porte sur differents aspects syntaxiques et semantiques de l'intensification implicite dans une construction du francais non standard du type "Marie est belle qu'on en reste ebahi". Cette construction se caracterise par la presence d'un modificateur propositionnel (la prop-que) jouant le role d'un evaluateur de mesures extremes liees au predicat de la proposition matrice ("belle"). Ce modificateur opere sur des echelles de mesures et delimite la mesure reelle en la mettant en rapport avec la consequence qu'il exprime. Comme ce type d'evaluation correlative definit aussi la construction intensive de consequence (CIC), ou l'intensification est lexicalement realisée par les marqueurs d'intensité "tellement", "si", etc., nous proposons que la construction non standard represente un type implicite de la CIC. La CIC-implicite constitue un nouvel objet d'etude pour la description et la formalisation dans le cadre de la grammaire generative (Chomsky 1993, 1995, 2000). L'objectif principal de cette these est de fournir une description detaillee des comportements de la CIC-implicite, d'identifier les contraintes qui la regissent et de proposer un lien derivationnel entre cette derniere et la CIC-explicite. Une comparaison systematique des proprietes des deux CIC montre que les realisations de la CIC-implicite sont plus restreintes. Les restrictions incluent, entre autres, l'impossibilite de l'enchassement par un verbe factif et l'absence de la force interrogative. Une ligne directe peut etre etablie entre les differentes restrictions en termes de la notion pragmatique d'assertion et de la presence du locuteur. Notre derivation de la CIC-implicite, basee sur l'analyse de la CIC-explicite par association tardive proposee par Bhatt et Pancheva (2004, 2007), formalise la notion d'assertion au niveau de la peripherie gauche avec une projection dediee (Haegeman 2006 ; Speas et Tenny 2003). Cette projection, ainsi que l'association de la prop-que modificatrice, permettent d'interpreter et de legitimer la categorie vide qui realise l'intensification dans la CIC-implicite.

Cette these porte sur differents aspects syntaxiques et semantiques de l'intensification implicite dans une construction du francais non standard du type "Marie est belle qu'on en reste ebahi". Cette construction se caracterise par la presence d'un modificateur propositionnel (la prop-que) jouant le role d'un evaluateur de mesures extremes liees au predicat de la proposition matrice ("belle"). Ce modificateur opere sur des echelles de mesures et delimite la mesure reelle en la mettant en rapport avec la consequence qu'il exprime. Comme ce type d'evaluation correlative definit aussi la construction intensive de consequence (CIC), ou l'intensification est lexicalement realisée par les marqueurs d'intensité "tellement", "si", etc., nous proposons que la construction non standard represente un type implicite de la CIC. La CIC-implicite constitue un nouvel objet d'etude pour la description et la formalisation dans le cadre de la grammaire generative (Chomsky 1993, 1995, 2000). L'objectif principal de cette these est de fournir une description detaillee des comportements de la CIC-implicite, d'identifier les contraintes qui la regissent et de proposer un lien derivationnel entre cette derniere et la CIC-explicite. Une comparaison systematique des proprietes des deux CIC montre que les realisations de la CIC-implicite sont plus restreintes. Les restrictions incluent, entre autres, l'impossibilite de l'enchassement par un verbe factif et l'absence de la force interrogative. Une ligne directe peut etre etablie entre les differentes restrictions en termes de la notion pragmatique d'assertion et de la presence du locuteur. Notre derivation de la CIC-implicite, basee sur l'analyse de la CIC-explicite par association tardive proposee par Bhatt et Pancheva (2004, 2007), formalise la notion d'assertion au niveau de la peripherie gauche avec une projection dediee (Haegeman 2006 ; Speas et Tenny 2003). Cette projection, ainsi que l'association de la prop-que modificatrice, permettent d'interpreter et de legitimer la categorie vide qui realise l'intensification dans la CIC-implicite.

Partant du constat que le pronom IT connaît, en anglais contemporain, une grande richesse d'emplois, cette thèse propose une étude de IT référentiel et vise à examiner ses fonctions, son positionnement phrastique et son pouvoir référentiel. Ce pronom occupe toutes les places syntaxiques au sein de la phrase. Il a la spécificité de renvoyer à une entité beaucoup plus complexe qu'un groupe nominal. De plus, le rapport de IT avec ses antécédents est au cœur de cette étude qui examine aussi les différents facteurs jouant un rôle dans l'identification du bon référent où la présence textuelle ou situationnelle d'un antécédent n'est pas une condition nécessaire pour que le pronom soit référentiel. Un traitement global de tous les emplois référentiels de IT est proposé, car quelle que soit la place de l'objet désigné par IT, cet objet appartient à la mémoire commune du locuteur et de l'allocutaire.