Sémantique formelle et philosophie du langage: actes du colloque du 9-12 septembre 1987Groupe de recherches sur la philosophie et le langage, Université des sciences sociales de Grenoble, 1989 - Language and languages - 332 pages |
From inside the book
Results 1-3 of 28
Page 4
... définition de la vérité pour L. Cette définition de la vérité est la sémantique formelle de L. Elle spécifie , dans un métalangage formel , les conditions de vérité des phrases du langage - objet L. Depuis le fameux article de Tarski ...
... définition de la vérité pour L. Cette définition de la vérité est la sémantique formelle de L. Elle spécifie , dans un métalangage formel , les conditions de vérité des phrases du langage - objet L. Depuis le fameux article de Tarski ...
Page 23
... définition séduisante , mais dont on ne sait que faire ; dans l'autre une définition qui n'est pas adoptée explicitement par Leibniz , mais qui est efficace . C'est au moins une excuse pour avoir privilégié , en même temps que cette ...
... définition séduisante , mais dont on ne sait que faire ; dans l'autre une définition qui n'est pas adoptée explicitement par Leibniz , mais qui est efficace . C'est au moins une excuse pour avoir privilégié , en même temps que cette ...
Page 269
... définition de FORCE est modifiée en conséquence tous les ancêtres et successeurs envisagés sont définis par rapport , non aux expressions A et B sans tenir compte des nœuds où elles ont des occurrences , mais seulement par rapport aux ...
... définition de FORCE est modifiée en conséquence tous les ancêtres et successeurs envisagés sont définis par rapport , non aux expressions A et B sans tenir compte des nœuds où elles ont des occurrences , mais seulement par rapport aux ...
Contents
Introduction la sémantique formelle atelle un intérêt philosophique | 3 |
La sémantique kripkéenne et les doctrines logiques de Leibniz par Maurice | 15 |
Peirce ou la version sémantiquesémiotique de la logique formelle par Claudine | 39 |
10 other sections not shown
Common terms and phrases
account anaphorique anti-frégéenne argument assent attribution de croyance belief child Cicéron cognitive concept of truth condition de vérité contexte d-truth d'événement Davidson's déduction définie définition description définie Die Bombe différence disquotationalist distinction enchâssée énoncé events exemple existential existentiel explanation expression fact false feature first frégéen inférences interprétation invented the zip kind l'attributeur l'inférence language Leibniz level locuteur logic logique logique modale looks red make mathématiques meaning mécanique quantique modal mode de présentation modèles monde possible name need notion object operator Pascal Pascal Engel Peirce pensée philosophie phrase prédicat problème properties proposition exprimée proposition singulière propositionnelle psychologie quantification quantique question raisonnement reading référence relation représentation requires rôle sémantique rules Salmon same seems semantic sémantique formelle sémiotique sense sentences situation state of affairs structure stuffs système take Ted Kennedy terme singulier théorie théorie des modèles thing think thought tion token true type valeur de vérité verbe world