La conception sémantique de la vérité.pdf

La conception sémantique de la vérité

Dans son article de 1933 intitulé Le concept de vérité dans les langages formalisés , Alfred Tarski a formulé deux résultats logiques fondamentaux : dune part, une définition de ce quil appelle le concept sémantique de vérité pour les langages formalisés et, dautre part, la démonstration du théorème dindéfinissabilité de tout prédicat de vérité pour un langage dans ce même langage. Ce dernier résultat, qui constitue lune des limitations des systèmes formels, a été récemment remis en cause par Jaakko Hintikka dans un livre provocateur : Les principes de la mathématique revisités. Sébastien Richard se propose dans ce quinzième volume des Cahiers du Centre de logique de présenter ces résultats, à la fois du point de vue des concepts philosophiques et du point de vue de la technique logique mis en jeu dans la définition de Tarski et dans son théorème dindéfinissabilité de la vérité. Cette présentation expose également les nombreuses critiques philosophiques auxquelles a été soumise la définition du concept sémantique de vérité. Finalement, lauteur se propose dexaminer comment Jaakko Hintikka, en développant une théorie sémantique originale en termes de jeux sémantiques et une logique intégrant une notion dindépendance quantificationnelle, prétend pouvoir dépasser le résultat négatif de Tarski en définissant la vérité pour un langage dans ce même langage.

TÉLÉCHARGER

LIRE EN LIGNE

TAILLE DU FICHIER 6.61 MB
ISBN 9782872098996
AUTEUR Sébastien Richard
FICHIER La conception sémantique de la vérité.pdf
DATE 01/06/2020

Sémantique (GP) – L'Encyclopédie Philosophique

PC et MAC

Lisez l'eBook directement après l'avoir téléchargé via "Lire maintenant" dans votre navigateur ou avec le logiciel de lecture gratuit Adobe Reader et Google Chrome.

Prime

Livraison gratuite pour les clients Bonuscard

eBook Enligne

Accès instantané à tous les eBooks - via téléchargement et lecture en ligne