Recherches sur l'universalisme logique: Russell et Carnap |
Contents
5888 | 1 |
312 Table des matières | 205 |
Vrai par convention ou Carnap revisité | 253 |
Copyright | |
2 other sections not shown
Common terms and phrases
affirme analytique argument arithmétique axiomes c'est-à-dire calcul Carnap cercle de Vienne cercle vicieux chose Chwistek classe conceptuelle construction constructiviste contentuel contenu conventionnalisme d'énoncés d'expression définissable définition dérivable descriptifs dire douée de sens entités exemple explicitement expressions exprimer foncteur fonction propositionnelle fonctionnelle fondamentale formalisation forme formule Frege générale Ibid interprétation Kurt Gödel L-vrai l'analyse l'arithmétique l'Axiome l'idée l'interprétation l'universalisme logique langage de syntaxe langage-objet Logic Logical logique mathématique manière mathéma Mathematics mathématiques matrices ment métalangage métathéorie mode formel nombre de Gödel notion numériques ontologique paradoxe de Russell paradoxes pensée philosophie Poincaré possible prédicat premier présuppose principe du cercle problème propositions propositions mathématiques quantification question Quine règles sémantiques relation Rudolf Carnap Russell sémantique générale semble seulement simplement sujet logique symbole défini symboles logiques Syntaxe logique système sémantique Tarski termes texte théorème Théorie des modèles théorie des types tion tionnelle tique totalité universel utilisé validité valuation vrai par convention Wittgenstein