pen icon Colloque
quote

La relation d'exemplification dans la théorie modale des types

D. Vaindrewereken
DV

Membre a labase

D. Vaindrewereken

Résumé du 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 systèmes formels de logique intensionnelle : postulats d'universalité, d'exemplarité ontologique, compatibilité de l'exemplification par rapport à l'application fonctionnelle, et considérations philosophiques (haecéités, essentialisme, hiérarchisation des concepts, distinction des concepts de fonctions) que pose la formalisation de cette relation au niveau de la définition récursive de l'ensemble des types.

Contexte

Section :
Philosophie
news icon Thème du colloque :
Philosophie
host icon Hôte : Université Laval

Découvrez d'autres communications scientifiques

news icon

Titre du colloque :

Philosophie
La dérivation des préceptes de droit naturel et de droit positif selon S. Thomas d'Aquin
Léon Charette
La relation d'exemplification dans la théorie modale des types
D. Vaindrewereken
L'antinomie platonicienne de la nouvelle rhétorique
G. Bouchard
Voir tous les contenus de ce colloque

Autres communications du même congressiste :

news icon

Thème du colloque :

Philosophie
La relation d'exemplification dans la théorie modale des types
D. Vaindrewereken