Concept
Louis Couturat
Concepts associés (13)
Langue construite
vignette|Le drapeau des langues construites, représentant la tour de Babel. Une langue construite ou planifiée (ou idéolangue, parfois dénommée langue artificielle, ou conlang pour constructed language en anglais) est une langue créée par une ou plusieurs personnes dans un temps relativement bref, contrairement aux langues naturelles dont l'élaboration est en grande partie spontanée et sans plan d'ensemble. Il est donc parfois difficile de cloisonner les langues dans ces deux catégories.
Caractéristique universelle
thumb|Gottfried Wilhelm Leibniz, inventeur du concept de caractéristique universelle. La caractéristique universelle ou, en latin, est une langue universelle et formelle imaginée par le philosophe, mathématicien et scientifique allemand Gottfried Wilhelm Leibniz capable d'exprimer aussi bien les concepts mathématiques, scientifiques ou métaphysiques. Leibniz espérait ainsi créer une langue utilisable dans le cadre d'un calcul logique universel mécanisable ou calculus ratiocinator.
Logique algébrique
En logique mathématique, la logique algébrique est le raisonnement obtenu en manipulant des équations avec des variables libres. Ce qui est maintenant généralement appelé la logique algébrique classique se concentre sur l'identification et la description algébrique des modèles adaptés à l'étude de différentes logiques (sous la forme de classes d'algèbres qui constituent la sémantique algébrique de ces systèmes déductifs) et aux problèmes connexes, comme la représentation et la dualité.
Logique
La 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).
Interlinguistique
Linterlinguistique est une branche de la linguistique qui se définit comme l'étude de la communication linguistique internationale entre des personnes qui ne parlent pas la même langue maternelle. Elle s'intéresse entre autres au multilinguisme et à la structure et au fonctionnement des langues planifiées, notamment l’espéranto, langue construite devenue par la suite langue vivante internationale, Le terme d'interlinguistique a été proposé premièrement en français dans une revue rédigé par l'espérantiste belge Jules Meysmans, qui était lui-même interlinguiste et surtout connu en Belgique pour l'invention de son système de sténographie.
Auguste De Morgan
Auguste (ou Augustus) De Morgan ( à Madurai (Tamil Nadu) - ) est un mathématicien et logicien britannique, né en Inde. Il est le fondateur avec Boole de la logique moderne ; il a notamment formulé les lois de De Morgan. Né d'un père colonel dans l'armée au service de la compagnie des Indes orientales, sa mère est une descendante de James Dodson, qui établit une table d'antilogarithmes. À cause des révoltes, le colonel envoie sa famille en Angleterre alors que Auguste a sept mois.
Algèbre de Boole (logique)
Lalgèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions. Elle fut lancée en 1854 par le mathématicien britannique George Boole. L'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.
Latino sine flexione
Le latino sine flexione (, littéralement « latin sans flexions »), aussi appelé interlingua de Peano ou interlingua de l'API (Academia pro Interlingua), et abrégé en LsF ou IL, est une langue auxiliaire internationale inventée en 1903 par le mathématicien italien Giuseppe Peano. Désireux de faciliter les échanges internationaux en mettant fin au morcellement linguistique qui règne dans les cercles scientifiques et intellectuels du début du , Peano propose de simplifier et de moderniser la langue latine pour lui retirer tous les éléments grammaticaux jugés non nécessaires (déclinaisons, conjugaison) jusqu'à obtenir un latino sine flexione, c'est-à-dire un « latin sans flexions ».
Giuseppe Peano
Giuseppe Peano (Spinetta di Cuneo (Coni), - Cavoretto, près de Turin, ) est un mathématicien et linguiste italien. Pionnier de l’approche formaliste des mathématiques, il développa, parallèlement à l’Allemand Richard Dedekind, une axiomatisation de l'arithmétique (1889). Il est par ailleurs l’inventeur d'une langue auxiliaire internationale, le Latino sine flexione (LsF) (le latin sans déclinaisons) en 1903. Il fut membre du comité qui créa la délégation pour l'adoption d'une langue auxiliaire internationale.
Espéranto
Lespéranto est une langue construite internationale utilisée comme langue véhiculaire par des personnes provenant d’au moins à travers le monde, y compris comme langue maternelle. N’étant la langue officielle d’aucun État, l'espéranto vise à établir un pont neutre entre cultures ; certains locuteurs nomment « Espérantie » la zone linguistique formée des lieux géographiques où ils se trouvent. Nécessitant un court apprentissage pour être utilisable, l'espéranto est ainsi présenté comme solution efficace et économiquement équitable au problème de communication entre personnes de langues maternelles différentes.