TARSKI ALFRED (1902-1983)

Carte mentale

Élargissez votre recherche dans Universalis

De la « définissabilité » aux modèles et à la décision

Après le concept de vérité, Tarski a précisé un autre concept sémantique essentiel, celui de conséquence logique, qui avait été défini pour la première fois par Bolzano, en 1837, pour la langue usuelle. Pour Tarski, en effet, l'« énoncé X suit logiquement des énoncés de la classe K si et seulement si tout modèle de la classe K est aussi un modèle de l'énoncé X ».

Tarski a apporté des renouvellements décisifs dans d'autres domaines de la logique mathématique, et d'abord avec la théorie de la définissabilité, qui revêt deux aspects : d'une part, la théorie syntaxique, qui donne une définition rigoureuse de cette notion et généralise la méthode de Padoa pour l'examen de la dépendance et de l'indépendance des concepts ; d'autre part, la théorie sémantique, liée au problème de la hiérarchie des ensembles et aussi au théorème de l'incomplétude de Gödel. Signalons ensuite les recherches de Tarski sur la théorie générale des modèles, fondée aussi bien sur la logique du premier ordre que sur certaines des généralisations du premier ordre (calcul propositionnel qui admet des formules infiniment longues ; calcul du second ordre opérant sur des ensembles finis). Dans plusieurs travaux, Tarski a étudié la complétude des théories et le problème de la décision ; il a établi la décidabilité et l'indécidabilité de certaines théories mathématiques (en particulier, il a montré que l'algèbre et la géométrie élémentaires sont des théories décidables).

Tarski a toujours accepté sans restriction, comme base de son travail logico-mathématique, la théorie des ensembles et il n'hésitait pas à recourir à des théories très fortes – ce qui lui a donné une liberté que s'interdisaient aussi bien Brouwer et les intuitionnistes que l'école de la métamathématique finitiste (Hilbert). C'est sans doute grâce à cette liberté qu'il a pu développer sa méthode sémantique et relier, dans ses travaux, la théorie des ensembles, la logique, l'algèbre et la topologie.


1  2  3  4  5
pour nos abonnés,
l’article se compose de 3 pages




Écrit par :

  • : docteur ès lettres, chargé de recherche au C.N.R.S.

Classification


Autres références

«  TARSKI ALFRED (1902-1983)  » est également traité dans :

DÉMONSTRATION THÉORIE DE LA

  • Écrit par 
  • Jean-Yves GIRARD
  •  • 6 260 mots
  •  • 1 média

Dans le chapitre « Système LK »  : […] Dans ce qui suit, L est un langage du premier ordre arbitraire. Un séquent est une expression formelle Γ ⊢Δ, où Γ et Δ sont des suites finies d'énoncés de L . L'interprétation intuitive de A 1 , ..., A n  ⊢ B 1 , ..., B m , c'est que la conjonction des A i implique la disjonction des B j . En particulier, ⊢ A veut dire A, et A ⊢ veut dire ¬ A ; quant au séquent vide ⊢, il signifie l'absurdité. […] Lire la suite☛ http://www.universalis.fr/encyclopedie/theorie-de-la-demonstration/#i_36416

DISSECTIONS GÉOMÉTRIQUES

  • Écrit par 
  • Jean-Paul DELAHAYE
  •  • 3 356 mots
  •  • 10 médias

Dans le chapitre « Découpage dans l'espace »  : […] Le passage à la dimension 3 change entièrement la situation de la théorie des découpages. En dimension 3, aucun théorème général équivalent à celui de Lowry-Wallace-Bolyai-Gerwein n'est connu. On sait au contraire, depuis presque un siècle, que certains polyèdres ne sont pas décomposables par dissection polyédrique en d'autres. La décomposition par dissection polyédrique du tétraèdre régulier étai […] Lire la suite☛ http://www.universalis.fr/encyclopedie/dissections-geometriques/#i_36416

EMPIRISME

  • Écrit par 
  • Edmond ORTIGUES
  •  • 13 313 mots
  •  • 1 média

Dans le chapitre « Carnap et la conception linguistique de la logique »  : […] Il était indispensable de préciser les rapports complexes ee Quine avec la tradition kantienne pour éviter certains malentendus dans l'interprétation de sa controverse avec Carnap. Nous sommes en mesure maintenant d'examiner les principaux arguments qui ont été proposés en faveur d'une conception linguistique ou analytique de la logique. Un premier argument, qui avait été avancé par Wittgenstein, […] Lire la suite☛ http://www.universalis.fr/encyclopedie/empirisme/#i_36416

MALTSEV ANATOLI IVANOVITCH (1909-1967)

  • Écrit par 
  • Gabriel SABBAGH
  •  • 633 mots

Mathématicien soviétique, célèbre pour ses travaux en logique et en algèbre. Les premiers écrits de Maltsev contiennent les idées essentielles d'une bonne partie de son œuvre. Dans son premier et plus célèbre article, Untersuchungen aus dem Gebiete der Mathematischen Logik , 1936, Maltsev démontre la version la plus générale (aucune restriction de cardinalité) du théorème de compacité pour les lan […] Lire la suite☛ http://www.universalis.fr/encyclopedie/anatoli-ivanovitch-maltsev/#i_36416

MODÈLES THÉORIE DES

  • Écrit par 
  • Daniel ANDLER, 
  • Daniel LASCAR, 
  • Gabriel SABBAGH
  •  • 7 958 mots

Dans le chapitre « Extensions, diagrammes, chaînes »  : […] Soit a et b deux L-structures d'univers A et B respectivement. Supposons que A ⊆ B et, pour toute formule ϕ de L à n variables libres sans quantificateur [resp. quelconque] et tout n -uple ( a 1 , ...,  a n ) d'éléments de A, que l'énoncé avec paramètres ϕ( a 1 , ...,  a n ) soit satisfait dans a si et seulement si il l'est dans  b . Alors a est appelé une sous-structure [resp. (sous-structur […] Lire la suite☛ http://www.universalis.fr/encyclopedie/theorie-des-modeles/#i_36416

PREUVE, épistémologie

  • Écrit par 
  • Fernando GIL
  •  • 3 341 mots
  •  • 1 média

Une proposition est dite prouvée si, ayant été établie par une méthode reconnue, elle fait l'objet d'une croyance. Cette formulation permet de distinguer quatre versants dans la théorie de la preuve : 1 o  un élément sémantico-formel, la proposition qu'il s'agit de prouver ; 2 o  un dispositif objectif de mise à l'épreuve de la proposition ; 3 o  la croyance subjective du destinataire de la preuve […] Lire la suite☛ http://www.universalis.fr/encyclopedie/preuve-epistemologie/#i_36416

RÉCURSIVITÉ, logique mathématique

  • Écrit par 
  • Kenneth Mc ALOON, 
  • Bernard JAULIN, 
  • Jean-Pierre RESSAYRE
  •  • 9 371 mots

Dans le chapitre « Indécidabilité et décidabilité »  : […] L'étude de l'indécidabilité des théories mathématiques relève de la théorie des fonctions récursives en deux sens : en premier lieu, car un résultat d'indécidabilité signifie qu'une certaine fonction, à savoir la fonction caractéristique de l'ensemble des théorèmes (modulo une bonne numération des formules du langage de la théorie), n'est pas récursive, et, en second lieu, car l'indécidabilité d'u […] Lire la suite☛ http://www.universalis.fr/encyclopedie/recursivite-logique-mathematique/#i_36416

RELATION

  • Écrit par 
  • Jean LADRIÈRE
  •  • 7 662 mots

Dans le chapitre « La théorie des relations d'Alfred Tarski »  : […] Dans l'œuvre de Russell, la théorie des relations s'inscrit dans un projet général : celui du logicisme. Les Principles formulent ce projet de la manière suivante : il s'agit de démontrer « que les mathématiques pures tout entières traitent exclusivement de concepts définissables dans les termes d'un très petit nombre de concepts logiques fondamentaux et que toutes leurs propositions sont déducti […] Lire la suite☛ http://www.universalis.fr/encyclopedie/relation/#i_36416

VÉRITÉ

  • Écrit par 
  • Robert BLANCHÉ, 
  • Antonia SOULEZ
  •  • 10 663 mots

Dans le chapitre « La vérité, concept sémantique (Tarski) »  : […] Cependant, la théorie de la signification n'est pas la seule à réclamer des corrections. La théorie de la référence elle aussi subit les contrecoups d'un certain nombre de difficultés liées aux paradoxes dits sémantiques dans le sens cette fois que donne Tarski à cette expression. C'est avec cette acception tarskienne que la notion sémantique de la vérité est élaborée dans le but d'échapper à la […] Lire la suite☛ http://www.universalis.fr/encyclopedie/verite/#i_36416

Voir aussi

Pour citer l’article

Jan SEBESTIK, « TARSKI ALFRED - (1902-1983) », Encyclopædia Universalis [en ligne], consulté le 20 janvier 2020. URL : http://www.universalis.fr/encyclopedie/alfred-tarski/