Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
En logique intensionnelle, l'univers du discours est stratifié de la façon suivante : il existe deux types primitifs d'entités, les objets individuels et les valeurs de vérité, et deux opérations : les entités sont deux types, f(x) est le type des entités qui sont des fonctions d'entités de type d dans entités de type e (d) (e). Le texte est un texte de fonctions d'entités de type d dans entités de type e. La relation d'exemplification est une relation entre des concepts d'entités d et d'entités de type. Nous analysons les divers postulats qui gouvernent cette relation dans les différents …
