Franklin

Probability theory and probability logic / P. Roeper and H. Leblanc.

Author/Creator:
Roeper, Peter, author.
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 first-order 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 post-graduate 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 T-Restrictions
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:
1-282-00825-0
9786612008252
1-4426-7878-X
OCLC:
944177648
Publisher Number:
10.3138/9781442678781 doi