Probability theory and probability logic / P. Roeper and H. Leblanc.
 Publication:
 Toronto, [Ontario] ; Buffalo, [New York] ; London, [England] : University of Toronto Press, 1999.
 Format/Description:
 Book
1 online resource (253 p.)  Series:
 Toronto studies in philosophy.
Toronto Studies in Philosophy  Status/Location:

Loading...
Options
Location  Notes  Your Loan Policy 

Details
 Subjects:
 Probabilities.
Logic.  Form/Genre:
 Electronic books.
 Language:
 English
 Summary:
 As a survey of many technical results in probability theory and probability logic, this monograph by two widely respected scholars offers a valuable compendium of the principal aspects of the formal study of probability.Hugues Leblanc and Peter Roeper explore probability functions appropriate for propositional, quantificational, intuitionistic, and infinitary logic and investigate the connections among probability functions, semantics, and logical consequence. They offer a systematic justification of constraints for various types of probability functions, in particular, an exhaustive account of probability functions adequate for firstorder quantificational logic. The relationship between absolute and relative probability functions is fully explored and the book offers a complete account of the representation of relative functions by absolute ones.The volume is designed to review familiar results, to place these results within a broad context, and to extend the discussions in new and interesting ways. Authoritative, articulate, and accessible, it will interest mathematicians and philosophers at both professional and postgraduate levels.
 Contents:
 Frontmatter
Contents
Acknowledgments
Introduction
Chapter 1. Probability Functions for Prepositional Logic
Chapter 2. The Probabilities of Infinitary Statements and of Quantifications
Chapter 3. Relative Probability Functions and Their TRestrictions
Chapter 4. Representing Relative Probability Functions by Means of Classes of Measure Functions
Chapter 5. The Recursive Definability of Probability Functions
Chapter 6. Families of Probability Functions Characterised by Equivalence Relations
Introduction
Chapter 7. Absolute Probability Functions Construed as Representing Degrees of Logical Truth
Chapter 8. Relative Probability Functions Construed as Representing Degrees of Logical Consequence
Chapter 9. Absolute Probability Functions for Intuitionistic Logic
Chapter 10. Relative Probability Functions for Intuitionistic Logic
Appendix I
Appendix II
Notes
Bibliography
Index
Index of Constraints  Notes:
 Description based upon print version of record.
Includes bibliographical references and indexes.
Description based on print version record.  Contributor:
 Roeper, Peter, author., Author,
 ISBN:
 1282008250
9786612008252
144267878X  OCLC:
 944177648
 Publisher Number:
 10.3138/9781442678781 doi