Hostname: page-component-586b7cd67f-t7fkt Total loading time: 0 Render date: 2024-11-26T12:38:45.139Z Has data issue: false hasContentIssue false

Les fonctions de probabilité: la question de leur définissabilité récursive*

Published online by Cambridge University Press:  13 April 2010

Hugues Leblanc
Affiliation:
Université du Québec à Montréal
Peter Roeper
Affiliation:
The Australian National University

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
Copyright
Copyright © Canadian Philosophical Association 1992

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Références bibliographiques

Carnap, R. 1950 Logical Foundations of Probability. Chicago, University of Chicago Press.Google Scholar
Carnap, R. 1952 The Continuum of Inductive Methods. Chicago, University of Chicago Press.Google Scholar
Kolmogorov, A. N. 1933 «Grundbegriffe der Wahrscheinlichkeitsrechnung», Ergebnisse der Mathematik, vol. 2, part. 3, p. 161. Traduit par N. Morrison sous le titre Foundations of the Theory of Probability. New York, Chelsea, 1950.Google Scholar
Leblanc, H. 1983 «Alternatives to Standard First-Order Semantics». Handbook of Philosophical Logic. Volume 1: Elements of Classical Logic. D. Gabbay et F. Guenther, dir., Dordrecht, Reidel, p. 189274.CrossRefGoogle Scholar
Leblanc, H. et Roeper, P. 1986 «Absolute Probability Functions: A Recursive and Autonomous Account». The Tasks of Contemporary Philosophy. Proceedings of the 19th International Wittgenstein Symposium. Vienne, Verlag Hölder-Pichler-Tempsky, p. 3949.Google Scholar
Leblanc, H. et Roeper, P. 1989 «On Relativising Kolmogorov's Absolute Probability Functions». Notre Dame Journal of Formal Logic, vol. 30, p. 485512.CrossRefGoogle Scholar
Leblanc, H. et Roeper, P. 1990 «What are Absolute Probabilities a Function of?» Dans J. M. Dunn et A. Gupta, dir., Truth or Consequences: Essays in Honor of N. D. Belnap. Dordrecht, Kluwer Academic Publishers, p. 307325.CrossRefGoogle Scholar
Popper, K. R. 1959 The Logic of Scientific Discovery. New York, Basic Books.Google Scholar
Rényi, A. 1955 «On a New Axiomatic Theory of Probability». Acta Mathematica Academiœ Scientiarum Hungaricœ, vol. 6, p. 286335.Google Scholar
Rényi, A. 1964 «Sur les espaces simples des probabilités conditionnelles”. Annales de l'Institut Poincaré, N. Série, Section B1, p. 321.Google Scholar
Roeper, P. et Leblanc, H. 1991 «Indiscernability and Identity in Probability Theory». Notre Dame Journal of Formal Logic, vol. 32, p. 146.Google Scholar
Roeper, P. et Leblanc, H. «Infinitary Probability Logic». En préparation.Google Scholar
Wittgenstein, L. 1922 Tractatus Logico-Philosophicus. London, Routledge & Kegan Paul.Google Scholar