Logic and Probability

作者: Jens Erik Fenstad

DOI: 10.1007/978-94-009-9056-2_13

关键词:

摘要: I have been asked to give a survey of the various connections between logic and probability. As am included in section on its relation other parts mathematics will not enter into discussion ‘inductive logic’ foundation statistical inference, but restrict myself questions more ‘mathematical’ nature. However, an insight mathematical structure is prerequisite for any sound philosophic foundations

参考文章(17)
Per Martin-Löf, On the Notion of Randomness Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968. ,vol. 60, pp. 73- 78 ,(1970) , 10.1016/S0049-237X(08)70741-9
Dana Scott, Peter Krauss, Assigning Probabilities to Logical Formulas Studies in logic and the foundations of mathematics. ,vol. 43, pp. 219- 264 ,(1966) , 10.1016/S0049-237X(08)71672-0
J.E. Fenstad, Representations of Probabilities Defined on First Order Languages Studies in logic and the foundations of mathematics. ,vol. 46, pp. 156- 172 ,(1967) , 10.1016/S0049-237X(08)71506-4
Alfred Horn, Alfred Tarski, Measures in Boolean algebras Transactions of the American Mathematical Society. ,vol. 64, pp. 467- 497 ,(1948) , 10.1090/S0002-9947-1948-0028922-8
Jens Erik Fenstad, THE STRUCTURE OF LOGICAL PROBABILITIES Synthese. ,vol. 18, pp. 1- 23 ,(1968) , 10.1007/BF00869595
Peter A. Loeb, Conversion from nonstandard to standard measure spaces and applications in probability theory Transactions of the American Mathematical Society. ,vol. 211, pp. 113- 122 ,(1975) , 10.1090/S0002-9947-1975-0390154-8
Alonzo Church, On the concept of a random sequence Bulletin of the American Mathematical Society. ,vol. 46, pp. 130- 135 ,(1940) , 10.1090/S0002-9904-1940-07154-X
John Maynard Keynes, A Treatise on Probability ,(1921)
R. v. Mises, Grundlagen der Wahrscheinlichkeitsrechnung Mathematische Zeitschrift. ,vol. 5, pp. 52- 99 ,(1919) , 10.1007/BF01203155
Per Martin-Löf, The definition of random sequences Information & Computation. ,vol. 9, pp. 602- 619 ,(1966) , 10.1016/S0019-9958(66)80018-9