Interprétation (logique)En logique, une interprétation est une attribution de sens aux symboles d'un langage formel. Les langages formels utilisés en mathématiques, en logique et en informatique théorique ne sont définis dans un premier temps que syntaxiquement ; pour en donner une définition complète, il faut expliquer comment ils fonctionnent et en donner une interprétation. Le domaine de la logique qui donne une interprétation aux langages formels s'appelle la sémantique formelle.
Turing-completEn informatique et en logique, un système formel est dit complet au sens de Turing ou Turing-complet (par calque de l’anglais Turing-complete) s’il possède un pouvoir expressif au moins équivalent à celui des machines de Turing. Dans un tel système, il est donc possible de programmer n'importe quelle machine de Turing. Cette notion est rendue pertinente par la thèse de Church, qui postule l’existence d’une notion naturelle de calculabilité.
Paradoxe du menteurEn philosophie et en logique mathématique, le paradoxe du menteur est un paradoxe dérivé du paradoxe du Crétois (ou paradoxe d'Épiménide). Il consiste essentiellement en une phrase se qualifiant elle-même de mensonge. Elle ne peut être alors ni vraie ni fausse. La plus ancienne formulation connue du paradoxe du menteur est attribuée à Épiménide le Crétois () dans l'énoncé , même si le paradoxe soulevé n’est pas nécessairement apparu immédiatement à l’époque.
Descriptivist theory of namesIn the philosophy of language, the descriptivist theory of proper names (also descriptivist theory of reference) is the view that the meaning or semantic content of a proper name is identical to the descriptions associated with it by speakers, while their referents are determined to be the objects that satisfy these descriptions. Bertrand Russell and Gottlob Frege have both been associated with the descriptivist theory, which is sometimes called the mediated reference theory or Frege–Russell view.
