Holdings: Sentential probability logic

Sentential probability logic: origins, development, current status, and technical applications

Saved in:

Bibliographic Details
Main Author:	Hailperin, Theodore (Author)
Format:	Book
Language:	English
Published:	Bethlehem Lehigh Univ. Press u.a. 1996
Subjects:	Logica matematica Algebra, Boolean Algebraic logic Probabilities Mehrwertige Logik Näherungswert Boolesche Algebra
Online Access:	Inhaltsverzeichnis
Physical Description:	304 S.
ISBN:	0934223459

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV011269028
003	DE-604
005	00000000000000.0
007	t
008	970325s1996 \|\|\|\| 00\|\|\| eng d
020			\|a 0934223459 \|9 0-934223-45-9
035			\|a (OCoLC)34476069
035			\|a (DE-599)BVBBV011269028
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-12 \|a DE-739
050		0	\|a QA10
082	0		\|a 511.3 \|2 20
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
100	1		\|a Hailperin, Theodore \|e Verfasser \|4 aut
245	1	0	\|a Sentential probability logic \|b origins, development, current status, and technical applications \|c Theodore Hailperin
264		1	\|a Bethlehem \|b Lehigh Univ. Press u.a. \|c 1996
300			\|a 304 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
650		7	\|a Logica matematica \|2 larpcal
650		4	\|a Algebra, Boolean
650		4	\|a Algebraic logic
650		4	\|a Probabilities
650	0	7	\|a Mehrwertige Logik \|0 (DE-588)4169335-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Näherungswert \|0 (DE-588)4200220-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Boolesche Algebra \|0 (DE-588)4146280-4 \|2 gnd \|9 rswk-swf
689	0	0	\|a Boolesche Algebra \|0 (DE-588)4146280-4 \|D s
689	0	1	\|a Näherungswert \|0 (DE-588)4200220-5 \|D s
689	0	2	\|a Mehrwertige Logik \|0 (DE-588)4169335-8 \|D s
689	0		\|5 DE-604
856	4	2	\|m GBV Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007566847&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-007566847

Record in the Search Index

_version_	1804125772711985152
adam_text	SENTENTIAL PROBABILITY LOGIC ORIGINS, DEVELOPMENT, CURRENT STATUS, AND TECHNICAL APPLICATIONS THEODORE HAILPERIN LEHIGH UNIVERSITY PRESS BETHLEHEM: LEHIGH UNIVERSITY PRESS LONDON: ASSOCIATED UNIVERSITY PRESSES CONTENTS PREFACE 7 INTRODUCTION 11 CHAPTER 0. GROUNDWORK 22 0.1 VERITY SENTENTIAL LOGIC 22 0.2 INDEFINITE DESCRIPTIONS 27 0.3 UNSPECIFIED TRUTH VALUES. DON T-CARE LOGIC 32 0.4 DON T-CARE CONDITIONS IN LOGIC DESIGN 37 0.5 ELIMINATION. LINEAR PROGRAMMING 41 CHAPTER 1. EARLY HISTORY 49 1.1 LEIBNIZ S VISION 49 1.2 JAKOB BERNOULLIPROBABILITY LOGIC VIA THE FATES OF GAMBLERS 51 1.3 DEGREE OF CERTAINTY OF AN ARGUMENT 56 1.4 ON COMBINING TWO OR MORE ARGUMENTS 60 1.5 J. H. LAMBERTPROBABILISTIC SYLLOGISMS 67 1.6 BAYES-AND A PROBLEM ... NO LESS IMPORTANT THAN CURIOUS 76 1.7 JOHN MICHELL ON THE DISTRIBUTION OF THE FIXED STARS 80 CHAPTER 2. THE NINETEENTH CENTURY 84 2.1 PROBABILITY IN BOLZANO S WISSENSCHAFTSLEHRE 1837 84 2.2 DE MORGANTESTIMONY AND ARGUMENT 91 2.3 PROBABLE INFERENCE VIA SIX PROBLEMS 98 2.4 GEORGE BOOLECLAIMS FOR A GENERAL METHOD 107 2.5 EXAMINATION OF BOOLE S GENERAL METHOD 112 2.6 ON COMBINING EVIDENCE 121 2.7 PEIRCE AND MACCOLLCONDITIONAL PROBABILITY SYMBOLIZED 128 CHAPTER 3. THE TWENTIETH CENTURY 135 3.1 CONFIRMATION FROM KEYNES TO CARNAP 135 3.2 REICHENBACH: PROBABILITY AS MULTI-VALUED LOGIC 143 3.3 PROBABILISTIC INFERENCE REVIVED 148 3.4 BOUNDS ON PROBABILITYEARLY HISTORY 152 3.5 BEST POSSIBLE PROBABILITY BOUNDS 162 3.6 TRANSMISSION OF UNCERTAINTIES IN INFERENCES 168 3.7 NILSSON S PROBABILISTIC LOGIC 175 3.8 PROBABILITY LOGIC OF SCOTT AND KRAUSS (1966) 182 CHAPTER 4. FORMAL DEVELOPMENTS 187 4.1 WHAT IS A LOGIC? 187 4.2 PROBABILITY FUNCTIONS ON SENTENTIAL LANGUAGES 188 4.3 PROBABILITY LOGIC: THE FINITE CASE 191 4.4 PROBABILITY LOGIC: THE POTENTIAL INFINITE CASE 194 4.5 INTERVAL PROBABILITY LOGIC 199 4.6 DECISION PROCEDURE FOR INTERVAL LOGIC 206 4.7 SET-THEORETIC VERSUS LOGIC-THEORETIC PROBABILITY 210 CHAPTER 5. CONDITIONAL PROBABILITY 213 5.1 CONJUNCTION AND THE MULTIPLICATION OF PROBABILITIES 213 5.2 INDEPENDENCE: LOGICAL AND STOCHASTIC 218 5.3 LOGICAL CONSEQUENCE WITH PROBABILITY CONDITIONALS 224 5.4 LOGICAL CONSEQUENCE FEATURING INTERVALS 229 5.5 BOOLE S CHALLENGE PROBLEM 241 5.6 SUPPOSITIONAL LOGIC 246 5.7 PROBABILITY ON CONDITIONAL EVENTS 253 5.8 OTHER WRITERS ON CONDITIONAL EVENTS 258 CHAPTER 6. TECHNICAL APPLICATIONS 267 6.1 A THEOREM OF RENYI S AND EXTENSIONS 267 6.2 LINEAR PROGRAMMING IN PROBABILITY/STATISTICS 270 6.3 CIRCUIT FAULT TESTING. FAULT TREES 276 6.4 NETWORK RELIABILITY 281 BIBLIOGRAPHY 288 INDEX 301 3.3 PROBABILISTIC INFERENCE REVIVED 148 3.4 BOUNDS ON PROBABILITYEARLY HISTORY 152 3.5 BEST POSSIBLE PROBABILITY BOUNDS 162 3.6 TRANSMISSION OF UNCERTAINTIES IN INFERENCES 168 3.7 NILSSON S PROBABILISTIC LOGIC 175 3.8 PROBABILITY LOGIC OF SCOTT AND KRAUSS (1966) 182 CHAPTER 4. FORMAL DEVELOPMENTS 187 4.1 WHAT IS A LOGIC? 187 4.2 PROBABILITY FUNCTIONS ON SENTENTIAL LANGUAGES 188 4.3 PROBABILITY LOGIC: THE FINITE CASE 191 4.4 PROBABILITY LOGIC: THE POTENTIAL INFINITE CASE 194 4.5 INTERVAL PROBABILITY LOGIC 199 4.6 DECISION PROCEDURE FOR INTERVAL LOGIC 206 4.7 SET-THEORETIC VERSUS LOGIC-THEORETIC PROBABILITY 210 CHAPTER 5. CONDITIONAL PROBABILITY 213 5.1 CONJUNCTION AND THE MULTIPLICATION OF PROBABILITIES 213 5.2 INDEPENDENCE: LOGICAL AND STOCHASTIC 218 5.3 LOGICAL CONSEQUENCE WITH PROBABILITY CONDITIONALS 224 5.4 LOGICAL CONSEQUENCE FEATURING INTERVALS 229 5.5 BOOLE S CHALLENGE PROBLEM 241 5.6 SUPPOSITIONAL LOGIC 246 5.7 PROBABILITY ON CONDITIONAL EVENTS 253 5.8 OTHER WRITERS ON CONDITIONAL EVENTS 258 CHAPTER 6. TECHNICAL APPLICATIONS 267 6.1 A THEOREM OF RENYI S AND EXTENSIONS 267 6.2 LINEAR PROGRAMMING IN PROBABILITY/STATISTICS 270 6.3 CIRCUIT FAULT TESTING. FAULT TREES 276 6.4 NETWORK RELIABILITY 281 BIBLIOGRAPHY 288 INDEX 301
any_adam_object	1
author	Hailperin, Theodore
author_facet	Hailperin, Theodore
author_role	aut
author_sort	Hailperin, Theodore
author_variant	t h th
building	Verbundindex
bvnumber	BV011269028
callnumber-first	Q - Science
callnumber-label	QA10
callnumber-raw	QA10
callnumber-search	QA10
callnumber-sort	QA 210
callnumber-subject	QA - Mathematics
classification_rvk	SK 130
ctrlnum	(OCoLC)34476069 (DE-599)BVBBV011269028
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Mathematik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01635nam a2200433 c 4500</leader><controlfield tag="001">BV011269028</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">970325s1996 \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0934223459</subfield><subfield code="9">0-934223-45-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34476069</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011269028</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA10</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</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="100" ind1="1" ind2=" "><subfield code="a">Hailperin, Theodore</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Sentential probability logic</subfield><subfield code="b">origins, development, current status, and technical applications</subfield><subfield code="c">Theodore Hailperin</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Bethlehem</subfield><subfield code="b">Lehigh Univ. Press u.a.</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">304 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="650" ind1=" " ind2="7"><subfield code="a">Logica matematica</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra, Boolean</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebraic logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Probabilities</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mehrwertige Logik</subfield><subfield code="0">(DE-588)4169335-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Näherungswert</subfield><subfield code="0">(DE-588)4200220-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Boolesche Algebra</subfield><subfield code="0">(DE-588)4146280-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Boolesche Algebra</subfield><subfield code="0">(DE-588)4146280-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Näherungswert</subfield><subfield code="0">(DE-588)4200220-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Mehrwertige Logik</subfield><subfield code="0">(DE-588)4169335-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</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=007566847&sequence=000001&line_number=0001&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-007566847</subfield></datafield></record></collection>
id	DE-604.BV011269028
illustrated	Not Illustrated
indexdate	2024-07-09T18:06:52Z
institution	BVB
isbn	0934223459
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-007566847
oclc_num	34476069
open_access_boolean
owner	DE-12 DE-739
owner_facet	DE-12 DE-739
physical	304 S.
publishDate	1996
publishDateSearch	1996
publishDateSort	1996
publisher	Lehigh Univ. Press u.a.
record_format	marc
spelling	Hailperin, Theodore Verfasser aut Sentential probability logic origins, development, current status, and technical applications Theodore Hailperin Bethlehem Lehigh Univ. Press u.a. 1996 304 S. txt rdacontent n rdamedia nc rdacarrier Logica matematica larpcal Algebra, Boolean Algebraic logic Probabilities Mehrwertige Logik (DE-588)4169335-8 gnd rswk-swf Näherungswert (DE-588)4200220-5 gnd rswk-swf Boolesche Algebra (DE-588)4146280-4 gnd rswk-swf Boolesche Algebra (DE-588)4146280-4 s Näherungswert (DE-588)4200220-5 s Mehrwertige Logik (DE-588)4169335-8 s DE-604 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007566847&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Hailperin, Theodore Sentential probability logic origins, development, current status, and technical applications Logica matematica larpcal Algebra, Boolean Algebraic logic Probabilities Mehrwertige Logik (DE-588)4169335-8 gnd Näherungswert (DE-588)4200220-5 gnd Boolesche Algebra (DE-588)4146280-4 gnd
subject_GND	(DE-588)4169335-8 (DE-588)4200220-5 (DE-588)4146280-4
title	Sentential probability logic origins, development, current status, and technical applications
title_auth	Sentential probability logic origins, development, current status, and technical applications
title_exact_search	Sentential probability logic origins, development, current status, and technical applications
title_full	Sentential probability logic origins, development, current status, and technical applications Theodore Hailperin
title_fullStr	Sentential probability logic origins, development, current status, and technical applications Theodore Hailperin
title_full_unstemmed	Sentential probability logic origins, development, current status, and technical applications Theodore Hailperin
title_short	Sentential probability logic
title_sort	sentential probability logic origins development current status and technical applications
title_sub	origins, development, current status, and technical applications
topic	Logica matematica larpcal Algebra, Boolean Algebraic logic Probabilities Mehrwertige Logik (DE-588)4169335-8 gnd Näherungswert (DE-588)4200220-5 gnd Boolesche Algebra (DE-588)4146280-4 gnd
topic_facet	Logica matematica Algebra, Boolean Algebraic logic Probabilities Mehrwertige Logik Näherungswert Boolesche Algebra
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007566847&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT hailperintheodore sententialprobabilitylogicoriginsdevelopmentcurrentstatusandtechnicalapplications

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items