Cargando…
Probability Theory and Probability Semantics.
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 p...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
University of Toronto Press
1999.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000M 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn815764155 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr un|---uuuuu | ||
| 008 | 121012s1999 xx o 000 0 eng d | ||
| 040 | |a IDEBK |b eng |e pn |c IDEBK |d OCLCQ |d EBLCP |d OCLCQ |d MERUC |d ICG |d OCLCQ |d TKN |d DKC |d AU@ |d OCLCO |d OCLCQ |d OCLCF |d ZCU |d OCLCQ |d OCLCO |d P@U |d OCLCQ |d OCLCO | ||
| 066 | |c (S | ||
| 020 | |a 1282008250 | ||
| 020 | |a 9781282008250 | ||
| 035 | |a (OCoLC)815764155 | ||
| 050 | 4 | |a BC141 | |
| 072 | 7 | |a PBT |2 bicssc | |
| 082 | 0 | 4 | |a 121/.63 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Probability Theory and Probability Semantics. |
| 260 | |b University of Toronto Press |c 1999. | ||
| 300 | |a 1 online resource (252 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 520 | |a 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. | ||
| 505 | 0 | |a 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. | |
| 505 | 0 | |a 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. | |
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Probabilities. | |
| 650 | 0 | |a Logic. | |
| 650 | 2 | |a Probability | |
| 650 | 6 | |a Probabilités. | |
| 650 | 7 | |a probability. |2 aat | |
| 650 | 7 | |a PHILOSOPHY |x Logic. |2 bisacsh | |
| 650 | 7 | |a PHILOSOPHY |x Epistemology. |2 bisacsh | |
| 650 | 7 | |a Logic |2 fast | |
| 650 | 7 | |a Probabilities |2 fast | |
| 650 | 7 | |a Wahrscheinlichkeitslogik |2 gnd | |
| 650 | 7 | |a Wahrscheinlichkeitstheorie |2 gnd | |
| 655 | 7 | |a e-books. |2 aat | |
| 655 | 7 | |a Livres numériques. |2 rvmgf | |
| 700 | 1 | |a Leblanc, Hugues. |4 aut | |
| 720 | |a Roeper, Peter. | ||
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=4671857 |z Texto completo |
| 880 | 0 | |6 505-00/(S |a Intro -- Contents -- Acknowledgments -- Part One: Probability Theory -- Introduction -- Chapter 1. Probability Functions for Prepositional Logic -- Section 1. Absolute Probability Functions for L[sub(p)] -- Section 2. Relative Probability Functions for L[sub(p)] -- Section 3. Probability Functions Defined on Sets of Statements -- Section 4. Intuitionistic Probability Functions -- Chapter 2. The Probabilities of Infinitary Statements and of Quantifications -- Section 1. Probability Functions for L[sub(ω)] -- Section 2. Families of Infinitary Relative Probability Functions -- Section 3. Probability Functions for L[sup(°)][sub(Q)] and L[sub(Q)] -- Chapter 3. Relative Probability Functions and Their T-Restrictions -- Section 1. Conditional Probabilities and the Probabilities of Conditionals -- Section 2. Relativising Probability Functions Defined on Statements -- Section 3. Relativising Probability Functions Defined on Sets of Statements -- Chapter 4. Representing Relative Probability Functions by Means of Classes of Measure Functions -- Section 1. Császár's Relations -- Section 2. Representation by Type I-Ordered Classes of Measures -- Section 3. Representation by Type II-, Type III-, and Type IV-Ordered Classes of Measures -- Section 4. The Representation Theorem for L[sub(ω)] -- Chapter 5. The Recursive Definability of Probability Functions -- Section 1. The Recursive Definability of Absolute Probability Functions -- Section 2. The Auxiliary Function F[sub(p)] -- Section 3. The Recursive Definability of Relative Probability Functions -- Section 4. Relative Probability Functions for L[sub(p)] Meeting DLI can be Extended to Relative Probability Functions for L[sub(ω)] Meeting RP(Λ)2 -- Chapter 6. Families of Probability Functions Characterised by Equivalence Relations -- Part Two: Probability Logic -- Introduction. | |
| 880 | 8 | |6 505-00/(S |a Chapter 7. Absolute Probability Functions Construed as Representing Degrees of Logical Truth -- Section 1. Degrees of Logical Consequence in the Multiple-Conclusion Sense -- Section 2. Consistency Functions for Infinite Languages -- Section 3. Carnap's Absolute Probability Functions Generalise Logical Truth -- Section 4. Assumption Sets of Absolute Probability Functions -- Section 5. Consistency Functions and Absolute Probability Functions for L[sub(ω)] -- Section 6. Consistency Functions and Absolute Probability Functions for L[sub(Q)] -- Chapter 8. Relative Probability Functions Construed as Representing Degrees of Logical Consequence -- Section 1. Degrees of Logical Consequence in the Single-Conclusion Sense -- Section 2. Carnap's 1952 Relative Probability Functions Interpreted as Generalising Logical Consequence -- Section 3. The Assumption Sets of Relative Probability Functions -- Section 4. "Probability Semantics -- Section 5. Relative Probability Functions for L[sub(ω)] -- Chapter 9. Absolute Probability Functions for Intuitionistic Logic -- Section 1. Intuitionistic Consistency Functions and Intuitionistic Absolute Probability Functions -- Section 2. Intuitionistic Probability Functions and the Meaning of Connectives -- Section 3. Assumption Sets of Intuitionistic Probability and Consistency Functions -- Chapter 10. Relative Probability Functions for Intuitionistic Logic -- Section 1. Binary Functions Generalising Intuitionistic Single-Conclusion Consequence -- Section 2. Assumption Sets of Intuitionistic Relative Probability Functions -- Section 3. Intuitionistic Relative Probability Functions and Logical Consequence -- Appendix I -- Appendix II -- Notes -- Bibliography -- Index -- A -- B -- C -- D -- E -- F -- G -- H -- I -- K -- L -- M -- N -- O -- P -- Q -- R -- S -- T -- V -- W -- Index of Constraints. | |
| 938 | |a Project MUSE |b MUSE |n musev2_105122 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL4671857 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 200825 | ||
| 994 | |a 92 |b IZTAP | ||