LEADER 04270nam 2200709 450 001 9910456157703321 005 20200520144314.0 010 $a1-282-00825-0 010 $a9786612008252 010 $a1-4426-7878-X 024 7 $a10.3138/9781442678781 035 $a(CKB)2420000000004295 035 $a(EBL)3251222 035 $a(SSID)ssj0000306950 035 $a(PQKBManifestationID)11223697 035 $a(PQKBTitleCode)TC0000306950 035 $a(PQKBWorkID)10308103 035 $a(PQKB)10583718 035 $a(CaPaEBR)417944 035 $a(CaBNvSL)thg00600143 035 $a(MiAaPQ)EBC3251222 035 $a(MiAaPQ)EBC4671857 035 $a(DE-B1597)464774 035 $a(OCoLC)944177648 035 $a(DE-B1597)9781442678781 035 $a(Au-PeEL)EBL4671857 035 $a(CaPaEBR)ebr11257547 035 $a(CaONFJC)MIL200825 035 $a(OCoLC)815764155 035 $a(EXLCZ)992420000000004295 100 $a20160923h19991999 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aProbability theory and probability logic /$fP. Roeper and H. Leblanc 210 1$aToronto, [Ontario] ;$aBuffalo, [New York] ;$aLondon, [England] :$cUniversity of Toronto Press,$d1999. 210 4$dİ1999 215 $a1 online resource (253 p.) 225 1 $aToronto Studies in Philosophy 300 $aDescription based upon print version of record. 311 $a0-8020-0807-0 320 $aIncludes bibliographical references and indexes. 327 $tFrontmatter -- $tContents -- $tAcknowledgments -- $tIntroduction -- $tChapter 1. Probability Functions for Prepositional Logic -- $tChapter 2. The Probabilities of Infinitary Statements and of Quantifications -- $tChapter 3. Relative Probability Functions and Their T-Restrictions -- $tChapter 4. Representing Relative Probability Functions by Means of Classes of Measure Functions -- $tChapter 5. The Recursive Definability of Probability Functions -- $tChapter 6. Families of Probability Functions Characterised by Equivalence Relations -- $tIntroduction -- $tChapter 7. Absolute Probability Functions Construed as Representing Degrees of Logical Truth -- $tChapter 8. Relative Probability Functions Construed as Representing Degrees of Logical Consequence -- $tChapter 9. Absolute Probability Functions for Intuitionistic Logic -- $tChapter 10. Relative Probability Functions for Intuitionistic Logic -- $tAppendix I -- $tAppendix II -- $tNotes -- $tBibliography -- $tIndex -- $tIndex of Constraints 330 $aAs 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. 410 0$aToronto studies in philosophy. 606 $aProbabilities 606 $aLogic 608 $aElectronic books. 615 0$aProbabilities. 615 0$aLogic. 676 $a121/.63 700 $aRoeper$b Peter$01036779 702 $aRoeper$b Peter, $4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910456157703321 996 $aProbability theory and probability logic$92457303 997 $aUNINA