Pure inductive logic:
Gespeichert in:
Hauptverfasser: | , |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Cambridge
Cambridge Univ. Press
2015
|
Ausgabe: | 1. publ. |
Schriftenreihe: | Perspectives in logic
|
Schlagworte: | |
Online-Zugang: | Klappentext Inhaltsverzeichnis |
Beschreibung: | X, 342 S. |
ISBN: | 9781107042308 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV042155707 | ||
003 | DE-604 | ||
005 | 20230220 | ||
007 | t | ||
008 | 141028s2015 |||| 00||| eng d | ||
020 | |a 9781107042308 |c hbk. |9 978-1-107-04230-8 | ||
035 | |a (OCoLC)908335180 | ||
035 | |a (DE-599)BVBBV042155707 | ||
040 | |a DE-604 |b ger |e rakwb | ||
041 | 0 | |a eng | |
049 | |a DE-703 |a DE-11 |a DE-83 |a DE-19 | ||
082 | 0 | |a 161 | |
084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
084 | |a 03B48 |2 msc | ||
100 | 1 | |a Paris, Jeff B. |e Verfasser |0 (DE-588)1071099108 |4 aut | |
245 | 1 | 0 | |a Pure inductive logic |c Jeffrey Paris ; Alena Vencovská |
250 | |a 1. publ. | ||
264 | 1 | |a Cambridge |b Cambridge Univ. Press |c 2015 | |
300 | |a X, 342 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 0 | |a Perspectives in logic | |
650 | 0 | 7 | |a Induktive Logik |0 (DE-588)4161594-3 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Induktive Logik |0 (DE-588)4161594-3 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Vencovská, Alena |e Verfasser |0 (DE-588)1071691422 |4 aut | |
856 | 4 | 2 | |m Digitalisierung UB Bayreuth - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027595462&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
856 | 4 | 2 | |m Digitalisierung UB Bayreuth - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027595462&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-027595462 |
Datensatz im Suchindex
_version_ | 1804152650122395648 |
---|---|
adam_text | Pure inductive logic is the study of rational probability treated as a branch
of mathematical logic. This monograph, the first devoted to this approach,
brings together the key results from the past seventy years, plus the main
contributions of the authors and their collaborators over the last decade, to
present a comprehensive account of the discipline within a single unified
context. The exposition is structured around the traditional bases of rationality,
such as avoiding Dutch Books, respecting symmetry and ignoring irrelevant
information. The authors uncover further rationality concepts, both in the unary
and in the newly emerging polyadic languages, such as conformity, spectrum
exchangeability, similarity and language invariance. For logicians with a
mathematical grounding, this book provides a complete self-contained course on
the subject, taking the reader from the basics up to the most recent developments.
It is also a useful reference for a wider audience from philosophy and computer
science.
Jeffrey Paris is a professor in the School of Mathematics at the University of
Manchester. His research interests lie in mathematical logic, particularly set
theory, models of arithmetic and non-standard logics. In 1983 he was awarded the
London Mathematical Society s Junior Whitehead Prize and in 1999 was elected
a Fellow of the British Academy in the Philosophy Section. He is the author of The
Uncertain Reasoner s Companion (Cambridge University Press, 1995).
Alena Vencovska received her PhD from Charles University, Prague. She has held
a string of research and lecturing positions in the School of Mathematics at the
University of Manchester. Her research interests include uncertain reasoning,
nonstandard analysis, alternative set theory and the foundations of mathematics.
CONTENTS f!
Preface.................................................. ix
Part 1. The Basics
Chapter 1. Introduction to Pure Inductive Logic.......... 3
Chapter 2. Context....................................... 9
Chapter 3. Probability Functions........................ 11
Chapter 4. Conditional Probability...................... 21
Chapter 5. The Dutch Book Argument...................... 25
Chapter 6. Some Basíc Principles........................ 33
Chapter 7. Specifying Probability Functions............. 39
Part 2. Unary Pure Inductive Logic
Chapter 8. Introduction to Unary Pure Inductive Logic... 49
Chapter 9. de Finetti’s Representation Theorem.......... 55
Chapter 10. Regularity and Universal Certainty ......... 61
Chapter 11. Relevance................................... 69
Chapter 12. Asymptotic Conditional Probabilities........ 73
Chapter 13. The Conditionalization Theorem.............. 81
Chapter 14. Atom Exchangeability........................ 87
Chapter 15. Reichenbach s Axiom......................... 93
Chapter 16. Carnap’s Continuum of Inductive Methods..... 99
Chapter 17. Irrelevance.................................103
v
vi Contents
Chapter 18. Anothhr Continuum of Inductive TvIethods...... 125
Chapter 19. The NP-Continuum..............................135
Chapter 20. The Weak Irrelevance Principle................143
Chapter 21. Equalities and Inequalities...................155
Chapter 22. Principles of Analogy.........................165
Chapter 23. Unary Symmetry................................171
Part 3. Polvadic Pure Inductive Logic
Chapter 24. Introduction to Polyadic Pure Inductive Logic . 181
Chapter 25. Polyadic Constant Exchangeability.............183
Chapter 26. Polyadic Regularity...........................189
Chapter 27. Spectrum Exchangeability......................193
Chapter 28. Conformity....................................199
Chapter 29. The Probability Functions up L................205
Chapter 30. The Homogeneous/Heterogeneous Divide..........213
Chapter 31. Representation Theorems for Sx................223
Chapter 32. Language Invariance with Sx...................239
Chapter 33. Sx without Language Invariance................247
Chapter 34. A General Representation Theorem for Sx.......257
Chapter 35. The Carnap-Stegmùller Principle...............267
Chapter 36. Instantial Relevance and Sx...................269
Chapter 37. Equality......................................275
Chapter 38. The Polyadic Johnson’s Sufficientness Postulate . 285
Chapter 39. Polyadic Symmetry.............................291
Chapter 40. Similarity....................................303
Chapter 4L PIP and Atom Exchangeability..................311
Chapter 42. The Functions u^ l............................317
Contents vii
Chapter 43. Less Well Travelled Roads....................323
Bibliography.............................................327
Index....................................................337
Symbols and Abbreviations................................341
|
any_adam_object | 1 |
author | Paris, Jeff B. Vencovská, Alena |
author_GND | (DE-588)1071099108 (DE-588)1071691422 |
author_facet | Paris, Jeff B. Vencovská, Alena |
author_role | aut aut |
author_sort | Paris, Jeff B. |
author_variant | j b p jb jbp a v av |
building | Verbundindex |
bvnumber | BV042155707 |
classification_rvk | ST 130 SK 130 |
ctrlnum | (OCoLC)908335180 (DE-599)BVBBV042155707 |
dewey-full | 161 |
dewey-hundreds | 100 - Philosophy & psychology |
dewey-ones | 161 - Induction |
dewey-raw | 161 |
dewey-search | 161 |
dewey-sort | 3161 |
dewey-tens | 160 - Philosophical logic |
discipline | Informatik Mathematik Philosophie |
edition | 1. publ. |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01724nam a2200397 c 4500</leader><controlfield tag="001">BV042155707</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230220 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">141028s2015 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107042308</subfield><subfield code="c">hbk.</subfield><subfield code="9">978-1-107-04230-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)908335180</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042155707</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">161</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B48</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Paris, Jeff B.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1071099108</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Pure inductive logic</subfield><subfield code="c">Jeffrey Paris ; Alena Vencovská</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 342 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Perspectives in logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Induktive Logik</subfield><subfield code="0">(DE-588)4161594-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Induktive Logik</subfield><subfield code="0">(DE-588)4161594-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vencovská, Alena</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1071691422</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bayreuth - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027595462&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bayreuth - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027595462&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027595462</subfield></datafield></record></collection> |
id | DE-604.BV042155707 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T01:14:05Z |
institution | BVB |
isbn | 9781107042308 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027595462 |
oclc_num | 908335180 |
open_access_boolean | |
owner | DE-703 DE-11 DE-83 DE-19 DE-BY-UBM |
owner_facet | DE-703 DE-11 DE-83 DE-19 DE-BY-UBM |
physical | X, 342 S. |
publishDate | 2015 |
publishDateSearch | 2015 |
publishDateSort | 2015 |
publisher | Cambridge Univ. Press |
record_format | marc |
series2 | Perspectives in logic |
spelling | Paris, Jeff B. Verfasser (DE-588)1071099108 aut Pure inductive logic Jeffrey Paris ; Alena Vencovská 1. publ. Cambridge Cambridge Univ. Press 2015 X, 342 S. txt rdacontent n rdamedia nc rdacarrier Perspectives in logic Induktive Logik (DE-588)4161594-3 gnd rswk-swf Induktive Logik (DE-588)4161594-3 s DE-604 Vencovská, Alena Verfasser (DE-588)1071691422 aut Digitalisierung UB Bayreuth - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027595462&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Klappentext Digitalisierung UB Bayreuth - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027595462&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Paris, Jeff B. Vencovská, Alena Pure inductive logic Induktive Logik (DE-588)4161594-3 gnd |
subject_GND | (DE-588)4161594-3 |
title | Pure inductive logic |
title_auth | Pure inductive logic |
title_exact_search | Pure inductive logic |
title_full | Pure inductive logic Jeffrey Paris ; Alena Vencovská |
title_fullStr | Pure inductive logic Jeffrey Paris ; Alena Vencovská |
title_full_unstemmed | Pure inductive logic Jeffrey Paris ; Alena Vencovská |
title_short | Pure inductive logic |
title_sort | pure inductive logic |
topic | Induktive Logik (DE-588)4161594-3 gnd |
topic_facet | Induktive Logik |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027595462&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027595462&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT parisjeffb pureinductivelogic AT vencovskaalena pureinductivelogic |