LinguistiqueLa linguistique est une discipline scientifique s’intéressant à l’étude du langage. Elle n'est pas prescriptive mais descriptive. La prescription correspond à la norme, c'est-à-dire ce qui est jugé correct linguistiquement par les grammairiens. À l'inverse, la linguistique se contente de décrire la langue telle qu'elle est et non telle qu'elle devrait être. On trouve des témoignages de réflexions sur le langage dès l'Antiquité avec des philosophes comme Platon.
Langage naturelUn langage naturel, ou langage ordinaire, est une langue « normale » parlée par un être humain. Il s'oppose au langage formel, tel que le langage informatique, ainsi qu'aux langues construites. histoire des langues On désigne par langage naturel le langage parlé par les humains, apparu entre et avant notre ère.
Ambiguïtévignette|: on peut y voir une tête de canard ou une tête de lapin. L'ambiguïté (orthographe traditionnelle) ou ambigüité (orthographe réformée de 1990) est le caractère d'une situation, d'une perception, d'un mot ou d'une phrase dont il existe deux interprétations entre lesquelles on ne peut décider. En sémantique, un signifiant renvoie à un signifié . L'ambiguïté survient lorsque le récepteur peut hésiter entre deux signifiés. Un mot qui a plusieurs significations, une phrase qui a plusieurs analyses grammaticales possibles créent un doute que le contexte doit résoudre.
PhilosophieLa philosophie, du grec ancien (composé de , « aimer », et de , « sagesse, savoir »), signifiant littéralement « amour du savoir » et communément « amour de la sagesse », est une démarche qui vise à une compréhension du monde et de la vie par une réflexion rationnelle et critique. Cette réflexion n’est pas pour autant le propre d’un homme en particulier mais de tout homme dans sa dimension proprement humaine même si certains penseurs en ont fait le cœur de leur activité.
Philosophie du langageLa philosophie du langage est la branche de la philosophie qui s'intéresse aux langages, et plus particulièrement à la signification, à la référence ou au sens en général, à son usage, à son apprentissage et à ses processus de création, ainsi qu'à sa compréhension, à la communication en général, à l'interprétation et à la traduction.
LogiqueLa logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
RécursivitéLa récursivité est une démarche qui fait référence à l'objet même de la démarche à un moment du processus. En d'autres termes, c'est une démarche dont la description mène à la répétition d'une même règle.
Langage formelUn langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.
CognitionLa cognition est l'ensemble des processus mentaux qui se rapportent à la fonction de connaissance La cognition est l'ensemble des processus mentaux qui se rapportent à la fonction de connaissance et mettent en jeu la mémoire, le langage, le raisonnement, l'apprentissage, l'intelligence, la résolution de problèmes, la prise de décision, la perception ou l'attention. Ces processus cognitifs ont été mis au jour par un petit groupe de psychologues de Harvard dans les années 1955-1960, notamment autour de Jerome Bruner et de George Miller dans ce qui a été désigné comme la « révolution cognitive ».
SémiotiqueLa sémiotique (également appelée études sémiotiques) est l'étude systématique des processus de signes (sémiosis ou sémiose) et de la fabrication du sens. La sémiose est toute activité, conduite ou processus qui implique des signes, où un signe est défini comme tout ce qui communique quelque chose, généralement appelé un sens, à l'interprète du signe. La signification peut être intentionnelle, comme un mot prononcé avec une signification spécifique, ou non intentionnelle, comme un symptôme étant le signe d'une condition médicale particulière.
SyntaxeLa syntaxe est, à l'origine, la branche de la linguistique qui étudie la manière dont les mots se combinent pour former des phrases ou des énoncés dans une langue. On distingue la syntaxe, qui concerne les expressions [les mots], de la sémantique, qui concerne ce qui est visé par les expressions [le sens, la signification/les choses]. Le terme a un sens similaire en informatique, bien qu'il s'applique à une terminologie différente.
Hypothèse de Sapir-Whorfalt=Photo d'Edward Sapir|vignette|Photo d'Edward Sapir vers 1910. En linguistique et en anthropologie, l’hypothèse de Sapir-Whorf soutient que les représentations mentales dépendent des catégories linguistiques, autrement dit que la façon dont on perçoit le monde dépend du langage. Cette forme de relativisme culturel et de déterminisme linguistique a été développée par l'anthropologue américain Edward Sapir puis défendue de façon radicale par son élève, Benjamin Lee Whorf.
Grammaire formelleUne grammaire formelle est un formalisme permettant de définir une syntaxe et donc un langage formel, c'est-à-dire un ensemble de mots admissibles sur un alphabet donné. La notion de grammaire formelle est particulièrement utilisée en programmation logique, compilation (analyse syntaxique), en théorie de la calculabilité et dans le traitement des langues naturelles (tout particulièrement en ce qui concerne leur morphologie et leur syntaxe).
Pragmatique (linguistique)La pragmatique est une branche de la linguistique qui s'intéresse aux éléments du langage dont le sens ne peut être compris qu'en connaissant le contexte de leur emploi. La pragmatique est née au aux États-Unis mais elle a commencé à se développer surtout après la Seconde Guerre mondiale. Dès le , , s’appuyant sur le "scepticisme spéculatif" de la réalité, ont soutenu l’idée que la pensée ne saurait jamais aller au-delà d’une connaissance pratique.
Gottlob FregeGottlob Frege (), de son nom complet Friedrich Ludwig Gottlob Frege, né le à Wismar et mort le à Bad Kleinen, est un mathématicien, logicien et philosophe allemand, créateur de la logique moderne et plus précisément du calcul propositionnel moderne : le calcul des prédicats. Il est en outre considéré comme l'un des plus importants représentants du logicisme. C'est à la suite de son ouvrage Les Fondements de l'arithmétique, où il tente de dériver l'arithmétique de la logique, que Russell lui a fait parvenir le paradoxe qui porte son nom.
