La conception sémantique de la vérité: d'Alfred Tarski à Jaakko Hintikka |
Contents
Aspects philosophiques de la conception sémantique de | 87 |
Hintikka logique et vérité revisitées | 155 |
Conclusion | 217 |
Copyright | |
3 other sections not shown
Other editions - View all
La conception sémantique de la vérité: d'Alfred Tarski à Jaakko Hintikka Sébastien Richard No preview available - 2008 |
Common terms and phrases
Alfred Tarski c'est-à-dire cit(p classe des propositions concept de vérité conception sémantique conditions de vérité considérons critère d'adéquation définir la vérité définition tarskienne dénotation disjonction équivalentes expressions falsificateur fausse Field foncteurs fonction de Skolem fonction propositionnelle formule Frege game-theoretical Heijenoort Ibid Idem interprétation Jaakko Hintikka jeux sémantiques Kripke kripkéenne langage du premier langage-objet langages formalisés langages naturels Logic logicien logique standard manière Mathematics Revisited métalangage métamathématique modèle négation neige est blanche nombre de Gödel notion de vérité paradoxe du menteur philosophique physicalisme pouvons prédicat de vérité prédicat vrai premier ordre principe de bivalence Principles of Mathematics proposition atomique propositions vraies quantificateur existentiel quantificateur universel récursive Russell satisfait second ordre sémantique des jeux seulement signification Skolem skolémisation Soames standard du premier stratégie gagnante substitutionnelle suite symbole termes théorème d'indéfinissabilité théorème de Tarski théorie des modèles théorie sémantique Theory of Truth tion valeur de vérité variable libre vérificateur W. V. Quine