Can logic be combined with probability? Probably

Journal of Applied Logic

Volumn 7, Issue 2, 2009, Pages 177-187

  Howson, Colin ^a  

^a LONDON SCHOOL OF ECONOMICS   (United Kingdom)

Author keywords

Consistency; Formal languages; Logic; Probability

Indexed keywords

CONSISTENCY; LOGIC; MATHEMATICAL THEORIES; MODEL THEORIES;

FORMAL LANGUAGES; LINGUISTICS; PROBABILITY;

QUERY LANGUAGES;

EID: 64149131194     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2007.11.003     Document Type: Article

References (31)

1. Aczél J. Functional Equations and their Applications (1966), Academic Press, New York
2. Carnap R. Logical Foundations of Probability (1950), University of Chicago Press, Chicago
3. Coletti G., and Scozzafava R. Probabilistic Logic in a Coherent Setting (2002), Kluwer, Dordrecht
4. Cox R.T. The Algebra of Probable Inference (1961), The Johns Hopkins Press, Baltimore
5. de Finetti B. La Logique de la Probabilité. Actes du Congrès International de Philosophie Scientifique vol. IV (1936), Hermann, Paris 1-9
6. B. de Finetti, Foresight, its logical laws, its subjective sources, translated and reprinted in [18], 1937, pp. 53-119
7. de Finetti B. Probability, Induction and Statistics (1972), Wiley, London
8. de Finetti B. Theory of Probability vol. 1 (1974), Wiley, London (English translation of Teoria delle Probabilità, Einaudi, 1970)
9. Gaifman H. Concerning measures in first order calculi. Israel Journal of Mathematics 2 (1964) 1-18
10. Gaifman H., and Snir M. Probabilities over rich languages, testing and randomness. Journal of Symbolic Logic 47 (1982) 495-548
11. Good I.J. Probability and the Weighing of Evidence (1950), Charles Griffin, London
12. Halpern J.Y. An analysis of first-order logics of probability. Artificial Intelligence 46 (1990) 311-350
13. Halpern J.Y. Cox's theorem revisited. Journal of Artificial Intelligence Research 11 (1999) 429-435
14. Kadane J.B., and O'Hagan A. Using finitely additive probability: uniform distributions on the natural numbers. Journal of the American Statistical Association 90 (1995) 626-631
15. Kadane J.B., Schervish M.J., and Seidenfeld T. Reasoning to a foregone conclusion. Journal of the American Statistical Association 91 (1996) 1228-1235
16. Keisler H.J., and Knight J.F. Barwise infinitary logic and admissible sets. The Bulletin of Symbolic Logic 10 (2004) 4-36
17. Kelly K. The Logic of Reliable Inquiry (1994), Cambridge University Press, Cambridge
18. In: Kyburg H., and Smokler H. (Eds). Studies in Subjective Probability. second ed. (1980), Wiley, New York
19. Paris J. The Uncertain Reasoner's Companion (1994), Cambridge University Press, Cambridge
20. Savage L.J. The Foundations of Statistics (1954), Wiley, New York
21. Scott D. Logic with denumerably long formulas and finite strings of quantifiers. Symposium on the Theory of Models (1965), North-Holland 329-341
22. Scott D., and Krauss P. Assigning probabilities to logical formulas. In: Hintikka J., and Suppes P. (Eds). Aspects of Inductive Logic (1966), North-Holland, Amsterdam 219-264
23. Schervish M.J., Seidenfeld T., and Kadane J.B. State-dependent utilities. Journal of the American Statistical Association 85 (1990) 840-847
24. Schick F. Dutch bookies and money pumps. The Journal of Philosophy 83 (1986) 112-119
25. Shapiro S. Foundations without Foundationalism (1991), Oxford University Press, Oxford
26. Smullyan R.M. First Order Logic (1968), Dover, New York
27. Skyrms B. Pragmatics and Empiricism (1984), Yale University Press, New Haven
28. Swift J. A modest proposal for preventing the children of poor people in Ireland, from being a burden to their parents or country; and for making them beneficial to the public. A Tale of a Tub and other Satires (1978), J.M. Dent and Sons, London 255-264
29. Väänänen J. Second-order logic and foundations of mathematics. Bulletin of Symbolic Logic 7 (2001)
30. Villegas C. On qualitative probability σ-algebras. Annals of Mathematical Statistics 35 (1964) 1787-1796
31. Williamson J. Countable additivity and subjective probability. British Journal for the Philosophy of Science 50 (1999) 401-416