No CrossRef data available.
Article contents
Les fonctions de probabilité: la question de leur définissabilité récursive*
Published online by Cambridge University Press: 13 April 2010
Extract
Pensons aux divers énoncés qui peuvent être composés à partir d'un ensemble fini ou dénombrable d'énoncés atomiques à l'aide de, disons, ‘˜’ et ‘&’; soit A n'importe lequel de ces énoncés; et soit l'ensemble SA des composantes atomiques de A. La valeur de vérité de A dépend évidemment des valeurs de vérité de certains membres de SA (tous les membres de SA dans plusieurs cas, mais seulemént certains d'entre eux dans d'autres cas). En effet, si (i) aux valeurs de vérité Vrai et Faux sont substitués les entiers 1 et 0, respectivement; (ii) la valeur de vérité VVV(˜A) d'une négation ˜A est 1–VV(A); et (iii) la valeur de vérité VV(A & B) d'une conjonction A & B est min(VV(A), VV(B)), alors la valeur de vérité de A s'avère être une fonction numérique des valeurs de vérité de certains membres de SA. Et les fonctions de valeurs de vérité (c'est-à-dire les fonctions dont les arguments sont des énoncés du type en question, et dont les valeurs sont les entiers 1 et 0) sont dites, à titre de résultat, récursivement définissables.
- Type
- Articles
- Information
- Dialogue: Canadian Philosophical Review / Revue canadienne de philosophie , Volume 31 , Issue 4 , Fall 1992 , pp. 643 - 660
- Copyright
- Copyright © Canadian Philosophical Association 1992