Advertisement

Logic and Probability

  • Jens Erik Fenstad
Chapter
Part of the Synthese Library book series (SYLI, volume 149)

Abstract

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

Keywords

Brownian Motion Probability Function Formal Language Inductive Logic Recursion Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. [1]
    Anderson, R. M., ‘A Non-Standard Representation for Brownian Motion and Itô Integration’, Israel J. Math. 25 (1976), 15–46.CrossRefGoogle Scholar
  2. [2]
    Carnap, R., Logical Foundation of Probability, Chicago University Press, Chicago, 1951.Google Scholar
  3. [3]
    Church, A., ‘On the Concept of a Random Sequence’, Bull Am. Math. Soc. 46 (1940), 130–135.CrossRefGoogle Scholar
  4. [4]
    Eisele, K. Th., Booleschwertige Modelle mit Wahrscheinlichkeitsmassen und Dar-stellungen stochastischer Prozesse, Ph.D. thesis, Heidelberg, 1976.Google Scholar
  5. [5]
    Fenstad, J. E., ‘Representations of Probabilities Defined on First Order Languages’, in Crossley (ed.), Sets, Models and Recursion Theory, North-Holland, Amsterdam, 1967, pp. 156–172.CrossRefGoogle Scholar
  6. [6]
    Fenstad, J. E., ‘The Structure of Logical Probabilities’, Synthese 18 (1968), 1–23.CrossRefGoogle Scholar
  7. [7]
    Fenstad, J. E., ‘The Structure of Probabilities Defined on First Order Languages’, to appear in R. Jeffrey (ed.), Studies in Inductive Logic and Probability, Vol. 2.Google Scholar
  8. [8]
    Finette, B. de, ‘Foresight: Its Logical Laws, Its Subjective Sources’, in Kyberg and Smokier (eds.), Studies in Subjective Probability, J. Wiley, New York, 1964, pp. 95–158.Google Scholar
  9. [9]
    Gaifman, H., ‘Concerning Measures in First Order Calculi’, Israel J. Math. 2 (1964), 1–18.CrossRefGoogle Scholar
  10. [10]
    Gaifman, H. and Snir, M., to appear.Google Scholar
  11. [11]
    Good, I. J., The Estimation of Probabilities, MIT Press, Cambridge, Mass., 1965.Google Scholar
  12. [12]
    Hajek, P. and Havranek, T., Mechanizing Hypothesis Formation, Universitext, Springer Verlag, to appear 1977.Google Scholar
  13. [13]
    Jeffreys, H., Theory of Probability, 3rd. ed., Oxford University Press, Oxford, 1961.Google Scholar
  14. [14]
    Keisler, H. J., ‘Hyperfinite Model Theory’, to appear in the Proceedings of the 1976 ASL Summer Meeting, Oxford 1976.Google Scholar
  15. [15]
    Keynes, J. M., A Treatise on Probability, Macmillan, London, 1921.Google Scholar
  16. [16]
    Loeb, P. A., ‘Conversion from Non-Standard to Standard Measure Spaces and Applications in Probability Theory’, Trans. Am. Math. Soc. 221 (1975), 113–122.CrossRefGoogle Scholar
  17. [17]
    Łoṡ, J., ‘Remarks on Foundation of Probability’, in Proceedings of the International Congress of Mathematicians, Stockholm, 1962, pp. 225–229.Google Scholar
  18. [18]
    Martin-Löf, P., ‘The Definition of Random Sequences’, Information and Control 9 (1966), 602–619.CrossRefGoogle Scholar
  19. [19]
    Martin-Löf, P., ‘On the Notion of Randomness’, in Intuitionism and Proof Theory, North-Holland, Amsterdam, 1970.Google Scholar
  20. [20]
    Mises, R. von, Grundlagen der Wahrscheinlichkeitslehre’, Math. Z. 5 (1919), 55–99.CrossRefGoogle Scholar
  21. [21]
    Mises, R. von, Mathematical Theory of Probability and Statistics, Academic Press, New York, 1964.Google Scholar
  22. [22]
    Nelson, E., Internal Set Theory, a New Approach to Non-Standard Analysis, to appear.Google Scholar
  23. [23]
    Schnorr, C. P., Zufälligkeit und Wahrscheinlichkeit, Lecture Notes in Mathematics, No. 218, Springer-Verlag, Heidelberg, 1971.Google Scholar
  24. [24]
    Scott, D. and Krauss, P., ‘Assigning Probabilities to Logical Formulas’, in J. Hintikka and P. Suppes (eds.), Aspects of Inductive Logic, North-Holland, Amsterdam, 1966.Google Scholar
  25. [25]
    Tarski, A. and Horn, A., ‘Measures in Boolean Algebras’, Trans. Am. Math. Soc. 64 (1948), 467–497.CrossRefGoogle Scholar
  26. [26]
    Ville, J., Etude critique de la notion de collectif, Gauthier-Villars, Paris, 1939.Google Scholar
  27. [27]
    Wald, A., ‘Die Wiederspruchsfreiheit des Kollektivbegriffs in der Wahrscheinlich- keitsrechnung’, Ergb. eines math. Koll. 8 (1937), 38–72.Google Scholar

Copyright information

© D. Reidel Publishing Company 1981

Authors and Affiliations

  • Jens Erik Fenstad
    • 1
  1. 1.University of OsloNorway

Personalised recommendations