Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending (in België) aan op alles gedurende de hele maand januari.

Afhalen na 1 uur in een winkel met voorraad
Gratis thuislevering in België
Ruim aanbod met 7 miljoen producten

Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending (in België) aan op alles gedurende de hele maand januari.

Afhalen na 1 uur in een winkel met voorraad
Gratis thuislevering in België
Ruim aanbod met 7 miljoen producten

Winkels

Verlanglijstje

Winkels

Verlanglijstje

Zoeken

Volg ons op

Wist je dat er in Vlaanderen voor iedereen een Standaard Boekhandel is binnen een straal van 7 km?

Zoek een winkel

€ 32,50

+ 65 punten

Levering 1 à 4 weken

Eenvoudig bestellen

Veilig betalen

In januari gratis thuislevering in België (via bpost)

Gratis levering in je Standaard Boekhandel

Omschrijving

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 : d'une part, une définition de ce qu'il appelle le concept sémantique de vérité pour les langages formalisés et, d'autre part, la démonstration du théorème d'indéfinissabilité de tout prédicat de vérité pour un langage dans ce même langage. Ce dernier résultat, qui constitue l'une 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 d'indé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, l'auteur se propose d'examiner 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 d'indé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.