Discuter:Intension
Un article de Wikipédia, l'encyclopédie libre.
>> la classe des rois de France peut être désigné[e] extensionnellement en donnant une liste de noms, ou intensionnellement par le concept « roi de France » (c'est-à-dire le prédicat, la propriété « être un roi de France »). <<
Une classe désignée par un concept ? Ma foi, si l'on permute les deux mots, ça semble marcher tout aussi bien ! Sans doute des définitions tangibles, c'est à dire opérationnelles, seraient-elles davantage bienvenues pour expliciter... ce concept (ou cette classe, au choix) 81.64.199.51 16 jun 2005 à 01:01 (CEST)
[modifier] Rois de France en intension
Hmmm, définir les rois de France en intension ? Pas trivial, à part par la tautologie "Est un roi de France celui qui a la propriété Être-un-roi-de-France". Essayons :
- A été couronné à Reims ?
- Est enterré à Saint-Denis ?
Je crains qu'il y aie des exceptions à chacune de ces règles.
- A été désigné par Dieu ?
Celle-ci pose des problèmes : non seulement il y a des gens qui nient le rôle de Dieu dans la désignation du roi de France mais je ne suis pas sûr que des rois comme Louis-Philippe se soient proclamés de droit divin. --Bortzmeyer 28 juin 2006 à 14:16 (CEST)