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

• Record Nr.: UNINA9910456157703321
• Autore: Roeper Peter
• Pubbl/distr/stampa: Toronto, [Ontario] ; ; Buffalo, [New York] ; ; London, [England] : , : University of Toronto Press, , 1999; ©1999
• ISBN: 1-282-00825-0; 9786612008252; 1-4426-7878-X
• Descrizione fisica: 1 online resource (253 p.)
• Collana: Toronto Studies in Philosophy
• Disciplina: 121/.63
• Soggetti: Probabilities; Logic; Electronic books.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and indexes.
• Nota di contenuto: 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
• Sommario/riassunto: 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.