Langue universelleLe terme de langue universelle fait souvent référence à une langue hypothétique ou historique parlée et comprise par l’ensemble, ou presque, de la population mondiale. Dans certains contextes, il fait référence à un moyen de communication considéré comme compréhensible par tous les êtres humains vivants . Dans le premier sens, selon certaines traditions mythologiques ou religieuses, il existait autrefois une langue unique et universelle parlée par tous, ou partagée par les humains et les êtres surnaturels ; cependant, il n’en existe aucune preuve historique.
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).
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.
Calculus ratiocinatorthumb|Copie d'une machine de Leibniz fabriquée en 1700. Le est un algorithme ou une machine calculatoire théorique inventé par Gottfried Wilhelm Leibniz et . On peut le voir comme une méthode, un algorithme, ou une machine, qui permettrait de démêler le vrai du faux dans toute discussion dont les termes seraient exprimés dans une langue philosophique universelle, que Leibniz appelait la Caractéristique universelle. Cette dernière, que Leibniz n'a pas complètement formalisée, était censée pouvoir exprimer n'importe quel énoncé philosophique ou scientifique.
Louis CouturatLouis Couturat, né le à Paris et mort le à Melun, est un philosophe, logicien et mathématicien français. Appartenant, tout comme Bertrand Russell, au courant logiciste, il publia des fragments inédits de Gottfried Wilhelm Leibniz ainsi que des études désormais classiques sur ce dernier. Il est né à Paris et, fils unique, fut l’objet de tous les soins de ses parents qui s’attachèrent à lui donner une bonne éducation. D’une intelligence précoce il fut un élève brillant dès le lycée, où il s’intéressait aussi bien à la littérature ancienne qu’aux sciences théoriques et appliquées.
Gottfried Wilhelm LeibnizGottfried Wilhelm Leibniz (), parfois francisé en Godefroid-Guillaume Leibniz, né à Leipzig le et mort à Hanovre le , est un philosophe, scientifique, mathématicien, logicien, diplomate, juriste, historien, bibliothécaire et philologue allemand. Esprit polymathe, personnalité importante de la période Frühaufklärung, il occupe une place primordiale dans l'histoire de la philosophie et l'histoire des sciences (notamment des mathématiques) et est souvent considéré comme le dernier « génie universel ».
Système binaireLe système binaire (du latin binārĭus, « double ») est le système de numération utilisant la base 2. On nomme couramment bit (de l'anglais binary digit, soit « chiffre binaire ») les chiffres de la numération binaire positionnelle. Un bit peut prendre deux valeurs, notées par convention 0 et 1. Le système binaire est utile pour représenter le fonctionnement de l'électronique numérique utilisée dans les ordinateurs. Il est donc utilisé par les langages de programmation de bas niveau.
Ontologie (informatique)En informatique et en science de l'information, une ontologie est un modèle de données contenant des concepts et relations permettant de modéliser un ensemble de connaissances dans un domaine donné. Les concepts sont organisés dans un graphe dont les relations peuvent être : des relations sémantiques ; des relations de subsomption. Les ontologies sont employées dans l’intelligence artificielle, le web sémantique, le génie logiciel, l'informatique biomédicale ou encore l'architecture de l'information comme une forme de représentation de la connaissance au sujet d'un monde ou d'une certaine partie de ce monde.
Langue auxiliaire internationaleUne langue auxiliaire internationale est une langue construite à vocation véhiculaire, conçue dans un objectif de neutralité, afin de transcender les cultures, et de rendre son apprentissage et sa maîtrise plus facile et plus rapide qu'une langue naturelle. On distingue, parmi les langues construites, les langues parlées plus d'une décennie, essentiellement l'espéranto (99 % des locuteurs de ces langues et plus de 92 % des journaux publiés) et deux ou trois autres et les centaines de projets et esquisses de langues auxiliaires internationales qui pour la plupart n'ont jamais été parlées ou par un cercle très restreint pendant très peu de temps.
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.