Théorie sémantique de la vérité

Une théorie sémantique de la vérité est une théorie de la vérité en philosophie du langage qui soutient que la vérité est une propriété des phrases. La conception sémantique de la vérité, qui est liée de différentes façons à la correspondance et aux conceptions déflationnistes, est due au travail publié par le logicien polonais Alfred Tarski dans les années 1930. Tarski, dans « On the Concept of Truth in Formalized Languages », a tenté de formuler une nouvelle théorie de la vérité afin de résoudre le paradoxe du menteur. Durant cette démarche, il fait plusieurs découvertes métamathématiques, notamment le théorème de Tarski, en utilisant la même méthode formelle de celle de Kurt Gödel utilisé dans ses théorèmes d'incomplétude. Grossièrement, cela indique qu'un prédicat de vérité satisfaisant la convention-T pour les phrases d'un langage donné ne peut pas être défini dans ce langage. Pour formuler des théories linguistiques sans paradoxe sémantique, comme le paradoxe du menteur, il est généralement nécessaire de distinguer le langage que l'on parle (le langage objet) du langage que l'on utilise pour discuter (le métalangage). Dans ce qui suit, le texte cité – placé entre guillemets – dénote l'utilisation du langage objet, tandis que le texte non-cité dénote l'utilisation du métalangage ; une phrase citée (comme « P ») est toujours le nom du métalangage pour une phrase, de telle sorte que ce nom est tout simplement la phrase P interprétée en langage objet. De cette façon, le métalangage peut être utilisé pour parler du langage objet ; Tarski a exigé que le langage objet soit contenu dans le métalangage. La condition de suffisance matérielle de Tarski, également connue sous le nom convention I, estime que toute théorie de la vérité viable doit admettre, pour chaque phrase « P », une phrase de la forme suivante (connue sous le nom de « forme (T) ») : (1) « P » est vrai si et seulement si P. Par exemple, (2) « la neige est blanche » est vrai si et seulement si la neige est blanche.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (18)

Cours associés (4)

Séances de cours associées (38)

CS-101: Advanced information, computation, communication I

Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a

CS-455: Topics in theoretical computer science

The students gain an in-depth knowledge of several current and emerging areas of theoretical computer science. The course familiarizes them with advanced techniques, and develops an understanding of f

PHYS-467: Machine learning for physicists

Machine learning and data analysis are becoming increasingly central in sciences including physics. In this course, fundamental principles and methods of machine learning will be introduced and practi

Sémantique formelle (logique)

En logique, la sémantique de la logique est l'étude de la sémantique, ou l'interprétation, des langages formels et naturels qui, en général, tentent de saisir la notion pré-théorique de déduction. Parmi les tâches des logiciens figure la fourniture de signification aux propositions. Avant l'avènement de la logique moderne, l'Organon d'Aristote, et en particulier De Interpretatione a servi de base à la compréhension de l'importance de la logique.

Philosophie du langage

La philosophie du langage est la branche de la philosophie qui s'intéresse aux langages, et plus particulièrement à la signification, à la référence ou au sens en général, à son usage, à son apprentissage et à ses processus de création, ainsi qu'à sa compréhension, à la communication en général, à l'interprétation et à la traduction.

Théorie sémantique de la vérité

Logique principale : quantificateurs et formulaires normaux

Explore la logique prédictive, en mettant l'accent sur les quantificateurs et les formes normales, soulignant l'importance de trouver des témoins et des contre-exemples.

Pourquoi devrions-nous éviter d'utiliser des stéréotypes?

Discute de la distorsion de la réalité causée par les stéréotypes et de l'importance d'éviter leur utilisation.

Logique de prédicat: Résumé de la semaine 2 CS-101: Advanced information, computation, communication I

Couvre le concept de l'univers du discours et des valeurs de vérité dans la logique prédictive.