Tarskienne

"tarskienne" dans l'encyclopédie

• VÉRITÉ

  • Écrit par Robert BLANCHÉ et Antonia SOULEZ
  • 58 707 mots

  C'est avec cette acception tarskienne que la notion sémantique de la vérité est élaborée dans le but d'échapper à la forme embarrassante d'énoncés dont la fameuse antinomie d'Épiménide le Menteur est le prototype ancien. Par sémantique, Tarski entend « les études qui traitent des concepts qui, en gros, expriment certaines relations entre les expressions d'un langage et les objets et états de choses auxquels ces expressions se réfèrent ».

• MODÈLES THÉORIE DES

  • Écrit par Daniel ANDLER, Daniel LASCAR et Gabriel SABBAGH
  • 42 908 mots

  Mais en théorie des modèles (surtout de tradition tarskienne), la notion vraiment centrale est celle de sous-structure élémentaire. L'une des méthodes pour construire une structure répondant à certaines exigences est de l'obtenir comme extension élémentaire convenable d'une structure donnée. D'où l'importance de la caractérisation suivante. Soit, dans un langage L(A) enrichi d'un symbole de constante ca pour chaque élément a de A, D(a) [resp.