| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910813183103321 |
|
|
Autore |
Roeper Peter |
|
|
Titolo |
Probability theory and probability logic / / P. Roeper, H. Leblanc |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Toronto ; ; Buffalo ; ; London : , : University of Toronto Press, , 1999 |
|
©1999 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-282-00825-0 |
9786612008252 |
1-4426-7878-X |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (253 pages) : illustrations |
|
|
|
|
|
|
Collana |
|
Toronto Studies in Philosophy |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Probabilities |
Logic |
Semantics (Philosophy) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
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 |
|
pt. I. Probability theory -- Introduction -- ch. 1. Probability functions for propositional logic -- ch. 2. The probabilities of infinitary statements and of quantifications -- ch. 3. Relative probability functions and their t-restrictions -- ch. 4. Representing relative probability functions by means of classes of measure functions -- ch. 5. The recursive definability of probability functions -- ch. 6. Families of probability functions characterised by equivalence relations -- pt. II. Probability logic. |
Ch. 7. Absolute probability functions construed as representing degrees of logical truth -- ch. 8. Relative probability functions construed as representing degrees of logical consequence -- ch. 9. Absolute probability functions for intuitionistic logic -- ch. 10. Relative probability functions for intuitionistic logic. |
|
|
|
|
|
|
|
|
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. |
|
|
|
|
|
| |