La norme du vrai: philosophie de la logique |
Contents
Les connecteurs définis par le rôle inférentiel | 3 |
Les propositions comme faits | 16 |
Phrases et propositions | 22 |
Copyright | |
15 other sections not shown
Other editions - View all
Common terms and phrases
analyse argument asserter c'est-à-dire calcul des prédicats Carnap chap chose ci-dessus cohérence conception sémantique conditionnel conditions de vérité conséquent constantes logiques contenu contextes critère croyances d'asserter d'autres termes d'objets Davidson déduction naturelle définir définition description déterminer dire distinction Dummett énoncés entités exemple expressions extensionnel forme logique formelle Frege fregéenne holisme identiques implique inférences intuitionniste Kripke l'argument l'identité langage langue naturelle linguistique locuteurs logiciens logique classique logique du premier logique intuitionniste logique modale manière ment mondes possibles objectuelle objets ontologique pensée philosophie phrases-T prédicats vagues prémisses principe de bivalence problème propositionnel propriétés psychologique quantification question Quine raison réalisme référence règles d'inférence règles de déduction relation rence Russell russellienne sémantique sens des connecteurs séquences seulement Sommers structure substitution substitutionnelle syntaxique système Tarski tarskienne termes singuliers théorème théorie des modèles théorie-T thèse tion type usuelle valeur de vérité valide variables vériconditionnelle vérité des phrases vérités logiques vrai Wittgenstein